cmu-db / peloton-test

Related projects: ⓘ

• camsas / Musketeer
  The Musketeer workflow manager.
  ☆41Updated 5 years ago
• UWSysLab / diamond
  Diamond reactive programming platform
  ☆25Updated 2 years ago
• ahorn / linearizability-checker
  Fast linearizability checker
  ☆65Updated 9 years ago
• efficient / msls-eval
  Accurate and Fast Evaluation of Multi-Stage Log-Structured Designs
  ☆10Updated 8 years ago
• mit-pdos / dsrg
  Distributed Systems Reading Group
  ☆20Updated 6 years ago
• caetanosauer / zero
  Fork of the Shore-MT storage manager used by the research project Instant Recovery
  ☆29Updated 5 years ago
• UWSysLab / Eris
  Eris distributed transactions
  ☆52Updated 6 years ago
• efficient / cicada
  Dependably fast multi-core in-memory transactions
  ☆19Updated 7 years ago
• will62794 / snapshot-isolation-spec
  A formal specification of snapshot isolation.
  ☆18Updated 3 months ago
• caetanosauer / fineline-zero
  ☆12Updated 5 years ago
• vmware-archive / quickstep
  Quickstep Project
  ☆27Updated 5 years ago
• stephentu / scalex
  Code snippets for the workshop on concurrent data structure implementation.
  ☆31Updated 11 years ago
• jkopinsky / SprayList
  The SprayList data structure
  ☆30Updated 7 years ago
• fpaxos / fpaxos-tlaplus
  TLA+ specification of Flexible Paxos
  ☆38Updated 11 months ago
• HewlettPackard / foedus_code
  FOEDUS main source code repository
  ☆64Updated 7 years ago
• belliottsmith / accord
  ☆26Updated 2 years ago
• belaban / pluscal
  Tests with PlusCal / TLA+
  ☆25Updated 7 years ago
• pbailis / ramp-sigmod2014-code
  Code for "Scalable Atomic Visibility with RAMP Transactions" in SIGMOD 2014
  ☆72Updated 9 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
• epfl-labos / wren
  Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store
  ☆8Updated 6 years ago
• UBOdin / jitd
  Just in Time Datastructures
  ☆12Updated 7 years ago
• fpaxos / fpaxos-lib
  Prototype of FPaxos, built upon LibPaxos3
  ☆49Updated 4 years ago
• JLockerman / FuzzyLog
  Experiments in partially ordered SMR.
  ☆45Updated 3 years ago
• s-store / s-store
  S-Store Transactional Streaming Data Management System
  ☆22Updated 4 years ago
• shuaimu / rococo
  ☆35Updated 7 months ago
• fzqneo / ByteSlice
  "Byteslice: Pushing the envelop of main memory data processing with a new storage layout" (SIGMOD'15)
  ☆25Updated 6 years ago
• mkaguilera / yesquel
  Yesquel: scalable SQL storage for Web apps
  ☆42Updated 7 years ago
• Cavalia / Cavalia
  A transactional main-memory database system on multicores
  ☆99Updated 5 years ago
• urcs-sync / Interval-Based-Reclamation
  Artifact for PPoPP'18
  ☆17Updated 2 years ago
• ongardie / raft-pseudocode
  attempt at summarizing Raft in one page of pseudo-code
  ☆19Updated 6 years ago