lorin / virtual-threads-tla
Reproduce a Java 21 virtual threads deadlock scenario in TLA+
☆11Updated 7 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☆64Updated last month
- TLA+ specifications for Raft and variants☆61Updated 2 years ago
- Harry for Apache Cassandra®☆54Updated 6 months ago
- Small numerical simulator example☆53Updated last year
- Accord library for Apache Cassandra®☆68Updated this week
- A TLA+ specification of the Apache BookKeeper replication protocol☆103Updated 11 months ago
- TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/…☆24Updated last year
- TLA+ specifications related to Viewstamped Replication☆32Updated 2 years ago
- Log-Structured Merge Tree Java implementation☆88Updated 9 months ago
- Tektite DB☆183Updated last week
- ☆116Updated 3 months ago
- A local first persistent log☆35Updated 2 months ago
- A collection of examples of Kafka Streams being used in production. Contributions welcome!☆42Updated 6 months ago
- Generated Kafka protocol implementations☆31Updated this week
- ☆21Updated 3 months ago
- Latency Tester for Apache Cassandra☆184Updated 2 weeks ago
- A collection of state machine replication protocols☆118Updated 2 years ago
- Compiler translating SQL view definitions into DBSP circuits (https://github.com/vmware/database-stream-processor)☆28Updated last year
- OmniPaxos is a distributed log implemented as a Rust library.☆195Updated 2 weeks ago
- Inspect `pmap -X` output of a java process, requires Java11, likely not 100% accurate☆15Updated 3 years ago
- A Swiss Army knife for read-write quorum systems☆84Updated 3 years ago
- Read HotSpot perf counters directly from the JVM memory☆33Updated last year
- 1️⃣🐝🏎️ Path to the Fastest #1BRC Solution☆47Updated 4 months ago
- Azure Cosmos TLA+ specifications☆21Updated last month
- Reading the linearizability paper with TLA+☆48Updated 2 years ago
- Optimistic multi-version concurrency control (MVCC) for main memory databases, written in Rust.☆126Updated last year
- xctrace (a.k.a. Instruments) based profiler for JMH☆28Updated 11 months ago
- DDSketch: A Fast and Fully-Mergeable Quantile Sketch with Relative-Error Guarantees.☆118Updated 8 months ago
- Solving the Advent of Code 2023 using nothing but Materialize, SQL and our bare hands. 🎄☆20Updated 6 months ago