Blog

The OCaml Planet RSS

Articles and videos contributed by both experts, companies and passionate developers from the OCaml community. From in-depth technical articles, project highlights, community news, or insights into Open Source projects, the OCaml Planet RSS feed aggregator has something for everyone.

Type

All Article Video

Want your Blog Posts or Videos to Show Here?

To contribute a blog post, or add your RSS feed, check out the Contributing Guide on GitHub.

Add your RSS feed!

Filtering by: Source: Tarides Keyword: dscheck Clear all

Saturn 1.0: Data structures for OCaml Multicore

Announcing the 1.0 release of Saturn, a library of efficient, tested, concurrent data structures ready to use with OCaml 5.

data dscheck effect formal verification linearisability linearisation lock-free multicore saturn structures

11 Dec 2024

Tarides

Read Article

Multicore Testing Tools: DSCheck Pt 2

Welcome to part two! If you haven't already, check out part one, where we introduce DSCheck and share one of its uses in a naive counter…

atomic barrier counter domain dscheck interleavings multicore obstruction-free parallelism spawn

10 Apr 2024

Tarides

Read Article

Multicore Testing Tools: DSCheck Pt 1

Reaping the plentiful benefits of parallel programming requires the careful management of the intricacies that come with it. Tarides played…

atomic counter domain dscheck eio incr interleaving interleavings multicore spawn

14 Feb 2024

Tarides

Read Article

OCaml 5 Multicore Testing Tools

The new version of OCaml 5 is here! It brings the ability to program multicore applications and to maximise our usage of all the CPU cores…

atomic bank dscheck from_account lin money multicore mutex to_account transfer

22 Dec 2022

Tarides

Read Article

The OCaml Planet RSS

Type

Source

Keyword

Year

Author

Want your Blog Posts or Videos to Show Here?