paulmckrcu / litmusLinks
Automatically generated litmus tests for validation LISA-language Linux-kernel memory models
☆26Updated 4 months ago
Alternatives and similar repositories for litmus
Users that are interested in litmus are comparing it to the libraries listed below
Sorting:
- MMTests: Benchmarking framework primarily aimed at Linux kernel testing☆240Updated this week
- ☆82Updated 2 years ago
- Linux kernel block layer testing framework☆131Updated last week
- Userspace tool to map virtual page addresses to physical addresses.☆197Updated 6 years ago
- ☆209Updated 3 years ago
- ☆247Updated last month
- Linux Kernel Performance tests☆95Updated 3 years ago
- ☆72Updated last year
- Linux Kernel Performance tests☆295Updated last month
- Creates a file system / storage test appliance which can be run using KVM, GCE, and Android☆74Updated last month
- KGTP is a comprehensive dynamic tracer for analysing Linux kernel and application (including Android) problems on production systems in r…☆88Updated 8 years ago
- OASIS Virtual I/O Device TC: Source code for the VIRTIO (Virtual I/O) Specification maintained by the OASIS Virtual I/O Device (VIRTIO) T…☆292Updated last month
- ☆22Updated 2 years ago
- ☆18Updated 10 months ago
- PMCTrack: an OS-oriented performance monitoring tool for Linux☆68Updated last year
- Notes taken from Understanding the Linux Virtual Memory Manager by Mel Gorman targeting kernel 2.4.22.☆60Updated 9 years ago
- ☆64Updated 3 years ago
- minivm based on kvm☆156Updated last year
- Data race detector for Linux kernel modules☆30Updated 8 years ago
- DRAM Bank-Aware Kernel Memory Allocator☆45Updated last week
- OUT OF DATE FORK of http://git.kernel.org/cgit/devel/pahole/pahole.git☆68Updated 2 years ago
- ☆230Updated last year
- utilities for Linux ftrace☆308Updated last week
- c2c blog: A perf enhancement to detect false cachline sharing.☆40Updated 11 months ago
- framework for emulating devices in userspace☆203Updated this week
- virtio example front-end and back-end☆36Updated 6 years ago
- Collection of synchronization micro-benchmarks and traces from infrastructure applications☆49Updated 5 months ago
- kvm performance test suite☆10Updated 9 years ago
- Implementation of FlexSC on Linux Kernel v5.0+ and Performance Analysis☆19Updated 5 years ago
- Machine-readable data describing Arm architecture and implementations. Includes JSON descriptions of implemented PMU events.☆59Updated 11 months ago