mit-pdos / dsrg

Related projects ⓘ

Alternatives and complementary repositories for dsrg

• mit-pdos / perflock
  RWMutex for sharing of multicore machines.
  ☆16Updated 5 years ago
• epfl-labos / wren
  Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store
  ☆8Updated 6 years ago
• mit-pdos / 6.826-2017-labs
  ☆13Updated 7 years ago
• stephentu / scalex
  Code snippets for the workshop on concurrent data structure implementation.
  ☆31Updated 11 years ago
• stasis / stasis
  Stasis is a flexible transactional storage library that is geared toward high-performance applications and system developers. It supports…
  ☆53Updated 11 years ago
• cmu-db / peloton-test
  SQL Testing Framework for the Peloton DBMS
  ☆20Updated 7 years ago
• acharapko / retroscope-lib
  ☆14Updated 6 years ago
• ahorn / linearizability-checker
  Fast linearizability checker
  ☆65Updated 9 years ago
• belaban / pluscal
  Tests with PlusCal / TLA+
  ☆25Updated 7 years ago
• armen / dp
  Distributed Programming Abstractions
  ☆16Updated 5 years ago
• efficient / ARF
  ☆11Updated 6 years ago
• zk1931 / jzab
  ZooKeeper Atomic Broadcast in Java
  ☆54Updated 2 years ago
• GTkernel / nibble-lsm
  Concurrent Log-Structured Memory for Many-Core Key-Value Stores
  ☆35Updated 4 years ago
• PumpkinDB / rust-spdk
  Rust bindings for SPDK
  ☆19Updated 7 years ago
• ongardie / raft-pseudocode
  attempt at summarizing Raft in one page of pseudo-code
  ☆19Updated 6 years ago
• wpaxos / paxi
  Paxos protocol variants framework
  ☆27Updated 6 years ago
• asubiotto / vecdeepdive
  ☆14Updated 5 years ago
• efficient / qlease
  ☆24Updated 10 years ago
• rescrv / pocdb
  Paxos-replicated key-value store in 3 hours or less.
  ☆25Updated 7 years ago
• jkopinsky / SprayList
  The SprayList data structure
  ☆30Updated 7 years ago
• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆28Updated last year
• cmu-db / noisepage-stats
  DBMS Performance & Correctness Testing Framework
  ☆30Updated 3 years ago
• deepmehtait / Distributed-file-system-server-with-RAFT
  Distributed File System server implemented using RAFT Algorithm.
  ☆16Updated 5 years ago
• visualzhou / mongo-repl-tla
  TLA+ Spec of a simplified part of MongoDB replication system
  ☆46Updated 4 years ago
• JLockerman / FuzzyLog
  Experiments in partially ordered SMR.
  ☆46Updated 3 years ago
• AugmentedTimeProject / AugmentedTimeProject
  A project to implement Augmented Time
  ☆48Updated 10 years ago
• naskitis / Cache-Conscious-Data-Structures
  The array hash table, array burst trie and array BST, written in C, as described in my PhD thesis.
  ☆40Updated 7 years ago
• muratdem / PlusCal-examples
  Pluscal/TLA+ modeling of distributed systems/protocols
  ☆78Updated last year
• kaelzhang81 / awesome-tlaplus
  A curated list of TLA+ resources.
  ☆65Updated 5 years ago