TODO.
More...
#include <buffer_pool_pointer_swizzling.hpp>
§ debugDumpPointer()
| zero::buffer_pool::NoSwizzling::debugDumpPointer |
( |
std::ostream & |
o, |
|
|
PageID |
pid |
|
) |
| |
|
static |
Dumps the given page ID to an output stream.
Dumps the given 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::NoSwizzling::isSwizzledPointer |
( |
const PageID |
pid | ) |
|
|
inlinestaticnoexcept |
Checks whether a page ID is a swizzled buffer index.
Because this does not use pointer swizzling, there will be no swizzled pointers.
- Parameters
-
| pid | A page ID that is not swizzled. |
- Returns
- Whether
pid is a swizzled pointer, which is always false .
§ makeBufferIndex()
| zero::buffer_pool::NoSwizzling::makeBufferIndex |
( |
const PageID |
pid | ) |
|
|
inlinestaticnoexcept |
Transforms a swizzled page ID to a buffer pool index.
Because this does not use pointer swizzling, this cannot make buffer indexes from swizzled pointers.
- Postcondition
- The program exits with a failed assertion.
- Parameters
-
| pid | A page ID that is not swizzled. |
- Returns
- Nothing because the program crashes
§ makeBufferIndexForFix()
§ makeSwizzledPointer()
| zero::buffer_pool::NoSwizzling::makeSwizzledPointer |
( |
const bf_idx |
index | ) |
|
|
inlinestaticnoexcept |
Transforms a buffer pool index into a swizzled page ID.
Because this does not use pointer swizzling, this cannot make swizzled pointers.
- Postcondition
- The program exits with a failed assertion.
- Parameters
-
- Returns
- Nothing because the program crashes
§ BufferPool
§ usesPointerSwizzling
| zero::buffer_pool::NoSwizzling::usesPointerSwizzling = false |
|
static |
The documentation for this class was generated from the following files:
