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:
- ☆69Updated last year
- ☆74Updated last year
- DRAM Bank-Aware Kernel Memory Allocator☆42Updated 5 months ago
- ☆31Updated 6 years ago
- Memory access tracing QEMU☆97Updated 8 years ago
- Kernel coredump file access☆29Updated 5 months ago
- Function tracer for gcc☆35Updated 8 years ago
- Notes taken from Understanding the Linux Virtual Memory Manager by Mel Gorman targeting kernel 2.4.22.☆50Updated 8 years ago
- Creates a file system / storage test appliance which can be run using KVM, GCE, and Android☆72Updated 3 weeks ago
- a theoretically sound real-time scheduling latency measurement tool☆33Updated 3 years ago
- Kernel module to track latencies between 2 events (punch in, punch out) with timeout☆59Updated 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
- ☆202Updated 3 years ago
- Collection of synchronization micro-benchmarks and traces from infrastructure applications☆44Updated last week
- MMTests: Benchmarking framework primarily aimed at Linux kernel testing☆231Updated 2 weeks ago
- Linux kernel block layer testing framework☆125Updated 2 weeks ago
- ☆15Updated 3 months ago
- Kernel-Mode-Linux☆24Updated 2 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
- Data race detector for Linux kernel modules☆30Updated 7 years ago
- crash extension modules☆21Updated 2 years ago
- 实现linux内核对应用段错误、double free问题栈回溯☆33Updated 2 years ago
- This is the user space slab memory allocator, umem, first available in Solaris 9.☆87Updated 3 years ago
- crash extension module for dumping page caches☆11Updated 4 months ago
- Page fault test microbenchmark☆13Updated 2 years ago
- c2c blog: A perf enhancement to detect false cachline sharing.☆38Updated 5 months ago
- Useful debug tools on Linux☆22Updated 8 years ago
- Code artifact of the papers "A Simpler and Faster NIC Driver Model for Network Functions" (OSDI 2020) and "Safe low-level code without ov…☆62Updated 2 years ago
- About slides of CLK 2022☆30Updated 2 years ago
- Userspace tool to map virtual page addresses to physical addresses.☆184Updated 5 years ago