Module timeline

A mechanism to ensure that a sequence of writes and reads proceed correctly through timestamps.

Structs

TimelineState 🔒

Global state for a single timeline.

Enums

TimelineContext

An enum describing whether or not a query belongs to a timeline and whether the query can be affected by the timestamp at which it executes.

Functions

timedomain_for 🔒

Return the set of ids in a timedomain and verify timeline correctness.

upper_bound 🔒

Convenience function for calculating the current upper bound that we want to prevent the global timestamp from exceeding.