package kcas_data

  1. Overview
  2. Docs
Compositional lock-free data structures and primitives for communication and synchronization

Install

github.com Readme Changelog ISC License Edit opam file

Authors

  1. K
    KC Sivaramakrishnan <sk826@cl.cam.ac.uk>

Maintainers

  1. K
    KC Sivaramakrishnan <sk826@cl.cam.ac.uk>

Sources

0.6.1.tar.gz
md5=a3e3b9554a9bc2109794074de1f9d960
sha512=4fda4efc25ccbc18d35ceb6d1b59e17e06ffac76e9598e848e7f0b8c3f750c5af409fd62465c855b44a595213adde9695db0f5285f30d9d1abcbfe955956cb79

Description

A library of compositional lock-free data structures and primitives for communication and synchronization implemented using kcas.

Published: 24 Jul 2023

Dependencies (2)

  1. kcas = version
  2. dune >= "3.3"

Dev Dependencies (4)

  1. odoc >= "2.2.0" & with-doc
  2. multicore-magic >= "1.0.0" & with-test
  3. mdx >= "1.10.0" & with-test
  4. alcotest >= "1.7.0" & with-test

Used by

None

Conflicts

None