badgerdb | |
BufDesc | Class for maintaining information about buffer pool frames |
BufStats | Class to maintain statistics of buffer usage |
BufMgr | The central class which manages the buffer pool including frame allocation and deallocation to pages in the file |
hashBucket | Declarations for buffer pool hash table |
BufHashTbl | Hash table class to keep track of pages in the buffer pool |
BadBufferException | An exception that is thrown when a buffer is found whose valid is false but other variables in BufDesc are assigned valid values |
BadgerDbException | Base class for all BadgerDB-specific exceptions |
BufferExceededException | An exception that is thrown when buffer capacity is exceeded |
FileExistsException | An exception that is thrown when a file creation is requested for a filename that already exists |
FileNotFoundException | An exception that is thrown when a file operation is requested for a filename that doesn't exist |
FileOpenException | An exception that is thrown when a file deletion is requested for a filename that's currently open |
HashAlreadyPresentException | An exception that is thrown when a new entry to be inserted in the hash table is already present in it |
HashNotFoundException | An exception that is thrown when an entry being looked up in the hash table is not present in it |
HashTableException | An exception that is thrown when some unexpected error occurs in the hash table |
InsufficientSpaceException | An exception that is thrown when a record is attempted to be inserted into a page that doesn't have space for it |
InvalidPageException | An exception that is thrown when an attempt is made to access an invalid page in a file |
InvalidRecordException | An exception that is thrown when a record is requested from a page that has a bad record ID |
InvalidSlotException | An exception that is thrown when a slot that doesn't have data is requested from a page |
PageNotPinnedException | An exception that is thrown when a page which is expected to be pinned in the buffer pool is found to be not pinned |
PagePinnedException | An exception that is thrown when a page which is not expected to be pinned in the buffer pool is found to be pinned |
SlotInUseException | An exception that is thrown when a record is attempted to be inserted into a slot that is already in use |
FileHeader | Header metadata for files on disk which contain pages |
File | Class which represents a file in the filesystem containing database pages |
FileIterator | Iterator for iterating over the pages in a file |
PageHeader | Header metadata in a page |
PageSlot | Slot metadata that tracks where a record is in the data space |
Page | Class which represents a fixed-size database page containing records |
PageIterator | Iterator for iterating over the records in a page |
RecordId | Identifier for a record in a page |