Skip to main content

Browse the archive

Revision ca9f0de7353f1e666d247691e872c2f46273a7ed authored by Roberto Di Cosmo on 10 November 2011, 10:20:00 UTC, committed by Roberto Di Cosmo on 10 November 2011, 10:20:00 UTC 
Use pipes instead of sockets for communications with the workers.
1 parent d1f007e
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