Alternatives and similar repositories for libvsync:

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

• open-s4c / vsyncer
  Verification and optimization tool for concurrent code
  ☆22Updated last week
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆30Updated this week
• uclasystem / DRust
  ☆44Updated 4 months ago
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆54Updated this week
• yhtzd / skyloft
  Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)
  ☆33Updated 5 months ago
• IPADS-DuVisor / kvm-tutorial
  ☆22Updated last year
• microsoft / verismo
  A formally verified security module for AMD confidential VMs
  ☆36Updated 3 months ago
• flyvy-verifier / flyvy
  An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…
  ☆16Updated 2 weeks ago
• OS-F-4 / usr-intr
  项目的主仓库
  ☆23Updated 2 years ago
• rs3lab / SynCord
  https://rs3lab.github.io/SynCord/
  ☆22Updated 2 years ago
• NVSL / Corundum
  A Rust library for safely programming persistent memory
  ☆73Updated 8 months ago
• OrderLab / orbit
  Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications
  ☆20Updated 2 years ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆137Updated 5 months ago
• mars-research / redleaf
  RedLeaf Operating System
  ☆122Updated 2 years ago
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆83Updated this week
• Mic92 / rkt-io
  rkt-io Library OS for running Linux applications inside of Intel SGX enclaves
  ☆30Updated 3 years ago
• 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
• SHTUSIST / AisLSM
  ☆11Updated 8 months ago
• rcore-os / nvme_driver
  ☆30Updated last year
• Multi-V-VM / Anonymous-Repo
  Seemlessly Migrate Process without boundary.
  ☆25Updated last month
• ksplit / ksplit-artifacts
  Artifacts for the paper "KSplit: Automating Device Driver Isolation"
  ☆11Updated 2 years ago
• olivierpierre / unikernel-papers
  ☆113Updated 2 weeks ago
• ShawnZhong / MadFS
  Source code for the FAST '23 paper “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems”
  ☆37Updated last year
• luhsra / llfree-rs
  LLFree: Lock- and Log-free Allocator
  ☆20Updated this week
• LinuxPerfStudy / LEBench
  ☆60Updated 7 months ago
• oscomp / proj178-kvm-in-rust
  用Rust语言重写Linux kernel中的KVM
  ☆16Updated 2 years ago
• uw-unsat / serval
  ☆46Updated 2 years ago
• intel / uintr-ipc-bench
  ☆35Updated 7 months ago
• rs3lab / TCLocks
  Repo for OSDI 2023 paper: "Ship your Critical Section Not Your Data: Enabling Transparent Delegation with TCLocks"
  ☆12Updated 3 months ago
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆16Updated 2 years ago