public class DBBufferManager
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
DBBufferManager.Reader |
static class |
DBBufferManager.Writer |
Constructor and Description |
---|
DBBufferManager() |
Modifier and Type | Method and Description |
---|---|
void |
init() |
void |
initEmpty(java.util.HashMap<PageID,Page> empty) |
static void |
main(java.lang.String[] args) |
Page |
read(PageID pageID,
boolean bModify) |
void |
releasePage(PageID pageID) |
void |
write(PageID pageID,
Page page) |
public void init()
public void releasePage(PageID pageID)
public static void main(java.lang.String[] args)