xref: /aosp_15_r20/external/mesa3d/src/util/dag.c (revision 6104692788411f58d303aa86923a9ff6ecaded22)
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