![]() |
mutable
A Database System for Research and Fast Prototyping
|
#include <Scheduler.hpp>
Public Member Functions | |
Transaction () | |
void | start_time (int64_t time) |
| |
int64_t | start_time () const |
auto | operator== (const Transaction &other) const |
auto | operator<=> (const Transaction &other) const |
Private Attributes | |
uint64_t | id_ |
| |
int64_t | start_time_ = -1 |
| |
Static Private Attributes | |
static std::atomic< uint64_t > | next_id_ |
| |
Definition at line 16 of file Scheduler.hpp.
|
inline |
Definition at line 27 of file Scheduler.hpp.
|
inline |
Definition at line 34 of file Scheduler.hpp.
References id_.
|
inline |
Definition at line 33 of file Scheduler.hpp.
References id_.
|
inline |
Definition at line 31 of file Scheduler.hpp.
|
inline |
sets the start time of the Transaction. Should only be set once and only to a positive number.
Definition at line 30 of file Scheduler.hpp.
References and(), and M_insist.
Referenced by m::DSVReader::operator()().
|
private |
the Transaction ID
Definition at line 19 of file Scheduler.hpp.
Referenced by operator<=>(), and operator==().
|
staticprivate |
Stores the next available Transaction ID, stored atomically to prevent race conditions
Definition at line 24 of file Scheduler.hpp.
|
private |
the start time of the transaction. Used for multi-versioning and should be set when the transaction executes something.
Definition at line 21 of file Scheduler.hpp.