package multicore-magic-dscheck

  1. Overview
  2. Docs
An implementation of multicore-magic API using the atomic module of DScheck to make DScheck tests possible in libraries using multicore-magic

Install

Dune Dependency

Authors

Maintainers

Sources

multicore-magic-2.3.0.tbz
sha256=af9d14a8b39dd83a13cf40845c7a493075f47edcbe98688029376dca4827ceee
sha512=2c49e30484d2117fbbad5e3255aa82d7d0b0b457cde73a6be1e109afa8cfd012446b2c9f21279350607b0311357e06fbcb36871c4ebf232eec53d46985b885b4

CHANGES.md.html

2.3.0

  • Add copy_as ~padded for convenient optional padding (@polytypic)

  • Add multicore-magic-dscheck package and library to help testing with DScheck (@lyrm, review @polytypic)

2.2.0

  • Add (unboxed) Atomic_array (@polytypic)

2.1.0

  • Added instantaneous_domain_index for the implementation of contention avoiding data structures. (@polytypic)

  • Added Transparent_atomic module as a workaround to CSE issues in OCaml 5.0 and OCaml 5.1 and also to allow more efficient arrays of atomics. (@polytypic)

  • Fixed fenceless_get to not be subject to CSE. (@polytypic)

2.0.0

  • Changed the semantics of copy_as_padded to not always copy and to not guarantee that length_of_padded_array* works with it. These semantic changes allow better use of the OCaml allocator to guarantee cache friendly alignment. (@polytypic)

1.0.1

  • Ported the library to OCaml 4 (@polytypic)

  • License changed to ISC from 0BSD (@tarides)

1.0.0

  • Initial release (@polytypic)

OCaml

Innovation. Community. Security.