lorin / virtual-threads-tlaLinks
Reproduce a Java 21 virtual threads deadlock scenario in TLA+
☆10Updated last year
Alternatives and similar repositories for virtual-threads-tla
Users that are interested in virtual-threads-tla are comparing it to the libraries listed below
Sorting:
- TLA+ specifications for Kafka related algorithms☆69Updated 6 months ago
- A controlled concurrency testing framework for the JVM☆281Updated last week
- Log-Structured Merge Tree Java implementation☆99Updated last year
- Small numerical simulator example☆55Updated last year
- ☆124Updated 2 months ago
- Tektite DB☆184Updated 5 months ago
- Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.☆132Updated last week
- Curated list of resources dedicated to hardware and low level design☆62Updated 2 years ago
- Harry for Apache Cassandra®☆54Updated 11 months ago
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆241Updated 2 weeks ago
- Inspect `pmap -X` output of a java process, requires Java11, likely not 100% accurate☆15Updated 3 years ago
- ☆19Updated 2 years ago
- Hello eBPF world! Hello Java world! Let's discover eBPF together and write Java user-land library along the way.☆160Updated 2 months ago
- DDSketch: A Fast and Fully-Mergeable Quantile Sketch with Relative-Error Guarantees.☆120Updated 3 months ago
- 1️⃣🐝🏎️ Path to the Fastest #1BRC Solution☆49Updated 9 months ago
- A TLA+ specification of the Apache BookKeeper replication protocol☆104Updated last year
- Streaming and Incremental Computation Framework☆241Updated 2 years ago
- Compiler translating SQL view definitions into DBSP circuits (https://github.com/vmware/database-stream-processor)☆30Updated 2 years ago
- Accord library for Apache Cassandra®☆77Updated this week
- Rapid is a scalable distributed membership service☆134Updated 2 years ago
- A collection of state machine replication protocols☆118Updated 2 years ago
- A Swiss Army knife for read-write quorum systems☆84Updated 4 years ago
- A distributed thread-per-core document database☆530Updated last year
- Solving the Advent of Code 2023 using nothing but Materialize, SQL and our bare hands. 🎄☆20Updated 11 months ago
- A collection of examples of Kafka Streams being used in production. Contributions welcome!☆43Updated 4 months ago
- ☆132Updated last year
- TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/…☆25Updated last year
- TLC models for the MongoDB Replication TLA+ specification.☆21Updated 4 years ago
- An understandable, fast and scalable Raft Consensus implementation☆144Updated 10 months ago
- Materials for the presentation TUT2844 "Mastering Java Performance with async-profiler"☆149Updated 4 years ago