bazel: Add support for TSAN

With this commit we can execute our tests under a thread sanitizer via

`bazel test --config=tsan //score/...`

Author: castler

.bazelrc

@@ -18,7 +18,6 @@ common --@score_baselibs//score/json:base_library=nlohmann
 common --//score/mw/com/flags:tracing_library=stub
 common --extra_toolchains=@gcc_toolchain//:host_gcc_12
 build --incompatible_strict_action_env
-test --test_tag_filters=-manual
 test --test_output=errors
 build --experimental_retain_test_configuration_across_testonly #https://github.com/bazelbuild/bazel/issues/6842
 

quality/sanitizer/BUILD

@@ -19,6 +19,7 @@ sh_test(
         "test_workspace/BUILD.tpl",
         "test_workspace/MODULE.bazel",
         "test_workspace/asan_fail_heap_out_of_bounds.cpp",
+        "test_workspace/tsan_fail_data_race.cpp",
     ],
     env_inherit = [
         "PATH",
@@ -27,7 +28,7 @@ sh_test(
     ],
     tags = [
         "local",  # Test marked local because it uses bazel.
-        "manual", # Due to long-runtime and local dependencies
+        "manual",  # Due to long-runtime and local dependencies
     ],
     deps = ["@bazel_tools//tools/bash/runfiles"],
 )

quality/sanitizer/sanitizer.bazelrc

@@ -24,3 +24,12 @@ test:asan_ubsan --test_env=ASAN_OPTIONS="exitcode=55 allow_addr2line=1 verbosity
 test:asan_ubsan --test_env=UBSAN_OPTIONS="exitcode=55 allow_addr2line=1 verbosity=1 coverage=1 print_stacktrace=1 halt_on_error=1"
 
 test:asan --config=asan_ubsan
+
+test:tsan --cxxopt -O0
+test:tsan --cxxopt -Og
+test:tsan --extra_toolchains=@llvm_toolchain//:cc-toolchain-x86_64-linux
+test:tsan --cxxopt -fsanitize=thread
+test:tsan --linkopt -fsanitize=thread
+test:tsan --linkopt -fsanitize-link-c++-runtime
+test:tsan --platform_suffix=tsan
+test:tsan --test_env=TSAN_OPTIONS="exitcode=55 allow_addr2line=1 verbosity=1 coverage=1 detect_deadlocks=1 second_deadlock_stack=1 halt_on_error=0"

quality/sanitizer/sanitizers_functional_test.sh

@@ -47,11 +47,16 @@ ln -sf "$(rlocation $TEST_WORKSPACE/quality/sanitizer/sanitizer.bazelrc)" "test_
 ln -sf "$(rlocation $TEST_WORKSPACE/quality/sanitizer/test_workspace/MODULE.bazel)" "test_workspace/MODULE.bazel"
 ln -sf "$(rlocation $TEST_WORKSPACE/quality/sanitizer/test_workspace/BUILD.tpl)" "test_workspace/BUILD"
 ln -sf "$(rlocation $TEST_WORKSPACE/quality/sanitizer/test_workspace/asan_fail_heap_out_of_bounds.cpp)" "test_workspace/asan_fail_heap_out_of_bounds.cpp"
+ln -sf "$(rlocation $TEST_WORKSPACE/quality/sanitizer/test_workspace/tsan_fail_data_race.cpp)" "test_workspace/tsan_fail_data_race.cpp"
 
 cd test_workspace
 
 if bazel test --config=asan //...; then
   exit 1;
-else
- exit 0;
 fi
+
+if bazel test --config=tsan //...; then
+  exit 1;
+fi
+
+exit 0;

quality/sanitizer/test_workspace/BUILD.tpl

@@ -15,3 +15,8 @@ cc_test(
     name = "asan_fail_heap_out_of_bounds",
     srcs = ["asan_fail_heap_out_of_bounds.cpp"],
 )
+
+cc_test(
+    name = "tsan_fail_data_race",
+    srcs = ["tsan_fail_data_race.cpp"],
+)

quality/sanitizer/test_workspace/tsan_fail_data_race.cpp

@@ -0,0 +1,38 @@
+/********************************************************************************
+ * Copyright (c) 2025 Contributors to the Eclipse Foundation
+ *
+ * See the NOTICE file(s) distributed with this work for additional
+ * information regarding copyright ownership.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the Apache License Version 2.0 which is available at
+ * https://www.apache.org/licenses/LICENSE-2.0
+ *
+ * SPDX-License-Identifier: Apache-2.0
+ ********************************************************************************/
+#include <cstdint>
+#include <thread>
+
+// This is a very basic example of a data-race condition, which should be found by a thread-sanitizer
+int main()
+{
+    std::uint32_t some_number{0};
+
+    std::thread first_thread{[&some_number]() {
+        for (int i = 0; i < 100; i++)
+        {
+            some_number++;
+        }
+    }};
+
+    std::thread second_thread{[&some_number]() {
+        for (int i = 0; i < 100; i++)
+        {
+            some_number++;
+        }
+    }};
+
+    first_thread.join();
+    second_thread.join();
+    return 0;
+}