twizzler-operating-system / twizzler-public
Public-facing version of the Twizzler OS source code. Note: this is not completely up-to-date with internal Twizzler code.
☆65Updated 4 years ago
Alternatives and similar repositories for twizzler-public:
Users that are interested in twizzler-public are comparing it to the libraries listed below
- LiTL: Library for Transparent Lock Interposition☆79Updated last year
- The Twizzler Operating System☆85Updated last week
- This is the public release of the ffwd delegation system, and associated benchmarks from the SOSP'17 paper.☆78Updated 7 years ago
- User-space Page Management☆106Updated 6 months ago
- Aurora Single Level Store☆28Updated 11 months ago
- ☆45Updated last year
- Recoverable lock-free allocator based on LRMalloc☆47Updated 4 years ago
- https://www.usenix.org/conference/atc20/presentation/boucher☆24Updated 2 years ago
- An open-source framework for concurrent data-structures and benchmarks. 🛠️ Latest Dev Branch: v3.4.0-dev 🚀 https://github.com/nkallima/…☆67Updated 2 months ago
- The world's first wait-free KV store with generic durable linearizable transactions☆40Updated 2 years ago
- Source for SibylFS model and test tools☆35Updated 4 years ago
- A Wait-Free Universal Construct for Large Objects☆96Updated 5 years ago
- ☆31Updated 2 years ago
- fine-grained, cgroup-based tool for profiling memory usage over time of a process tree☆43Updated 7 months ago
- A simple, reference implementation of a B^e-tree☆152Updated 5 years ago
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.☆100Updated 6 months ago
- WiscSee tells if you are using SSDs in the right way.☆49Updated 6 years ago
- a high performance cache simulator and library☆98Updated 6 months ago
- Testing memory-level parallelism☆67Updated 11 months ago
- A tool for measuring the cache-coherence latencies of a processor (i.e., the latencies of loads, stores, CAS, FAI, TAS, and SWAP).☆75Updated 2 years ago
- ☆40Updated 10 months ago
- An operation-log based approach for data replication.☆61Updated last year
- Always-Correct and Fast Incremental Builds from Simple Specifications☆87Updated 7 months ago
- Fast linearizability checker☆66Updated 9 years ago
- Collection of synchronization micro-benchmarks and traces from infrastructure applications☆40Updated 3 weeks ago
- ☆224Updated last year
- The command-line frontend to transactional consistency checkers for black-box databases☆28Updated 3 months ago
- Generic model checker for concurrent C programs (mirror repository)☆137Updated 5 months ago
- Read-Log-Update: A Lightweight Synchronization Mechanism for Concurrent Programming☆48Updated 9 years ago
- Wormhole: A concurrent ordered in-memory key-value index with O(log L) search cost (L is search key's length)☆74Updated 2 years ago