Vesa Karvonen
Vesa Karvonen
> probably require a type annotation from the user I wouldn't expect this to be a practically significant imbediment. I believe it is likely that the vast majority of uses...
> Is it possible that abusing copy_as_padded could negatively impact large program performances due to the increase memory usage? Yes, it will increase memory usage and increase the amount of...
> For example, the following is part of a hashtable implementation that supports resizing concurrently with other operations: > > https://github.com/ocaml-multicore/picos/blob/51895fb3169ffaba2219d02324ad429ccf174f88/lib/picos_htbl/picos_htbl.ml#L130-L138 > > I don't understand the code enough to...
It is great to see people experiment with these! The multififo scheduler was relatively recently improved for performance in a couple of important ways (making spawning less expensive and balancing...
PRs to add links to other Picos-compatible libraries would be welcome! Regarding "good to use", yes, there are some notes in that regard, but it could be improved. I've actually...
I was able to reproduce the `Undefined` exception with the following: ```ocaml let () = let barrier = Atomic.make 2 in let parse () = Atomic.decr barrier; while Atomic.get barrier...
Writes like https://github.com/ocaml-multicore/saturn/blob/f343045c0547fca9ab9ed6dfaf4dbe59d8f3926e/src/ws_deque.ml#L97 generate calls to `caml_modify`, which uses [`atomic_store_release`](https://github.com/ocaml/ocaml/blob/76ec239015fde345d3444b0094dce66cc20c271b/runtime/memory.c#L229). A store with a release fence does not allow preceding reads or writes to be moved after it. However, the...
We could consider adding some TODO notes to things disabled in this PR currently, merge it — so we'd have more Windows tests running on CI — and then continue...