LLVM OpenMP* Runtime Library
kmp_taskdeps.h
1/*
2 * kmp_taskdeps.h
3 */
4
5//===----------------------------------------------------------------------===//
6//
7// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
8// See https://llvm.org/LICENSE.txt for license information.
9// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
10//
11//===----------------------------------------------------------------------===//
12
13#ifndef KMP_TASKDEPS_H
14#define KMP_TASKDEPS_H
15
16#include "kmp.h"
17
18#define KMP_ACQUIRE_DEPNODE(gtid, n) __kmp_acquire_lock(&(n)->dn.lock, (gtid))
19#define KMP_RELEASE_DEPNODE(gtid, n) __kmp_release_lock(&(n)->dn.lock, (gtid))
20
21static inline void __kmp_node_deref(kmp_info_t *thread, kmp_depnode_t *node) {
22 if (!node)
23 return;
24
25 kmp_int32 n = KMP_ATOMIC_SUB(&node->dn.nrefs, 2) - 2;
26 KMP_DEBUG_ASSERT(n >= 0);
27 if ((n & ~1) == 0) {
28#if USE_ITT_BUILD && USE_ITT_NOTIFY
29 __itt_sync_destroy(node);
30#endif
31 // These two assertions are somewhat redundant. The first is intended to
32 // detect if we are trying to free a depnode on the stack.
33 KMP_DEBUG_ASSERT((node->dn.nrefs & 1) == 0);
34 KMP_ASSERT(node->dn.nrefs == 0);
35#if USE_FAST_MEMORY
36 __kmp_fast_free(thread, node);
37#else
38 __kmp_thread_free(thread, node);
39#endif
40 }
41}
42
43static inline void __kmp_depnode_list_free(kmp_info_t *thread,
44 kmp_depnode_list *list) {
45 kmp_depnode_list *next;
46
47 for (; list; list = next) {
48 next = list->next;
49
50 __kmp_node_deref(thread, list->node);
51#if USE_FAST_MEMORY
52 __kmp_fast_free(thread, list);
53#else
54 __kmp_thread_free(thread, list);
55#endif
56 }
57}
58
59static inline void __kmp_dephash_free_entries(kmp_info_t *thread,
60 kmp_dephash_t *h) {
61 for (size_t i = 0; i < h->size; i++) {
62 if (h->buckets[i]) {
63 kmp_dephash_entry_t *next;
64 for (kmp_dephash_entry_t *entry = h->buckets[i]; entry; entry = next) {
65 next = entry->next_in_bucket;
66 __kmp_depnode_list_free(thread, entry->last_set);
67 __kmp_depnode_list_free(thread, entry->prev_set);
68 __kmp_node_deref(thread, entry->last_out);
69 if (entry->mtx_lock) {
70 __kmp_destroy_lock(entry->mtx_lock);
71 __kmp_free(entry->mtx_lock);
72 }
73#if USE_FAST_MEMORY
74 __kmp_fast_free(thread, entry);
75#else
76 __kmp_thread_free(thread, entry);
77#endif
78 }
79 h->buckets[i] = 0;
80 }
81 }
82 __kmp_node_deref(thread, h->last_all);
83 h->last_all = NULL;
84}
85
86static inline void __kmp_dephash_free(kmp_info_t *thread, kmp_dephash_t *h) {
87 __kmp_dephash_free_entries(thread, h);
88#if USE_FAST_MEMORY
89 __kmp_fast_free(thread, h);
90#else
91 __kmp_thread_free(thread, h);
92#endif
93}
94
95extern void __kmpc_give_task(kmp_task_t *ptask, kmp_int32 start);
96
97static inline void __kmp_release_deps(kmp_int32 gtid, kmp_taskdata_t *task) {
98 kmp_info_t *thread = __kmp_threads[gtid];
99 kmp_depnode_t *node = task->td_depnode;
100
101 // Check mutexinoutset dependencies, release locks
102 if (UNLIKELY(node && (node->dn.mtx_num_locks < 0))) {
103 // negative num_locks means all locks were acquired
104 node->dn.mtx_num_locks = -node->dn.mtx_num_locks;
105 for (int i = node->dn.mtx_num_locks - 1; i >= 0; --i) {
106 KMP_DEBUG_ASSERT(node->dn.mtx_locks[i] != NULL);
107 __kmp_release_lock(node->dn.mtx_locks[i], gtid);
108 }
109 }
110
111 if (task->td_dephash) {
112 KA_TRACE(
113 40, ("__kmp_release_deps: T#%d freeing dependencies hash of task %p.\n",
114 gtid, task));
115 __kmp_dephash_free(thread, task->td_dephash);
116 task->td_dephash = NULL;
117 }
118
119 if (!node)
120 return;
121
122 KA_TRACE(20, ("__kmp_release_deps: T#%d notifying successors of task %p.\n",
123 gtid, task));
124
125 KMP_ACQUIRE_DEPNODE(gtid, node);
126 node->dn.task =
127 NULL; // mark this task as finished, so no new dependencies are generated
128 KMP_RELEASE_DEPNODE(gtid, node);
129
130 kmp_depnode_list_t *next;
131 kmp_taskdata_t *next_taskdata;
132 for (kmp_depnode_list_t *p = node->dn.successors; p; p = next) {
133 kmp_depnode_t *successor = p->node;
134#if USE_ITT_BUILD && USE_ITT_NOTIFY
135 __itt_sync_releasing(successor);
136#endif
137 kmp_int32 npredecessors = KMP_ATOMIC_DEC(&successor->dn.npredecessors) - 1;
138
139 // successor task can be NULL for wait_depends or because deps are still
140 // being processed
141 if (npredecessors == 0) {
142#if USE_ITT_BUILD && USE_ITT_NOTIFY
143 __itt_sync_acquired(successor);
144#endif
145 KMP_MB();
146 if (successor->dn.task) {
147 KA_TRACE(20, ("__kmp_release_deps: T#%d successor %p of %p scheduled "
148 "for execution.\n",
149 gtid, successor->dn.task, task));
150 // If a regular task depending on a hidden helper task, when the
151 // hidden helper task is done, the regular task should be executed by
152 // its encountering team.
153 if (KMP_HIDDEN_HELPER_THREAD(gtid)) {
154 // Hidden helper thread can only execute hidden helper tasks
155 KMP_ASSERT(task->td_flags.hidden_helper);
156 next_taskdata = KMP_TASK_TO_TASKDATA(successor->dn.task);
157 // If the dependent task is a regular task, we need to push to its
158 // encountering thread's queue; otherwise, it can be pushed to its own
159 // queue.
160 if (!next_taskdata->td_flags.hidden_helper) {
161 kmp_int32 encountering_gtid =
162 next_taskdata->td_alloc_thread->th.th_info.ds.ds_gtid;
163 kmp_int32 encountering_tid = __kmp_tid_from_gtid(encountering_gtid);
164 __kmpc_give_task(successor->dn.task, encountering_tid);
165 } else {
166 __kmp_omp_task(gtid, successor->dn.task, false);
167 }
168 } else {
169 __kmp_omp_task(gtid, successor->dn.task, false);
170 }
171 }
172 }
173
174 next = p->next;
175 __kmp_node_deref(thread, p->node);
176#if USE_FAST_MEMORY
177 __kmp_fast_free(thread, p);
178#else
179 __kmp_thread_free(thread, p);
180#endif
181 }
182
183 __kmp_node_deref(thread, node);
184
185 KA_TRACE(
186 20,
187 ("__kmp_release_deps: T#%d all successors of %p notified of completion\n",
188 gtid, task));
189}
190
191#endif // KMP_TASKDEPS_H