herd / herdtools7
The Herd toolsuite to deal with .cat memory models (version 7.xx)
☆245Updated last week
Alternatives and similar repositories for herdtools7:
Users that are interested in herdtools7 are comparing it to the libraries listed below
- A collection of performance analysis tools, recipes, handy scripts, microbenchmarks & more☆135Updated last month
- ROB size testing utility☆146Updated 3 years ago
- Generic model checker for concurrent C programs (mirror repository)☆148Updated 3 weeks ago
- ☆287Updated last week
- Tools and Reference Code for Intel Optimizations (eg Large Pages)☆140Updated 7 months ago
- Machine-readable data describing Arm architecture and implementations. Includes JSON descriptions of implemented PMU events.☆48Updated 3 months ago
- A tool for running small microbenchmarks on recent Intel and AMD x86 CPUs.☆465Updated last month
- A verification tool for many memory models☆92Updated this week
- A small library and kernel module for easy access to x86 performance monitor counters under Linux.☆96Updated last year
- ☆127Updated 9 months ago
- Collection of synchronization micro-benchmarks and traces from infrastructure applications☆41Updated 3 months ago
- uops.info Code Analyzer☆267Updated last year
- This is a mirror of the official libpfm4 git repository, https://sourceforge.net/p/perfmon2/libpfm4/ci/master/tree/ with some local branc…☆59Updated 6 months ago
- A formalization of the RVWMO (RISC-V) memory model☆32Updated 2 years 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…☆91Updated 5 months ago
- Verification and optimization tool for concurrent code☆24Updated last week
- AMD Research Instruction Based Sampling Toolkit☆84Updated 3 years ago
- Utilities to measure read access times of caches, memory, and hardware prefetches for simple and fused operations☆82Updated last year
- A verified library of synchronization primitives and concurrent data structures☆32Updated 2 weeks ago
- Example implementation of Arm's Architecture Specification Language (ASL)☆115Updated 5 years ago
- ☆62Updated 9 months ago
- An advanced benchmarking tool☆169Updated 2 years ago
- Documenting the expected behaviour and supported command-line switches for GNU and LLVM based RISC-V toolchains☆149Updated last week
- rmem public repo☆41Updated last month
- PTLsim and QEMU based Computer Architecture Research Simulator☆128Updated 3 years ago
- Ocolos is the first online code layout optimization system for unmodified applications written in unmanaged languages.☆53Updated last year
- TinyEMU based full system cycle-level micro-architectural research simulator for single-core RISC-V systems☆151Updated 2 years ago
- Benchmarks for auto-vectorization and revectorization, including both hand-vectorized and scalar code☆28Updated 6 years ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆53Updated 3 weeks ago
- An unofficial mirror of the core PARSEC 3.0 benchmark suite with patches to run on x86_64 Arch Linux and generalize builds.☆106Updated 2 years ago