riot-ml / riot

An actor-model multi-core scheduler for OCaml 5 🐫
https://riot.ml
Other
568 stars 36 forks source link

Reimplement `wait_pids` efficiently #71

Closed leostera closed 7 months ago

leostera commented 7 months ago

The current implementation of wait_pids is very wasteful (busy waiting) and should be reimplemented by creating new monitors to the target pids, and using a message selector.

linear[bot] commented 7 months ago

RIOT-25 Reimplement `wait_pids` efficiently