4.16 The PGMAN Block

This block provides page and buffer management services for Disk Data tables. It includes these files:

• diskpage.hpp: Defines the File_formats, Datafile, and Undofile structures.

• diskpage.cpp: Initializes sero page headers; includes some output reoutines for reporting and debugging.

• pgman.hpp: Defines the Pgman class implementing a number of page and buffer services, including page entries and requests, page replacement, page lists, page cleanup, and other page processing.

• pgman.cpp: Implements Pgman methods for initialization and various page management tasks.

• PgmanProxy.hpp

• PgmanProxy.cpp