|
@@ -1,3 +1,22 @@
|
|
|
+# Disabled checking
|
|
|
+race:^active_hook_cnt$
|
|
|
+race:^worker_exp_start$
|
|
|
+race:^worker_exp_len$
|
|
|
+race:^ntasks$
|
|
|
+race:^mc_cache_size$
|
|
|
+race:^mc_nb$
|
|
|
+race:^mc_clean_nb$
|
|
|
+race:^data_requests$
|
|
|
+race:^prefetch_requests$
|
|
|
+race:^idle_requests$
|
|
|
+race:^data_requests_npending$
|
|
|
+race:^used_size$
|
|
|
+race:^hit_cnt$
|
|
|
+race:^miss_cnt$
|
|
|
+race:^alloc_cache_hit_cnt$
|
|
|
+race:^alloc_cnt$
|
|
|
+race:^comm_amount$
|
|
|
+
|
|
|
# don't care about cache hit stats
|
|
|
race:^_starpu_msi_cache_hit$
|
|
|
race:^_starpu_msi_cache_miss$
|
|
@@ -6,8 +25,9 @@ race:^_starpu_msi_cache_miss$
|
|
|
race:^_starpu_codelet_check_deprecated_fields$
|
|
|
|
|
|
# This is racy, but we don't care, it's only a statistic
|
|
|
-race:^fun:starpu_task_nsubmitted$
|
|
|
-race:^fun:starpu_task_nready$
|
|
|
+race:^starpu_task_nsubmitted$
|
|
|
+race:^starpu_task_nready$
|
|
|
+race:^_starpu_bus_update_profiling_info$
|
|
|
|
|
|
# The config.running/pause_depth state is only protected by memory barriers
|
|
|
race:^_starpu_machine_is_running$
|
|
@@ -22,12 +42,6 @@ race:^push_task_eager_policy$
|
|
|
|
|
|
# These are just statistics
|
|
|
race:^starpu_memory_get_available$
|
|
|
-race:^mc_cache_size$
|
|
|
-race:^mc_nb$
|
|
|
-race:^mc_clean_nb$
|
|
|
-race:^alloc_cnt$
|
|
|
-race:^used_size$
|
|
|
-race:^data_requests_npending$
|
|
|
race:^_starpu_profiling$
|
|
|
race:^_starpu_history_based_job_expected_perf$
|
|
|
race:^compute_ntasks_end$
|