18 #include "kmp_wait_release.h" 19 #include "kmp_taskdeps.h" 21 #include "ompt-specific.h" 35 #ifdef KMP_SUPPORT_GRAPH_OUTPUT 36 static std::atomic<kmp_int32> kmp_node_id_seed = ATOMIC_VAR_INIT(0);
39 static void __kmp_init_node(kmp_depnode_t *node) {
40 node->dn.successors = NULL;
43 for (
int i = 0; i < MAX_MTX_DEPS; ++i)
44 node->dn.mtx_locks[i] = NULL;
45 node->dn.mtx_num_locks = 0;
46 __kmp_init_lock(&node->dn.lock);
47 KMP_ATOMIC_ST_RLX(&node->dn.nrefs, 1);
48 #ifdef KMP_SUPPORT_GRAPH_OUTPUT 49 node->dn.id = KMP_ATOMIC_INC(&kmp_node_id_seed);
53 static inline kmp_depnode_t *__kmp_node_ref(kmp_depnode_t *node) {
54 KMP_ATOMIC_INC(&node->dn.nrefs);
58 enum { KMP_DEPHASH_OTHER_SIZE = 97, KMP_DEPHASH_MASTER_SIZE = 997 };
60 static inline kmp_int32 __kmp_dephash_hash(kmp_intptr_t addr,
size_t hsize) {
63 return ((addr >> 6) ^ (addr >> 2)) % hsize;
66 static kmp_dephash_t *__kmp_dephash_create(kmp_info_t *thread,
67 kmp_taskdata_t *current_task) {
72 if (current_task->td_flags.tasktype == TASK_IMPLICIT)
73 h_size = KMP_DEPHASH_MASTER_SIZE;
75 h_size = KMP_DEPHASH_OTHER_SIZE;
78 h_size *
sizeof(kmp_dephash_entry_t *) +
sizeof(kmp_dephash_t);
81 h = (kmp_dephash_t *)__kmp_fast_allocate(thread, size);
83 h = (kmp_dephash_t *)__kmp_thread_malloc(thread, size);
91 h->buckets = (kmp_dephash_entry **)(h + 1);
93 for (
size_t i = 0; i < h_size; i++)
99 #define ENTRY_LAST_INS 0 100 #define ENTRY_LAST_MTXS 1 102 static kmp_dephash_entry *
103 __kmp_dephash_find(kmp_info_t *thread, kmp_dephash_t *h, kmp_intptr_t addr) {
104 kmp_int32 bucket = __kmp_dephash_hash(addr, h->size);
106 kmp_dephash_entry_t *entry;
107 for (entry = h->buckets[bucket]; entry; entry = entry->next_in_bucket)
108 if (entry->addr == addr)
114 entry = (kmp_dephash_entry_t *)__kmp_fast_allocate(
115 thread,
sizeof(kmp_dephash_entry_t));
117 entry = (kmp_dephash_entry_t *)__kmp_thread_malloc(
118 thread,
sizeof(kmp_dephash_entry_t));
121 entry->last_out = NULL;
122 entry->last_ins = NULL;
123 entry->last_mtxs = NULL;
124 entry->last_flag = ENTRY_LAST_INS;
125 entry->mtx_lock = NULL;
126 entry->next_in_bucket = h->buckets[bucket];
127 h->buckets[bucket] = entry;
130 if (entry->next_in_bucket)
137 static kmp_depnode_list_t *__kmp_add_node(kmp_info_t *thread,
138 kmp_depnode_list_t *list,
139 kmp_depnode_t *node) {
140 kmp_depnode_list_t *new_head;
143 new_head = (kmp_depnode_list_t *)__kmp_fast_allocate(
144 thread,
sizeof(kmp_depnode_list_t));
146 new_head = (kmp_depnode_list_t *)__kmp_thread_malloc(
147 thread,
sizeof(kmp_depnode_list_t));
150 new_head->node = __kmp_node_ref(node);
151 new_head->next = list;
156 static inline void __kmp_track_dependence(kmp_depnode_t *source,
158 kmp_task_t *sink_task) {
159 #ifdef KMP_SUPPORT_GRAPH_OUTPUT 160 kmp_taskdata_t *task_source = KMP_TASK_TO_TASKDATA(source->dn.task);
163 kmp_taskdata_t *task_sink = KMP_TASK_TO_TASKDATA(sink_task);
165 __kmp_printf(
"%d(%s) -> %d(%s)\n", source->dn.id,
166 task_source->td_ident->psource, sink->dn.id,
167 task_sink->td_ident->psource);
169 #if OMPT_SUPPORT && OMPT_OPTIONAL 173 if (ompt_enabled.ompt_callback_task_dependence) {
174 kmp_taskdata_t *task_source = KMP_TASK_TO_TASKDATA(source->dn.task);
175 kmp_taskdata_t *task_sink = KMP_TASK_TO_TASKDATA(sink_task);
177 ompt_callbacks.ompt_callback(ompt_callback_task_dependence)(
178 &(task_source->ompt_task_info.task_data),
179 &(task_sink->ompt_task_info.task_data));
184 static inline kmp_int32
185 __kmp_depnode_link_successor(kmp_int32 gtid, kmp_info_t *thread,
186 kmp_task_t *task, kmp_depnode_t *node,
187 kmp_depnode_list_t *plist) {
190 kmp_int32 npredecessors = 0;
192 for (kmp_depnode_list_t *p = plist; p; p = p->next) {
193 kmp_depnode_t *dep = p->node;
195 KMP_ACQUIRE_DEPNODE(gtid, dep);
197 __kmp_track_dependence(dep, node, task);
198 dep->dn.successors = __kmp_add_node(thread, dep->dn.successors, node);
199 KA_TRACE(40, (
"__kmp_process_deps: T#%d adding dependence from %p to " 201 gtid, KMP_TASK_TO_TASKDATA(dep->dn.task),
202 KMP_TASK_TO_TASKDATA(task)));
205 KMP_RELEASE_DEPNODE(gtid, dep);
208 return npredecessors;
211 static inline kmp_int32 __kmp_depnode_link_successor(kmp_int32 gtid,
214 kmp_depnode_t *source,
215 kmp_depnode_t *sink) {
218 kmp_int32 npredecessors = 0;
221 KMP_ACQUIRE_DEPNODE(gtid, sink);
223 __kmp_track_dependence(sink, source, task);
224 sink->dn.successors = __kmp_add_node(thread, sink->dn.successors, source);
225 KA_TRACE(40, (
"__kmp_process_deps: T#%d adding dependence from %p to " 227 gtid, KMP_TASK_TO_TASKDATA(sink->dn.task),
228 KMP_TASK_TO_TASKDATA(task)));
231 KMP_RELEASE_DEPNODE(gtid, sink);
233 return npredecessors;
236 template <
bool filter>
237 static inline kmp_int32
238 __kmp_process_deps(kmp_int32 gtid, kmp_depnode_t *node, kmp_dephash_t *hash,
239 bool dep_barrier, kmp_int32 ndeps,
240 kmp_depend_info_t *dep_list, kmp_task_t *task) {
241 KA_TRACE(30, (
"__kmp_process_deps<%d>: T#%d processing %d dependencies : " 242 "dep_barrier = %d\n",
243 filter, gtid, ndeps, dep_barrier));
245 kmp_info_t *thread = __kmp_threads[gtid];
246 kmp_int32 npredecessors = 0;
247 for (kmp_int32 i = 0; i < ndeps; i++) {
248 const kmp_depend_info_t *dep = &dep_list[i];
250 if (filter && dep->base_addr == 0)
253 kmp_dephash_entry_t *info =
254 __kmp_dephash_find(thread, hash, dep->base_addr);
255 kmp_depnode_t *last_out = info->last_out;
256 kmp_depnode_list_t *last_ins = info->last_ins;
257 kmp_depnode_list_t *last_mtxs = info->last_mtxs;
259 if (dep->flags.out) {
260 if (last_ins || last_mtxs) {
261 if (info->last_flag == ENTRY_LAST_INS) {
263 __kmp_depnode_link_successor(gtid, thread, task, node, last_ins);
266 __kmp_depnode_link_successor(gtid, thread, task, node, last_mtxs);
268 __kmp_depnode_list_free(thread, last_ins);
269 __kmp_depnode_list_free(thread, last_mtxs);
270 info->last_ins = NULL;
271 info->last_mtxs = NULL;
274 __kmp_depnode_link_successor(gtid, thread, task, node, last_out);
276 __kmp_node_deref(thread, last_out);
281 info->last_out = NULL;
283 info->last_out = __kmp_node_ref(node);
285 }
else if (dep->flags.in) {
289 __kmp_depnode_link_successor(gtid, thread, task, node, last_mtxs);
290 __kmp_node_deref(thread, last_out);
291 info->last_out = NULL;
292 if (info->last_flag == ENTRY_LAST_MTXS && last_ins) {
294 __kmp_depnode_list_free(thread, last_ins);
295 info->last_ins = NULL;
300 __kmp_depnode_link_successor(gtid, thread, task, node, last_out);
302 info->last_flag = ENTRY_LAST_INS;
303 info->last_ins = __kmp_add_node(thread, info->last_ins, node);
305 KMP_DEBUG_ASSERT(dep->flags.mtx == 1);
309 __kmp_depnode_link_successor(gtid, thread, task, node, last_ins);
310 __kmp_node_deref(thread, last_out);
311 info->last_out = NULL;
312 if (info->last_flag == ENTRY_LAST_INS && last_mtxs) {
314 __kmp_depnode_list_free(thread, last_mtxs);
315 info->last_mtxs = NULL;
320 __kmp_depnode_link_successor(gtid, thread, task, node, last_out);
322 info->last_flag = ENTRY_LAST_MTXS;
323 info->last_mtxs = __kmp_add_node(thread, info->last_mtxs, node);
324 if (info->mtx_lock == NULL) {
325 info->mtx_lock = (kmp_lock_t *)__kmp_allocate(
sizeof(kmp_lock_t));
326 __kmp_init_lock(info->mtx_lock);
328 KMP_DEBUG_ASSERT(node->dn.mtx_num_locks < MAX_MTX_DEPS);
331 for (m = 0; m < MAX_MTX_DEPS; ++m) {
333 if (node->dn.mtx_locks[m] < info->mtx_lock) {
334 KMP_DEBUG_ASSERT(node->dn.mtx_locks[node->dn.mtx_num_locks] == NULL);
335 for (
int n = node->dn.mtx_num_locks; n > m; --n) {
337 KMP_DEBUG_ASSERT(node->dn.mtx_locks[n - 1] != NULL);
338 node->dn.mtx_locks[n] = node->dn.mtx_locks[n - 1];
340 node->dn.mtx_locks[m] = info->mtx_lock;
344 KMP_DEBUG_ASSERT(m < MAX_MTX_DEPS);
345 node->dn.mtx_num_locks++;
348 KA_TRACE(30, (
"__kmp_process_deps<%d>: T#%d found %d predecessors\n", filter,
349 gtid, npredecessors));
350 return npredecessors;
353 #define NO_DEP_BARRIER (false) 354 #define DEP_BARRIER (true) 357 static bool __kmp_check_deps(kmp_int32 gtid, kmp_depnode_t *node,
358 kmp_task_t *task, kmp_dephash_t *hash,
359 bool dep_barrier, kmp_int32 ndeps,
360 kmp_depend_info_t *dep_list,
361 kmp_int32 ndeps_noalias,
362 kmp_depend_info_t *noalias_dep_list) {
365 kmp_taskdata_t *taskdata = KMP_TASK_TO_TASKDATA(task);
367 KA_TRACE(20, (
"__kmp_check_deps: T#%d checking dependencies for task %p : %d " 368 "possibly aliased dependencies, %d non-aliased depedencies : " 369 "dep_barrier=%d .\n",
370 gtid, taskdata, ndeps, ndeps_noalias, dep_barrier));
374 for (i = 0; i < ndeps; i++) {
375 if (dep_list[i].base_addr != 0) {
376 for (
int j = i + 1; j < ndeps; j++) {
377 if (dep_list[i].base_addr == dep_list[j].base_addr) {
378 dep_list[i].flags.in |= dep_list[j].flags.in;
379 dep_list[i].flags.out |=
380 (dep_list[j].flags.out ||
381 (dep_list[i].flags.in && dep_list[j].flags.mtx) ||
382 (dep_list[i].flags.mtx && dep_list[j].flags.in));
383 dep_list[i].flags.mtx =
384 dep_list[i].flags.mtx | dep_list[j].flags.mtx &&
385 !dep_list[i].flags.out;
386 dep_list[j].base_addr = 0;
389 if (dep_list[i].flags.mtx) {
391 if (n_mtxs < MAX_MTX_DEPS && task != NULL) {
394 dep_list[i].flags.in = 1;
395 dep_list[i].flags.out = 1;
396 dep_list[i].flags.mtx = 0;
406 node->dn.npredecessors = -1;
412 npredecessors = __kmp_process_deps<true>(gtid, node, hash, dep_barrier, ndeps,
414 npredecessors += __kmp_process_deps<false>(
415 gtid, node, hash, dep_barrier, ndeps_noalias, noalias_dep_list, task);
417 node->dn.task = task;
427 node->dn.npredecessors.fetch_add(npredecessors) + npredecessors;
429 KA_TRACE(20, (
"__kmp_check_deps: T#%d found %d predecessors for task %p \n",
430 gtid, npredecessors, taskdata));
434 return npredecessors > 0 ? true :
false;
454 kmp_task_t *new_task, kmp_int32 ndeps,
455 kmp_depend_info_t *dep_list,
456 kmp_int32 ndeps_noalias,
457 kmp_depend_info_t *noalias_dep_list) {
459 kmp_taskdata_t *new_taskdata = KMP_TASK_TO_TASKDATA(new_task);
460 KA_TRACE(10, (
"__kmpc_omp_task_with_deps(enter): T#%d loc=%p task=%p\n", gtid,
461 loc_ref, new_taskdata));
463 kmp_info_t *thread = __kmp_threads[gtid];
464 kmp_taskdata_t *current_task = thread->th.th_current_task;
467 if (ompt_enabled.enabled) {
468 OMPT_STORE_RETURN_ADDRESS(gtid);
469 if (!current_task->ompt_task_info.frame.enter_frame.ptr)
470 current_task->ompt_task_info.frame.enter_frame.ptr =
471 OMPT_GET_FRAME_ADDRESS(0);
472 if (ompt_enabled.ompt_callback_task_create) {
473 ompt_data_t task_data = ompt_data_none;
474 ompt_callbacks.ompt_callback(ompt_callback_task_create)(
475 current_task ? &(current_task->ompt_task_info.task_data) : &task_data,
476 current_task ? &(current_task->ompt_task_info.frame) : NULL,
477 &(new_taskdata->ompt_task_info.task_data),
478 ompt_task_explicit | TASK_TYPE_DETAILS_FORMAT(new_taskdata), 1,
479 OMPT_LOAD_RETURN_ADDRESS(gtid));
482 new_taskdata->ompt_task_info.frame.enter_frame.ptr = OMPT_GET_FRAME_ADDRESS(0);
487 if (ndeps + ndeps_noalias > 0 &&
488 ompt_enabled.ompt_callback_dependences) {
491 new_taskdata->ompt_task_info.ndeps = ndeps + ndeps_noalias;
492 new_taskdata->ompt_task_info.deps =
493 (ompt_dependence_t *)KMP_OMPT_DEPS_ALLOC(
494 thread, (ndeps + ndeps_noalias) *
sizeof(ompt_dependence_t));
496 KMP_ASSERT(new_taskdata->ompt_task_info.deps != NULL);
498 for (i = 0; i < ndeps; i++) {
499 new_taskdata->ompt_task_info.deps[i].variable.ptr =
500 (
void *)dep_list[i].base_addr;
501 if (dep_list[i].flags.in && dep_list[i].flags.out)
502 new_taskdata->ompt_task_info.deps[i].dependence_type =
503 ompt_dependence_type_inout;
504 else if (dep_list[i].flags.out)
505 new_taskdata->ompt_task_info.deps[i].dependence_type =
506 ompt_dependence_type_out;
507 else if (dep_list[i].flags.in)
508 new_taskdata->ompt_task_info.deps[i].dependence_type =
509 ompt_dependence_type_in;
511 for (i = 0; i < ndeps_noalias; i++) {
512 new_taskdata->ompt_task_info.deps[ndeps + i].variable.ptr =
513 (
void *)noalias_dep_list[i].base_addr;
514 if (noalias_dep_list[i].flags.in && noalias_dep_list[i].flags.out)
515 new_taskdata->ompt_task_info.deps[ndeps + i].dependence_type =
516 ompt_dependence_type_inout;
517 else if (noalias_dep_list[i].flags.out)
518 new_taskdata->ompt_task_info.deps[ndeps + i].dependence_type =
519 ompt_dependence_type_out;
520 else if (noalias_dep_list[i].flags.in)
521 new_taskdata->ompt_task_info.deps[ndeps + i].dependence_type =
522 ompt_dependence_type_in;
524 ompt_callbacks.ompt_callback(ompt_callback_dependences)(
525 &(new_taskdata->ompt_task_info.task_data),
526 new_taskdata->ompt_task_info.deps, new_taskdata->ompt_task_info.ndeps);
529 KMP_OMPT_DEPS_FREE(thread, new_taskdata->ompt_task_info.deps);
530 new_taskdata->ompt_task_info.deps = NULL;
531 new_taskdata->ompt_task_info.ndeps = 0;
536 bool serial = current_task->td_flags.team_serial ||
537 current_task->td_flags.tasking_ser ||
538 current_task->td_flags.final;
540 kmp_task_team_t *task_team = thread->th.th_task_team;
541 serial = serial && !(task_team && task_team->tt.tt_found_proxy_tasks);
544 if (!serial && (ndeps > 0 || ndeps_noalias > 0)) {
546 if (current_task->td_dephash == NULL)
547 current_task->td_dephash = __kmp_dephash_create(thread, current_task);
550 kmp_depnode_t *node =
551 (kmp_depnode_t *)__kmp_fast_allocate(thread,
sizeof(kmp_depnode_t));
553 kmp_depnode_t *node =
554 (kmp_depnode_t *)__kmp_thread_malloc(thread,
sizeof(kmp_depnode_t));
557 __kmp_init_node(node);
558 new_taskdata->td_depnode = node;
560 if (__kmp_check_deps(gtid, node, new_task, current_task->td_dephash,
561 NO_DEP_BARRIER, ndeps, dep_list, ndeps_noalias,
563 KA_TRACE(10, (
"__kmpc_omp_task_with_deps(exit): T#%d task had blocking " 565 "loc=%p task=%p, return: TASK_CURRENT_NOT_QUEUED\n",
566 gtid, loc_ref, new_taskdata));
568 if (ompt_enabled.enabled) {
569 current_task->ompt_task_info.frame.enter_frame = ompt_data_none;
572 return TASK_CURRENT_NOT_QUEUED;
575 KA_TRACE(10, (
"__kmpc_omp_task_with_deps(exit): T#%d ignored dependencies " 576 "for task (serialized)" 578 gtid, loc_ref, new_taskdata));
581 KA_TRACE(10, (
"__kmpc_omp_task_with_deps(exit): T#%d task had no blocking " 583 "loc=%p task=%p, transferring to __kmp_omp_task\n",
584 gtid, loc_ref, new_taskdata));
586 kmp_int32 ret = __kmp_omp_task(gtid, new_task,
true);
588 if (ompt_enabled.enabled) {
589 current_task->ompt_task_info.frame.enter_frame = ompt_data_none;
607 kmp_depend_info_t *dep_list, kmp_int32 ndeps_noalias,
608 kmp_depend_info_t *noalias_dep_list) {
609 KA_TRACE(10, (
"__kmpc_omp_wait_deps(enter): T#%d loc=%p\n", gtid, loc_ref));
611 if (ndeps == 0 && ndeps_noalias == 0) {
612 KA_TRACE(10, (
"__kmpc_omp_wait_deps(exit): T#%d has no dependencies to " 613 "wait upon : loc=%p\n",
618 kmp_info_t *thread = __kmp_threads[gtid];
619 kmp_taskdata_t *current_task = thread->th.th_current_task;
624 bool ignore = current_task->td_flags.team_serial ||
625 current_task->td_flags.tasking_ser ||
626 current_task->td_flags.final;
628 ignore = ignore && thread->th.th_task_team != NULL &&
629 thread->th.th_task_team->tt.tt_found_proxy_tasks == FALSE;
631 ignore = ignore || current_task->td_dephash == NULL;
634 KA_TRACE(10, (
"__kmpc_omp_wait_deps(exit): T#%d has no blocking " 635 "dependencies : loc=%p\n",
640 kmp_depnode_t node = {0};
641 __kmp_init_node(&node);
643 if (!__kmp_check_deps(gtid, &node, NULL, current_task->td_dephash,
644 DEP_BARRIER, ndeps, dep_list, ndeps_noalias,
646 KA_TRACE(10, (
"__kmpc_omp_wait_deps(exit): T#%d has no blocking " 647 "dependencies : loc=%p\n",
652 int thread_finished = FALSE;
653 kmp_flag_32 flag((std::atomic<kmp_uint32> *)&node.dn.npredecessors, 0U);
654 while (node.dn.npredecessors > 0) {
655 flag.execute_tasks(thread, gtid, FALSE,
656 &thread_finished USE_ITT_BUILD_ARG(NULL),
657 __kmp_task_stealing_constraint);
660 KA_TRACE(10, (
"__kmpc_omp_wait_deps(exit): T#%d finished waiting : loc=%p\n",
void __kmpc_omp_wait_deps(ident_t *loc_ref, kmp_int32 gtid, kmp_int32 ndeps, kmp_depend_info_t *dep_list, kmp_int32 ndeps_noalias, kmp_depend_info_t *noalias_dep_list)
kmp_int32 __kmpc_omp_task_with_deps(ident_t *loc_ref, kmp_int32 gtid, kmp_task_t *new_task, kmp_int32 ndeps, kmp_depend_info_t *dep_list, kmp_int32 ndeps_noalias, kmp_depend_info_t *noalias_dep_list)