Revision d23100d28be7288611eeb474d98d624750a2c56b authored by Roberto Di Cosmo on 30 November 2017, 20:59:20 UTC, committed by GitHub on 30 November 2017, 20:59:20 UTC
Add support for user-level enabling/disabling of core pinning
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"
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...