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
- MeshInsight: Dissecting Overheads of Service Mesh Sidecars☆46Updated last year
- A Federated Execution Engine for Fast Distributed Computation Over Slow Networks☆26Updated 3 years ago
- ☆28Updated 6 months ago
- ☆141Updated 3 weeks ago
- reimplementing scalog from scratch☆31Updated 4 years ago
- Nightcore: Efficient and Scalable Serverless Computing for Latency-Sensitive, Interactive Microservices [ASPLOS '21]☆102Updated 3 years ago
- A low-latency, extensible, multi-tenant key-value store.☆54Updated 4 years ago
- Eris distributed transactions☆52Updated 6 years ago
- ☆11Updated 7 years ago
- Simulated large clusters for Kubernetes scheduler validation.☆15Updated 2 years ago
- Code for the benchmarks presented in https://www.usenix.org/conference/atc18/presentation/boucher☆12Updated 5 years ago
- TLA+ specification of Fast Flexible Paxos☆18Updated 4 years ago
- ☆13Updated 6 years ago
- Boki: Stateful Serverless Computing with Shared Logs [SOSP '21]☆81Updated 2 years ago
- Selected Topics in Computer Networks @ Johns Hopkins University☆19Updated 4 years ago
- Wukong: A scalable and locality-enhanced serverless parallel framework (ACM SoCC'20)☆73Updated 3 months ago
- A Memory-Disaggregated Managed Runtime.☆65Updated 3 years ago
- TLA+ specifications related to Viewstamped Replication☆32Updated 2 years ago
- Rabia: Simplifying State-Machine Replication Through Randomization (SOSP 2021)☆40Updated last year
- Declarative cluster management using constraint programming, where constraints are described using SQL.☆101Updated last year
- SnailTrail implementation☆39Updated 5 years ago
- A Swiss Army knife for read-write quorum systems☆84Updated 3 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
- LazyLog: A New Shared Log Abstraction for Low-Latency Applications☆18Updated 3 months ago
- Megaphone: Latency-conscious state migration☆19Updated 5 years ago
- A framework for measuring coldstart latency, io/network throughput, and more in AWS Lambda☆74Updated 6 years ago
- The Musketeer workflow manager.☆41Updated 6 years ago
- Grizzly: Efficient Stream Processing Through Adaptive Query Compilation☆15Updated 4 years ago
- A persistent LSM key-value store. FloDB is designed to scale with the number of threads and memory size.☆26Updated 7 years ago
- ☆30Updated 7 years ago