paulmckrcu / litmusLinks
Automatically generated litmus tests for validation LISA-language Linux-kernel memory models
☆26Updated 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☆238Updated 3 weeks ago
- Userspace tool to map virtual page addresses to physical addresses.☆194Updated 6 years ago
- ☆80Updated last year
- Notes taken from Understanding the Linux Virtual Memory Manager by Mel Gorman targeting kernel 2.4.22.☆54Updated 9 years ago
- Linux kernel block layer testing framework☆131Updated this week
- ☆207Updated 3 years ago
- Creates a file system / storage test appliance which can be run using KVM, GCE, and Android☆73Updated 2 weeks ago
- Linux Kernel Performance tests☆290Updated this week
- c2c blog: A perf enhancement to detect false cachline sharing.☆40Updated 9 months ago
- 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…☆284Updated this week
- ☆18Updated 8 months ago
- ☆240Updated last week
- Memory Bandwidth Reservation System for Efficient Performance Isolation in Multi-core Processors☆55Updated last month
- virtio example front-end and back-end☆36Updated 6 years ago
- Implementation of FlexSC on Linux Kernel v5.0+ and Performance Analysis☆19Updated 5 years ago
- ☆72Updated last year
- ☆64Updated 2 years ago
- ☆33Updated 7 years ago
- libperf is a library that wraps around the syscall perf_event_open(). This library exposes the kernel performance counters subsystem to …☆55Updated 4 years ago
- Linux Kernel Performance tests☆94Updated 3 years ago
- utilities for Linux ftrace☆302Updated 2 months ago
- Useful debug tools on Linux☆22Updated 8 years ago
- DRAM Bank-Aware Kernel Memory Allocator☆44Updated 2 weeks ago
- PMCTrack: an OS-oriented performance monitoring tool for Linux☆67Updated last year
- Vhost-user reference server and testcase☆51Updated 6 years ago
- ☆22Updated 2 years ago
- Kernel module to track latencies between 2 events (punch in, punch out) with timeout☆59Updated 2 years ago
- Enable user-mode access to ARMv7/Linux performance counters☆42Updated 9 years 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