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