UWASL / NIFTY
NIFTY is a fault tolerance tool to partial network partitions. In case of partial network partitions, NIFTY preserves cluster connectivity by building an overlay between the cluster end nodes and rerouting packets around the partition.
☆18Updated 4 years ago
Alternatives and similar repositories for NIFTY:
Users that are interested in NIFTY are comparing it to the libraries listed below
- CrashMonkey: tools for testing file-system reliability (OSDI 18)☆198Updated 2 years ago
- A Swiss Army knife for read-write quorum systems☆84Updated 3 years ago
- A testing framework for distributed systems that can inject different types of network-partitioning faults☆15Updated 3 years ago
- Panorama: Capturing and Enhancing In Situ System Observability for Failure Detection☆117Updated 4 years ago
- Eris distributed transactions☆52Updated 6 years ago
- reimplementing scalog from scratch☆31Updated 4 years ago
- ☆29Updated 6 months ago
- TLA+ specifications related to Viewstamped Replication☆32Updated 2 years ago
- FUSE file system with private page cache to simulate post fsync failure characteristics of modern file systems☆29Updated 4 years ago
- File-system fault injection framework for distributed storage systems☆63Updated 6 years ago
- TLA+ specification of Fast Flexible Paxos☆18Updated 4 years ago
- RobinHood the first tail latency-aware caching system☆95Updated 5 years ago
- ☆46Updated last year
- ☆11Updated 7 years ago
- InfiniStore: an elastic serverless cloud storage system (VLDB'23)☆22Updated last year
- Declarative cluster management using constraint programming, where constraints are described using SQL.☆101Updated last year
- TCP and TLS performance testing tool.☆29Updated last week
- ReFlex: Remote Flash == Local Flash☆90Updated 6 years ago
- TLA+ specifications for Raft and variants☆61Updated 2 years ago
- Tetris in bpftrace☆104Updated 4 years ago
- Anvil is an experimental framework to build practical, formally verified, cluster management controllers.☆105Updated this week
- Code for the benchmarks presented in https://www.usenix.org/conference/atc18/presentation/boucher☆12Updated 5 years ago
- ☆35Updated last year
- Elastic ephemeral storage☆119Updated 2 years ago
- A formal specification of snapshot isolation.☆18Updated 3 months ago
- Linux /proc/PID/stack profiler☆32Updated 7 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
- ☆56Updated 2 years ago
- An RDMA-powered, fast, and scalable Paxos protocol☆25Updated 5 years ago
- Nemo debugs Distributed Systems by analyzing provenance graphs obtained during fault injection.☆19Updated 5 years ago