Alternatives and similar repositories for libtrack:

Users that are interested in libtrack are comparing it to the libraries listed below

• emeryberger / dthreads
  dthreads: Efficient Deterministic Multithreading
  ☆50Updated 10 years ago
• jieyu / maple
  A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for test…
  ☆69Updated 7 years ago
• theonewolf / libperf
  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
• rutgers-apl / alive-nj
  Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM
  ☆29Updated 5 years ago
• sampsyo / quala
  custom type systems for Clang
  ☆97Updated 9 years ago
• aclements / commuter
  Automated multicore scalability testing tool
  ☆88Updated 9 years ago
• aclements / mtrace
  Memory access tracing QEMU
  ☆96Updated 8 years ago
• kmrov / racehound
  Data race detector for Linux kernel modules
  ☆28Updated 7 years ago
• quarkslab / llvm-dev-meeting-tutorial-2015
  Material for an LLVM Tutorial presented at LLVM Dev Meeting 2015
  ☆49Updated 8 years ago
• llvm-mirror / poolalloc
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆30Updated 9 years ago
• trigonak / ccbench
  A tool for measuring the cache-coherence latencies of a processor (i.e., the latencies of loads, stores, CAS, FAI, TAS, and SWAP).
  ☆76Updated 2 years ago
• rzezeski / libMicro
  ☆11Updated 4 years ago
• dcdelia / tinyvm
  A simple VM to play with OSR in LLVM
  ☆14Updated 7 years ago
• rlu-sync / rlu
  Read-Log-Update: A Lightweight Synchronization Mechanism for Concurrent Programming
  ☆48Updated 9 years ago
• tudinfse / intel_mpx_explained
  Experimental setup of "Intel MPX explained"
  ☆26Updated 5 years ago
• ShimProfiler / SHIM
  ☆53Updated 9 years ago
• mit-pdos / ward
  ☆31Updated 3 years ago
• efficient / gopt
  Fast packet processing using CPUs
  ☆38Updated 8 years ago
• libos-nuse / linux-libos-tools
  userspace tools for linux libos
  ☆95Updated 2 years ago
• caparrov / ERM
  Extended Roofline Model - LLVM source tree with additional libraries for the analysis of the dynamic execution in the interpreter
  ☆17Updated 7 years ago
• deater / perfevent_overhead
  Overhead benchmarks for the perf_event subsystem
  ☆15Updated 10 years ago
• oscarlab / versioning
  Framework for creating simple, efficient, and composable lock-free data structures
  ☆12Updated 8 years ago
• paulmckrcu / litmus
  Automatically generated litmus tests for validation LISA-language Linux-kernel memory models
  ☆23Updated last month
• andikleen / ftracer
  Function tracer for gcc
  ☆35Updated 8 years ago
• ix-project / dune
  ☆31Updated 6 years ago
• joe-lawrence / linux-inject
  Proof of concept use of linux-inject and proces patching
  ☆39Updated 8 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• columbia / crane
  Transparent Paxos
  ☆44Updated 5 years ago
• jtcriswell / SVA
  Secure Virtual Architecture
  ☆42Updated 5 years ago
• nidhugg / nidhugg
  Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is parti…
  ☆82Updated 3 months ago