paulmckrcu / litmus
Automatically generated litmus tests for validation LISA-language Linux-kernel memory models
☆24Updated last week
Alternatives and similar repositories for litmus:
Users that are interested in litmus are comparing it to the libraries listed below
- ☆74Updated last year
- Page fault test microbenchmark☆13Updated 2 years ago
- ☆69Updated last year
- KGTP is a comprehensive dynamic tracer for analysing Linux kernel and application (including Android) problems on production systems in r…☆87Updated 8 years ago
- MMTests: Benchmarking framework primarily aimed at Linux kernel testing☆230Updated last week
- ☆31Updated 6 years ago
- Collection of synchronization micro-benchmarks and traces from infrastructure applications☆41Updated 3 months ago
- Function tracer for gcc☆35Updated 8 years ago
- c2c blog: A perf enhancement to detect false cachline sharing.☆35Updated 3 months ago
- Memory access tracing QEMU☆97Updated 8 years ago
- UADK (User space Accelerator Development Kit), is a user space framework for using accelerators. Active branch is 'master'.☆47Updated 3 months ago
- DRAM Bank-Aware Kernel Memory Allocator☆42Updated 3 months ago
- A test case for VFIO_PLATFORM currently based on the PL330 DMA controller. The effort on VFIO_PLATFORM has been partially funded by the S…☆13Updated 2 years ago
- Data race detector for Linux kernel modules☆29Updated 7 years ago
- Implementation of FlexSC on Linux Kernel v5.0+ and Performance Analysis☆19Updated 5 years ago
- virtio example front-end and back-end☆33Updated 6 years ago
- ☆14Updated 2 months ago
- 实现linux内核对应用段错误、double free问题栈回溯☆33Updated 2 years ago
- Linux Kernel Performance tests☆89Updated 2 years ago
- ☆200Updated 3 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
- 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
- An assembler for eBPF programs written in an Intel-like assembly syntax.☆47Updated last year
- Kernel coredump file access☆27Updated 4 months ago
- Userspace tool to map virtual page addresses to physical addresses.☆183Updated 5 years ago
- Slides of CLK2024, HUST, Wuhan☆36Updated 6 months ago
- Linux kernel block layer testing framework☆122Updated last week
- minivm based on kvm☆149Updated 10 months ago
- Kernel-Mode-Linux☆24Updated 2 years ago
- This is a mirror of the official libpfm4 git repository, https://sourceforge.net/p/perfmon2/libpfm4/ci/master/tree/ with some local branc…☆60Updated 6 months ago