public abstract class CachingPageStorage.CachedPage
extends java.lang.Object
Constructor and Description |
---|
CachingPageStorage.CachedPage() |
Modifier and Type | Method and Description |
---|---|
abstract void |
flush()
if the page is dirty, write it back to nonvolatile storage and mark it not dirty
|
abstract byte[] |
getBuf()
gets the byte[] for this page; it is okay to manipulate it directly, but you must call setDirty() and flush() afterwards
|
abstract int |
getPageId()
the pageid of this cached page
|
abstract boolean |
isDirty()
returns true if the page is marked dirty
|
abstract void |
setDirty()
marks the page as "dirty"; that is, in need of being written back to nonvolatile storage
|
abstract void |
touch()
indicates that the page has been accessed (either a read or a write) for purposes of least-recently-used calculations
|
public abstract byte[] getBuf()
public abstract int getPageId()
public abstract void touch()
public abstract void setDirty()
public abstract void flush()
public abstract boolean isDirty()