41.4.4 PagePool/Client

The class PagePool/Client helps caches to keep track of pages resident in cache, and to store various cache-related information about pages. It is mostly implemented in C++, because it is mainly used internally and little functionality is needed by users. It has the following major C++ methods:

• get_page(const char* name) - Returns a pointer to the page with the given name.
• add_page(const char *name, int size, double mt, double et, double age) - Add a page with given size, last modification time (mt), cache entry time (et), and page lifetime (age).
• remove_page(const char* name) - Remove a page from cache.

This page pool should support various cache replacement algorithms, however, it has not been implemented yet.