Documentation
¶
Index ¶
Constants ¶
This section is empty.
Variables ¶
View Source
var ( ErrInvalidLease = errors.New("coordination: invalid lease") // ErrRunLeaseLost reports that the worker executing a run no longer holds // the run lease (renewal returned not-held or failed) and must stop // executing before another worker reaps or takes over the run. It is kept // in this package, not the framework facade, so the runtime engine can // classify it without an import cycle; the facade re-exports it. ErrRunLeaseLost = errors.New("agentflow: run lease lost") )
Functions ¶
This section is empty.
Types ¶
type Lease ¶
Lease is a held lock plus its fencing token. Token is assigned by the Locker on every successful Acquire and is monotonically increasing per key; Renew keeps the token unchanged. Downstream writers (e.g. fenced snapshot saves) compare the token against the highest token they have seen for the key and reject writes from superseded holders.
Click to show internal directories.
Click to hide internal directories.