TODO.
More...
#include <buffer_pool_pointer_swizzling.hpp>
|
| static constexpr PageID | swizzledPIDBit = 0b10000000000000000000000000000000 |
| | Bit which is set in swizzled pointers to mark those. More...
|
| |
§ debugDumpPointer()
| zero::buffer_pool::SimpleSwizzling::debugDumpPointer |
( |
std::ostream & |
o, |
|
|
PageID |
pid |
|
) |
| |
|
static |
Dumps the given page ID to an output stream.
Dumps the given possibly swizzled page ID with additional information about swizzling etc. to an output stream.
- Precondition
- The stream manipulators of
o are set as expected.
- Parameters
-
| o | The output stream to which the pointer is printed. |
| pid | The pointer (page ID) to print. |
§ isSwizzledPointer()
| zero::buffer_pool::SimpleSwizzling::isSwizzledPointer |
( |
const PageID |
pid | ) |
|
|
inlinestaticnoexcept |
Checks whether a page ID is a swizzled buffer index.
Whether the given page ID is actually swizzled and therefore a buffer pool index marked as such.
- Parameters
-
| pid | A page ID that might be swizzled. |
- Returns
- Whether
pid is a swizzled pointer.
§ makeBufferIndex()
| zero::buffer_pool::SimpleSwizzling::makeBufferIndex |
( |
const PageID |
pid | ) |
|
|
inlinestaticnoexcept |
Transforms a swizzled page ID to a buffer pool index.
Transforms the given swizzled page ID into a buffer pool index by unsetting the flag swizzledPIDBit that marked the page ID as a swizzled pointer.
- Parameters
-
- Returns
- The buffer pool index where the page specified in
pid can be found.
§ makeSwizzledPointer()
| zero::buffer_pool::SimpleSwizzling::makeSwizzledPointer |
( |
const bf_idx |
index | ) |
|
|
inlinestaticnoexcept |
Transforms a buffer pool index into a swizzled page ID.
Transforms the given buffer pool index into a swizzled page ID by setting the flag swizzledPIDBit to mark it as a swizzled pointer.
- Parameters
-
- Returns
- The swizzled page ID to be used inside the parent page
§ BufferPool
§ swizzledPIDBit
| zero::buffer_pool::SimpleSwizzling::swizzledPIDBit = 0b10000000000000000000000000000000 |
|
staticprivate |
Bit which is set in swizzled pointers to mark those.
§ usesPointerSwizzling
| zero::buffer_pool::SimpleSwizzling::usesPointerSwizzling = true |
|
static |
The documentation for this class was generated from the following files:
