lorin / virtual-threads-tla
Reproduce a Java 21 virtual threads deadlock scenario in TLA+
☆11Updated 5 months ago
Alternatives and similar repositories for virtual-threads-tla:
Users that are interested in virtual-threads-tla are comparing it to the libraries listed below
- TLA+ specifications for Kafka related algorithms☆63Updated this week
- TLA+ specifications for Raft and variants☆61Updated 2 years ago
- An understandable, fast and scalable Raft Consensus implementation☆133Updated 4 months ago
- Accord library for Apache Cassandra®☆66Updated this week
- Inspect `pmap -X` output of a java process, requires Java11, likely not 100% accurate☆14Updated 3 years ago
- ☆116Updated 2 months ago
- A Swiss Army knife for read-write quorum systems☆84Updated 3 years ago
- TLA+ specifications related to Viewstamped Replication☆32Updated 2 years ago
- A TLA+ specification of the Apache BookKeeper replication protocol☆103Updated 10 months ago
- Optimistic multi-version concurrency control (MVCC) for main memory databases, written in Rust.☆123Updated last year
- Tektite DB☆182Updated 2 weeks ago
- OmniPaxos is a distributed log implemented as a Rust library.☆193Updated this week
- A local first persistent log☆34Updated last month
- Generated Kafka protocol implementations☆30Updated this week
- Log-Structured Merge Tree Java implementation☆85Updated 8 months ago
- Harry for Apache Cassandra®☆54Updated 5 months ago
- 1️⃣🐝🏎️ Path to the Fastest #1BRC Solution☆46Updated 3 months ago
- A collection of state machine replication protocols☆118Updated 2 years ago
- ☆29Updated 3 years ago
- Viewstamped Replication for Rust☆64Updated last year
- A little, pedagogical implementation of mvcc and transaction isolation levels.☆52Updated 3 months ago
- AnyBlob - A Universal Cloud Object Storage Download Manager Built For Cost-Throughput Optimal Analytics!☆117Updated 3 weeks ago
- A bogus CPU emulator written in Rust.☆52Updated 5 months ago
- A framework for building Postgres Wire-Protocol backends on the JVM, backed by Netty☆32Updated 2 years ago
- SIEVE is simpler than LRU☆13Updated 9 months ago
- Query Plan Markup Language☆45Updated last year
- Rust implementation of the FastLanes compression library☆93Updated last week
- Embeddable Aggregate Management System for Streams and Queries.☆89Updated 3 weeks ago
- Notes on Transaction Processing: Concepts and Techniques by Jim Gray and Andreas Reuter☆38Updated 11 months ago
- Message queue and data streaming based on cloud native services.☆99Updated last week