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.
