SwatDB
DiskManager Member List
This is the complete list of members for
DiskManager
, including all inherited members.
_deserializeFileHeader
(SerializedFileHeader *file_header, DiskFileInfo *disk_file_info)
DiskManager
private
_flushDiskFileInfo
(FileId file_id)
DiskManager
private
_getDiskFileInfo
(FileId file_id, DiskFileInfo **disk_file_info)
DiskManager
private
_serializeFileHeader
(SerializedFileHeader *file_header, DiskFileInfo *disk_file_info)
DiskManager
private
allocatePage
(FileId file_id)
DiskManager
catalog
DiskManager
private
createFile
(FileId file_id)
DiskManager
deallocatePage
(PageId page_id)
DiskManager
DISK_HEADER_BITMAP_SIZE
DiskManager
private
static
DISK_HEADER_SIZE
DiskManager
private
static
DiskManager
(Catalog *catalog)
DiskManager
file_map
DiskManager
private
file_map_mtx
DiskManager
private
getCapacity
(FileId file_id)
DiskManager
getSize
(FileId file_id)
DiskManager
isValidPage
(PageId page_id)
DiskManager
printFile
(FileId file_id)
DiskManager
readPage
(PageId page_id, Page *page)
DiskManager
removeFile
(FileId file_id)
DiskManager
temp_page
DiskManager
private
writePage
(PageId page_id, Page *page)
DiskManager
~DiskManager
()
DiskManager
Generated by
1.8.13