================
@@ -119,3 +119,26 @@ TSAN_FLAG(const char*, adaptive_delay_max_atomic,
"sleep_us=50",
TSAN_FLAG(const char*, adaptive_delay_max_sync, "sleep_us=500",
"Delay for sync operations: 'spin=N' (max N spins), 'yield', or "
"'sleep_us=N' (max N>0 us sleep)")
+
+TSAN_FLAG(const char*, simulate_scheduler, "",
+ "Scheduler algorithm for __tsan_simulate. "
+ "Supported values: 'random'. Empty means simulation is disabled.")
+TSAN_FLAG(int, simulate_iterations, 1000,
+ "Number of iterations for __tsan_simulate.")
+TSAN_FLAG(int, simulate_start_iteration, 0,
+ "Starting iteration number for __tsan_simulate. Useful for "
+ "reproducing specific iteration failures.")
+TSAN_FLAG(int, simulate_max_depth, 10000,
+ "Maximum scheduling depth per iteration. If exceeded, the "
+ "simulation returns an error after the iteration completes")
+TSAN_FLAG(bool, simulate_schedule_on_memory_access, false,
+ "Insert scheduling points at every memory read/write during "
+ "simulation for maximum interleaving exploration.")
+TSAN_FLAG(int, simulate_schedule_probability, 100,
----------------
ccotter wrote:
I lowered the default to 20
https://github.com/llvm/llvm-project/pull/183200
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
