swh:1:snp:2d869aa00591d2ac8ec8e7abacdda563d413189d
Raw File
Tip revision: dd932dcf58fecc4871847e46745f32a2137cdfea authored by Francois Berenger on 23 July 2019, 07:35:57 UTC
META linkopts #62
Tip revision: dd932dc
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