[ANN] kcas and kcas_data 0.6.1: STM and compositional lock-free data structures

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:

Stay tuned for more news on Kcas!

16 Likes

And speaking of news, first part of blog post Kcas: Building a lock-free STM for OCaml is now online.

7 Likes

And the second part of the blog post Kcas: Building a lock-free STM for OCaml is now online as well.

If you have any feedback or questions on Kcas, I’m happy to discuss.

Feel free to ask here or on OCaml Discord, for example.

8 Likes