I’m happy to announce that version 0.6.1 of kcas and 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
version include:
- 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!