82 lines · cpp
1// RUN: %clangxx_tsan -O1 %s -o %t && %deflake %run %t | FileCheck %s2#include "test.h"3 4const int kTestCount = 4;5typedef long long T;6T atomics[kTestCount * 2];7 8void Test(int test, T *p, bool main_thread) {9 volatile T sink;10 if (test == 0) {11 if (main_thread)12 __atomic_fetch_add(p, 1, __ATOMIC_RELAXED);13 else14 *p = 42;15 } else if (test == 1) {16 if (main_thread)17 __atomic_fetch_add(p, 1, __ATOMIC_RELAXED);18 else19 sink = *p;20 } else if (test == 2) {21 if (main_thread)22 sink = __atomic_load_n(p, __ATOMIC_SEQ_CST);23 else24 *p = 42;25 } else if (test == 3) {26 if (main_thread)27 __atomic_store_n(p, 1, __ATOMIC_SEQ_CST);28 else29 sink = *p;30 }31}32 33void *Thread(void *p) {34 for (int i = 0; i < kTestCount; i++) {35 Test(i, &atomics[i], false);36 }37 barrier_wait(&barrier);38 barrier_wait(&barrier);39 for (int i = 0; i < kTestCount; i++) {40 fprintf(stderr, "Test %d reverse\n", i);41 Test(i, &atomics[kTestCount + i], false);42 }43 return 0;44}45 46int main() {47 barrier_init(&barrier, 2);48 pthread_t t;49 pthread_create(&t, 0, Thread, 0);50 barrier_wait(&barrier);51 for (int i = 0; i < kTestCount; i++) {52 fprintf(stderr, "Test %d\n", i);53 Test(i, &atomics[i], true);54 }55 for (int i = 0; i < kTestCount; i++) {56 Test(i, &atomics[kTestCount + i], true);57 }58 barrier_wait(&barrier);59 pthread_join(t, 0);60}61 62// CHECK: Test 063// CHECK: ThreadSanitizer: data race64// CHECK-NOT: SUMMARY{{.*}}tsan_interface_atomic65// CHECK: Test 166// CHECK: ThreadSanitizer: data race67// CHECK-NOT: SUMMARY{{.*}}tsan_interface_atomic68// CHECK: Test 269// CHECK: ThreadSanitizer: data race70// CHECK-NOT: SUMMARY{{.*}}tsan_interface_atomic71// CHECK: Test 372// CHECK: ThreadSanitizer: data race73// CHECK-NOT: SUMMARY{{.*}}tsan_interface_atomic74// CHECK: Test 0 reverse75// CHECK: ThreadSanitizer: data race76// CHECK: Test 1 reverse77// CHECK: ThreadSanitizer: data race78// CHECK: Test 2 reverse79// CHECK: ThreadSanitizer: data race80// CHECK: Test 3 reverse81// CHECK: ThreadSanitizer: data race82