DiskManager::DiskFileInfo Struct Reference

Public Attributes
std::fstream	file
std::uint32_t	capacity
std::unordered_set< PageNum >	unused_pages
std::mutex	file_mtx

Detailed Description

Metadata struct that stores the fstream, capacity, and set of unused pages in the given relation/index file. Is the value type in fileMap. SerializedFileInfo Struct is used to initialize DiskFileInfo capacity and bitmap.

Member Data Documentation

capacity

std::uint32_t DiskManager::DiskFileInfo::capacity

The total number of pages alloted in the relation/index file.

file

std::fstream DiskManager::DiskFileInfo::file

fstream of the relation/index file the disk can read and write to.

file_mtx

std::mutex DiskManager::DiskFileInfo::file_mtx

A std::mutex for synchronized access to the corresponding Unix file.

unused_pages

std::unordered_set<PageNum> DiskManager::DiskFileInfo::unused_pages

List of unused pages, identified by PageNum

---

The documentation for this struct was generated from the following file:

• diskmgr.h