diskpage.hpp：定義 File_formats、Datafile 和 Undofile 結構。

diskpage.cpp：初始化零頁面標頭；包含一些用於報告和偵錯的輸出常式。

pgman.hpp：定義 Pgman 類別，實作多種頁面和緩衝區服務，包括頁面條目和請求、頁面置換、頁面清單、頁面清除和其他頁面處理。

pgman.cpp：實作 Pgman 方法，用於初始化和各種頁面管理任務。

PgmanProxy.hpp

PgmanProxy.cpp