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
Other page processing
pgman.cpp.
Implements Pgman methods for
initialization and various page management tasks.
