Skip to main content
swh:1:snp:2d869aa00591d2ac8ec8e7abacdda563d413189d
Raw File
Tip revision: d23100d28be7288611eeb474d98d624750a2c56b authored by Roberto Di Cosmo on 30 November 2017, 20:59:20 UTC
Merge pull request #69 from UnixJunkie/disable_core_pinning
Tip revision: d23100d
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