Class CacheManager3
java.lang.Object
com.semedy.reasoner.edb.persistentstore.CacheManager3
- Author:
- angele
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionstatic void
static void
add to list of units to destruct at the endstatic void
static boolean
check4release
(long size) check whether a unit with a certain size should be releasedstatic void
clear()
clear all lists.static void
freeUp
(int size) free up memory by releasing cached unitsstatic int
for statistic purposestatic int
static int
for statistic purposestatic int
for statistic purposestatic int
for statistic purposestatic void
release all listed unitsstatic void
remove a cache unitstatic void
static void
setTest
(boolean t) static void
stop()
static void
cache recently used blocks, free up cached blocks which has not been used for the longest time
-
Constructor Details
-
CacheManager3
public CacheManager3()
-
-
Method Details
-
setLock
-
getCounter
public static int getCounter() -
touch
cache recently used blocks, free up cached blocks which has not been used for the longest time -
addToDestroy
add to list of units to destruct at the end- Parameters:
c
-
-
addToReleasedUnits
-
addToAddedUnits
-
remove
remove a cache unit- Parameters:
c
-
-
setTest
public static void setTest(boolean t) -
releaseAll
release all listed units- Throws:
IOException
EDBException
-
check4release
public static boolean check4release(long size) check whether a unit with a certain size should be released- Parameters:
size
-- Returns:
-
clear
clear all lists. Used at the end of a run, e.g. at end of a test to clear all up, destroy destroyables- Throws:
EDBException
IOException
-
freeUp
public static void freeUp(int size) free up memory by releasing cached units- Parameters:
size
-- Throws:
IOException
-
getNumPages
public static int getNumPages()for statistic purpose- Returns:
-
getAddedPages
public static int getAddedPages()for statistic purpose- Returns:
-
getPagesToDestroy
public static int getPagesToDestroy()for statistic purpose- Returns:
-
getReleasedPages
public static int getReleasedPages()for statistic purpose- Returns:
-
getReleasedClasses
-
getAddedClasses
-
stop
- Throws:
InterruptedException
-