source: CIVL/examples/omp/DataRaceBench/overview.txt@ e5cec5ae

1.23 2.0 main test-branch
Last change on this file since e5cec5ae was 36a61f3, checked in by Ziqing Luo <ziqing@…>, 9 years ago

Commit DataRaceBench into CIVL examples

git-svn-id: svn://vsl.cis.udel.edu/civl/trunk@4225 fb995dde-84ed-4084-dfe6-e5aef3e2452c

  • Property mode set to 100644
File size: 6.2 KB
Line 
1=====================================================================================================================================
2OVERVIEW of benchmarks in directory 'micro-benchmarks'
3=====================================================================================================================================
4
5-------------------------------------------------------------------------------------------------------------------------------------
6Property labels for race-yes set | Property labels for race-no set
7-------------------------------------------------------------------------------------------------------------------------------------
8Y1: Unresolvable dependences | N1: Embarrassingly parallel
9Y2: Missing data sharing clauses | N2: Use of data sharing clauses
10Y3: Missing synchronization | N3: Use of synchronization
11Y4: SIMD data races | N4: Use of SIMD directives
12Y5: Accelerator data races | N5: Use of accelerator directives
13Y6: Undefined behaviors | N6: Use of special language features
14Y7: Numerical kernel data races | N7: Numerical kernels
15-------------------------------------------------------------------------------------------------------------------------------------
16
17
18-------------------------------------------------------------------------------------------------------------------------------------
19MIRCOBENCHMARKS WITH KNOWN DATA RACES (RACE-YES-SET)
20-------------------------------------------------------------------------------------------------------------------------------------
21P-Label| Micro-bechmark | Source | Description
22-------------------------------------------------------------------------------------------------------------------------------------
23Y1 | antidep1 | AutoPar | Anti-dependence within a single loop
24Y1 | antidep2 | AutoPar | Anti-dependence within a two-level loop nest
25Y2 | lastprivatemissing | AutoPar | Data race due to a missing lastprivate() clause
26Y3 | minusminus | AutoPar | Unprotected $--$ operation
27Y3 | nowait | AutoPar | Missing barrier due to a wrongfully used nowait
28Y6 | outofbounds | AutoPar | Out of bound access of the 2nd dimension of array
29Y1 | outputdep | AutoPar | Output dependence and true dependence within a loop
30Y1 | plusplus | AutoPar | $++$operation on array index variable
31Y2 | privatemissing | AutoPar | Missing private() for a temp variable
32Y2 | reductionmissing | AutoPar | Missing reduction() for a variable
33Y1 | truedep1 | AutoPar | True data dependence among multiple array elements within a single level loop
34Y1 | truedepfirstdimension | AutoPar | True data dependence of first dimension for a 2-D array accesses
35Y1 | truedeplinear | AutoPar | Linear equation as array subscript
36Y1 | truedepscalar | AutoPar | True data dependence due to scalar
37Y1 | truedepseconddimension | AutoPar | True data dependence on 2nd dimension of a 2-D array accesses
38Y1 | truedepsingleelement | AutoPar | True data dependence due to a single array element
39-------------------------------------------------------------------------------------------------------------------------------------
40
41
42-------------------------------------------------------------------------------------------------------------------------------------
43MICROBENCHMARKS WITHOUT KNOWN DATA RACES (RACE-NO-SET)
44-------------------------------------------------------------------------------------------------------------------------------------
45P-Label| Micro-bechmark | Source | Description
46-------------------------------------------------------------------------------------------------------------------------------------
47N2 | 3mm-parallel | Polyhedral | 3-step matrix-matrix multiplication, non-optimized version
48N2,N4 | 3mm-tile | Polyhedral | 3-step matrix-matrix multiplication, with tiling and nested SIMD
49N2 | adi-parallel | Polyhedral | Alternating Direction Implicit solver, non-optimized version
50N2,N4 | adi-tile | Polyhedral | Alternating Direction Implicit solver, with tiling and nested SIMD
51N1 | doall1 | AutoPar | Classic DOAll loop operating on a one dimensional array
52N1 | doall2 | AutoPar | Classic DOAll loop operating on a two dimensional array
53N2 | firstprivate | AutoPar | Example use of firstprivate
54N1 | inneronly1 | AutoPar | Two-level nested loops, inner level is parallelizable. True dependence on outer level
55N1 | inneronly2 | AutoPar | Two-level nested loops, inner level is parallelizable. Anti dependence on outer level
56N7 | jacobiinitialize | AutoPar | The array initialization parallel loop in Jacobi
57N7 | jacobikernel | AutoPar | Parallel Jacobi stencil computation kernel with array copying and reduction
58N2 | lastprivate | AutoPar | Example use of lastprivate
59N7 | matrixmultiply | AutoPar | Classic i-k-j order matrix multiplication using OpenMP
60N7 | matrixvector1 | AutoPar | Matrix-vector multiplication parallelized at the outer level loop
61N7 | matrixvector2 | AutoPar | Matrix-vector multiplication parallelized at the inner level loop with reduction
62N2 | outeronly1 | AutoPar | Two-level nested loops, outer level is parallelizable. True dependence on inner level
63N2 | outeronly2 | AutoPar | Two-level nested loops, outer level is parallelizable. Anti dependence on inner level
64N7 | pireduction | AutoPar | PI calculation using reduction
65-------------------------------------------------------------------------------------------------------------------------------------
Note: See TracBrowser for help on using the repository browser.