Alternatives and similar repositories for memory-model

Users that are interested in memory-model are comparing it to the libraries listed below

• project-dune / dune
  ☆211Updated 3 years ago
• antonblanchard / will-it-scale
  ☆84Updated 2 years ago
• hjl-tools / x86-psABI
  ☆395Updated 5 years ago
• gormanm / mmtests
  MMTests: Benchmarking framework primarily aimed at Linux kernel testing
  ☆242Updated 2 weeks ago
• lorenzo-stoakes / linux-vm-notes
  Notes on the linux kernel VM subsystem.
  ☆381Updated 3 years ago
• paulmckrcu / litmus
  Automatically generated litmus tests for validation LISA-language Linux-kernel memory models
  ☆26Updated 5 months ago
• multicore-locks / litl
  LiTL: Library for Transparent Lock Interposition
  ☆85Updated 2 years ago
• linux-blktests / blktests
  Linux kernel block layer testing framework
  ☆133Updated this week
• emeryberger / Malloc-Implementations
  A collection of memory allocators
  ☆466Updated 4 months ago
• coccinelle / coccinelle
  Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)
  ☆705Updated 2 months ago
• utsaslab / crashmonkey
  CrashMonkey: tools for testing file-system reliability (OSDI 18)
  ☆206Updated 3 years ago
• codyprime / git-scripts
  Various git scripts to help my workflow
  ☆11Updated 2 years ago
• urcu / userspace-rcu
  This repo is a mirror of the official userspace-rcu git found at git://git.lttng.org/userspace-rcu.git. liburcu is a LGPLv2.1 userspace R…
  ☆719Updated last week
• shuveb / io_uring-by-example
  A companion repository for the io_uring by Example article series
  ☆424Updated last year
• amluto / virtme
  An easy way to virtualize the running system
  ☆351Updated 2 years ago
• rostedt / trace-cmd
  utilities for Linux ftrace
  ☆309Updated last month
• tytso / xfstests-bld
  Creates a file system / storage test appliance which can be run using KVM, GCE, and Android
  ☆74Updated 3 weeks ago
• intel / lkp-tests
  Linux Kernel Performance tests
  ☆299Updated last week
• jcsaezal / pmctrack
  PMCTrack: an OS-oriented performance monitoring tool for Linux
  ☆68Updated last year
• dpw / kvm-hello-world
  A minimal kvm example
  ☆511Updated 3 years ago
• tsuna / contextswitch
  Little micro-benchmark for Linux to test the cost of context switching and system calls
  ☆292Updated 9 years ago
• libhugetlbfs / libhugetlbfs
  ☆251Updated 2 months ago
• psankar / simplefs
  A simple, kernel-space, on-disk filesystem from the scratch
  ☆978Updated last year
• kdave / xfstests
  (x)fstests is a filesystem testing suite (mirror of kernel.org repository, synced daily)
  ☆148Updated last week
• google / ghost-kernel
  ☆231Updated last year
• google / ghost-userspace
  ☆243Updated 2 years ago
• soulxu / kvmsample
  minivm based on kvm
  ☆158Updated last year
• aclements / sv6
  POSIX-like scalable multicore research OS kernel
  ☆197Updated 5 years ago
• BarrelfishOS / barrelfish
  Mirror of the official Barrelfish OS repository.
  ☆222Updated 3 years ago
• compudj / librseq
  Library for Restartable Sequences
  ☆74Updated 3 months ago