Package minprop exports a main data structure, Tracker, which checkpoints closed timestamps and associated Raft Lease Applied indexes positions for which (under additional conditions) it is legal to serve follower reads.

AsCloseFn uses the TrackerI as a CloseFn.

CloseFraction is the fraction of TargetDuration determining how often closed timestamp updates are to be attempted.

TargetDuration is the follower reads closed timestamp update target duration.

A ClientRegistry is the client component of the follower reads subsystem.

A Dialer opens closed timestamp connections to receive updates from remote nodes.

A Notifyee is a sink for closed timestamp updates.

A Producer is a source of closed timestamp updates about the local node.

Provider is the central coordinator in the closed timestamp subsystem and the gatekeeper for the closed timestamp state for both local and remote nodes, which it handles in a symmetric fashion.

A Storage holds the closed timestamps and associated MLAIs for each node.

TrackerI is part of the machinery enabling follower reads, that is, consistent reads served by replicas not holding the lease (for the requested timestamp).

CloseFn is periodically called by Producers to close out new timestamps.

LiveClockFn supplies a current HLC timestamp from the local node with the extra constraints that the local node is live for the returned timestamp at the given epoch.

RefreshFn is called by the Producer when it is asked to manually create (and emit) an update for a number of its replicas.

ReleaseFunc is a closure returned from Track which is used to record the LeaseAppliedIndex (LAI) given to a tracked proposal.