multicoretests icon indicating copy to clipboard operation
multicoretests copied to clipboard

Published 20 hours ago • verified publisher icon ocaml-multicore

Dynarray tests

Open OlivierNicole opened this issue 1 year ago • 5 comments

(This PR is based on top of #462, which it depends on.)

The new module Dynarray has a rather tricky implementation as it is not designed for parallel use, but still strives to guarantee memory safety even in the event of such incorrect use. This implies a lot of subtle invariants to maintain. My local runs of this branch have exposed a bug in the initial implementation (https://github.com/ocaml/ocaml/pull/12885#discussion_r1568976695).

OlivierNicole avatar Jun 07 '24 16:06 OlivierNicole