rdicosmo / parmap

Parmap is a minimalistic library allowing to exploit multicore architecture for OCaml programs with minimal modifications.
http://rdicosmo.github.io/parmap/
Other
94 stars 20 forks source link

Pids accounting #14

Closed UnixJunkie closed 11 years ago

UnixJunkie commented 11 years ago

Created process IDs are recorded and can be retrieved in the master process by calling get_chlidren_pids().

rdicosmo commented 11 years ago

Unfortunately, one gets the PIDs only after the Parmap code has been fully executed, so these processes will be dead before the main program can get hold of them. We must try another solution for gracefully handling exceptions in the workers.