Package com.intellij.util.io

Class PagePool

java.lang.Object

com.intellij.util.io.PagePool

public class PagePool
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
static PagePool	SHARED

Constructor Summary

Constructors

Constructor	Description
PagePool(int protectedPagesLimit, int probationalPagesLimit)

Method Summary

Modifier and Type	Method	Description
Page	alloc(RandomAccessDataFile owner, long offset)
void	flushPages(RandomAccessDataFile owner)
boolean	flushPages(RandomAccessDataFile owner, int maxPagesToFlush)
static void	printStatistics()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

SHARED

public static final PagePool SHARED

Constructor Detail

PagePool

public PagePool(int protectedPagesLimit,
                int probationalPagesLimit)

Method Detail

alloc

@NotNull
public Page alloc(RandomAccessDataFile owner,
                  long offset)

printStatistics

public static void printStatistics()

flushPages

public void flushPages(RandomAccessDataFile owner)

flushPages

public boolean flushPages(RandomAccessDataFile owner,
                          int maxPagesToFlush)

Parameters:

owner -

maxPagesToFlush -

Returns:

true if all the dirty pages where flushed.