PaxosLease: Extending and Releasing Leases

Marton Trencseni - Mon 15 December 2025 • Tagged with lamport, paxos, paxoslease, lease, distributed, python, flask

This article extends the basic PaxosLease algorithm with practical lease renewal and explicit release semantics, showing a full working Python/Flask implementation and explaining why the protocol remains safe without disks or synchronized clocks.

Continue reading

Implementing PaxosLease in Python with HTTP Flask

Marton Trencseni - Sat 13 December 2025 • Tagged with lamport, paxos, paxoslease, lease, distributed, python, flask

This article introduces PaxosLease, a simplified Paxos variant that uses expiring leases instead of persistent values to enable fast, reliable master election in distributed systems.

Continue reading