swh:1:snp:2d869aa00591d2ac8ec8e7abacdda563d413189d
Tip revision: f140dbc8b05aa3d341c70436a1920a06df9a0ed4 authored by Roberto Di Cosmo on 02 May 2021, 17:11:46 UTC
Signal exceptions in the worker to the master process in the simplemapper skeleton.
Signal exceptions in the worker to the master process in the simplemapper skeleton.
Tip revision: f140dbc
setcore.ml
(* uses the native affinity interface to
declare that the current process should be
attached to core number n *)
external numcores: unit -> int = "numcores"
external setcore: int -> unit = "setcore"
