main
test-branch
| Line | |
|---|
| 1 | /*
|
|---|
| 2 | !!!~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~!!!
|
|---|
| 3 | !!! Copyright (c) 2017-20, Lawrence Livermore National Security, LLC
|
|---|
| 4 | !!! and DataRaceBench project contributors. See the DataRaceBench/COPYRIGHT file for details.
|
|---|
| 5 | !!!
|
|---|
| 6 | !!! SPDX-License-Identifier: (BSD-3-Clause)
|
|---|
| 7 | !!!~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~!!!
|
|---|
| 8 | */
|
|---|
| 9 |
|
|---|
| 10 | /*
|
|---|
| 11 | The increment at line number 26 is critical for the variable
|
|---|
| 12 | var@26:5. Therefore, there is a possible Data Race pair var@26:5 and var@26:5.
|
|---|
| 13 | */
|
|---|
| 14 |
|
|---|
| 15 | #include <stdio.h>
|
|---|
| 16 | #include <omp.h>
|
|---|
| 17 | #define N 100
|
|---|
| 18 |
|
|---|
| 19 | int var = 0;
|
|---|
| 20 |
|
|---|
| 21 | int main(){
|
|---|
| 22 | #pragma omp target map(tofrom:var) device(0)
|
|---|
| 23 | #pragma omp teams distribute parallel for
|
|---|
| 24 | for(int i=0; i<N*2; i++){
|
|---|
| 25 | #pragma omp critical
|
|---|
| 26 | var++;
|
|---|
| 27 | }
|
|---|
| 28 |
|
|---|
| 29 | printf("%d\n ",var);
|
|---|
| 30 |
|
|---|
| 31 | return 0;
|
|---|
| 32 | }
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.