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