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☆84Updated 10 months ago
- A controlled concurrency testing framework for the JVM☆392Updated this week
- Log-Structured Merge Tree Java implementation☆107Updated last year
- Interactive playground for exploring and sharing TLA+ specifications in the browser.☆165Updated 2 weeks ago
- Tektite DB☆184Updated 9 months ago
- ☆129Updated last month
- A TLA+ specification of the Apache BookKeeper replication protocol☆104Updated last year
- A collection of state machine replication protocols☆121Updated 2 years ago
- Rapid is a scalable distributed membership service☆136Updated 2 years ago
- Harry for Apache Cassandra®☆54Updated last year
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆263Updated 2 weeks ago
- TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/…☆26Updated last year
- Streaming and Incremental Computation Framework☆245Updated 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®☆84Updated last week
- ☆22Updated 6 months ago
- Curated list of resources dedicated to hardware and low level design☆64Updated 2 years ago
- ☆11Updated last year
- ☆21Updated 4 years ago
- Develop increasingly sophisticated databases from scratch in Java☆29Updated 3 years ago
- A collection of examples of Kafka Streams being used in production. Contributions welcome!☆45Updated 8 months ago
- DDSketch: A Fast and Fully-Mergeable Quantile Sketch with Relative-Error Guarantees.☆124Updated 2 months ago
- Notes from Database Internals book reading club☆12Updated last year
- This is the companion repository for the book How Query Engines Work.☆410Updated 2 years ago
- Inspect `pmap -X` output of a java process, requires Java11, likely not 100% accurate☆16Updated 4 years ago
- A curated list of TLA+ resources.☆160Updated last year
- A Swiss Army knife for read-write quorum systems☆85Updated 4 years ago
- An understandable, fast and scalable Raft Consensus implementation☆148Updated last year
- 1️⃣🐝🏎️ Path to the Fastest #1BRC Solution☆59Updated last year
- A local first persistent log☆36Updated 2 months ago