BSD Portsdevel/vatomic 2.4.1 NetBSD
Formally verified atomic operations
- System
- NetBSD
- Repository
- pkgsrc
- Maintainer
- [email protected]
- License
- mit
- Categories
- devel
- Package size
- 63.5 KiB, 1281.5 KiB installed
Description
vatomic is a header library of *atomics operations*, supporting mainstream architectures: ARMv7, ARMv8 (AArch32 and AArch64), RISC-V, and x86_64. The memory ordering guarantees provided by the atomic interface are formally described in the VSync Memory Model (VMM) file (vmm.cat).
Users can use the vmm.cat file to verify the correctness of their algorithms with a model checker that supports .cat files.
The atomics implementations are being gradually verified to comply with VMM. At the moment, we have completed the verification of ARMv8 64-bits with and without LSE instructions.
Install
Binary package:
pkgin install vatomicFrom pkgsrc:
cd /usr/pkgsrc/devel/vatomic && make install cleanPackages
The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.
| Repository | Version |
|---|---|
| NetBSD 10.1 x86_64 | 2.4.1 |
| NetBSD 10.1 aarch64 | 2.4.1 |
| SmartOS / illumos x86_64 | 2.4.1 |
| macOS 15 arm64 | 2.4.1 |
Dependencies
No port depends on this one.