Alternatives and similar repositories for ferrite:

Users that are interested in ferrite are comparing it to the libraries listed below

• uw-unsat / yggdrasil
  ☆31Updated 3 years ago
• yoavz1997 / Efficient-Lock-Free-Durable-Sets
  Code for "Yoav Zuriel, Michal Friedman, Gali Sheffi, Nachshon Cohen, and Erez Petrank. Efficient Lock-Free Durable Sets, OOPSLA 2019" (ht…
  ☆19Updated 5 years ago
• sibylfs / sibylfs_src
  Source for SibylFS model and test tools
  ☆35Updated 4 years ago
• multicore-locks / litl
  LiTL: Library for Transparent Lock Interposition
  ☆79Updated last year
• GLaDOS-Michigan / I4
  The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…
  ☆26Updated 3 years ago
• sihangliu / pmtest
  ☆27Updated 5 years ago
• HewlettPackard / Atlas
  Atlas: Programming for Persistent Memory
  ☆76Updated 4 years ago
• sihangliu / xfdetector
  This is the open-source site for XFDetector (ASPLOS'20)
  ☆11Updated 4 years ago
• utsaslab / chipmunk
  Tool for checking crash-consistency for persistent-memory file systems (Eurosys 23)
  ☆19Updated 10 months ago
• evanj / tpccbench
  In memory TPC-C implementation. Used for a number of database research projects.
  ☆38Updated 4 years ago
• tangruize / SandTable
  Scalable Distributed System Model Checking with Specification-Level State Exploration
  ☆24Updated 11 months ago
• yhuacode / pmrace
  Efficiently Detecting Concurrency Bugs in Persistent Memory Programs (ASPLOS 2022)
  ☆8Updated 3 years ago
• oscarlab / versioning
  Framework for creating simple, efficient, and composable lock-free data structures
  ☆12Updated 8 years ago
• mit-pdos / cspec
  Verifying concurrent code with layers and movers
  ☆12Updated 5 years ago
• snalli / nstore
  NVM Database from Carnegie-Mellon U
  ☆24Updated 4 years ago
• stanford-mast / shinjuku
  ☆47Updated 2 years ago
• aclements / commuter
  Automated multicore scalability testing tool
  ☆88Updated 9 years ago
• trigonak / ccbench
  A tool for measuring the cache-coherence latencies of a processor (i.e., the latencies of loads, stores, CAS, FAI, TAS, and SWAP).
  ☆77Updated 3 years ago
• vasigavr1 / Odyssey
  ☆13Updated 2 years ago
• jarulraj / n-store
  NVM Evaluation Testbed
  ☆29Updated 6 years ago
• Mic92 / rkt-io
  rkt-io Library OS for running Linux applications inside of Intel SGX enclaves
  ☆31Updated 3 years ago
• uw-unsat / serval
  ☆47Updated 3 years ago
• rice-systems / quicksilver
  Quicksilver superpage management system
  ☆11Updated 3 years ago
• ut-osa / txfs
  TxFS: Leveraging File-System Crash Consistency to Provide ACID Transactions (ATC 18)
  ☆66Updated 6 years ago
• lorin / tla-linearizability
  Reading the linearizability paper with TLA+
  ☆49Updated 2 years ago
• padsys / PMIdioBench
  Understanding the Idiosyncrasies of Real Persistent Memory
  ☆33Updated 3 years ago
• UWSysLab / Eris
  Eris distributed transactions
  ☆52Updated 7 years ago
• snalli / mnemosyne-gcc
  GCC port of TM system Mnemosyne
  ☆32Updated 6 years ago
• hpides / pmem-olap
  This repository contains the source code for our ACM SIGMOD '21 paper (Maximizing Persistent Memory Bandwidth Utilization for OLAP Worklo…
  ☆21Updated 2 years ago
• aliireza / slice-aware
  Slice-aware Memory Management - Exploiting NUCA Characteristic of LLC in Intel Processors
  ☆40Updated 5 years ago