tsort.c revision 1.19 1 1.19 itojun /* $NetBSD: tsort.c,v 1.19 2003/10/16 06:37:22 itojun Exp $ */
2 1.9 jtc
3 1.1 cgd /*
4 1.9 jtc * Copyright (c) 1989, 1993, 1994
5 1.7 cgd * The Regents of the University of California. All rights reserved.
6 1.1 cgd *
7 1.1 cgd * This code is derived from software contributed to Berkeley by
8 1.1 cgd * Michael Rendell of Memorial University of Newfoundland.
9 1.1 cgd *
10 1.1 cgd * Redistribution and use in source and binary forms, with or without
11 1.1 cgd * modification, are permitted provided that the following conditions
12 1.1 cgd * are met:
13 1.1 cgd * 1. Redistributions of source code must retain the above copyright
14 1.1 cgd * notice, this list of conditions and the following disclaimer.
15 1.1 cgd * 2. Redistributions in binary form must reproduce the above copyright
16 1.1 cgd * notice, this list of conditions and the following disclaimer in the
17 1.1 cgd * documentation and/or other materials provided with the distribution.
18 1.18 agc * 3. Neither the name of the University nor the names of its contributors
19 1.1 cgd * may be used to endorse or promote products derived from this software
20 1.1 cgd * without specific prior written permission.
21 1.1 cgd *
22 1.1 cgd * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
23 1.1 cgd * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
24 1.1 cgd * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
25 1.1 cgd * ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
26 1.1 cgd * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
27 1.1 cgd * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
28 1.1 cgd * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
29 1.1 cgd * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
30 1.1 cgd * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
31 1.1 cgd * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
32 1.1 cgd * SUCH DAMAGE.
33 1.1 cgd */
34 1.1 cgd
35 1.12 lukem #include <sys/cdefs.h>
36 1.17 tv #if defined(__COPYRIGHT) && !defined(lint)
37 1.12 lukem __COPYRIGHT("@(#) Copyright (c) 1989, 1993, 1994\n\
38 1.12 lukem The Regents of the University of California. All rights reserved.\n");
39 1.1 cgd #endif /* not lint */
40 1.1 cgd
41 1.17 tv #if defined(__RCSID) && !defined(lint)
42 1.9 jtc #if 0
43 1.10 jtc static char sccsid[] = "@(#)tsort.c 8.3 (Berkeley) 5/4/95";
44 1.9 jtc #endif
45 1.19 itojun __RCSID("$NetBSD: tsort.c,v 1.19 2003/10/16 06:37:22 itojun Exp $");
46 1.1 cgd #endif /* not lint */
47 1.1 cgd
48 1.17 tv #if HAVE_CONFIG_H
49 1.17 tv #include "config.h"
50 1.17 tv #endif
51 1.17 tv
52 1.1 cgd #include <sys/types.h>
53 1.9 jtc #include <ctype.h>
54 1.9 jtc #include <db.h>
55 1.17 tv #include <err.h>
56 1.1 cgd #include <errno.h>
57 1.7 cgd #include <fcntl.h>
58 1.1 cgd #include <stdio.h>
59 1.7 cgd #include <stdlib.h>
60 1.1 cgd #include <string.h>
61 1.10 jtc #include <unistd.h>
62 1.1 cgd
63 1.1 cgd /*
64 1.7 cgd * Topological sort. Input is a list of pairs of strings separated by
65 1.1 cgd * white space (spaces, tabs, and/or newlines); strings are written to
66 1.1 cgd * standard output in sorted order, one per line.
67 1.1 cgd *
68 1.1 cgd * usage:
69 1.7 cgd * tsort [-l] [inputfile]
70 1.1 cgd * If no input file is specified, standard input is read.
71 1.1 cgd *
72 1.15 wiz * Should be compatible with AT&T tsort HOWEVER the output is not identical
73 1.1 cgd * (i.e. for most graphs there is more than one sorted order, and this tsort
74 1.1 cgd * usually generates a different one then the AT&T tsort). Also, cycle
75 1.1 cgd * reporting seems to be more accurate in this version (the AT&T tsort
76 1.1 cgd * sometimes says a node is in a cycle when it isn't).
77 1.1 cgd *
78 1.1 cgd * Michael Rendell, michael (at) stretch.cs.mun.ca - Feb 26, '90
79 1.1 cgd */
80 1.1 cgd #define HASHSIZE 53 /* doesn't need to be big */
81 1.1 cgd #define NF_MARK 0x1 /* marker for cycle detection */
82 1.1 cgd #define NF_ACYCLIC 0x2 /* this node is cycle free */
83 1.7 cgd #define NF_NODEST 0x4 /* Unreachable */
84 1.7 cgd
85 1.1 cgd typedef struct node_str NODE;
86 1.1 cgd
87 1.1 cgd struct node_str {
88 1.1 cgd NODE **n_prevp; /* pointer to previous node's n_next */
89 1.1 cgd NODE *n_next; /* next node in graph */
90 1.7 cgd NODE **n_arcs; /* array of arcs to other nodes */
91 1.1 cgd int n_narcs; /* number of arcs in n_arcs[] */
92 1.1 cgd int n_arcsize; /* size of n_arcs[] array */
93 1.1 cgd int n_refcnt; /* # of arcs pointing to this node */
94 1.1 cgd int n_flags; /* NF_* */
95 1.7 cgd char n_name[1]; /* name of this node */
96 1.1 cgd };
97 1.1 cgd
98 1.1 cgd typedef struct _buf {
99 1.1 cgd char *b_buf;
100 1.1 cgd int b_bsize;
101 1.1 cgd } BUF;
102 1.1 cgd
103 1.7 cgd DB *db;
104 1.9 jtc NODE *graph, **cycle_buf, **longest_cycle;
105 1.11 mycroft int debug, longest, quiet;
106 1.7 cgd
107 1.7 cgd void add_arc __P((char *, char *));
108 1.12 lukem void clear_cycle __P((void));
109 1.7 cgd int find_cycle __P((NODE *, NODE *, int, int));
110 1.7 cgd NODE *get_node __P((char *));
111 1.7 cgd void *grow_buf __P((void *, int));
112 1.12 lukem int main __P((int, char **));
113 1.7 cgd void remove_node __P((NODE *));
114 1.7 cgd void tsort __P((void));
115 1.7 cgd void usage __P((void));
116 1.1 cgd
117 1.7 cgd int
118 1.1 cgd main(argc, argv)
119 1.1 cgd int argc;
120 1.7 cgd char *argv[];
121 1.1 cgd {
122 1.12 lukem BUF *b;
123 1.12 lukem int c, n;
124 1.1 cgd FILE *fp;
125 1.7 cgd int bsize, ch, nused;
126 1.1 cgd BUF bufs[2];
127 1.14 cgd
128 1.14 cgd setprogname(argv[0]);
129 1.1 cgd
130 1.12 lukem fp = NULL;
131 1.12 lukem while ((ch = getopt(argc, argv, "dlq")) != -1)
132 1.9 jtc switch (ch) {
133 1.7 cgd case 'd':
134 1.9 jtc debug = 1;
135 1.9 jtc break;
136 1.7 cgd case 'l':
137 1.9 jtc longest = 1;
138 1.9 jtc break;
139 1.11 mycroft case 'q':
140 1.11 mycroft quiet = 1;
141 1.11 mycroft break;
142 1.7 cgd case '?':
143 1.7 cgd default:
144 1.7 cgd usage();
145 1.7 cgd }
146 1.7 cgd argc -= optind;
147 1.7 cgd argv += optind;
148 1.7 cgd
149 1.9 jtc switch (argc) {
150 1.7 cgd case 0:
151 1.1 cgd fp = stdin;
152 1.7 cgd break;
153 1.7 cgd case 1:
154 1.7 cgd if ((fp = fopen(*argv, "r")) == NULL)
155 1.9 jtc err(1, "%s", *argv);
156 1.7 cgd break;
157 1.7 cgd default:
158 1.7 cgd usage();
159 1.1 cgd }
160 1.1 cgd
161 1.1 cgd for (b = bufs, n = 2; --n >= 0; b++)
162 1.7 cgd b->b_buf = grow_buf(NULL, b->b_bsize = 1024);
163 1.1 cgd
164 1.1 cgd /* parse input and build the graph */
165 1.1 cgd for (n = 0, c = getc(fp);;) {
166 1.1 cgd while (c != EOF && isspace(c))
167 1.1 cgd c = getc(fp);
168 1.1 cgd if (c == EOF)
169 1.1 cgd break;
170 1.1 cgd
171 1.1 cgd nused = 0;
172 1.1 cgd b = &bufs[n];
173 1.1 cgd bsize = b->b_bsize;
174 1.1 cgd do {
175 1.1 cgd b->b_buf[nused++] = c;
176 1.7 cgd if (nused == bsize)
177 1.7 cgd b->b_buf = grow_buf(b->b_buf, bsize *= 2);
178 1.1 cgd c = getc(fp);
179 1.1 cgd } while (c != EOF && !isspace(c));
180 1.1 cgd
181 1.1 cgd b->b_buf[nused] = '\0';
182 1.1 cgd b->b_bsize = bsize;
183 1.1 cgd if (n)
184 1.1 cgd add_arc(bufs[0].b_buf, bufs[1].b_buf);
185 1.1 cgd n = !n;
186 1.1 cgd }
187 1.1 cgd (void)fclose(fp);
188 1.7 cgd if (n)
189 1.8 cgd errx(1, "odd data count");
190 1.1 cgd
191 1.1 cgd /* do the sort */
192 1.1 cgd tsort();
193 1.1 cgd exit(0);
194 1.1 cgd }
195 1.1 cgd
196 1.1 cgd /* double the size of oldbuf and return a pointer to the new buffer. */
197 1.7 cgd void *
198 1.1 cgd grow_buf(bp, size)
199 1.7 cgd void *bp;
200 1.1 cgd int size;
201 1.1 cgd {
202 1.19 itojun void *n;
203 1.19 itojun
204 1.19 itojun if ((n = realloc(bp, (u_int)size)) == NULL)
205 1.12 lukem err(1, "realloc");
206 1.19 itojun bp = n;
207 1.7 cgd return (bp);
208 1.1 cgd }
209 1.1 cgd
210 1.1 cgd /*
211 1.1 cgd * add an arc from node s1 to node s2 in the graph. If s1 or s2 are not in
212 1.1 cgd * the graph, then add them.
213 1.1 cgd */
214 1.1 cgd void
215 1.1 cgd add_arc(s1, s2)
216 1.1 cgd char *s1, *s2;
217 1.1 cgd {
218 1.12 lukem NODE *n1;
219 1.1 cgd NODE *n2;
220 1.4 cgd int bsize, i;
221 1.1 cgd
222 1.7 cgd n1 = get_node(s1);
223 1.1 cgd
224 1.1 cgd if (!strcmp(s1, s2))
225 1.1 cgd return;
226 1.1 cgd
227 1.7 cgd n2 = get_node(s2);
228 1.1 cgd
229 1.1 cgd /*
230 1.3 cgd * Check if this arc is already here.
231 1.3 cgd */
232 1.3 cgd for (i = 0; i < n1->n_narcs; i++)
233 1.3 cgd if (n1->n_arcs[i] == n2)
234 1.3 cgd return;
235 1.3 cgd /*
236 1.3 cgd * Add it.
237 1.1 cgd */
238 1.1 cgd if (n1->n_narcs == n1->n_arcsize) {
239 1.1 cgd if (!n1->n_arcsize)
240 1.1 cgd n1->n_arcsize = 10;
241 1.1 cgd bsize = n1->n_arcsize * sizeof(*n1->n_arcs) * 2;
242 1.7 cgd n1->n_arcs = grow_buf(n1->n_arcs, bsize);
243 1.1 cgd n1->n_arcsize = bsize / sizeof(*n1->n_arcs);
244 1.1 cgd }
245 1.1 cgd n1->n_arcs[n1->n_narcs++] = n2;
246 1.1 cgd ++n2->n_refcnt;
247 1.1 cgd }
248 1.1 cgd
249 1.7 cgd /* Find a node in the graph (insert if not found) and return a pointer to it. */
250 1.1 cgd NODE *
251 1.7 cgd get_node(name)
252 1.1 cgd char *name;
253 1.1 cgd {
254 1.7 cgd DBT data, key;
255 1.7 cgd NODE *n;
256 1.1 cgd
257 1.7 cgd if (db == NULL &&
258 1.7 cgd (db = dbopen(NULL, O_RDWR, 0, DB_HASH, NULL)) == NULL)
259 1.9 jtc err(1, "db: %s", name);
260 1.7 cgd
261 1.7 cgd key.data = name;
262 1.7 cgd key.size = strlen(name) + 1;
263 1.7 cgd
264 1.9 jtc switch ((*db->get)(db, &key, &data, 0)) {
265 1.7 cgd case 0:
266 1.12 lukem memmove(&n, data.data, sizeof(n));
267 1.7 cgd return (n);
268 1.7 cgd case 1:
269 1.7 cgd break;
270 1.7 cgd default:
271 1.7 cgd case -1:
272 1.9 jtc err(1, "db: %s", name);
273 1.7 cgd }
274 1.1 cgd
275 1.7 cgd if ((n = malloc(sizeof(NODE) + key.size)) == NULL)
276 1.12 lukem err(1, "malloc");
277 1.1 cgd
278 1.1 cgd n->n_narcs = 0;
279 1.1 cgd n->n_arcsize = 0;
280 1.7 cgd n->n_arcs = NULL;
281 1.1 cgd n->n_refcnt = 0;
282 1.1 cgd n->n_flags = 0;
283 1.12 lukem memmove(n->n_name, name, key.size);
284 1.1 cgd
285 1.7 cgd /* Add to linked list. */
286 1.9 jtc if ((n->n_next = graph) != NULL)
287 1.1 cgd graph->n_prevp = &n->n_next;
288 1.1 cgd n->n_prevp = &graph;
289 1.1 cgd graph = n;
290 1.1 cgd
291 1.7 cgd /* Add to hash table. */
292 1.7 cgd data.data = &n;
293 1.7 cgd data.size = sizeof(n);
294 1.7 cgd if ((*db->put)(db, &key, &data, 0))
295 1.9 jtc err(1, "db: %s", name);
296 1.7 cgd return (n);
297 1.7 cgd }
298 1.7 cgd
299 1.7 cgd
300 1.7 cgd /*
301 1.7 cgd * Clear the NODEST flag from all nodes.
302 1.7 cgd */
303 1.7 cgd void
304 1.7 cgd clear_cycle()
305 1.7 cgd {
306 1.7 cgd NODE *n;
307 1.7 cgd
308 1.9 jtc for (n = graph; n != NULL; n = n->n_next)
309 1.7 cgd n->n_flags &= ~NF_NODEST;
310 1.1 cgd }
311 1.1 cgd
312 1.1 cgd /* do topological sort on graph */
313 1.1 cgd void
314 1.1 cgd tsort()
315 1.1 cgd {
316 1.12 lukem NODE *n, *next;
317 1.12 lukem int cnt, i;
318 1.1 cgd
319 1.9 jtc while (graph != NULL) {
320 1.1 cgd /*
321 1.7 cgd * Keep getting rid of simple cases until there are none left,
322 1.1 cgd * if there are any nodes still in the graph, then there is
323 1.1 cgd * a cycle in it.
324 1.1 cgd */
325 1.1 cgd do {
326 1.9 jtc for (cnt = 0, n = graph; n != NULL; n = next) {
327 1.1 cgd next = n->n_next;
328 1.1 cgd if (n->n_refcnt == 0) {
329 1.1 cgd remove_node(n);
330 1.1 cgd ++cnt;
331 1.1 cgd }
332 1.1 cgd }
333 1.9 jtc } while (graph != NULL && cnt);
334 1.1 cgd
335 1.9 jtc if (graph == NULL)
336 1.1 cgd break;
337 1.1 cgd
338 1.1 cgd if (!cycle_buf) {
339 1.1 cgd /*
340 1.7 cgd * Allocate space for two cycle logs - one to be used
341 1.1 cgd * as scratch space, the other to save the longest
342 1.1 cgd * cycle.
343 1.1 cgd */
344 1.9 jtc for (cnt = 0, n = graph; n != NULL; n = n->n_next)
345 1.1 cgd ++cnt;
346 1.7 cgd cycle_buf = malloc((u_int)sizeof(NODE *) * cnt);
347 1.7 cgd longest_cycle = malloc((u_int)sizeof(NODE *) * cnt);
348 1.7 cgd if (cycle_buf == NULL || longest_cycle == NULL)
349 1.12 lukem err(1, "malloc");
350 1.1 cgd }
351 1.13 ross for (n = graph; n != NULL; n = n->n_next) {
352 1.13 ross if (!(n->n_flags & NF_ACYCLIC)) {
353 1.12 lukem if ((cnt = find_cycle(n, n, 0, 0)) != 0) {
354 1.11 mycroft if (!quiet) {
355 1.11 mycroft warnx("cycle in data");
356 1.11 mycroft for (i = 0; i < cnt; i++)
357 1.11 mycroft warnx("%s",
358 1.11 mycroft longest_cycle[i]->n_name);
359 1.11 mycroft }
360 1.1 cgd remove_node(n);
361 1.7 cgd clear_cycle();
362 1.1 cgd break;
363 1.7 cgd } else {
364 1.1 cgd /* to avoid further checks */
365 1.7 cgd n->n_flags |= NF_ACYCLIC;
366 1.7 cgd clear_cycle();
367 1.7 cgd }
368 1.13 ross }
369 1.13 ross }
370 1.9 jtc if (n == NULL)
371 1.9 jtc errx(1, "internal error -- could not find cycle");
372 1.1 cgd }
373 1.1 cgd }
374 1.1 cgd
375 1.1 cgd /* print node and remove from graph (does not actually free node) */
376 1.1 cgd void
377 1.1 cgd remove_node(n)
378 1.12 lukem NODE *n;
379 1.1 cgd {
380 1.12 lukem NODE **np;
381 1.12 lukem int i;
382 1.1 cgd
383 1.1 cgd (void)printf("%s\n", n->n_name);
384 1.1 cgd for (np = n->n_arcs, i = n->n_narcs; --i >= 0; np++)
385 1.1 cgd --(*np)->n_refcnt;
386 1.1 cgd n->n_narcs = 0;
387 1.1 cgd *n->n_prevp = n->n_next;
388 1.1 cgd if (n->n_next)
389 1.1 cgd n->n_next->n_prevp = n->n_prevp;
390 1.1 cgd }
391 1.1 cgd
392 1.7 cgd
393 1.7 cgd /* look for the longest? cycle from node from to node to. */
394 1.7 cgd int
395 1.1 cgd find_cycle(from, to, longest_len, depth)
396 1.1 cgd NODE *from, *to;
397 1.1 cgd int depth, longest_len;
398 1.1 cgd {
399 1.12 lukem NODE **np;
400 1.12 lukem int i, len;
401 1.1 cgd
402 1.1 cgd /*
403 1.1 cgd * avoid infinite loops and ignore portions of the graph known
404 1.1 cgd * to be acyclic
405 1.1 cgd */
406 1.7 cgd if (from->n_flags & (NF_NODEST|NF_MARK|NF_ACYCLIC))
407 1.7 cgd return (0);
408 1.7 cgd from->n_flags |= NF_MARK;
409 1.1 cgd
410 1.1 cgd for (np = from->n_arcs, i = from->n_narcs; --i >= 0; np++) {
411 1.1 cgd cycle_buf[depth] = *np;
412 1.1 cgd if (*np == to) {
413 1.1 cgd if (depth + 1 > longest_len) {
414 1.1 cgd longest_len = depth + 1;
415 1.1 cgd (void)memcpy((char *)longest_cycle,
416 1.1 cgd (char *)cycle_buf,
417 1.1 cgd longest_len * sizeof(NODE *));
418 1.1 cgd }
419 1.1 cgd } else {
420 1.7 cgd if ((*np)->n_flags & (NF_MARK|NF_ACYCLIC|NF_NODEST))
421 1.7 cgd continue;
422 1.1 cgd len = find_cycle(*np, to, longest_len, depth + 1);
423 1.7 cgd
424 1.7 cgd if (debug)
425 1.9 jtc (void)printf("%*s %s->%s %d\n", depth, "",
426 1.9 jtc from->n_name, to->n_name, len);
427 1.7 cgd
428 1.7 cgd if (len == 0)
429 1.9 jtc (*np)->n_flags |= NF_NODEST;
430 1.7 cgd
431 1.7 cgd if (len > longest_len)
432 1.1 cgd longest_len = len;
433 1.7 cgd
434 1.7 cgd if (len > 0 && !longest)
435 1.5 cgd break;
436 1.1 cgd }
437 1.1 cgd }
438 1.7 cgd from->n_flags &= ~NF_MARK;
439 1.7 cgd return (longest_len);
440 1.1 cgd }
441 1.1 cgd
442 1.1 cgd void
443 1.7 cgd usage()
444 1.7 cgd {
445 1.11 mycroft (void)fprintf(stderr, "usage: tsort [-lq] [file]\n");
446 1.7 cgd exit(1);
447 1.1 cgd }
448