mit-pdos / dsrg

Related projects ⓘ

Alternatives and complementary repositories for dsrg

• epfl-labos / wren
  Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store
  ☆8Updated 6 years ago
• rescrv / pocdb
  Paxos-replicated key-value store in 3 hours or less.
  ☆25Updated 7 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
• stephentu / scalex
  Code snippets for the workshop on concurrent data structure implementation.
  ☆31Updated 11 years ago
• cmu-db / peloton-test
  SQL Testing Framework for the Peloton DBMS
  ☆20Updated 7 years ago
• mit-pdos / perflock
  RWMutex for sharing of multicore machines.
  ☆16Updated 5 years ago
• ongardie / raft-pseudocode
  attempt at summarizing Raft in one page of pseudo-code
  ☆19Updated 6 years ago
• urcs-sync / Interval-Based-Reclamation
  Artifact for PPoPP'18
  ☆17Updated 2 years ago
• efficient / ffbf
  Feed-forward Bloom filters
  ☆52Updated 13 years ago
• rlu-sync / rlu
  Read-Log-Update: A Lightweight Synchronization Mechanism for Concurrent Programming
  ☆47Updated 9 years ago
• efficient / qlease
  ☆24Updated 10 years ago
• 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
• rlu-sync / rlu-rht
  RLU resizable hash-table
  ☆16Updated 9 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 8 years ago
• efficient / fast-succinct-trie
  ☆25Updated 7 years ago
• ahorn / linearizability-checker
  Fast linearizability checker
  ☆66Updated 9 years ago
• PumpkinDB / rust-spdk
  Rust bindings for SPDK
  ☆19Updated 7 years ago
• cmu-db / mongodb-d4
  Automatic MongoDB database designer
  ☆55Updated 9 years ago
• acharapko / retroscope-lib
  ☆14Updated 6 years ago
• ucbrise / LatticeFlow
  ☆29Updated 7 years ago
• UWSysLab / Eris
  Eris distributed transactions
  ☆52Updated 6 years ago
• LPD-EPFL / ssmem
  ssmem is a simple object-based memory allocator with epoch-based garbage collection
  ☆34Updated 8 years ago
• pron / amazon-snapshot-spec
  TLA+ and Alloy specs of database isolation
  ☆19Updated 9 years ago
• IBM / uDepot
  Key-Value Store for Non-Volatile Memories uDepot
  ☆45Updated 2 years ago
• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆28Updated last year
• bryankate / pequod
  A distributed key-value cache with builtin materialized views.
  ☆27Updated 10 years ago
• davidklaftenegger / qd_library
  C++ QD locking library
  ☆11Updated last year
• wpaxos / paxi
  Paxos protocol variants framework
  ☆27Updated 6 years ago
• JLockerman / FuzzyLog
  Experiments in partially ordered SMR.
  ☆47Updated 3 years ago