herd / herdtools7Links
The Herd toolsuite to deal with .cat memory models (version 7.xx)
☆284Updated this week
Alternatives and similar repositories for herdtools7
Users that are interested in herdtools7 are comparing it to the libraries listed below
Sorting:
- Generic model checker for concurrent C programs (mirror repository)☆180Updated 3 weeks ago
- A verification tool for many memory models☆106Updated this week
- ROB size testing utility☆158Updated 4 years ago
- A formalization of the RVWMO (RISC-V) memory model☆35Updated 3 years ago
- rmem public repo☆48Updated 7 months ago
- A collection of performance analysis tools, recipes, handy scripts, microbenchmarks & more☆142Updated 5 months ago
- PARSEC 3.0 benchmark suite☆13Updated 7 years ago
- Measures microarchitectural details such as ROB size. Like https://github.com/travisdowns/robsize but without runtime code generation, wh…☆131Updated 4 years ago
- ☆219Updated last week
- Utilities to measure read access times of caches, memory, and hardware prefetches for simple and fused operations☆85Updated 2 years ago
- Collection of synchronization micro-benchmarks and traces from infrastructure applications☆49Updated 4 months ago
- PARSEC Benchmark http://parsec.cs.princeton.edu 3.0-beta-20150206 ported to Ubuntu 22.04 and with proper version control and SPLASH2 port…☆107Updated last month
- A tool for running small microbenchmarks on recent Intel and AMD x86 CPUs.☆500Updated last month
- Fork of LLVM adding CHERI support☆60Updated last week
- A small library and kernel module for easy access to x86 performance monitor counters under Linux.☆106Updated last year
- Machine-readable data describing Arm architecture and implementations. Includes JSON descriptions of implemented PMU events.☆57Updated 11 months ago
- Memory System Microbenchmarks☆65Updated 2 years ago
- Benchmarks for auto-vectorization and revectorization, including both hand-vectorized and scalar code☆29Updated 6 years ago
- ☆147Updated 4 months ago
- Collaborative Parallelization Framework (CPF)☆31Updated 2 years ago
- Verification and optimization tool for concurrent code☆26Updated 4 months ago
- Trying to figure various CPU things out☆90Updated last week
- An unofficial mirror of the core PARSEC 3.0 benchmark suite with patches to run on x86_64 Arch Linux and generalize builds.☆126Updated 3 years ago
- Ocolos is the first online code layout optimization system for unmodified applications written in unmanaged languages.☆53Updated 6 months ago
- a Pin tool for collecting microarchitecture-independent workload characteristics☆61Updated last year
- Working Draft of the RISC-V J Extension Specification☆191Updated this week
- This is a mirror of the official libpfm4 git repository, https://sourceforge.net/p/perfmon2/libpfm4/ci/master/tree/ with some local branc…☆69Updated last year
- CHERI-RISC-V model written in Sail☆66Updated 5 months ago
- ☆397Updated 2 weeks ago
- An unofficial guide to contributing to GCC, aimed at newbies☆124Updated last year