1*61046927SAndroid Build Coastguard Worker /*
2*61046927SAndroid Build Coastguard Worker * Copyright © 2019 Broadcom
3*61046927SAndroid Build Coastguard Worker *
4*61046927SAndroid Build Coastguard Worker * Permission is hereby granted, free of charge, to any person obtaining a
5*61046927SAndroid Build Coastguard Worker * copy of this software and associated documentation files (the "Software"),
6*61046927SAndroid Build Coastguard Worker * to deal in the Software without restriction, including without limitation
7*61046927SAndroid Build Coastguard Worker * the rights to use, copy, modify, merge, publish, distribute, sublicense,
8*61046927SAndroid Build Coastguard Worker * and/or sell copies of the Software, and to permit persons to whom the
9*61046927SAndroid Build Coastguard Worker * Software is furnished to do so, subject to the following conditions:
10*61046927SAndroid Build Coastguard Worker *
11*61046927SAndroid Build Coastguard Worker * The above copyright notice and this permission notice (including the next
12*61046927SAndroid Build Coastguard Worker * paragraph) shall be included in all copies or substantial portions of the
13*61046927SAndroid Build Coastguard Worker * Software.
14*61046927SAndroid Build Coastguard Worker *
15*61046927SAndroid Build Coastguard Worker * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16*61046927SAndroid Build Coastguard Worker * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
17*61046927SAndroid Build Coastguard Worker * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
18*61046927SAndroid Build Coastguard Worker * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
19*61046927SAndroid Build Coastguard Worker * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
20*61046927SAndroid Build Coastguard Worker * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS
21*61046927SAndroid Build Coastguard Worker * IN THE SOFTWARE.
22*61046927SAndroid Build Coastguard Worker */
23*61046927SAndroid Build Coastguard Worker
24*61046927SAndroid Build Coastguard Worker #include "util/set.h"
25*61046927SAndroid Build Coastguard Worker #include "util/dag.h"
26*61046927SAndroid Build Coastguard Worker #include <stdio.h>
27*61046927SAndroid Build Coastguard Worker
28*61046927SAndroid Build Coastguard Worker static void
append_edge(struct dag_node * parent,struct dag_node * child,uintptr_t data)29*61046927SAndroid Build Coastguard Worker append_edge(struct dag_node *parent, struct dag_node *child, uintptr_t data)
30*61046927SAndroid Build Coastguard Worker {
31*61046927SAndroid Build Coastguard Worker /* Remove the child as a DAG head. */
32*61046927SAndroid Build Coastguard Worker list_delinit(&child->link);
33*61046927SAndroid Build Coastguard Worker
34*61046927SAndroid Build Coastguard Worker struct dag_edge edge = {
35*61046927SAndroid Build Coastguard Worker .child = child,
36*61046927SAndroid Build Coastguard Worker .data = data,
37*61046927SAndroid Build Coastguard Worker };
38*61046927SAndroid Build Coastguard Worker
39*61046927SAndroid Build Coastguard Worker util_dynarray_append(&parent->edges, struct dag_edge, edge);
40*61046927SAndroid Build Coastguard Worker child->parent_count++;
41*61046927SAndroid Build Coastguard Worker }
42*61046927SAndroid Build Coastguard Worker
43*61046927SAndroid Build Coastguard Worker /**
44*61046927SAndroid Build Coastguard Worker * Adds a directed edge from the parent node to the child.
45*61046927SAndroid Build Coastguard Worker *
46*61046927SAndroid Build Coastguard Worker * Both nodes should have been initialized with dag_init_node(). The edge
47*61046927SAndroid Build Coastguard Worker * list may contain multiple edges to the same child with different data.
48*61046927SAndroid Build Coastguard Worker */
49*61046927SAndroid Build Coastguard Worker void
dag_add_edge(struct dag_node * parent,struct dag_node * child,uintptr_t data)50*61046927SAndroid Build Coastguard Worker dag_add_edge(struct dag_node *parent, struct dag_node *child, uintptr_t data)
51*61046927SAndroid Build Coastguard Worker {
52*61046927SAndroid Build Coastguard Worker util_dynarray_foreach(&parent->edges, struct dag_edge, edge) {
53*61046927SAndroid Build Coastguard Worker if (edge->child == child && edge->data == data)
54*61046927SAndroid Build Coastguard Worker return;
55*61046927SAndroid Build Coastguard Worker }
56*61046927SAndroid Build Coastguard Worker
57*61046927SAndroid Build Coastguard Worker append_edge(parent, child, data);
58*61046927SAndroid Build Coastguard Worker }
59*61046927SAndroid Build Coastguard Worker
60*61046927SAndroid Build Coastguard Worker /**
61*61046927SAndroid Build Coastguard Worker * Adds a directed edge from the parent node to the child.
62*61046927SAndroid Build Coastguard Worker *
63*61046927SAndroid Build Coastguard Worker * Both nodes should have been initialized with dag_init_node(). If there is
64*61046927SAndroid Build Coastguard Worker * already an existing edge, the data is updated to the maximum of the
65*61046927SAndroid Build Coastguard Worker * previous data and the new data. This is useful if the data represents a
66*61046927SAndroid Build Coastguard Worker * delay.
67*61046927SAndroid Build Coastguard Worker */
68*61046927SAndroid Build Coastguard Worker void
dag_add_edge_max_data(struct dag_node * parent,struct dag_node * child,uintptr_t data)69*61046927SAndroid Build Coastguard Worker dag_add_edge_max_data(struct dag_node *parent, struct dag_node *child,
70*61046927SAndroid Build Coastguard Worker uintptr_t data)
71*61046927SAndroid Build Coastguard Worker {
72*61046927SAndroid Build Coastguard Worker util_dynarray_foreach(&parent->edges, struct dag_edge, edge) {
73*61046927SAndroid Build Coastguard Worker if (edge->child == child) {
74*61046927SAndroid Build Coastguard Worker edge->data = MAX2(edge->data, data);
75*61046927SAndroid Build Coastguard Worker return;
76*61046927SAndroid Build Coastguard Worker }
77*61046927SAndroid Build Coastguard Worker }
78*61046927SAndroid Build Coastguard Worker
79*61046927SAndroid Build Coastguard Worker append_edge(parent, child, data);
80*61046927SAndroid Build Coastguard Worker }
81*61046927SAndroid Build Coastguard Worker
82*61046927SAndroid Build Coastguard Worker /* Removes a single edge from the graph, promoting the child to a DAG head.
83*61046927SAndroid Build Coastguard Worker *
84*61046927SAndroid Build Coastguard Worker * Note that calling this other than through dag_prune_head() means that you
85*61046927SAndroid Build Coastguard Worker * need to be careful when iterating the edges of remaining nodes for NULL
86*61046927SAndroid Build Coastguard Worker * children.
87*61046927SAndroid Build Coastguard Worker */
88*61046927SAndroid Build Coastguard Worker void
dag_remove_edge(struct dag * dag,struct dag_edge * edge)89*61046927SAndroid Build Coastguard Worker dag_remove_edge(struct dag *dag, struct dag_edge *edge)
90*61046927SAndroid Build Coastguard Worker {
91*61046927SAndroid Build Coastguard Worker if (!edge->child)
92*61046927SAndroid Build Coastguard Worker return;
93*61046927SAndroid Build Coastguard Worker
94*61046927SAndroid Build Coastguard Worker struct dag_node *child = edge->child;
95*61046927SAndroid Build Coastguard Worker child->parent_count--;
96*61046927SAndroid Build Coastguard Worker if (child->parent_count == 0)
97*61046927SAndroid Build Coastguard Worker list_addtail(&child->link, &dag->heads);
98*61046927SAndroid Build Coastguard Worker
99*61046927SAndroid Build Coastguard Worker edge->child = NULL;
100*61046927SAndroid Build Coastguard Worker edge->data = 0;
101*61046927SAndroid Build Coastguard Worker }
102*61046927SAndroid Build Coastguard Worker
103*61046927SAndroid Build Coastguard Worker /**
104*61046927SAndroid Build Coastguard Worker * Removes a DAG head from the graph, and moves any new dag heads into the
105*61046927SAndroid Build Coastguard Worker * heads list.
106*61046927SAndroid Build Coastguard Worker */
107*61046927SAndroid Build Coastguard Worker void
dag_prune_head(struct dag * dag,struct dag_node * node)108*61046927SAndroid Build Coastguard Worker dag_prune_head(struct dag *dag, struct dag_node *node)
109*61046927SAndroid Build Coastguard Worker {
110*61046927SAndroid Build Coastguard Worker assert(!node->parent_count);
111*61046927SAndroid Build Coastguard Worker
112*61046927SAndroid Build Coastguard Worker list_delinit(&node->link);
113*61046927SAndroid Build Coastguard Worker
114*61046927SAndroid Build Coastguard Worker util_dynarray_foreach(&node->edges, struct dag_edge, edge) {
115*61046927SAndroid Build Coastguard Worker dag_remove_edge(dag, edge);
116*61046927SAndroid Build Coastguard Worker }
117*61046927SAndroid Build Coastguard Worker }
118*61046927SAndroid Build Coastguard Worker
119*61046927SAndroid Build Coastguard Worker /**
120*61046927SAndroid Build Coastguard Worker * Initializes DAG node (probably embedded in some other datastructure in the
121*61046927SAndroid Build Coastguard Worker * user).
122*61046927SAndroid Build Coastguard Worker */
123*61046927SAndroid Build Coastguard Worker void
dag_init_node(struct dag * dag,struct dag_node * node)124*61046927SAndroid Build Coastguard Worker dag_init_node(struct dag *dag, struct dag_node *node)
125*61046927SAndroid Build Coastguard Worker {
126*61046927SAndroid Build Coastguard Worker util_dynarray_init(&node->edges, dag);
127*61046927SAndroid Build Coastguard Worker list_addtail(&node->link, &dag->heads);
128*61046927SAndroid Build Coastguard Worker }
129*61046927SAndroid Build Coastguard Worker
130*61046927SAndroid Build Coastguard Worker struct dag_traverse_bottom_up_state {
131*61046927SAndroid Build Coastguard Worker struct set *seen;
132*61046927SAndroid Build Coastguard Worker void (*cb)(struct dag_node *node, void *data);
133*61046927SAndroid Build Coastguard Worker void *data;
134*61046927SAndroid Build Coastguard Worker };
135*61046927SAndroid Build Coastguard Worker
136*61046927SAndroid Build Coastguard Worker static void
dag_traverse_bottom_up_node(struct dag_node * node,struct dag_traverse_bottom_up_state * state)137*61046927SAndroid Build Coastguard Worker dag_traverse_bottom_up_node(struct dag_node *node,
138*61046927SAndroid Build Coastguard Worker struct dag_traverse_bottom_up_state *state)
139*61046927SAndroid Build Coastguard Worker {
140*61046927SAndroid Build Coastguard Worker if (_mesa_set_search(state->seen, node))
141*61046927SAndroid Build Coastguard Worker return;
142*61046927SAndroid Build Coastguard Worker
143*61046927SAndroid Build Coastguard Worker struct util_dynarray stack;
144*61046927SAndroid Build Coastguard Worker util_dynarray_init(&stack, NULL);
145*61046927SAndroid Build Coastguard Worker
146*61046927SAndroid Build Coastguard Worker do {
147*61046927SAndroid Build Coastguard Worker assert(node);
148*61046927SAndroid Build Coastguard Worker
149*61046927SAndroid Build Coastguard Worker while (node->edges.size != 0) {
150*61046927SAndroid Build Coastguard Worker util_dynarray_append(&stack, struct dag_node *, node);
151*61046927SAndroid Build Coastguard Worker
152*61046927SAndroid Build Coastguard Worker /* Push unprocessed children onto stack in reverse order. Note that
153*61046927SAndroid Build Coastguard Worker * it's possible for any of the children nodes to already be on the
154*61046927SAndroid Build Coastguard Worker * stack.
155*61046927SAndroid Build Coastguard Worker */
156*61046927SAndroid Build Coastguard Worker util_dynarray_foreach_reverse(&node->edges, struct dag_edge, edge) {
157*61046927SAndroid Build Coastguard Worker if (!_mesa_set_search(state->seen, edge->child)) {
158*61046927SAndroid Build Coastguard Worker util_dynarray_append(&stack, struct dag_node *, edge->child);
159*61046927SAndroid Build Coastguard Worker }
160*61046927SAndroid Build Coastguard Worker }
161*61046927SAndroid Build Coastguard Worker
162*61046927SAndroid Build Coastguard Worker /* Get last element pushed: either left-most child or current node.
163*61046927SAndroid Build Coastguard Worker * If it's the current node, that means that we've processed all its
164*61046927SAndroid Build Coastguard Worker * children already.
165*61046927SAndroid Build Coastguard Worker */
166*61046927SAndroid Build Coastguard Worker struct dag_node *top = util_dynarray_pop(&stack, struct dag_node *);
167*61046927SAndroid Build Coastguard Worker if (top == node)
168*61046927SAndroid Build Coastguard Worker break;
169*61046927SAndroid Build Coastguard Worker node = top;
170*61046927SAndroid Build Coastguard Worker }
171*61046927SAndroid Build Coastguard Worker
172*61046927SAndroid Build Coastguard Worker /* Process the node */
173*61046927SAndroid Build Coastguard Worker state->cb(node, state->data);
174*61046927SAndroid Build Coastguard Worker _mesa_set_add(state->seen, node);
175*61046927SAndroid Build Coastguard Worker
176*61046927SAndroid Build Coastguard Worker /* Find the next unprocessed node in the stack */
177*61046927SAndroid Build Coastguard Worker do {
178*61046927SAndroid Build Coastguard Worker node = NULL;
179*61046927SAndroid Build Coastguard Worker if (stack.size == 0)
180*61046927SAndroid Build Coastguard Worker break;
181*61046927SAndroid Build Coastguard Worker
182*61046927SAndroid Build Coastguard Worker node = util_dynarray_pop(&stack, struct dag_node *);
183*61046927SAndroid Build Coastguard Worker } while (_mesa_set_search(state->seen, node));
184*61046927SAndroid Build Coastguard Worker } while (node);
185*61046927SAndroid Build Coastguard Worker
186*61046927SAndroid Build Coastguard Worker util_dynarray_fini(&stack);
187*61046927SAndroid Build Coastguard Worker }
188*61046927SAndroid Build Coastguard Worker
189*61046927SAndroid Build Coastguard Worker /**
190*61046927SAndroid Build Coastguard Worker * Walks the DAG from leaves to the root, ensuring that each node is only seen
191*61046927SAndroid Build Coastguard Worker * once its children have been, and each node is only traversed once.
192*61046927SAndroid Build Coastguard Worker */
193*61046927SAndroid Build Coastguard Worker void
dag_traverse_bottom_up(struct dag * dag,void (* cb)(struct dag_node * node,void * data),void * data)194*61046927SAndroid Build Coastguard Worker dag_traverse_bottom_up(struct dag *dag, void (*cb)(struct dag_node *node,
195*61046927SAndroid Build Coastguard Worker void *data), void *data)
196*61046927SAndroid Build Coastguard Worker {
197*61046927SAndroid Build Coastguard Worker struct dag_traverse_bottom_up_state state = {
198*61046927SAndroid Build Coastguard Worker .seen = _mesa_pointer_set_create(NULL),
199*61046927SAndroid Build Coastguard Worker .data = data,
200*61046927SAndroid Build Coastguard Worker .cb = cb,
201*61046927SAndroid Build Coastguard Worker };
202*61046927SAndroid Build Coastguard Worker
203*61046927SAndroid Build Coastguard Worker list_for_each_entry(struct dag_node, node, &dag->heads, link) {
204*61046927SAndroid Build Coastguard Worker dag_traverse_bottom_up_node(node, &state);
205*61046927SAndroid Build Coastguard Worker }
206*61046927SAndroid Build Coastguard Worker
207*61046927SAndroid Build Coastguard Worker ralloc_free(state.seen);
208*61046927SAndroid Build Coastguard Worker }
209*61046927SAndroid Build Coastguard Worker
210*61046927SAndroid Build Coastguard Worker /**
211*61046927SAndroid Build Coastguard Worker * Creates an empty DAG datastructure.
212*61046927SAndroid Build Coastguard Worker */
213*61046927SAndroid Build Coastguard Worker struct dag *
dag_create(void * mem_ctx)214*61046927SAndroid Build Coastguard Worker dag_create(void *mem_ctx)
215*61046927SAndroid Build Coastguard Worker {
216*61046927SAndroid Build Coastguard Worker struct dag *dag = rzalloc(mem_ctx, struct dag);
217*61046927SAndroid Build Coastguard Worker
218*61046927SAndroid Build Coastguard Worker list_inithead(&dag->heads);
219*61046927SAndroid Build Coastguard Worker
220*61046927SAndroid Build Coastguard Worker return dag;
221*61046927SAndroid Build Coastguard Worker }
222*61046927SAndroid Build Coastguard Worker
223*61046927SAndroid Build Coastguard Worker struct dag_validate_state {
224*61046927SAndroid Build Coastguard Worker struct util_dynarray stack;
225*61046927SAndroid Build Coastguard Worker struct set *stack_set;
226*61046927SAndroid Build Coastguard Worker struct set *seen;
227*61046927SAndroid Build Coastguard Worker void (*cb)(const struct dag_node *node, void *data);
228*61046927SAndroid Build Coastguard Worker void *data;
229*61046927SAndroid Build Coastguard Worker };
230*61046927SAndroid Build Coastguard Worker
231*61046927SAndroid Build Coastguard Worker static void
dag_validate_node(struct dag_node * node,struct dag_validate_state * state)232*61046927SAndroid Build Coastguard Worker dag_validate_node(struct dag_node *node,
233*61046927SAndroid Build Coastguard Worker struct dag_validate_state *state)
234*61046927SAndroid Build Coastguard Worker {
235*61046927SAndroid Build Coastguard Worker if (_mesa_set_search(state->stack_set, node)) {
236*61046927SAndroid Build Coastguard Worker fprintf(stderr, "DAG validation failed at:\n");
237*61046927SAndroid Build Coastguard Worker fprintf(stderr, " %p: ", node);
238*61046927SAndroid Build Coastguard Worker state->cb(node, state->data);
239*61046927SAndroid Build Coastguard Worker fprintf(stderr, "\n");
240*61046927SAndroid Build Coastguard Worker fprintf(stderr, "Nodes in stack:\n");
241*61046927SAndroid Build Coastguard Worker util_dynarray_foreach(&state->stack, struct dag_node *, nodep) {
242*61046927SAndroid Build Coastguard Worker struct dag_node *node = *nodep;
243*61046927SAndroid Build Coastguard Worker fprintf(stderr, " %p: ", node);
244*61046927SAndroid Build Coastguard Worker state->cb(node, state->data);
245*61046927SAndroid Build Coastguard Worker fprintf(stderr, "\n");
246*61046927SAndroid Build Coastguard Worker }
247*61046927SAndroid Build Coastguard Worker abort();
248*61046927SAndroid Build Coastguard Worker }
249*61046927SAndroid Build Coastguard Worker
250*61046927SAndroid Build Coastguard Worker if (_mesa_set_search(state->seen, node))
251*61046927SAndroid Build Coastguard Worker return;
252*61046927SAndroid Build Coastguard Worker
253*61046927SAndroid Build Coastguard Worker _mesa_set_add(state->stack_set, node);
254*61046927SAndroid Build Coastguard Worker _mesa_set_add(state->seen, node);
255*61046927SAndroid Build Coastguard Worker util_dynarray_append(&state->stack, struct dag_node *, node);
256*61046927SAndroid Build Coastguard Worker
257*61046927SAndroid Build Coastguard Worker util_dynarray_foreach(&node->edges, struct dag_edge, edge) {
258*61046927SAndroid Build Coastguard Worker dag_validate_node(edge->child, state);
259*61046927SAndroid Build Coastguard Worker }
260*61046927SAndroid Build Coastguard Worker
261*61046927SAndroid Build Coastguard Worker (void)util_dynarray_pop(&state->stack, struct dag_node *);
262*61046927SAndroid Build Coastguard Worker _mesa_set_remove_key(state->stack_set, node);
263*61046927SAndroid Build Coastguard Worker }
264*61046927SAndroid Build Coastguard Worker
265*61046927SAndroid Build Coastguard Worker void
dag_validate(struct dag * dag,void (* cb)(const struct dag_node * node,void * data),void * data)266*61046927SAndroid Build Coastguard Worker dag_validate(struct dag *dag, void (*cb)(const struct dag_node *node,
267*61046927SAndroid Build Coastguard Worker void *data),
268*61046927SAndroid Build Coastguard Worker void *data)
269*61046927SAndroid Build Coastguard Worker {
270*61046927SAndroid Build Coastguard Worker void *mem_ctx = ralloc_context(NULL);
271*61046927SAndroid Build Coastguard Worker struct dag_validate_state state = {
272*61046927SAndroid Build Coastguard Worker .stack_set = _mesa_pointer_set_create(mem_ctx),
273*61046927SAndroid Build Coastguard Worker .seen = _mesa_pointer_set_create(mem_ctx),
274*61046927SAndroid Build Coastguard Worker .cb = cb,
275*61046927SAndroid Build Coastguard Worker .data = data,
276*61046927SAndroid Build Coastguard Worker };
277*61046927SAndroid Build Coastguard Worker
278*61046927SAndroid Build Coastguard Worker util_dynarray_init(&state.stack, mem_ctx);
279*61046927SAndroid Build Coastguard Worker
280*61046927SAndroid Build Coastguard Worker list_validate(&dag->heads);
281*61046927SAndroid Build Coastguard Worker
282*61046927SAndroid Build Coastguard Worker list_for_each_entry(struct dag_node, node, &dag->heads, link) {
283*61046927SAndroid Build Coastguard Worker dag_validate_node(node, &state);
284*61046927SAndroid Build Coastguard Worker }
285*61046927SAndroid Build Coastguard Worker
286*61046927SAndroid Build Coastguard Worker ralloc_free(mem_ctx);
287*61046927SAndroid Build Coastguard Worker }
288