Skip to main content

Browse the archive

Revision 2c9e18bdefb96b8d8ea591ac05cabd8e5a991d32 authored by Marco Danelutto on 28 October 2011, 20:34:56 UTC, committed by Roberto Di Cosmo on 07 November 2011, 20:51:23 UTC 
Added support for pinning worker processes to their CPUs on Linux.
 
Needs autoconf and support for different OSs.
1 parent cd664c1
Raw File
setcore.mli 
(* uses the native affinity interface to 
   declare that the current process should be
   attached to core number n *)

external setcore: int -> unit = "setcore"
back to top