Revision 918930bf9871ea21786d0556ef84c61c306c9e17 authored by Lilian Besson on 30 March 2019, 14:15:37 UTC, committed by GitHub on 30 March 2019, 14:15:37 UTC
1 parent 633b73d
Raw File
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"
back to top