ease-lab / Zeus
This repository contains the TLA+ specification of the ownership and the reliable commit protocols for transactions in Zeus work that appears in Eurosys'21.
☆18Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for Zeus
- ☆12Updated 2 years ago
- Passive Disaggregated Persistent Memory at USENIX ATC 2020.☆51Updated 4 years ago
- Mu: Microsecond Consensus for Microsecond Applications☆39Updated 4 years ago
- An RDMA skew-aware key-value store, which implements the Scale-Out ccNUMA design, to exploit skew in order to increase performance of dat…☆17Updated 3 years ago
- ☆27Updated 2 months ago
- A Memory-Disaggregated Managed Runtime.☆65Updated 3 years ago
- DINOMO: An Elastic, Scalable, High-Performance Key-Value Store for Disaggregated Persistent Memory (PVLDB 2022, VLDB 2023)☆36Updated last year
- ☆20Updated 3 years ago
- ☆27Updated 2 years ago
- reimplementing scalog from scratch☆30Updated 4 years ago
- This is the source code for our (Tobias Ziegler, Jacob Nelson-Slivon, Carsten Binnig and Viktor Leis) published paper at SIGMOD’23: Desig…☆21Updated last month
- A low-latency, extensible, multi-tenant key-value store.☆54Updated 3 years ago
- ☆45Updated last year
- Boki: Stateful Serverless Computing with Shared Logs [SOSP '21]☆80Updated 2 years ago
- ☆35Updated last year
- Hermes: a fault-tolerant replication protocol, implemented over RDMA, guaranteeing linearizability and achieving low latency and high thr…☆164Updated 7 months ago
- Kreon is a key-value store library optimized for flash-based storage☆29Updated 2 years ago
- An efficient distributed key value store for fast storage devices and RDMA networks☆18Updated 3 months ago
- ☆14Updated 4 years ago
- ☆57Updated 2 years ago
- ☆22Updated last year
- ListDB: Union of Write-Ahead Logs and Persistent SkipLists for Incremental Checkpointing on Persistent Memory☆49Updated 3 months ago
- Scaling Up Memory Disaggregated Applications with SMART☆24Updated 6 months ago
- Understanding the Idiosyncrasies of Real Persistent Memory☆33Updated 3 years ago
- Source code for the SIGMOD '23 paper “Polaris: Enabling Transaction Priority in Optimistic Concurrency Control”☆23Updated last year
- Resource Allocation for Dynamic Demands☆18Updated 10 months ago
- A User-Transparent Block Cache Enabling High-Performance Out-of-Core Processing with In-Memory Programs☆74Updated last year
- [OSDI 2024] Motor: Enabling Multi-Versioning for Distributed Transactions on Disaggregated Memory☆42Updated 8 months ago
- Fast In-memory Transaction Processing using Hybrid RDMA Primitives☆67Updated 5 years ago
- ☆30Updated 3 years ago