paulmckrcu / litmusLinks
Automatically generated litmus tests for validation LISA-language Linux-kernel memory models
☆24Updated last month
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☆237Updated 2 months ago
- ☆79Updated last year
- KGTP is a comprehensive dynamic tracer for analysing Linux kernel and application (including Android) problems on production systems in r…☆88Updated 8 years ago
- Userspace tool to map virtual page addresses to physical addresses.☆188Updated 6 years ago
- Linux kernel block layer testing framework☆127Updated this week
- Linux Kernel Performance tests☆94Updated 3 years ago
- Data race detector for Linux kernel modules☆30Updated 8 years ago
- ☆72Updated last year
- Creates a file system / storage test appliance which can be run using KVM, GCE, and Android☆72Updated 3 weeks ago
- Linux Kernel Performance tests☆287Updated this week
- ☆207Updated 3 years ago
- Notes taken from Understanding the Linux Virtual Memory Manager by Mel Gorman targeting kernel 2.4.22.☆52Updated 9 years ago
- a theoretically sound real-time scheduling latency measurement tool☆33Updated 4 years ago
- Enable user-mode access to ARMv7/Linux performance counters☆42Updated 9 years ago
- OUT OF DATE FORK of http://git.kernel.org/cgit/devel/pahole/pahole.git☆68Updated 2 years ago
- rt-app emulates typical mobile and real-time systems use cases and gives runtime information☆135Updated 2 weeks ago
- An assembler for eBPF programs written in an Intel-like assembly syntax.☆49Updated 2 years ago
- PMCTrack: an OS-oriented performance monitoring tool for Linux☆66Updated last year
- ☆18Updated 6 months ago
- ☆239Updated 3 months ago
- minivm based on kvm☆155Updated last year
- c2c blog: A perf enhancement to detect false cachline sharing.☆40Updated 8 months ago
- ☆33Updated 7 years ago
- ☆48Updated last year
- 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…☆282Updated last week
- Kernel-Mode-Linux☆24Updated 3 years ago
- Test suite for the Linux perf_event subsystem☆118Updated 2 months ago
- Pahole and the dwarves☆243Updated 3 months ago
- Memory Bandwidth Reservation System for Efficient Performance Isolation in Multi-core Processors☆55Updated last week
- my personal write-up☆33Updated 2 years ago