affect
affect copied to clipboard
dbuenzli
Composable concurrency primitives with OCaml effects handlers (unreleased)
At https://discuss.ocaml.org/t/affect-composable-concurrency-primitives-for-ocaml-5-0/9430 you propose to implement cancellation/abortion as follows: > Explicit fiber aborts raise the Abort exception in fibers. Combined with a disciplined use of Fun.protect a disciplined use of...
Currently `Funix` uses Unix.select: https://github.com/dbuenzli/affect/blob/5ccf1e2fea197f6257ccebffaff8ca0970a0d86c/src/funix.ml#L172 This will limit the application to using at most 1024 file descriptors (limitation in underlying `select`), which can be quite problematic in practice (aside from...
Busy yielding occurs both in `Fiber.{first,either}` and during fiber termination while waiting for the spawns to finish. It is, of course, inefficient. We need to introduce a form of waiter...
