paulmckrcu / litmusLinks
Automatically generated litmus tests for validation LISA-language Linux-kernel memory models
☆24Updated 2 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☆232Updated last month
- DRAM Bank-Aware Kernel Memory Allocator☆42Updated 6 months ago
- KGTP is a comprehensive dynamic tracer for analysing Linux kernel and application (including Android) problems on production systems in r…☆87Updated 8 years ago
- Userspace tool to map virtual page addresses to physical addresses.☆185Updated 6 years ago
- ☆75Updated last year
- Notes taken from Understanding the Linux Virtual Memory Manager by Mel Gorman targeting kernel 2.4.22.☆50Updated 9 years ago
- Creates a file system / storage test appliance which can be run using KVM, GCE, and Android☆72Updated 3 weeks ago
- Collection of synchronization micro-benchmarks and traces from infrastructure applications☆44Updated last month
- Linux kernel block layer testing framework☆126Updated this week
- ☆70Updated last year
- ☆64Updated 2 years ago
- ☆202Updated 3 years ago
- OUT OF DATE FORK of http://git.kernel.org/cgit/devel/pahole/pahole.git☆68Updated 2 years ago
- Slides of CLK2024, HUST, Wuhan☆36Updated 8 months ago
- Linux Kernel Performance tests☆93Updated 3 years ago
- Memory access tracing QEMU☆97Updated 8 years ago
- Kernel module to track latencies between 2 events (punch in, punch out) with timeout☆59Updated last year
- UADK (User space Accelerator Development Kit), is a user space framework for using accelerators. Active branch is 'master'.☆49Updated this week
- PMCTrack: an OS-oriented performance monitoring tool for Linux☆64Updated last year
- utilities for Linux ftrace☆293Updated this week
- Enable user-mode access to ARMv7/Linux performance counters☆42Updated 8 years ago
- An assembler for eBPF programs written in an Intel-like assembly syntax.☆47Updated last year
- 实现linux内核对应用段错误、double free问题栈回溯☆33Updated 2 years ago
- Data race detector for Linux kernel modules☆30Updated 7 years ago
- minivm based on kvm☆151Updated last year
- Userspace eBPF VM (main repo is https://github.com/iovisor/ubpf)☆97Updated 2 years ago
- Kernel-Mode-Linux☆24Updated 2 years ago
- a theoretically sound real-time scheduling latency measurement tool☆33Updated 3 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…☆272Updated last month
- ☆237Updated last week