README- TAuditFinding
- ::to_jsonAuditReport::to_json
- TBatchResult
- TCandidate
- TDecisionKind
- TElectionVote
- TFenceDecision
- ::checkFenceGuard::check
- ::highest_tokenFenceGuard::highest_token
- ::newFenceGuard::new
- TFenceMark
- TFencedWrite
- ::fenced_writeLease::fenced_write
- ::is_activeLease::is_active
- ::remainingLease::remaining
- ::to_jsonLease::to_json
- TLeaseCommand
- TLeaseDecision
- ::to_jsonLeaseEvent::to_json
- ::to_jsonLeaseMetrics::to_json
- ::active_leaseLeaseState::active_lease
- ::applyLeaseState::apply
- ::newLeaseState::new
- ::acquire_leadershipLeaseTable::acquire_leadership
- ::active_leasesLeaseTable::active_leases
- ::applyLeaseTable::apply
- ::apply_batchLeaseTable::apply_batch
- ::getLeaseTable::get
- ::metricsLeaseTable::metrics
- ::newLeaseTable::new
- ::reap_expiredLeaseTable::reap_expired
- TQuorumCertificate
- ::to_jsonSimulationReport::to_json
- TStateIssue
- TTableDecision
- TTimedCommand
- Vaudit_events
- Vcertify_votes
- Vdecision_kind_name
- Vjson_escape
- Vquorum_size
- Vrun_failover_simulation
- Vselect_candidate
- Vstate_is_valid
- Vvalidate_state
dxh8888/moonleasekit/bench/main does not have a README file
Source Files
Install
Download zipDeterministic leases, fencing tokens and leader election primitives for MoonBit.
leasefencing-tokenleader-electiondistributed-systemsdeterministic
Apache-2.0
Updated 4 months ago
53 downloads