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
- Kreon is a key-value store library optimized for flash-based storage☆32Updated 4 years ago
- ☆57Updated 4 years ago
- Mu: Microsecond Consensus for Microsecond Applications☆41Updated 5 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
- Fast RDMA-based Ordered Key-Value Store using Remote Learned Cache☆117Updated 5 years ago
- An efficient distributed key value store for fast storage devices and RDMA networks☆19Updated last year
- A Memory-Disaggregated Managed Runtime.☆67Updated 4 years ago
- Passive Disaggregated Persistent Memory at USENIX ATC 2020.☆51Updated 5 years ago
- ☆14Updated 5 years ago
- Cost/performance analysis of index structures on SSD and persistent memory (CIDR 2022)☆36Updated 3 years ago
- ☆30Updated 3 years ago
- ☆36Updated 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
- Nightcore: Efficient and Scalable Serverless Computing for Latency-Sensitive, Interactive Microservices [ASPLOS '21]☆106Updated 4 years ago
- Boki: Stateful Serverless Computing with Shared Logs [SOSP '21]☆84Updated 3 years ago
- MIND: In-Network Memory Management for Disaggregated Data Centers☆44Updated 6 months ago
- A collection of Twitter's anonymized production cache traces.☆208Updated 4 years ago
- Software Transactional Objects☆56Updated last year
- Source code for Spitfire: A Three-Tier Buffer Manager for Volatile and Non-Volatile Memory☆39Updated 3 years ago
- ☆81Updated 5 months ago
- Sundial: A distributed OLTP database testbed.☆39Updated 5 years ago
- Fast In-memory Transaction Processing using Hybrid RDMA Primitives☆66Updated 7 years ago
- A benchmarking suite to evaluate the performance of persistent memory access (PerMA-Bench @ VLDB '22)☆20Updated 3 years ago
- Source code for the SIGMOD '23 paper “Polaris: Enabling Transaction Priority in Optimistic Concurrency Control”☆27Updated 2 years ago
- The Art of Latency Hiding in Modern Database Engines (VLDB 2024)☆61Updated 9 months ago
- Understanding the Idiosyncrasies of Real Persistent Memory☆33Updated 4 years ago
- Simulator for comparing memory allocation policies for caches.☆19Updated 6 years ago
- WHISPER is a comprehensive benchmark suite for emerging persistent memory technologies.☆49Updated 7 years ago
- SplitFS: persistent-memory file system that reduces software overhead (SOSP 2019)☆170Updated 3 years ago