Pakiet: herdtools7 (7.58-1 i inne)

[ Pakiet źródłowy: herdtools7  ]

Tool suite to test weak memory models

herdtools7 is a tool suite to design, simulate and test weak memory models which are used in modern CPU architectures. It provides a unified environment for generating small concurrent programs (litmus tests), running them on real hardware, and simulating them under formal memory‑model specifications. By comparing theoretical models with observed hardware behavior, herdtools7 helps researchers, compiler writers, and systems engineers understand subtle ordering effects, validate memory‑model definitions, and reason about correctness in highly parallel architectures.

The tool suite include various tools, including:

 * 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

herdtools7 is the successor of the diy tool suite.

Inne pakiety związane z herdtools7

• dep: libc6 (>= 2.42)

  Biblioteka GNU C: biblioteki współdzielone
  również pakiet wirtualny udostępniany przez libc6-udeb

• dep: libgmp10 (>= 2:6.3.0+dfsg)

  Biblioteka działań arytmetycznych z dużą dokładnością

Pobieranie herdtools7

Pobierz dla wszystkich dostępnych architektur

Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	7.58-1+b1	37 848,6 KiB	246 579,0 KiB	[lista plików]
arm64	7.58-1	45 017,4 KiB	288 784,0 KiB	[lista plików]
ppc64el	7.58-1	38 685,4 KiB	272 912,0 KiB	[lista plików]
riscv64	7.58-1	39 370,5 KiB	264 724,0 KiB	[lista plików]
s390x	7.58-1	39 365,0 KiB	282 556,0 KiB	[lista plików]