BSD Ports

devel/herdtools7 7.58 NetBSD

Weak memory model litmus tester

System
NetBSD
Repository
pkgsrc
Maintainer
[email protected]
License
cecill-b-v1 AND modified-bsd AND isc
Categories
devel
Package size
31062.0 KiB, 232171.2 KiB installed

Description

This is herdtools7, a tool suite to test weak memory models.

It provides the following tools:

  • herd7: a generic simulator for weak memory models
  • litmus7: run litmus tests (given as assembler programs for Power, ARM, AArch64 or X86) to test the memory model of the executing machine
  • diy7: produce litmus tests from concise specifications
  • some additional tools In particular, * mcompare7 to analyse run logs of both herd and litmus. * klitmus7, an experimental tool, similar to litmus7 that runs kernel memory model tests as kernel modules. The tool klitmus7 is inspired from a python script by Andrea Parri,. <http://retis.sssup.it/~a.parri/lkmm/run.py>

herdtools7 is the successor of the diy tool suite.

Install

Binary package:

pkgin install herdtools7

From pkgsrc:

cd /usr/pkgsrc/devel/herdtools7 && make install clean

Packages

The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.

RepositoryVersion
NetBSD 10.1 x86_647.58
NetBSD 10.1 aarch64-
SmartOS / illumos x86_64-
macOS 15 arm64-

Dependencies

Run dependencies 3

No port depends on this one.