--- a/src/Pure/System/numa.scala Sat Sep 08 21:54:39 2018 +0200
+++ b/src/Pure/System/numa.scala Sat Sep 08 22:09:52 2018 +0200
@@ -39,6 +39,12 @@
def policy(node: Int): String =
if (numactl_available) "numactl -m" + node + " -N" + node else ""
+ def policy_options(options: Options, numa_node: Option[Int]): Options =
+ numa_node match {
+ case None => options
+ case Some(n) => options.string("ML_process_policy") = policy(n)
+ }
+
/* shuffling of CPU nodes */
--- a/src/Pure/Tools/build.scala Sat Sep 08 21:54:39 2018 +0200
+++ b/src/Pure/Tools/build.scala Sat Sep 08 22:09:52 2018 +0200
@@ -195,11 +195,7 @@
val numa_node: Option[Int],
command_timings: List[Properties.T])
{
- val options =
- numa_node match {
- case None => info.options
- case Some(n) => info.options.string("ML_process_policy") = NUMA.policy(n)
- }
+ val options = NUMA.policy_options(info.options, numa_node)
private val graph_file = Isabelle_System.tmp_file("session_graph", "pdf")
isabelle.graphview.Graph_File.write(options, graph_file, deps(name).session_graph_display)