Gestore del buffer

GB_flushAllPages()

Riporta in memoria permanente tutte le pagine modificate presenti nel buffer

GB_flushPage(Pid)

Riporta una pagina modificata in memoria permanente

GB_getAndPinPage(Pid)

Legge e spilla una pagina

GB_getNewPage(int, String)

Crea una nuova pagina nel file, la carica e la spilla nel buffer

GB_invalidatePage(Pid)

Segnala che la pagina specificata non deve essere considerata piu' valida

GB_setDirty(Pid)

Segnala che una pagina e' stata modificata

GB_start()

Inizializzazione gestore del buffer:

GB_terminate()

Terminazione gestore del buffer

GB_unpinPage(Pid)

Toglie lo spillo ad una pagina del bufferpool

Gestore del buffer