numbleroot / nemo
Nemo debugs Distributed Systems by analyzing provenance graphs obtained during fault injection.
☆19Updated 5 years ago
Alternatives and similar repositories for nemo
Users that are interested in nemo are comparing it to the libraries listed below
Sorting:
- MeshInsight: Dissecting Overheads of Service Mesh Sidecars☆47Updated last year
- A Federated Execution Engine for Fast Distributed Computation Over Slow Networks☆26Updated 4 years ago
- reimplementing scalog from scratch☆30Updated 4 years ago
- ☆29Updated 8 months ago
- Declarative cluster management using constraint programming, where constraints are described using SQL.☆101Updated 2 years ago
- A persistent LSM key-value store. FloDB is designed to scale with the number of threads and memory size.☆26Updated 8 years ago
- Eris distributed transactions☆52Updated 7 years ago
- A Swiss Army knife for read-write quorum systems☆84Updated 3 years ago
- NIFTY is a fault tolerance tool to partial network partitions. In case of partial network partitions, NIFTY preserves cluster connectivit…☆20Updated 4 years ago
- Wukong: A scalable and locality-enhanced serverless parallel framework (ACM SoCC'20)☆74Updated 6 months ago
- ☆18Updated 7 years ago
- Megaphone: Latency-conscious state migration☆19Updated 5 years ago
- FaaSNet: Scalable and Fast Provisioning of Custom Serverless Container Runtimes at Alibaba Cloud Function Compute (USENIX ATC'21)☆54Updated 3 years ago
- A caching framework for microservice applications☆20Updated last year
- ☆26Updated 3 years ago
- TLA+ specification of Fast Flexible Paxos☆18Updated 4 years ago
- A framework for measuring coldstart latency, io/network throughput, and more in AWS Lambda☆74Updated 6 years ago
- Nightcore: Efficient and Scalable Serverless Computing for Latency-Sensitive, Interactive Microservices [ASPLOS '21]☆103Updated 3 years ago
- A low-latency, extensible, multi-tenant key-value store.☆55Updated 4 years ago
- Grizzly: Efficient Stream Processing Through Adaptive Query Compilation☆16Updated 4 years ago
- Code for the benchmarks presented in https://www.usenix.org/conference/atc18/presentation/boucher☆12Updated 6 years ago
- ☆11Updated 7 years ago
- This repository contains the TLA+ specification of the ownership and the reliable commit protocols for transactions in Zeus work that app…☆18Updated 2 years ago
- Simulated large clusters for Kubernetes scheduler validation.☆15Updated 2 years ago
- A playground to experiment with Raft proposal pipeline optimization☆16Updated 2 years ago
- Boki: Stateful Serverless Computing with Shared Logs [SOSP '21]☆82Updated 3 years ago
- Go Version of Redis on PMEM☆12Updated 3 years ago
- This repository contains the open source related to Cold Filter meta-framework (accepted by SIGMOD2018).☆31Updated 7 years ago
- ☆13Updated 6 years ago
- ☆12Updated 5 years ago