Gestore della memoria permanente

GM_closeFile(int)
- Chiude un file di una BD
GM_createBD(String,
String)
- Crea una BD (directory con nome bd) nel directory con
nome path.
GM_createFile(String,
String, String)
- Crea un file in una BD
GM_destroyBD(String,
String)
- Elimina il directory di una BD
GM_destroyFile(String,
String, String)
- Elimina un file da una BD
GM_newBlock(int, String)
- Aggiunge una nuova pagina fisica ad un file in memoria
permanente
GM_openFile(String,
String, String)
- Apre un file di una BD
GM_readBlock(Pid)
- Legge una pagina fisica (una stringa) dalla memoria permanente
GM_start()
- Inizializza il gestore memoria permanente con lo stato
contenuto nel file $SYSDB$, se esiste.
GM_terminate()
- Chiude il gestore memoria permanente.
GM_writeBlock(Pid,
String)
- Scrive una pagina fisica in memoria permanente
Gestore della memoria permanente
Architettura del sistema