implemented disposePage and flushFile, only unPinPage and allocatePage left