Skip to main content

Browse the archive

Revision 125cb4d85508c2f9c61fd4db0e077eda999d6805 authored by Roberto Di Cosmo on 26 February 2014, 22:12:20 UTC, committed by Roberto Di Cosmo on 26 February 2014, 22:12:20 UTC 
Added code to get the number of available cores, and use it to compute default number of cores.
1 parent ee86243
Raw File
setcore.mli 
(* 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