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
  ☆207Updated 3 years ago
• gormanm / mmtests
  MMTests: Benchmarking framework primarily aimed at Linux kernel testing
  ☆238Updated 2 weeks ago
• lorenzo-stoakes / linux-vm-notes
  Notes on the linux kernel VM subsystem.
  ☆378Updated 2 years ago
• linux-blktests / blktests
  Linux kernel block layer testing framework
  ☆131Updated this week
• antonblanchard / will-it-scale
  ☆80Updated last year
• amluto / virtme
  An easy way to virtualize the running system
  ☆351Updated 2 years ago
• codyprime / git-scripts
  Various git scripts to help my workflow
  ☆11Updated 2 years ago
• hjl-tools / x86-psABI
  ☆391Updated 5 years ago
• rostedt / trace-cmd
  utilities for Linux ftrace
  ☆301Updated 2 months ago
• soulxu / kvmsample
  minivm based on kvm
  ☆154Updated last year
• SUSE / libpulp
  libpulp enables live patching in user space applications.
  ☆63Updated last month
• kdave / xfstests
  (x)fstests is a filesystem testing suite (mirror of kernel.org repository, synced daily)
  ☆137Updated last week
• tytso / xfstests-bld
  Creates a file system / storage test appliance which can be run using KVM, GCE, and Android
  ☆73Updated last week
• paulmckrcu / litmus
  Automatically generated litmus tests for validation LISA-language Linux-kernel memory models
  ☆25Updated 2 months ago
• coccinelle / coccinelle
  Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)
  ☆694Updated 3 weeks ago
• libhugetlbfs / libhugetlbfs
  ☆240Updated 4 months ago
• utsaslab / crashmonkey
  CrashMonkey: tools for testing file-system reliability (OSDI 18)
  ☆204Updated 3 years ago
• euspectre / kedr
  Main repository of KEDR project
  ☆119Updated 5 months ago
• intel / lkp-tests
  Linux Kernel Performance tests
  ☆289Updated last week
• psankar / simplefs
  A simple, kernel-space, on-disk filesystem from the scratch
  ☆970Updated 11 months 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…
  ☆699Updated last month
• fengguang / lkp-tests
  Linux Kernel Performance tests
  ☆94Updated 3 years ago
• google / ghost-userspace
  ☆236Updated last year
• jcsaezal / pmctrack
  PMCTrack: an OS-oriented performance monitoring tool for Linux
  ☆67Updated last year
• lorenzo-stoakes / linux-mm-notes
  Succinct notes on the linux mm subsystem.
  ☆123Updated 2 years ago
• shuveb / io_uring-by-example
  A companion repository for the io_uring by Example article series
  ☆417Updated last year
• dpw / kvm-hello-world
  A minimal kvm example
  ☆496Updated 3 years ago
• KSPP / linux
  Linux kernel source tree (Kernel Self Protection Project)
  ☆89Updated 9 months ago
• crash-python / crash-python
  ☆72Updated last year
• acmel / dwarves
  Pahole and the dwarves
  ☆244Updated 4 months ago