I’m happy to announce that version 0.6.1 of
kcas_data has been released on opam.
See the Kcas project for more details, but briefly kcas provides a software transactional memory (STM) implementation and kcas_data provides compositional lock-free data structures implemented using Kcas. Together these libraries allow one to implement safe concurrent abstractions compositionally.
Aside from internal improvements, notable features added since the previously announced 0.3.0
- Doubly linked list
Dllist, see example.
- Synchronizing variable
MVar, see example.
- Nested conditional transactions, see example.
- Timeouts, see example.
- Support for OCaml 4.14, allowing Kcas to be used to implement systhread and parallelism safe code and help projects requiring OCaml 4 support on their way to OCaml 5.
Stay tuned for more news on Kcas!