|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface Page
Page is the interface used to represent pages that are resident in the BufferPool. Typically, DbFiles will read and write pages from disk.
Pages may be "dirty", indicating that they have been modified since they were last written out to disk. For recovery purposes, pages MUST have a single constructor of the form: Page(PageId id, byte[] data)
Method Summary | |
---|---|
Page |
getBeforeImage()
Provide a representation of this page before any modifications were made to it. |
byte[] |
getPageData()
Generates a byte array representing the contents of this page. |
PageId |
id()
Return the id of this page. |
TransactionId |
isDirty()
Returns true if this page is dirty. |
void |
markDirty(boolean dirty,
TransactionId tid)
Set the dirty state of this page as dirtied by a particular transaction |
Method Detail |
---|
PageId id()
TransactionId isDirty()
void markDirty(boolean dirty, TransactionId tid)
byte[] getPageData()
The invariant here is that it should be possible to pass the byte array generated by getPageData to the Page constructor and have it produce an identical Page object.
Page getBeforeImage()
|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |