lorin / virtual-threads-tla
Reproduce a Java 21 virtual threads deadlock scenario in TLA+
☆11Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for virtual-threads-tla
- TLA+ specifications for Kafka related algorithms☆52Updated last month
- TLA+ specifications for Raft and variants☆59Updated 2 years ago
- Harry for Apache Cassandra®☆54Updated 3 months ago
- ☆107Updated this week
- Log-Structured Merge Tree Java implementation☆80Updated 6 months ago
- A TLA+ specification of the Apache BookKeeper replication protocol☆101Updated 8 months ago
- Compiler translating SQL view definitions into DBSP circuits (https://github.com/vmware/database-stream-processor)☆28Updated last year
- An understandable, fast and scalable Raft Consensus implementation☆129Updated 2 months ago
- TLA+ specifications related to Viewstamped Replication☆28Updated last year
- OmniPaxos is a distributed log implemented as a Rust library.☆191Updated this week
- Streaming and Incremental Computation Framework☆225Updated last year
- Optimistic multi-version concurrency control (MVCC) for main memory databases, written in Rust.☆114Updated last year
- Tektite DB☆180Updated this week
- Accord library for Apache Cassandra®☆63Updated this week
- Notes on Transaction Processing: Concepts and Techniques by Jim Gray and Andreas Reuter☆38Updated 9 months ago
- TLC models for the MongoDB Replication TLA+ specification.☆20Updated 4 years ago
- Develop increasingly sophisticated databases from scratch in Java☆29Updated 2 years ago
- A collection of RBIR projects and posts for anyone interested in joining this journey.☆192Updated this week
- A collection of state machine replication protocols☆118Updated last year
- AnyBlob - A Universal Cloud Object Storage Download Manager Built For Cost-Throughput Optimal Analytics!☆106Updated last month
- ☆63Updated last year
- Read HotSpot perf counters directly from the JVM memory☆33Updated last year
- A Swiss Army knife for read-write quorum systems☆84Updated 3 years ago
- Small numerical simulator example☆46Updated last year
- A local first persistent log☆32Updated this week
- Message queue and data streaming based on cloud native services.☆77Updated last week
- A Persistent Key-Value Store designed for Streaming processing☆14Updated 2 weeks ago
- 1️⃣🐝🏎️ Path to the Fastest #1BRC Solution☆42Updated last month
- A collection of examples of Kafka Streams being used in production. Contributions welcome!☆40Updated 3 months ago