1 | // RUN: %libomp-compile-and-run |
2 | // The runtime currently does not get dependency information from GCC. |
3 | // UNSUPPORTED: gcc |
4 | |
5 | // Tests OMP 5.x task dependence "omp_all_memory", |
6 | // emulates compiler codegen versions for new dep kind |
7 | // |
8 | // Task tree created: |
9 | // task0 - task1 (in: i1, i2) |
10 | // \ |
11 | // task2 (inoutset: i2), (in: i1) |
12 | // / |
13 | // task3 (omp_all_memory) via flag=0x80 |
14 | // / |
15 | // task4 - task5 (in: i1, i2) |
16 | // / |
17 | // task6 (omp_all_memory) via addr=-1 |
18 | // / |
19 | // task7 (omp_all_memory) via flag=0x80 |
20 | // / |
21 | // task8 (in: i3) |
22 | // |
23 | #include <stdio.h> |
24 | #include <omp.h> |
25 | |
26 | #ifdef _WIN32 |
27 | #include <windows.h> |
28 | #define mysleep(n) Sleep(n) |
29 | #else |
30 | #include <unistd.h> |
31 | #define mysleep(n) usleep((n)*1000) |
32 | #endif |
33 | |
34 | // to check the # of concurrent tasks (must be 1 for MTX, <3 for other kinds) |
35 | static int checker = 0; |
36 | static int err = 0; |
37 | #ifndef DELAY |
38 | #define DELAY 100 |
39 | #endif |
40 | |
41 | // --------------------------------------------------------------------------- |
42 | // internal data to emulate compiler codegen |
43 | typedef struct DEP { |
44 | size_t addr; |
45 | size_t len; |
46 | unsigned char flags; |
47 | } dep; |
48 | #define DEP_ALL_MEM 0x80 |
49 | typedef struct task { |
50 | void** shareds; |
51 | void* entry; |
52 | int part_id; |
53 | void* destr_thunk; |
54 | int priority; |
55 | long long device_id; |
56 | int f_priv; |
57 | } task_t; |
58 | #define TIED 1 |
59 | typedef int(*entry_t)(int, task_t*); |
60 | typedef struct ID { |
61 | int reserved_1; |
62 | int flags; |
63 | int reserved_2; |
64 | int reserved_3; |
65 | char *psource; |
66 | } id; |
67 | // thunk routine for tasks with ALL dependency |
68 | int thunk_m(int gtid, task_t* ptask) { |
69 | int lcheck, th; |
70 | #pragma omp atomic capture |
71 | lcheck = ++checker; |
72 | th = omp_get_thread_num(); |
73 | printf(format: "task m_%d, th %d, checker %d\n" , ptask->f_priv, th, lcheck); |
74 | if (lcheck != 1) { // no more than 1 task at a time |
75 | err++; |
76 | printf(format: "Error m1, checker %d != 1\n" , lcheck); |
77 | } |
78 | mysleep(DELAY); |
79 | #pragma omp atomic read |
80 | lcheck = checker; // must still be equal to 1 |
81 | if (lcheck != 1) { |
82 | err++; |
83 | printf(format: "Error m2, checker %d != 1\n" , lcheck); |
84 | } |
85 | #pragma omp atomic |
86 | --checker; |
87 | return 0; |
88 | } |
89 | // thunk routine for tasks with inoutset dependency |
90 | int thunk_s(int gtid, task_t* ptask) { |
91 | int lcheck, th; |
92 | #pragma omp atomic capture |
93 | lcheck = ++checker; // 1 |
94 | th = omp_get_thread_num(); |
95 | printf(format: "task 2_%d, th %d, checker %d\n" , ptask->f_priv, th, lcheck); |
96 | if (lcheck != 1) { // no more than 1 task at a time |
97 | err++; |
98 | printf(format: "Error s1, checker %d != 1\n" , lcheck); |
99 | } |
100 | mysleep(DELAY); |
101 | #pragma omp atomic read |
102 | lcheck = checker; // must still be equal to 1 |
103 | if (lcheck != 1) { |
104 | err++; |
105 | printf(format: "Error s2, checker %d != 1\n" , lcheck); |
106 | } |
107 | #pragma omp atomic |
108 | --checker; |
109 | return 0; |
110 | } |
111 | |
112 | #ifdef __cplusplus |
113 | extern "C" { |
114 | #endif |
115 | int __kmpc_global_thread_num(id*); |
116 | task_t *__kmpc_omp_task_alloc(id *loc, int gtid, int flags, |
117 | size_t sz, size_t shar, entry_t rtn); |
118 | int __kmpc_omp_task_with_deps(id *loc, int gtid, task_t *task, int ndeps, |
119 | dep *dep_lst, int nd_noalias, dep *noalias_lst); |
120 | static id loc = {0, 2, 0, 0, ";file;func;0;0;;" }; |
121 | #ifdef __cplusplus |
122 | } // extern "C" |
123 | #endif |
124 | // End of internal data |
125 | // --------------------------------------------------------------------------- |
126 | |
127 | int main() |
128 | { |
129 | int i1,i2,i3; |
130 | omp_set_num_threads(8); |
131 | omp_set_dynamic(0); |
132 | #pragma omp parallel |
133 | { |
134 | #pragma omp single nowait |
135 | { |
136 | dep sdep[2]; |
137 | task_t *ptr; |
138 | int gtid = __kmpc_global_thread_num(&loc); |
139 | int t = omp_get_thread_num(); |
140 | #pragma omp task depend(in: i1, i2) |
141 | { // task 0 |
142 | int lcheck, th; |
143 | #pragma omp atomic capture |
144 | lcheck = ++checker; // 1 or 2 |
145 | th = omp_get_thread_num(); |
146 | printf(format: "task 0_%d, th %d, checker %d\n" , t, th, lcheck); |
147 | if (lcheck > 2 || lcheck < 1) { |
148 | err++; // no more than 2 tasks concurrently |
149 | printf(format: "Error1, checker %d, not 1 or 2\n" , lcheck); |
150 | } |
151 | mysleep(DELAY); |
152 | #pragma omp atomic read |
153 | lcheck = checker; // 1 or 2 |
154 | if (lcheck > 2 || lcheck < 1) { |
155 | #pragma omp atomic |
156 | err++; |
157 | printf(format: "Error2, checker %d, not 1 or 2\n" , lcheck); |
158 | } |
159 | #pragma omp atomic |
160 | --checker; |
161 | } |
162 | #pragma omp task depend(in: i1, i2) |
163 | { // task 1 |
164 | int lcheck, th; |
165 | #pragma omp atomic capture |
166 | lcheck = ++checker; // 1 or 2 |
167 | th = omp_get_thread_num(); |
168 | printf(format: "task 1_%d, th %d, checker %d\n" , t, th, lcheck); |
169 | if (lcheck > 2 || lcheck < 1) { |
170 | err++; // no more than 2 tasks concurrently |
171 | printf(format: "Error3, checker %d, not 1 or 2\n" , lcheck); |
172 | } |
173 | mysleep(DELAY); |
174 | #pragma omp atomic read |
175 | lcheck = checker; // 1 or 2 |
176 | if (lcheck > 2 || lcheck < 1) { |
177 | err++; |
178 | printf(format: "Error4, checker %d, not 1 or 2\n" , lcheck); |
179 | } |
180 | #pragma omp atomic |
181 | --checker; |
182 | } |
183 | // compiler codegen start |
184 | // task2 |
185 | ptr = __kmpc_omp_task_alloc(loc: &loc, gtid, TIED, sz: sizeof(task_t), shar: 0, rtn: thunk_s); |
186 | sdep[0].addr = (size_t)&i1; |
187 | sdep[0].len = 0; // not used |
188 | sdep[0].flags = 1; // IN |
189 | sdep[1].addr = (size_t)&i2; |
190 | sdep[1].len = 0; // not used |
191 | sdep[1].flags = 8; // INOUTSET |
192 | ptr->f_priv = t + 10; // init single first-private variable |
193 | __kmpc_omp_task_with_deps(loc: &loc, gtid, task: ptr, ndeps: 2, dep_lst: sdep, nd_noalias: 0, noalias_lst: 0); |
194 | |
195 | // task3 |
196 | ptr = __kmpc_omp_task_alloc(loc: &loc, gtid, TIED, sz: sizeof(task_t), shar: 0, rtn: thunk_m); |
197 | sdep[0].addr = (size_t)&i1; // to be ignored |
198 | sdep[0].len = 0; // not used |
199 | sdep[0].flags = 1; // IN |
200 | sdep[1].addr = 0; |
201 | sdep[1].len = 0; // not used |
202 | sdep[1].flags = DEP_ALL_MEM; // omp_all_memory |
203 | ptr->f_priv = t + 20; // init single first-private variable |
204 | __kmpc_omp_task_with_deps(loc: &loc, gtid, task: ptr, ndeps: 2, dep_lst: sdep, nd_noalias: 0, noalias_lst: 0); |
205 | // compiler codegen end |
206 | #pragma omp task depend(in: i1, i2) |
207 | { // task 4 |
208 | int lcheck, th; |
209 | #pragma omp atomic capture |
210 | lcheck = ++checker; // 1 or 2 |
211 | th = omp_get_thread_num(); |
212 | printf(format: "task 4_%d, th %d, checker %d\n" , t, th, lcheck); |
213 | if (lcheck > 2 || lcheck < 1) { |
214 | err++; // no more than 2 tasks concurrently |
215 | printf(format: "Error5, checker %d, not 1 or 2\n" , lcheck); |
216 | } |
217 | mysleep(DELAY); |
218 | #pragma omp atomic read |
219 | lcheck = checker; // 1 or 2 |
220 | if (lcheck > 2 || lcheck < 1) { |
221 | err++; |
222 | printf(format: "Error6, checker %d, not 1 or 2\n" , lcheck); |
223 | } |
224 | #pragma omp atomic |
225 | --checker; |
226 | } |
227 | #pragma omp task depend(in: i1, i2) |
228 | { // task 5 |
229 | int lcheck, th; |
230 | #pragma omp atomic capture |
231 | lcheck = ++checker; // 1 or 2 |
232 | th = omp_get_thread_num(); |
233 | printf(format: "task 5_%d, th %d, checker %d\n" , t, th, lcheck); |
234 | if (lcheck > 2 || lcheck < 1) { |
235 | err++; // no more than 2 tasks concurrently |
236 | printf(format: "Error7, checker %d, not 1 or 2\n" , lcheck); |
237 | } |
238 | mysleep(DELAY); |
239 | #pragma omp atomic read |
240 | lcheck = checker; // 1 or 2 |
241 | if (lcheck > 2 || lcheck < 1) { |
242 | err++; |
243 | printf(format: "Error8, checker %d, not 1 or 2\n" , lcheck); |
244 | } |
245 | #pragma omp atomic |
246 | --checker; |
247 | } |
248 | // compiler codegen start |
249 | // task6 |
250 | ptr = __kmpc_omp_task_alloc(loc: &loc, gtid, TIED, sz: sizeof(task_t), shar: 0, rtn: thunk_m); |
251 | sdep[0].addr = (size_t)(-1); // omp_all_memory |
252 | sdep[0].len = 0; // not used |
253 | sdep[0].flags = 2; // OUT |
254 | ptr->f_priv = t + 30; // init single first-private variable |
255 | __kmpc_omp_task_with_deps(loc: &loc, gtid, task: ptr, ndeps: 1, dep_lst: sdep, nd_noalias: 0, noalias_lst: 0); |
256 | |
257 | // task7 |
258 | ptr = __kmpc_omp_task_alloc(loc: &loc, gtid, TIED, sz: sizeof(task_t), shar: 0, rtn: thunk_m); |
259 | sdep[0].addr = 0; |
260 | sdep[0].len = 0; // not used |
261 | sdep[0].flags = DEP_ALL_MEM; // omp_all_memory |
262 | sdep[1].addr = (size_t)&i3; // to be ignored |
263 | sdep[1].len = 0; // not used |
264 | sdep[1].flags = 4; // MUTEXINOUTSET |
265 | ptr->f_priv = t + 40; // init single first-private variable |
266 | __kmpc_omp_task_with_deps(loc: &loc, gtid, task: ptr, ndeps: 2, dep_lst: sdep, nd_noalias: 0, noalias_lst: 0); |
267 | // compiler codegen end |
268 | #pragma omp task depend(in: i3) |
269 | { // task 8 |
270 | int lcheck, th; |
271 | #pragma omp atomic capture |
272 | lcheck = ++checker; // 1 |
273 | th = omp_get_thread_num(); |
274 | printf(format: "task 8_%d, th %d, checker %d\n" , t, th, lcheck); |
275 | if (lcheck != 1) { |
276 | err++; |
277 | printf(format: "Error9, checker %d, != 1\n" , lcheck); |
278 | } |
279 | mysleep(DELAY); |
280 | #pragma omp atomic read |
281 | lcheck = checker; |
282 | if (lcheck != 1) { |
283 | err++; |
284 | printf(format: "Error10, checker %d, != 1\n" , lcheck); |
285 | } |
286 | #pragma omp atomic |
287 | --checker; |
288 | } |
289 | } // single |
290 | } // parallel |
291 | if (err == 0 && checker == 0) { |
292 | printf(format: "passed\n" ); |
293 | return 0; |
294 | } else { |
295 | printf(format: "failed, err = %d, checker = %d\n" , err, checker); |
296 | return 1; |
297 | } |
298 | } |
299 | |