package kcas_data
Compositional lock-free data structures and primitives for communication and synchronization
Install
Dune Dependency
Authors
Maintainers
Sources
0.7.0.tar.gz
md5=f1dc3178e99f1af4680d6046b6449481
sha512=2cd0ab22d3f943c79483cbefd0251368663e883a0e3814507d5642ef7f00de5401781f509c3a4ceb1050843364749dab67f8c640ed43e836c442ce1d5bd58313
Description
A library of compositional lock-free data structures and primitives for communication and synchronization implemented using kcas.
Published: 27 Feb 2024
Dependencies (3)
-
multicore-magic
>= "2.1.0" -
kcas
= version -
dune
>= "3.14"
Dev Dependencies (10)
-
odoc
>= "2.4.1" & with-doc -
sherlodoc
>= "0.2" & with-doc -
mdx
>= "2.3.0" & with-test -
qcheck-stm
>= "0.3" & with-test -
qcheck-core
>= "0.21.2" & with-test -
alcotest
>= "1.7.0" & with-test -
multicore-bench
>= "0.1.1" & with-test -
domain_shims
>= "0.1.0" & with-test -
domain-local-await
>= "1.0.1" & with-test -
backoff
>= "0.1.0" & with-test
Used by
None
Conflicts
None
On This Page