Removed numa for now

harmonylang · Aug 20, 2023 · a1e29b0 · a1e29b0
1 parent 2f90dca
commit a1e29b0
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/harmony_model_checker/charm/charm.c b/harmony_model_checker/charm/charm.c
@@ -10,8 +10,10 @@
 
 #ifdef __linux__
 #include <sched.h>   //cpu_set_t, CPU_SET
+#ifdef NUMA
 #include <numa.h>
 #endif
+#endif
 
 #include <stdint.h>
 
@@ -3610,8 +3612,10 @@ int exec_model_checker(int argc, char **argv){
     // there, the Tarjan SCC algorithm (executed by worker 0) will run significantly
     // faster.
 #ifdef __linux__
+#ifdef NUMA
     numa_available();
     numa_set_preferred(vproc_info[workers[0].vproc].ids[0]);
+#endif
 #endif
 
     // Put the state and value dictionaries in concurrent mode