int t
Cache add time.
Definition: scm-set.hpp:33
scm_page search(scm_page, int)
Search for the given page in this page set. If found, update the page entry with the current time t t...
Definition: scm-set.cpp:24
scm_page eject(int, long long)
Eject a page from this set to accommodate the addition of a new page.
Definition: scm-set.cpp:61
void insert(scm_page, int)
Add a page to this set, associated with the current time.
Definition: scm-set.cpp:41
An scm_set represents an a set of active pages, either currently in a cache or awaiting loading...
Definition: scm-set.hpp:41
int l
Cache line index.
Definition: scm-set.hpp:32
An scm_page structure represents an active image page, either currently in a cache or awaiting loadin...
Definition: scm-set.hpp:25