taco-db
0.1.0
|
#include <storage/FileManager_private.h>
Public Attributes | |
PageHeaderData | m_ph |
PageNumber | m_first_pid |
The first page ID of this file. More... | |
atomic< PageNumber > | m_last_pid |
The last page ID of this file. More... | |
FreePageList | m_fpl |
The free page list of this file. More... | |
PageNumber taco::RegularFileMetaPageData::m_first_pid |
The first page ID of this file.
The first page of a regular file never changes and may never be deallocated.
FreePageList taco::RegularFileMetaPageData::m_fpl |
The free page list of this file.
atomic<PageNumber> taco::RegularFileMetaPageData::m_last_pid |
The last page ID of this file.
This is merely a hint, in that this may not be the latest tail of the list when there are concurrent page allocations. The user of m_last_pid
must be prepared to move to next until it finds the actual last page.
PageHeaderData taco::RegularFileMetaPageData::m_ph |