diskpage.hpp: 定义 File_formats, Datafile, 和Undofile 结构。

diskpage.cpp: 初始化 sero 页眉；包括一些用于报告和调试的输出重新例程。

pgman.hpp：定义 Pgman实现许多页面和缓冲区服务的类，包括页面条目和请求、页面替换、页面列表、页面清理和其他页面处理。

pgman.cpp：实现 Pgman初始化方法和各种页面管理任务。

PgmanProxy.hpp

PgmanProxy.cpp