picos
picos copied to clipboard
ocaml-multicore
Interoperable effects based concurrency
Next: * [x] Support for `Unix.wait` and related functionality in `Picos_stdio` * [x] Structured concurrency library/sample/primitives * [x] A randomized scheduler (for testing) * [x] Make sure time limited QCheck...
I noticed the server and client test crashed with a SIGSEGV or SIGBUS (depending on run). I created a stripped down version of the program https://github.com/polytypic/signal-issue that removes all "unsafe"...
When moving elements from the tail of the queue to the head, if there is more than one element on the tail, then leave the topmost (last pushed) element on...
Using `Unix.select` is problematic, because if any file descriptor value is beyond 1024 then the call will fail with an exception. Note that this refers to the value of the...
For example, - a core `picos` package would include `picos` and maybe `picos.sync` and more strongly maybe `picos.stdio`. - an additional `picos_samples` package would contain other things (e.g. sample schedulers)...
Concerning some parts of Picos, it's required to know which is our current fiber to compare with some others (like for mutex and condition). It requires that `Fiber` must be...
I may have observed the `picos.sync` tests potentially dead/livelocking at least on (32-bit) OCaml 4.14 on CI. This might indicate a bug in the `picos.sync` library, a bug in the...
the start of a small library for composable alternatives, with a choice between multiple events is done atomically.
