此模块为磁盘数据表提供页面和缓冲区管理服务。它包括以下文件
diskpage.hpp:定义 File_formats、Datafile 和 Undofile 结构。
diskpage.cpp:初始化零页面标题;包括一些用于报告和调试的输出例程。
pgman.hpp:定义 Pgman 类,该类实现许多页面和缓冲区服务,包括页面条目和请求、页面替换、页面列表、页面清理和其他页面处理。
pgman.cpp:实现用于初始化和各种页面管理任务的 Pgman 方法。
PgmanProxy.hpp
PgmanProxy.cpp