bachmanm / failure-detectors

Related projects: ⓘ

• kompics / kompics
  Kompics - A message-passing component model for building distributed systems
  ☆65Updated last year
• ahorn / linearizability-checker
  Fast linearizability checker
  ☆65Updated 9 years ago
• ricardobcl / DottedDB
  A Distributed Key-Value Store with "Server Wide Clocks"
  ☆85Updated 7 years ago
• fpaxos / fpaxos-lib
  Prototype of FPaxos, built upon LibPaxos3
  ☆49Updated 4 years ago
• Randommood / RICON2014
  This repo contains the reference materials to my RICON 2014 talk
  ☆33Updated 7 years ago
• armen / dp
  Distributed Programming Abstractions
  ☆16Updated 5 years ago
• mejbah / SyncPerf
  A lightweight profiler to detect and categorize root causes of synchronization related performance issues in multithreaded programs
  ☆20Updated 7 years ago
• cruzdb / cruzdb
  Append-only key-value database on a distributed shared-log
  ☆49Updated last month
• denizalti / openreplica
  Coordination Service for Distributed Systems
  ☆104Updated last month
• LPD-EPFL / flodb
  A persistent LSM key-value store. FloDB is designed to scale with the number of threads and memory size.
  ☆26Updated 7 years ago
• UWSysLab / NOPaxos
  NOPaxos consensus protocol
  ☆133Updated 3 years ago
• mpoke / allconcur
  AllConcur: Algorithm for LeaderLess CONCURrent atomic broadcast
  ☆29Updated 7 years ago
• wpaxos / paxi
  Paxos protocol variants framework
  ☆26Updated 6 years ago
• rystsov / fast-jepsen
  Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time
  ☆20Updated 5 years ago
• mwhittaker / quoracle
  A Swiss Army knife for read-write quorum systems
  ☆84Updated 3 years ago
• efficient / qlease
  ☆23Updated 9 years ago
• kshitiz8 / viewstamp-replication
  ☆14Updated 9 years ago
• ongardie / raft-pseudocode
  attempt at summarizing Raft in one page of pseudo-code
  ☆19Updated 6 years ago
• atomix / catalyst
  Networking and buffer APIs and implementations for use in Copycat and Atomix
  ☆52Updated 7 years ago
• NetSys / demi
  Interposition code for DEMi (Distributed Execution Minimizer)
  ☆87Updated 8 years ago
• couchbase / ep-engine
  Eventually Persistent Couchbase Data Layer.
  ☆28Updated 6 years ago
• UWSysLab / Eris
  Eris distributed transactions
  ☆52Updated 6 years ago
• bdeggleston / kickboxer
  A clustered, masterless redis clone, built in Go
  ☆31Updated 10 years ago
• pbailis / ramp-sigmod2014-code
  Code for "Scalable Atomic Visibility with RAMP Transactions" in SIGMOD 2014
  ☆72Updated 9 years ago
• couchbase / indexing
  Couchbase Indexes
  ☆37Updated this week
• fpaxos / fpaxos-tlaplus
  TLA+ specification of Flexible Paxos
  ☆38Updated 11 months ago
• rystsov / perseus
  Perseus is a set of scripts (docker+javascript) to investigate a distributed database's responsiveness when one of its three nodes is iso…
  ☆49Updated 5 years ago
• scalaris-team / scalaris
  Scalaris, a distributed, transactional key-value store
  ☆156Updated 10 months ago
• cw75 / tiered-storage
  An Elastic, Tiered-Storage Service
  ☆30Updated 5 years ago
• zk1931 / jzab
  ZooKeeper Atomic Broadcast in Java
  ☆54Updated 2 years ago