# HG changeset patch
# User wenzelm
# Date 1692783848 -7200
# Node ID ed07f0ebf31cc810a44c674c9a74ae43a376adb7
# Parent  25c04910dcfa037bf910e19c397df44e1abc96d4
proper numa_nodes for build_worker;

diff -r 25c04910dcfa -r ed07f0ebf31c src/Pure/Tools/build_process.scala
--- a/src/Pure/Tools/build_process.scala	Wed Aug 23 11:31:17 2023 +0200
+++ b/src/Pure/Tools/build_process.scala	Wed Aug 23 11:44:08 2023 +0200
@@ -954,10 +954,7 @@
           yield Build_Process.Task(session.name, session.deps, JSON.Object.empty, build_uuid))
     val pending1 = new_pending ::: state.pending
 
-    state.copy(
-      numa_nodes = Host.numa_nodes(enabled = build_context.numa_shuffling),
-      sessions = sessions1,
-      pending = pending1)
+    state.copy(sessions = sessions1, pending = pending1)
   }
 
   protected def next_jobs(state: Build_Process.State): List[String] = {
@@ -1090,9 +1087,12 @@
   /* run */
 
   def run(): Build.Results = {
-    if (build_context.master) {
-      _build_cluster.init()
-      synchronized_database("Build_Process.init") { _state = init_state(_state) }
+    synchronized_database("Build_Process.init") {
+      if (build_context.master) {
+        _build_cluster.init()
+        _state = init_state(_state)
+      }
+      _state = _state.copy(numa_nodes = Host.numa_nodes(enabled = build_context.numa_shuffling))
     }
 
     def finished(): Boolean = synchronized_database("Build_Process.test") {