Alternatives and similar repositories for log-writes:

Users that are interested in log-writes are comparing it to the libraries listed below

• sibylfs / sibylfs_src
  Source for SibylFS model and test tools
  ☆34Updated 3 years ago
• anthezium / CS510-Advanced-Topics-in-Concurrency
  CS510 Advanced Topics in Concurrency Project
  ☆15Updated 4 years ago
• PrincetonUniversity / DeepSpecDB
  ☆27Updated 2 weeks ago
• twizzler-operating-system / twizzler-public
  Public-facing version of the Twizzler OS source code. Note: this is not completely up-to-date with internal Twizzler code.
  ☆65Updated 4 years ago
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆49Updated last month
• uw-unsat / yggdrasil
  ☆31Updated 2 years ago
• facebookarchive / Rseq
  Restartable Sequences: a userspace implementation of cheap per-cpu atomic operations
  ☆33Updated 5 years ago
• efficient / libinger
  https://www.usenix.org/conference/atc20/presentation/boucher
  ☆24Updated 2 years ago
• rust-vmm / vfio-bindings
  ☆10Updated 3 years ago
• gwsystems / ps
  Parallel sections library for parallel data-structures
  ☆14Updated last year
• mit-pdos / scalefs
  ☆21Updated 7 years ago
• coq-community / chapar
  A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]
  ☆32Updated 10 months ago
• kaist-cp / smr-benchmark
  SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes
  ☆38Updated 2 months ago
• vmware / node-replication
  An operation-log based approach for data replication.
  ☆62Updated last year
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated last year
• fpaxos / fpaxos-tlaplus
  TLA+ specification of Flexible Paxos
  ☆38Updated last year
• rlu-sync / rlu-rht
  RLU resizable hash-table
  ☆16Updated 9 years ago
• gimli-rs / locate-dwarf
  A crate to find DWARF debug symbols from stripped binaries
  ☆21Updated last year
• openebs-archive / spdk-sys
  Rust bindings for SPDK
  ☆12Updated 4 years ago
• compudj / librseq
  Library for Restartable Sequences
  ☆67Updated last month
• informalsystems / modelator-py
  Utilities for the TLA+ ecoystem and model-based testing using TLA+.
  ☆28Updated 2 years ago
• rlu-sync / rlu
  Read-Log-Update: A Lightweight Synchronization Mechanism for Concurrent Programming
  ☆47Updated 9 years ago
• davidklaftenegger / qd_library
  C++ QD locking library
  ☆11Updated last year
• gz / autoperf
  Simplify the use of performance counters.
  ☆62Updated 2 years ago
• nandor / llir-opt
  LLIR cross-language post-link optimiser for OCaml and C
  ☆16Updated 2 years ago
• uwplse / ferrite
  Ferrite, a toolkit for developing file system crash-consistency models
  ☆17Updated 8 years ago
• rusnikola / lfsmr
  Hyaline Reclamation (PLDI '21, PODC '19)
  ☆20Updated 3 years ago
• janestreet / tracing
  Tracing library
  ☆31Updated 2 weeks ago
• dettrace / dettrace
  A determinizing tracer using Ptrace
  ☆34Updated 4 years ago
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆43Updated last year