paulmckrcu / litmus
Automatically generated litmus tests for validation LISA-language Linux-kernel memory models
☆23Updated last month
Alternatives and similar repositories for litmus:
Users that are interested in litmus are comparing it to the libraries listed below
- Function tracer for gcc☆35Updated 8 years ago
- ☆72Updated last year
- KGTP is a comprehensive dynamic tracer for analysing Linux kernel and application (including Android) problems on production systems in r…☆87Updated 7 years ago
- Collection of synchronization micro-benchmarks and traces from infrastructure applications☆41Updated 2 months ago
- DRAM Bank-Aware Kernel Memory Allocator☆42Updated 2 months ago
- ☆69Updated 11 months ago
- MMTests: Benchmarking framework primarily aimed at Linux kernel testing☆231Updated 3 weeks ago
- ☆63Updated 2 years ago
- Linux Kernel Performance tests☆89Updated 2 years ago
- Memory access tracing QEMU☆96Updated 8 years ago
- rcu example of linux kernel. tag : rcu, list rcu, linux kernel rcu, kernel rcu, read copy update, rcu example☆34Updated 2 years ago
- crash extension module for dumping page caches☆11Updated last month
- Kernel coredump file access☆26Updated 2 months ago
- ☆31Updated 6 years ago
- perf-script and (Linux, QEMU, SeaBIOS) patches to measure the boot time of a Linux VM with QEMU☆38Updated 4 years ago
- Enable user-mode access to ARMv7/Linux performance counters☆42Updated 8 years ago
- Kernel module to track latencies between 2 events (punch in, punch out) with timeout☆59Updated last year
- Kernel-Mode-Linux☆24Updated 2 years ago
- Notes taken from Understanding the Linux Virtual Memory Manager by Mel Gorman targeting kernel 2.4.22.☆47Updated 8 years ago
- Linux kernel block layer testing framework☆121Updated this week
- virtio example front-end and back-end☆33Updated 6 years ago
- Userspace eBPF VM (main repo is https://github.com/iovisor/ubpf)☆95Updated 2 years ago
- Creates a file system / storage test appliance which can be run using KVM, GCE, and Android☆73Updated last week
- ☆14Updated 2 weeks ago
- UADK (User space Accelerator Development Kit), is a user space framework for using accelerators. Active branch is 'master'.☆46Updated 2 months ago
- This repo is a mirror of the official lttng-modules git found at git://git.lttng.org/lttng-modules.git. The LTTng modules provide Linux k…☆89Updated last week
- Data race detector for Linux kernel modules☆29Updated 7 years ago
- Virtio draft specification☆65Updated 11 years ago
- An assembler for eBPF programs written in an Intel-like assembly syntax.☆47Updated last year
- libperf is a library that wraps around the syscall perf_event_open(). This library exposes the kernel performance counters subsystem to …☆56Updated 3 years ago