Return to pret4.c CVS log

Up to [Research Unix] / researchv10no / cmd / pret

Annotation of researchv10no/cmd/pret/pret4.c, revision 1.1.1.1

1.1       root        1: #include <stdio.h>
                      2: #include "pret.h"
                      3: 
                      4: struct PROCTABLE proctable[MAXPROC];           /* index to process names */
                      5: 
                      6: int nrprocs = 0;
                      7: 
                      8: procsize(n, m, k)
                      9: {      proctable[n].nrstates = m;
                     10:        proctable[n].unreach = k;
                     11: }
                     12: 
                     13: newprocname(str, repl)
                     14:        char *str;
                     15: { register int i;
                     16: 
                     17:        for (i = 0; i < nrprocs; i++)
                     18:                if (strcmp(str, proctable[i].name) == 0)
                     19:                        break;
                     20: 
                     21:        if (i == nrprocs)
                     22:        {       if (nrprocs >= MAXPROC)
                     23:                        whoops("too many processes");
                     24:                proctable[i].nrstates = 0;
                     25:                proctable[i].unreach = 0;
                     26:                proctable[i].replic = repl;
                     27:                strcpy(proctable[nrprocs++].name, str);
                     28:        } else
                     29:                yyerror("process redeclared, %s", str);
                     30: 
                     31:        return i;
                     32: }
                     33: 
                     34: numprocs(fd)
                     35:        FILE *fd;
                     36: {
                     37:        extern int extras;
                     38:        fprintf(fd, "%d processes\n", nrprocs+extras);
                     39: }
                     40: 
                     41: chatter()
                     42: {      int i;
                     43:        extern int verbose, nrqs, nrmesgs, nrrefs, assertion, inertion, extras;
                     44: 
                     45:        if (verbose)
                     46:        {       i = ((assertion != -1) + (inertion != -1));
                     47:                printf("\nOverview:\n========\n");
                     48:                printf("%d queue%s:\n", nrqs, (nrqs==1)?"":"s");
                     49:                listqs();
                     50:                printf("%d process%s:\n",
                     51:                                nrprocs+extras, (nrprocs+extras==1)?"":"es");
                     52:                listprs();
                     53:                printf("%d procedure%s:\n", nrrefs, (nrrefs==1)?"":"s");
                     54:                listrefs();
                     55:                printf("%d assertion%s\n", i, (i==1)?"":"s");
                     56:        }
                     57: }
                     58: 
                     59: listprs()
                     60: {      int i, k;
                     61: 
                     62:        for (i = 0; i < nrprocs; i++)
                     63:        {       printf("\t%2d", i+1);
                     64:                if (proctable[i].replic != NONE)
                     65:                        printf("x%d", proctable[i].replic);
                     66:                printf("\t%s, ", proctable[i].name);
                     67:                for (k = strlen(proctable[i].name)+1; k < 10; k++)
                     68:                        putchar(' ');
                     69:                k = proctable[i].nrstates;
                     70:                printf("%d state%s", k, (k!=1)?"s":"");
                     71:                if ((k = proctable[i].unreach) > 0)
                     72:                        printf(" (%d unreachable state%s)", k, (k>1)?"s":"");
                     73:                putchar('\n');
                     74:        }
                     75: }

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.