|
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 |