VM_SUPPORT

Virtual memory management.

Author

Luca Donno, Antonio Lopez, Samuele Marro, Edoardo Merli

Version

0.3.0

Date

2021-04-19

Copyright

Copyright (c) 2021

Defines

FRAMENUMBER
UNKNOWNDATAPAGE

Functions

void updateTLB(pteEntry_t *updatedEntry)

Updates the TLB.

Parameters

updatedEntry – Pointer to the entry with the new TLB values.

void initSwapStructs()

Initializes support level structures.

void uTLB_PageFaultHandler()

Handles TLB Page Fault exceptions.

Variables

int dataPages[UPROCNUMBER]

Contains the index of the first .data page for each active user process.

UNKNOWNDATAPAGE means that no information is available.