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.