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
-