static_init3.cc revision da4edd850db1a333c15fc3b0abc01a2e8d2f08fe
1da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany#include <pthread.h>
2da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany#include <stdlib.h>
3da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany#include <stdio.h>
4da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany#include <sched.h>
5da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany
6da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryanystruct Cache {
7da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany  int x;
8da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany};
9da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany
10da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya SerebryanyCache g_cache;
11da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany
12da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya SerebryanyCache *CreateCache() {
13da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany  g_cache.x = rand();
14da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany  return &g_cache;
15da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany}
16da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany
17da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany_Atomic(Cache*) queue;
18da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany
19da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryanyvoid *Thread1(void *x) {
20da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany  static Cache *c = CreateCache();
21da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany  __c11_atomic_store(&queue, c, 0);
22da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany  return 0;
23da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany}
24da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany
25da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryanyvoid *Thread2(void *x) {
26da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany  Cache *c = 0;
27da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany  for (;;) {
28da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany    c = __c11_atomic_load(&queue, 0);
29da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany    if (c)
30da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany      break;
31da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany    sched_yield();
32da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany  }
33da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany  if (c->x >= RAND_MAX)
34da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany    exit(1);
35da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany  return 0;
36da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany}
37da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany
38da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryanyint main() {
39da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany  pthread_t t[2];
40da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany  pthread_create(&t[0], 0, Thread1, 0);
41da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany  pthread_create(&t[1], 0, Thread2, 0);
42da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany  pthread_join(t[0], 0);
43da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany  pthread_join(t[1], 0);
44da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany}
45da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany
46da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany// CHECK: WARNING: ThreadSanitizer: data race
47