praborrow-lease
| Crates.io | praborrow-lease |
| lib.rs | praborrow-lease |
| version | 1.2.2 |
| created_at | 2026-01-09 16:27:35.34771+00 |
| updated_at | 2026-01-14 03:30:31.99074+00 |
| description | Lease consensus logic (Raft/Paxos). Manages distributed agreement on Sovereign lease validity. |
| homepage | |
| repository | https://github.com/ireddragonicy/PraBorrow |
| max_upload_size | |
| id | 2032345 |
| size | 292,142 |
Ndik (IRedDragonICY)
documentation
README
praborrow-lease
English | Indonesia
Distributed lease consensus mechanism.
Overview
Implements the consensus layer for managing sovereign leases in a distributed environment. This crate uses a Raft-based consensus algorithm to ensure linearizability of borrow checking across multiple nodes.
Key Features
-
Raft Consensus: Leader election and log replication for consistent state.
-
Lease Management: Distributed locking and validity checking for
Sovereign<T>resources. -
Fault Tolerance: Maintains system integrity despite node failures or network partitions.
-
Joint Consensus: Safe dynamic membership changes using two-phase configuration transitions.
-
Security (mTLS): Mutual TLS support for secure inter-node communication.