Lines Matching refs:BOUNDARY
1498 // 1. write(GLOB[i]: i >= BOUNDARY) a. n = BOUNDARY
1499 // 2. HAPPENS_BEFORE(BOUNDARY+1) -------> b. HAPPENS_AFTER(n)
1500 // 3. BOUNDARY++; c. read(GLOB[i]: i < n)
1502 // Here we have a 'safe' race on accesses to BOUNDARY and
1504 // Writer writes to GLOB[i] where i>=BOUNDARY and then increments BOUNDARY.
1505 // Readers read BOUNDARY and read GLOB[i] where i<BOUNDARY.
1516 volatile int BOUNDARY = 0;
1520 CHECK(BOUNDARY == i);
1524 ANNOTATE_HAPPENS_BEFORE(reinterpret_cast<void*>(BOUNDARY+1));
1525 BOUNDARY++;
1533 n = BOUNDARY;
1544 FAST_MODE_INIT(&BOUNDARY);
1545 ANNOTATE_EXPECT_RACE((void*)(&BOUNDARY), "test30. Sync via 'safe' race.");
1562 // 1. write(GLOB[i]: i >= BOUNDARY) a. n = BOUNDARY
1563 // 2. HAPPENS_BEFORE(BOUNDARY+1) -------> b. HAPPENS_AFTER(n)
1564 // 3. BOUNDARY++; c. write(GLOB[i]: i < n)
1569 volatile int BOUNDARY = 0;
1573 CHECK(BOUNDARY == i);
1577 ANNOTATE_HAPPENS_BEFORE(reinterpret_cast<void*>(BOUNDARY+1));
1578 BOUNDARY++;
1586 n = BOUNDARY;
1599 FAST_MODE_INIT(&BOUNDARY);
1600 ANNOTATE_EXPECT_RACE((void*)(&BOUNDARY), "test31. Sync via 'safe' race.");
