paulmckrcu / litmus
Automatically generated litmus tests for validation LISA-language Linux-kernel memory models
☆21Updated 2 months ago
Alternatives and similar repositories for litmus:
Users that are interested in litmus are comparing it to the libraries listed below
- ☆68Updated 9 months ago
- ☆68Updated last year
- Linux kernel block layer testing framework☆119Updated this week
- MMTests: Benchmarking framework primarily aimed at Linux kernel testing☆224Updated this week
- ☆60Updated 6 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…☆88Updated last month
- ☆31Updated 6 years ago
- An assembler for eBPF programs written in an Intel-like assembly syntax.☆46Updated last year
- Creates a file system / storage test appliance which can be run using KVM, GCE, and Android☆70Updated 3 weeks ago
- Linux Kernel Performance tests☆89Updated 2 years ago
- Memory Bandwidth Reservation System for Efficient Performance Isolation in Multi-core Processors☆49Updated last week
- Collection of synchronization micro-benchmarks and traces from infrastructure applications☆40Updated 7 months ago
- c2c blog: A perf enhancement to detect false cachline sharing.☆33Updated this week
- Code artifact of the papers "A Simpler and Faster NIC Driver Model for Network Functions" (OSDI 2020) and "Safe low-level code without ov…☆60Updated last year
- Userspace eBPF VM (main repo is https://github.com/iovisor/ubpf)☆93Updated 2 years ago
- libpulp enables live patching in user space applications.☆58Updated 3 weeks ago
- DRAM Bank-Aware Kernel Memory Allocator☆42Updated last week
- UADK (User space Accelerator Development Kit), is a user space framework for using accelerators. Active branch is 'master'.☆44Updated this week
- Linux kernel training materials☆48Updated 7 years ago
- ☆232Updated 2 months ago
- Page fault test microbenchmark☆13Updated 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
- ☆63Updated 2 years ago
- Enable user-mode access to ARMv7/Linux performance counters☆42Updated 8 years ago
- ☆21Updated 7 years ago
- Kernel-Mode-Linux☆24Updated 2 years ago
- The Herd toolsuite to deal with .cat memory models (version 7.xx)☆230Updated this week
- Overhead benchmarks for the perf_event subsystem☆15Updated 9 years ago
- minivm based on kvm☆146Updated 7 months ago