ease-lab / ZeusLinks
This repository contains the TLA+ specification of the ownership and the reliable commit protocols for transactions in Zeus work that appears in Eurosys'21.
☆20Updated 3 years ago
Alternatives and similar repositories for Zeus
Users that are interested in Zeus are comparing it to the libraries listed below
Sorting:
- ☆15Updated 3 years ago
- ☆57Updated 3 years ago
- Mu: Microsecond Consensus for Microsecond Applications☆41Updated 5 years ago
- A Memory-Disaggregated Managed Runtime.☆66Updated 4 years ago
- This repository contains the source code for our ACM SIGMOD '21 paper (Maximizing Persistent Memory Bandwidth Utilization for OLAP Worklo…☆21Updated 3 years ago
- Kreon is a key-value store library optimized for flash-based storage☆31Updated 3 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…☆19Updated 4 years ago
- This is the implementation repository of our FAST'23 paper: FUSEE: A Fully Memory-Disaggregated Key-Value Store.☆60Updated 2 years ago
- Scaling Up Memory Disaggregated Applications with SMART☆32Updated last year
- Passive Disaggregated Persistent Memory at USENIX ATC 2020.☆51Updated 5 years ago
- Boki: Stateful Serverless Computing with Shared Logs [SOSP '21]☆84Updated 3 years ago
- Fast RDMA-based Ordered Key-Value Store using Remote Learned Cache☆117Updated 4 years ago
- This is the implementation repository of our SOSP'24 paper: Aceso: Achieving Efficient Fault Tolerance in Memory-Disaggregated Key-Value …☆22Updated last year
- Hydra adds resilience and high availability to remote memory solutions.☆33Updated 3 years ago
- Fast In-memory Transaction Processing using Hybrid RDMA Primitives☆66Updated 7 years ago
- ☆21Updated 4 years ago
- Understanding the Idiosyncrasies of Real Persistent Memory☆33Updated 4 years ago
- ☆14Updated 5 years ago
- Cocytus is an efficient and available in-memory K/V-store through hybrid erasure coding and replication☆30Updated 9 years ago
- ☆27Updated 2 years ago
- ☆26Updated 4 years ago
- ☆35Updated 2 years ago
- ☆30Updated 3 years ago
- MIND: In-Network Memory Management for Disaggregated Data Centers☆44Updated 4 months ago
- Cost/performance analysis of index structures on SSD and persistent memory (CIDR 2022)☆36Updated 3 years ago
- Source code for our OSDI 2016 paper☆110Updated 7 years ago
- ☆77Updated 3 months ago
- Simulator for comparing memory allocation policies for caches.☆19Updated 6 years ago
- ROLEX: A Scalable RDMA-oriented Learned Key-Value Store for Disaggregated Memory Systems☆80Updated 2 years ago
- blk-switch kernel implementation (OSDI'21)☆74Updated last year