Skip to main content

Browse the archive

Revision 961fa9b2999f7bcda87e84ef1928901ae03a9996 authored by UnixJunkie on 10 July 2018, 09:06:57 UTC, committed by GitHub on 10 July 2018, 09:06:57 UTC 
fix mapi_range used by array_parmapi
1 parent d23100d
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