columbia / libtrack
Library wrapper and system-level tracing utilities
☆44Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for libtrack
- A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for test…☆68Updated 7 years ago
- dthreads: Efficient Deterministic Multithreading☆49Updated 10 years ago
- Memory access tracing QEMU☆94Updated 7 years ago
- Automated multicore scalability testing tool☆87Updated 8 years ago
- Proof of concept use of linux-inject and proces patching☆39Updated 7 years ago
- Experimental setup of "Intel MPX explained"☆26Updated 4 years ago
- Pedagogical Hypervisor, based on MIT JOS☆66Updated 6 years ago
- Persistent RAM Driver☆29Updated 8 years ago
- custom type systems for Clang☆96Updated 9 years ago
- Automatically generated litmus tests for validation LISA-language Linux-kernel memory models☆21Updated last month
- I-cache line packing and branch misprediction measuring tool☆17Updated 7 years ago
- ☆54Updated 9 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆29Updated 9 years ago
- Transparent Paxos☆43Updated 5 years ago
- memTrace, a framework for lightweight memory tracing☆55Updated 4 years ago
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM☆28Updated 5 years ago
- The Linux I/O profiler (ioprof) is a tool that provides significant insight into I/O workloads while remaining easy to use.☆103Updated last year
- ☆31Updated 6 years ago
- Experimental bed to study Linux faults☆25Updated 2 years ago
- This repo contains the artifact for our SOSP'19 paper on Serval☆28Updated 5 years ago
- Data race detector for Linux kernel modules☆28Updated 7 years ago
- Multiplication using AVX512 and AVX512IFMA instructions☆23Updated 9 years ago
- This repository contains the nested kernel implementation as it was built for the ASPLOS 2015 paper, including the FreeBSD prototype Pers…☆54Updated 7 years ago
- Freud, a tool to create Performance Annotations for C/C++ programs☆21Updated 4 months ago
- The Optimistic File System (OptFS) is a Linux ext4 variant that implements Optimistic Crash Consistency, a new approach to crash consiste…☆33Updated 11 years ago
- Arnold source code☆45Updated 5 years ago
- Read-Log-Update: A Lightweight Synchronization Mechanism for Concurrent Programming☆47Updated 9 years ago
- rdtscbench measures small and large operations using clock cycles as time measurement unit. It uses RDTSC x86 instruction to get clock cy…☆28Updated 7 years ago
- SKI virtual machine for testing concurrency bugs☆11Updated 8 years ago