otrack / on-epaxos-correctness

Related projects ⓘ

Alternatives and complementary repositories for on-epaxos-correctness

• kaist-cp / smr-benchmark
  SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes
  ☆38Updated 2 months ago
• datenlord / lockfree-cuckoohash
  A rust implementation of lock free cuckoo hashmap
  ☆67Updated 2 years ago
• skyzh / rust-ycsb
  YCSB in Rust (WIP)
  ☆19Updated 3 years ago
• risingwavelabs / memcomparable
  A memcomparable serialization format.
  ☆22Updated last year
• XiangpengHao / congee
  Concurrent ART (adaptive radix tree)
  ☆129Updated this week
• ezrosent / art-rs
  Adaptive Radix Tree in Rust
  ☆62Updated 6 years ago
• pisimulation / epaxos
  A Pure Rust Implementation of Egalitarian Paxos
  ☆48Updated 4 years ago
• penberg / ycsb-rs
  A Rust port of Yahoo! Cloud Serving Benchmark (YCSB)
  ☆29Updated 2 years ago
• rolag / lockfreehashmap-rs
  A concurrent lock-free hash map for Rust.
  ☆21Updated 3 years ago
• ibmandura / ArtTree
  Implementation of Adaptive Radix Tree in Rust
  ☆42Updated 4 years ago
• vmware / node-replication
  An operation-log based approach for data replication.
  ☆62Updated last year
• risinglightdb / pretty-xmlish
  Pretty printing library for SQL
  ☆24Updated last year
• photondb / photonio
  An efficient runtime for asynchronous applications in Rust.
  ☆43Updated 2 years ago
• jkozlowski / starfish
  Rust futures on spdk
  ☆33Updated 5 years ago
• openebs-archive / spdk-sys
  Rust bindings for SPDK
  ☆12Updated 4 years ago
• risinglightdb / sqlplannertest-rs
  A yaml-based SQL planner test framework
  ☆25Updated 2 weeks ago
• skyzh / uring-positioned-io
  Async positioned I/O with io_uring.
  ☆41Updated 3 years ago
• JLockerman / FuzzyLog
  Experiments in partially ordered SMR.
  ☆47Updated 3 years ago
• LemonHX / optimistic_lock_coupling_rs
  🍋: A General Lock following paper "Optimistic Lock Coupling: A Scalable and Efficient General-Purpose Synchronization Method"
  ☆28Updated 3 years ago
• tokio-rs / simulation
  Framework for simulating distributed applications
  ☆96Updated 4 years ago
• zowens / paxos-rs
  Paxos implementation in Rust
  ☆74Updated last week
• GTkernel / nibble-lsm
  Concurrent Log-Structured Memory for Many-Core Key-Value Stores
  ☆35Updated 4 years ago
• datenlord / r-epaxos
  ☆27Updated 2 years ago
• xxuejie / diviner
  A FoundationDB style deterministic testing framework for async/await Rust
  ☆31Updated 4 years ago
• NVSL / Corundum
  A Rust library for safely programming persistent memory
  ☆74Updated 5 months ago
• risingwavelabs / jsonbb
  A binary representation of json value, optimized for parsing and querying.
  ☆22Updated 5 months ago
• komora-io / art
  Adaptive Radix Trie implementation for fixed-length keys
  ☆53Updated 9 months ago
• BusyJay / mini-pd
  A minimal implementation of tikv/pd in Rust.
  ☆64Updated 3 years ago
• fast / logcall
  An attribute macro that logs the function return value
  ☆16Updated 3 months ago
• ndokmai / nonblockinghashmap
  Non-blocking hash map in Rust
  ☆13Updated 7 months ago