Home | History | Annotate | Line # | Download | only in tsort
tsort.c revision 1.9
      1  1.9  jtc /*	$NetBSD: tsort.c,v 1.9 1994/12/07 01:06:25 jtc 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.1  cgd  * 3. All advertising materials mentioning features or use of this software
     19  1.1  cgd  *    must display the following acknowledgement:
     20  1.1  cgd  *	This product includes software developed by the University of
     21  1.1  cgd  *	California, Berkeley and its contributors.
     22  1.1  cgd  * 4. Neither the name of the University nor the names of its contributors
     23  1.1  cgd  *    may be used to endorse or promote products derived from this software
     24  1.1  cgd  *    without specific prior written permission.
     25  1.1  cgd  *
     26  1.1  cgd  * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
     27  1.1  cgd  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
     28  1.1  cgd  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
     29  1.1  cgd  * ARE DISCLAIMED.  IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
     30  1.1  cgd  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
     31  1.1  cgd  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
     32  1.1  cgd  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
     33  1.1  cgd  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
     34  1.1  cgd  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
     35  1.1  cgd  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
     36  1.1  cgd  * SUCH DAMAGE.
     37  1.1  cgd  */
     38  1.1  cgd 
     39  1.1  cgd #ifndef lint
     40  1.7  cgd static char copyright[] =
     41  1.9  jtc "@(#) Copyright (c) 1989, 1993, 1994\n\
     42  1.7  cgd 	The Regents of the University of California.  All rights reserved.\n";
     43  1.1  cgd #endif /* not lint */
     44  1.1  cgd 
     45  1.1  cgd #ifndef lint
     46  1.9  jtc #if 0
     47  1.9  jtc static char sccsid[] = "@(#)tsort.c	8.2 (Berkeley) 3/30/94";
     48  1.9  jtc #endif
     49  1.9  jtc static char rcsid[] = "$NetBSD: tsort.c,v 1.9 1994/12/07 01:06:25 jtc Exp $";
     50  1.1  cgd #endif /* not lint */
     51  1.1  cgd 
     52  1.1  cgd #include <sys/types.h>
     53  1.9  jtc 
     54  1.9  jtc #include <ctype.h>
     55  1.9  jtc #include <db.h>
     56  1.9  jtc #include <err.h>
     57  1.1  cgd #include <errno.h>
     58  1.7  cgd #include <fcntl.h>
     59  1.1  cgd #include <stdio.h>
     60  1.7  cgd #include <stdlib.h>
     61  1.1  cgd #include <string.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.1  cgd  *  Should be compatable 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.9  jtc int debug, longest;
    106  1.7  cgd 
    107  1.7  cgd void	 add_arc __P((char *, char *));
    108  1.7  cgd int	 find_cycle __P((NODE *, NODE *, int, int));
    109  1.7  cgd NODE	*get_node __P((char *));
    110  1.7  cgd void	*grow_buf __P((void *, int));
    111  1.7  cgd void	 remove_node __P((NODE *));
    112  1.7  cgd void	 tsort __P((void));
    113  1.7  cgd void	 usage __P((void));
    114  1.1  cgd 
    115  1.7  cgd int
    116  1.1  cgd main(argc, argv)
    117  1.1  cgd 	int argc;
    118  1.7  cgd 	char *argv[];
    119  1.1  cgd {
    120  1.1  cgd 	register BUF *b;
    121  1.1  cgd 	register int c, n;
    122  1.1  cgd 	FILE *fp;
    123  1.7  cgd 	int bsize, ch, nused;
    124  1.1  cgd 	BUF bufs[2];
    125  1.1  cgd 
    126  1.7  cgd 	while ((ch = getopt(argc, argv, "dl")) != EOF)
    127  1.9  jtc 		switch (ch) {
    128  1.7  cgd 		case 'd':
    129  1.9  jtc 			debug = 1;
    130  1.9  jtc 			break;
    131  1.7  cgd 		case 'l':
    132  1.9  jtc 			longest = 1;
    133  1.9  jtc 			break;
    134  1.7  cgd 		case '?':
    135  1.7  cgd 		default:
    136  1.7  cgd 			usage();
    137  1.7  cgd 		}
    138  1.7  cgd 	argc -= optind;
    139  1.7  cgd 	argv += optind;
    140  1.7  cgd 
    141  1.9  jtc 	switch (argc) {
    142  1.7  cgd 	case 0:
    143  1.1  cgd 		fp = stdin;
    144  1.7  cgd 		break;
    145  1.7  cgd 	case 1:
    146  1.7  cgd 		if ((fp = fopen(*argv, "r")) == NULL)
    147  1.9  jtc 			err(1, "%s", *argv);
    148  1.7  cgd 		break;
    149  1.7  cgd 	default:
    150  1.7  cgd 		usage();
    151  1.1  cgd 	}
    152  1.1  cgd 
    153  1.1  cgd 	for (b = bufs, n = 2; --n >= 0; b++)
    154  1.7  cgd 		b->b_buf = grow_buf(NULL, b->b_bsize = 1024);
    155  1.1  cgd 
    156  1.1  cgd 	/* parse input and build the graph */
    157  1.1  cgd 	for (n = 0, c = getc(fp);;) {
    158  1.1  cgd 		while (c != EOF && isspace(c))
    159  1.1  cgd 			c = getc(fp);
    160  1.1  cgd 		if (c == EOF)
    161  1.1  cgd 			break;
    162  1.1  cgd 
    163  1.1  cgd 		nused = 0;
    164  1.1  cgd 		b = &bufs[n];
    165  1.1  cgd 		bsize = b->b_bsize;
    166  1.1  cgd 		do {
    167  1.1  cgd 			b->b_buf[nused++] = c;
    168  1.7  cgd 			if (nused == bsize)
    169  1.7  cgd 				b->b_buf = grow_buf(b->b_buf, bsize *= 2);
    170  1.1  cgd 			c = getc(fp);
    171  1.1  cgd 		} while (c != EOF && !isspace(c));
    172  1.1  cgd 
    173  1.1  cgd 		b->b_buf[nused] = '\0';
    174  1.1  cgd 		b->b_bsize = bsize;
    175  1.1  cgd 		if (n)
    176  1.1  cgd 			add_arc(bufs[0].b_buf, bufs[1].b_buf);
    177  1.1  cgd 		n = !n;
    178  1.1  cgd 	}
    179  1.1  cgd 	(void)fclose(fp);
    180  1.7  cgd 	if (n)
    181  1.8  cgd 		errx(1, "odd data count");
    182  1.1  cgd 
    183  1.1  cgd 	/* do the sort */
    184  1.1  cgd 	tsort();
    185  1.1  cgd 	exit(0);
    186  1.1  cgd }
    187  1.1  cgd 
    188  1.1  cgd /* double the size of oldbuf and return a pointer to the new buffer. */
    189  1.7  cgd void *
    190  1.1  cgd grow_buf(bp, size)
    191  1.7  cgd 	void *bp;
    192  1.1  cgd 	int size;
    193  1.1  cgd {
    194  1.7  cgd 	if ((bp = realloc(bp, (u_int)size)) == NULL)
    195  1.8  cgd 		err(1, NULL);
    196  1.7  cgd 	return (bp);
    197  1.1  cgd }
    198  1.1  cgd 
    199  1.1  cgd /*
    200  1.1  cgd  * add an arc from node s1 to node s2 in the graph.  If s1 or s2 are not in
    201  1.1  cgd  * the graph, then add them.
    202  1.1  cgd  */
    203  1.1  cgd void
    204  1.1  cgd add_arc(s1, s2)
    205  1.1  cgd 	char *s1, *s2;
    206  1.1  cgd {
    207  1.1  cgd 	register NODE *n1;
    208  1.1  cgd 	NODE *n2;
    209  1.4  cgd 	int bsize, i;
    210  1.1  cgd 
    211  1.7  cgd 	n1 = get_node(s1);
    212  1.1  cgd 
    213  1.1  cgd 	if (!strcmp(s1, s2))
    214  1.1  cgd 		return;
    215  1.1  cgd 
    216  1.7  cgd 	n2 = get_node(s2);
    217  1.1  cgd 
    218  1.1  cgd 	/*
    219  1.3  cgd 	 * Check if this arc is already here.
    220  1.3  cgd 	 */
    221  1.3  cgd 	for (i = 0; i < n1->n_narcs; i++)
    222  1.3  cgd 		if (n1->n_arcs[i] == n2)
    223  1.3  cgd 			return;
    224  1.3  cgd 	/*
    225  1.3  cgd 	 * Add it.
    226  1.1  cgd 	 */
    227  1.1  cgd 	if (n1->n_narcs == n1->n_arcsize) {
    228  1.1  cgd 		if (!n1->n_arcsize)
    229  1.1  cgd 			n1->n_arcsize = 10;
    230  1.1  cgd 		bsize = n1->n_arcsize * sizeof(*n1->n_arcs) * 2;
    231  1.7  cgd 		n1->n_arcs = grow_buf(n1->n_arcs, bsize);
    232  1.1  cgd 		n1->n_arcsize = bsize / sizeof(*n1->n_arcs);
    233  1.1  cgd 	}
    234  1.1  cgd 	n1->n_arcs[n1->n_narcs++] = n2;
    235  1.1  cgd 	++n2->n_refcnt;
    236  1.1  cgd }
    237  1.1  cgd 
    238  1.7  cgd /* Find a node in the graph (insert if not found) and return a pointer to it. */
    239  1.1  cgd NODE *
    240  1.7  cgd get_node(name)
    241  1.1  cgd 	char *name;
    242  1.1  cgd {
    243  1.7  cgd 	DBT data, key;
    244  1.7  cgd 	NODE *n;
    245  1.1  cgd 
    246  1.7  cgd 	if (db == NULL &&
    247  1.7  cgd 	    (db = dbopen(NULL, O_RDWR, 0, DB_HASH, NULL)) == NULL)
    248  1.9  jtc 		err(1, "db: %s", name);
    249  1.7  cgd 
    250  1.7  cgd 	key.data = name;
    251  1.7  cgd 	key.size = strlen(name) + 1;
    252  1.7  cgd 
    253  1.9  jtc 	switch ((*db->get)(db, &key, &data, 0)) {
    254  1.7  cgd 	case 0:
    255  1.7  cgd 		bcopy(data.data, &n, sizeof(n));
    256  1.7  cgd 		return (n);
    257  1.7  cgd 	case 1:
    258  1.7  cgd 		break;
    259  1.7  cgd 	default:
    260  1.7  cgd 	case -1:
    261  1.9  jtc 		err(1, "db: %s", name);
    262  1.7  cgd 	}
    263  1.1  cgd 
    264  1.7  cgd 	if ((n = malloc(sizeof(NODE) + key.size)) == NULL)
    265  1.8  cgd 		err(1, NULL);
    266  1.1  cgd 
    267  1.1  cgd 	n->n_narcs = 0;
    268  1.1  cgd 	n->n_arcsize = 0;
    269  1.7  cgd 	n->n_arcs = NULL;
    270  1.1  cgd 	n->n_refcnt = 0;
    271  1.1  cgd 	n->n_flags = 0;
    272  1.7  cgd 	bcopy(name, n->n_name, key.size);
    273  1.1  cgd 
    274  1.7  cgd 	/* Add to linked list. */
    275  1.9  jtc 	if ((n->n_next = graph) != NULL)
    276  1.1  cgd 		graph->n_prevp = &n->n_next;
    277  1.1  cgd 	n->n_prevp = &graph;
    278  1.1  cgd 	graph = n;
    279  1.1  cgd 
    280  1.7  cgd 	/* Add to hash table. */
    281  1.7  cgd 	data.data = &n;
    282  1.7  cgd 	data.size = sizeof(n);
    283  1.7  cgd 	if ((*db->put)(db, &key, &data, 0))
    284  1.9  jtc 		err(1, "db: %s", name);
    285  1.7  cgd 	return (n);
    286  1.7  cgd }
    287  1.7  cgd 
    288  1.7  cgd 
    289  1.7  cgd /*
    290  1.7  cgd  * Clear the NODEST flag from all nodes.
    291  1.7  cgd  */
    292  1.7  cgd void
    293  1.7  cgd clear_cycle()
    294  1.7  cgd {
    295  1.7  cgd 	NODE *n;
    296  1.7  cgd 
    297  1.9  jtc 	for (n = graph; n != NULL; n = n->n_next)
    298  1.7  cgd 		n->n_flags &= ~NF_NODEST;
    299  1.1  cgd }
    300  1.1  cgd 
    301  1.1  cgd /* do topological sort on graph */
    302  1.1  cgd void
    303  1.1  cgd tsort()
    304  1.1  cgd {
    305  1.7  cgd 	register NODE *n, *next;
    306  1.9  jtc 	register int cnt, i;
    307  1.1  cgd 
    308  1.9  jtc 	while (graph != NULL) {
    309  1.1  cgd 		/*
    310  1.7  cgd 		 * Keep getting rid of simple cases until there are none left,
    311  1.1  cgd 		 * if there are any nodes still in the graph, then there is
    312  1.1  cgd 		 * a cycle in it.
    313  1.1  cgd 		 */
    314  1.1  cgd 		do {
    315  1.9  jtc 			for (cnt = 0, n = graph; n != NULL; n = next) {
    316  1.1  cgd 				next = n->n_next;
    317  1.1  cgd 				if (n->n_refcnt == 0) {
    318  1.1  cgd 					remove_node(n);
    319  1.1  cgd 					++cnt;
    320  1.1  cgd 				}
    321  1.1  cgd 			}
    322  1.9  jtc 		} while (graph != NULL && cnt);
    323  1.1  cgd 
    324  1.9  jtc 		if (graph == NULL)
    325  1.1  cgd 			break;
    326  1.1  cgd 
    327  1.1  cgd 		if (!cycle_buf) {
    328  1.1  cgd 			/*
    329  1.7  cgd 			 * Allocate space for two cycle logs - one to be used
    330  1.1  cgd 			 * as scratch space, the other to save the longest
    331  1.1  cgd 			 * cycle.
    332  1.1  cgd 			 */
    333  1.9  jtc 			for (cnt = 0, n = graph; n != NULL; n = n->n_next)
    334  1.1  cgd 				++cnt;
    335  1.7  cgd 			cycle_buf = malloc((u_int)sizeof(NODE *) * cnt);
    336  1.7  cgd 			longest_cycle = malloc((u_int)sizeof(NODE *) * cnt);
    337  1.7  cgd 			if (cycle_buf == NULL || longest_cycle == NULL)
    338  1.8  cgd 				err(1, NULL);
    339  1.1  cgd 		}
    340  1.9  jtc 		for (n = graph; n != NULL; n = n->n_next)
    341  1.9  jtc 			if (!(n->n_flags & NF_ACYCLIC))
    342  1.1  cgd 				if (cnt = find_cycle(n, n, 0, 0)) {
    343  1.8  cgd 					warnx("cycle in data");
    344  1.1  cgd 					for (i = 0; i < cnt; i++)
    345  1.9  jtc 						warnx("%s",
    346  1.8  cgd 						    longest_cycle[i]->n_name);
    347  1.1  cgd 					remove_node(n);
    348  1.7  cgd 					clear_cycle();
    349  1.1  cgd 					break;
    350  1.7  cgd 				} else {
    351  1.1  cgd 					/* to avoid further checks */
    352  1.7  cgd 					n->n_flags  |= NF_ACYCLIC;
    353  1.7  cgd 					clear_cycle();
    354  1.7  cgd 				}
    355  1.1  cgd 
    356  1.9  jtc 		if (n == NULL)
    357  1.9  jtc 			errx(1, "internal error -- could not find cycle");
    358  1.1  cgd 	}
    359  1.1  cgd }
    360  1.1  cgd 
    361  1.1  cgd /* print node and remove from graph (does not actually free node) */
    362  1.1  cgd void
    363  1.1  cgd remove_node(n)
    364  1.1  cgd 	register NODE *n;
    365  1.1  cgd {
    366  1.1  cgd 	register NODE **np;
    367  1.1  cgd 	register int i;
    368  1.1  cgd 
    369  1.1  cgd 	(void)printf("%s\n", n->n_name);
    370  1.1  cgd 	for (np = n->n_arcs, i = n->n_narcs; --i >= 0; np++)
    371  1.1  cgd 		--(*np)->n_refcnt;
    372  1.1  cgd 	n->n_narcs = 0;
    373  1.1  cgd 	*n->n_prevp = n->n_next;
    374  1.1  cgd 	if (n->n_next)
    375  1.1  cgd 		n->n_next->n_prevp = n->n_prevp;
    376  1.1  cgd }
    377  1.1  cgd 
    378  1.7  cgd 
    379  1.7  cgd /* look for the longest? cycle from node from to node to. */
    380  1.7  cgd int
    381  1.1  cgd find_cycle(from, to, longest_len, depth)
    382  1.1  cgd 	NODE *from, *to;
    383  1.1  cgd 	int depth, longest_len;
    384  1.1  cgd {
    385  1.1  cgd 	register NODE **np;
    386  1.1  cgd 	register int i, len;
    387  1.1  cgd 
    388  1.1  cgd 	/*
    389  1.1  cgd 	 * avoid infinite loops and ignore portions of the graph known
    390  1.1  cgd 	 * to be acyclic
    391  1.1  cgd 	 */
    392  1.7  cgd 	if (from->n_flags & (NF_NODEST|NF_MARK|NF_ACYCLIC))
    393  1.7  cgd 		return (0);
    394  1.7  cgd 	from->n_flags |= NF_MARK;
    395  1.1  cgd 
    396  1.1  cgd 	for (np = from->n_arcs, i = from->n_narcs; --i >= 0; np++) {
    397  1.1  cgd 		cycle_buf[depth] = *np;
    398  1.1  cgd 		if (*np == to) {
    399  1.1  cgd 			if (depth + 1 > longest_len) {
    400  1.1  cgd 				longest_len = depth + 1;
    401  1.1  cgd 				(void)memcpy((char *)longest_cycle,
    402  1.1  cgd 				    (char *)cycle_buf,
    403  1.1  cgd 				    longest_len * sizeof(NODE *));
    404  1.1  cgd 			}
    405  1.1  cgd 		} else {
    406  1.7  cgd 			if ((*np)->n_flags & (NF_MARK|NF_ACYCLIC|NF_NODEST))
    407  1.7  cgd 				continue;
    408  1.1  cgd 			len = find_cycle(*np, to, longest_len, depth + 1);
    409  1.7  cgd 
    410  1.7  cgd 			if (debug)
    411  1.9  jtc 				(void)printf("%*s %s->%s %d\n", depth, "",
    412  1.9  jtc 				    from->n_name, to->n_name, len);
    413  1.7  cgd 
    414  1.7  cgd 			if (len == 0)
    415  1.9  jtc 				(*np)->n_flags |= NF_NODEST;
    416  1.7  cgd 
    417  1.7  cgd 			if (len > longest_len)
    418  1.1  cgd 				longest_len = len;
    419  1.7  cgd 
    420  1.7  cgd 			if (len > 0 && !longest)
    421  1.5  cgd 				break;
    422  1.1  cgd 		}
    423  1.1  cgd 	}
    424  1.7  cgd 	from->n_flags &= ~NF_MARK;
    425  1.7  cgd 	return (longest_len);
    426  1.1  cgd }
    427  1.1  cgd 
    428  1.1  cgd void
    429  1.7  cgd usage()
    430  1.7  cgd {
    431  1.7  cgd 	(void)fprintf(stderr, "usage: tsort [-l] [file]\n");
    432  1.7  cgd 	exit(1);
    433  1.1  cgd }
    434