|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object global.AbstractBufMgrFrameDesc bufmgr.FrameDesc
A frame description class. It describes each page in the buffer pool, the page number in the file, whether it is dirty or not, its pin count, and the pin count change when pinning or unpinning a page.
Field Summary |
Fields inherited from interface global.GlobalConst |
INVALID_PAGE, MAX_NAME, MAXATTRNAME, MAXFILENAME, MAXINDEXNAME, MINIBASE_BUFFER_POOL_SIZE, MINIBASE_DB_SIZE, MINIBASE_DEFAULT_SHAREDMEM_SIZE, MINIBASE_MAX_TRANSACTIONS, MINIBASE_MAXARRSIZE, NUMBUF, PAGE_SIZE, PAGESIZE |
Constructor Summary | |
FrameDesc()
Creates a FrameDesc object, initialize pageNo, dirty and pin_count. |
Method Summary | |
int |
getPageNo()
|
int |
getPinCount()
Returns the pin count of a certain frame page. |
boolean |
isDirty()
the dirty bit, 1 (TRUE) stands for this frame is altered, 0 (FALSE) for clean frames. |
int |
pin()
Increments the pin count of a certain frame page when the page is pinned. |
int |
unpin()
Decrements the pin count of a frame when the page is unpinned. |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public FrameDesc()
Method Detail |
public int getPinCount()
getPinCount
in class AbstractBufMgrFrameDesc
public int pin()
pin
in class AbstractBufMgrFrameDesc
public int unpin()
unpin
in class AbstractBufMgrFrameDesc
public int getPageNo()
getPageNo
in class AbstractBufMgrFrameDesc
public boolean isDirty()
AbstractBufMgrFrameDesc
isDirty
in class AbstractBufMgrFrameDesc
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |