jdd.bdd.debug

Class VerifiedCache

java.lang.Object

jdd.bdd.CacheBase

jdd.bdd.debug.VerifiedCache

public final class VerifiedCache
extends CacheBase

This cache verifis the SimpleCache on the fly by testing it against an ideal cache. it is used by the developers to find bugs in the complex SimpleCache/OptimizedCache classes. should not be used by users

See Also:

IdealCache, SimpleCache

Field Summary

Fields

Modifier and Type	Field and Description
int	answer
int	hash_value

Constructor Summary

Constructors

Constructor and Description
VerifiedCache(String name, int size, int members, int bdds)

Method Summary

Modifier and Type	Method and Description
void	check_cache(NodeTable nt)
double	computeHitRate() the hit rate, 0-100%
double	computeLoadFactor() the load factor, 0-100%
void	free_or_grow()
void	free_or_grow(NodeTable nt)
long	getAccessCount() number of times the cache was accessed
int	getCacheSize() size of the cache
int	getNumberOfClears() number of times cache was cleared
int	getNumberOfGrows() number of times cache was growed
int	getNumberOfPartialClears() number of times cache was partially
int	getSize() current size of the cache
void	insert(int hash, int key1, int value)
void	insert(int hash, int key1, int key2, int value)
void	insert(int hash, int key1, int key2, int key3, int value)
void	invalidate_cache() just wipe the cache
void	invalidate_cache(NodeTable nt)
boolean	lookup(int a)
boolean	lookup(int a, int b)
boolean	lookup(int a, int b, int c)
static void	main(String[] args)
void	showStats()

Methods inherited from class jdd.bdd.CacheBase

getName

Methods inherited from class java.lang.Object

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

Field Detail

answer

public int answer

hash_value

public int hash_value

Constructor Detail

VerifiedCache

public VerifiedCache(String name,
                     int size,
                     int members,
                     int bdds)

Method Detail

getSize

public int getSize()

current size of the cache

invalidate_cache

public void invalidate_cache()

just wipe the cache

free_or_grow

public void free_or_grow()

free_or_grow

public void free_or_grow(NodeTable nt)

invalidate_cache

public void invalidate_cache(NodeTable nt)

insert

public void insert(int hash,
                   int key1,
                   int value)

insert

public void insert(int hash,
                   int key1,
                   int key2,
                   int value)

insert

public void insert(int hash,
                   int key1,
                   int key2,
                   int key3,
                   int value)

lookup

public final boolean lookup(int a)

lookup

public final boolean lookup(int a,
                            int b)

lookup

public final boolean lookup(int a,
                            int b,
                            int c)

computeLoadFactor

public double computeLoadFactor()

Description copied from class: CacheBase

the load factor, 0-100%

Specified by:

computeLoadFactor in class CacheBase

computeHitRate

public double computeHitRate()

Description copied from class: CacheBase

the hit rate, 0-100%

Specified by:

computeHitRate in class CacheBase

getAccessCount

public long getAccessCount()

Description copied from class: CacheBase

number of times the cache was accessed

Specified by:

getAccessCount in class CacheBase

getCacheSize

public int getCacheSize()

Description copied from class: CacheBase

size of the cache

Specified by:

getCacheSize in class CacheBase

getNumberOfClears

public int getNumberOfClears()

Description copied from class: CacheBase

number of times cache was cleared

Specified by:

getNumberOfClears in class CacheBase

getNumberOfPartialClears

public int getNumberOfPartialClears()

Description copied from class: CacheBase

number of times cache was partially

Specified by:

getNumberOfPartialClears in class CacheBase

getNumberOfGrows

public int getNumberOfGrows()

Description copied from class: CacheBase

number of times cache was growed

Specified by:

getNumberOfGrows in class CacheBase

check_cache

public void check_cache(NodeTable nt)

showStats

public void showStats()

main

public static void main(String[] args)