public class PagePool
extends java.lang.Object
| Constructor and Description |
|---|
PagePool(int protectedPagesLimit,
int probationalPagesLimit) |
| Modifier and Type | Method and Description |
|---|---|
Page |
alloc(RandomAccessDataFile owner,
long offset) |
void |
flushPages(RandomAccessDataFile owner) |
boolean |
flushPages(RandomAccessDataFile owner,
int maxPagesToFlush) |
static void |
printStatistics() |
public static final PagePool SHARED
public Page alloc(RandomAccessDataFile owner, long offset)
public static void printStatistics()
public void flushPages(RandomAccessDataFile owner)
public boolean flushPages(RandomAccessDataFile owner, int maxPagesToFlush)
owner - maxPagesToFlush -