RollBackBufferManager
Related Doc:
package executable
Finds a buffer where a previous buffer has a high clock and this one has a low clock,then return this.
Finds a buffer where a previous buffer has a high clock and this one has a low clock,then return this.
buffer time must be earlier (<) than time
where to find value of clock at time rollback buffer's time
same as above but index is prevClock value
Finds the most recent buffer for the specified clock that is older than the specified time
Finds the most recent buffer for the specified clock that is older than the specified time
a time that the buffer must be older than
returns a Seq of rollback buffers
save current system state for a specific clock.
save current system state for a specific clock.
the time that snapshot will be for
Manage the allocation of the rollback buffers