rednavis

rednavis/distributed-lock-lab

A distributed lock is not what makes your critical section safe — fencing tokens are. A specification-first reference implementation that proves it by experiment.

0 stars 0 forks 0 watchers Shell Apache License 2.0
distributed-locks distributed-systems etcd fencing-tokens good-first-issue java kubernetes linearizability postgresql spring-boot sre terraform
View on GitHub Website
9 Open Issues Need Help Last updated: Sep 15, 2026

Open Issues Need Help

View All on GitHub
[T-001] Monorepo skeleton and Gradle settings 8 days ago
help wanted type:task status:needs-triage status:ready
rednavis/distributed-lock-lab
0

A distributed lock is not what makes your critical section safe — fencing tokens are. A specification-first reference implementation that proves it by experiment.

Shell
#distributed-locks#distributed-systems#etcd#fencing-tokens#good-first-issue#java#kubernetes#linearizability#postgresql#spring-boot#sre#terraform
[T-002] The version catalog 8 days ago
good first issue type:task status:needs-triage
rednavis/distributed-lock-lab
0

A distributed lock is not what makes your critical section safe — fencing tokens are. A specification-first reference implementation that proves it by experiment.

Shell
#distributed-locks#distributed-systems#etcd#fencing-tokens#good-first-issue#java#kubernetes#linearizability#postgresql#spring-boot#sre#terraform
[T-005] Local compose stack 8 days ago
good first issue type:task status:needs-triage
rednavis/distributed-lock-lab
0

A distributed lock is not what makes your critical section safe — fencing tokens are. A specification-first reference implementation that proves it by experiment.

Shell
#distributed-locks#distributed-systems#etcd#fencing-tokens#good-first-issue#java#kubernetes#linearizability#postgresql#spring-boot#sre#terraform
[T-010] Flyway migration: lockdb schema 8 days ago
good first issue type:task status:needs-triage
rednavis/distributed-lock-lab
0

A distributed lock is not what makes your critical section safe — fencing tokens are. A specification-first reference implementation that proves it by experiment.

Shell
#distributed-locks#distributed-systems#etcd#fencing-tokens#good-first-issue#java#kubernetes#linearizability#postgresql#spring-boot#sre#terraform
[T-023] rail-stub: the non-idempotent external rail 8 days ago
good first issue type:task status:needs-triage
rednavis/distributed-lock-lab
0

A distributed lock is not what makes your critical section safe — fencing tokens are. A specification-first reference implementation that proves it by experiment.

Shell
#distributed-locks#distributed-systems#etcd#fencing-tokens#good-first-issue#java#kubernetes#linearizability#postgresql#spring-boot#sre#terraform
[T-050] Terraform root and dev environment 8 days ago
help wanted type:task status:needs-triage status:ready
rednavis/distributed-lock-lab
0

A distributed lock is not what makes your critical section safe — fencing tokens are. A specification-first reference implementation that proves it by experiment.

Shell
#distributed-locks#distributed-systems#etcd#fencing-tokens#good-first-issue#java#kubernetes#linearizability#postgresql#spring-boot#sre#terraform
[T-051] Terraform module: network 8 days ago
help wanted type:task status:needs-triage status:ready
rednavis/distributed-lock-lab
0

A distributed lock is not what makes your critical section safe — fencing tokens are. A specification-first reference implementation that proves it by experiment.

Shell
#distributed-locks#distributed-systems#etcd#fencing-tokens#good-first-issue#java#kubernetes#linearizability#postgresql#spring-boot#sre#terraform
[T-052] Terraform module: cloudsql, two instances 8 days ago
help wanted type:task status:needs-triage status:ready
rednavis/distributed-lock-lab
0

A distributed lock is not what makes your critical section safe — fencing tokens are. A specification-first reference implementation that proves it by experiment.

Shell
#distributed-locks#distributed-systems#etcd#fencing-tokens#good-first-issue#java#kubernetes#linearizability#postgresql#spring-boot#sre#terraform
[T-068] The runbook, one entry per alert 8 days ago
good first issue help wanted type:task status:needs-triage status:ready
rednavis/distributed-lock-lab
0

A distributed lock is not what makes your critical section safe — fencing tokens are. A specification-first reference implementation that proves it by experiment.

Shell
#distributed-locks#distributed-systems#etcd#fencing-tokens#good-first-issue#java#kubernetes#linearizability#postgresql#spring-boot#sre#terraform