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 -