home *** CD-ROM | disk | FTP | other *** search
- #include <stdio.h>
- #include <stdlib.h>
- #include <pc.h>
-
- main(int argc, char **argv)
- {
- unsigned long pmax, p, cs, i;
- unsigned long *pp, *pbase;
-
- if (argc < 2)
- return;
-
- pmax = atoi(argv[1]) / 4;
- printf("%d pages\n", pmax);
-
- pbase = (unsigned long *)sbrk(pmax*4096);
- for (p=0; p<pmax; p++)
- {
- printf("\rinit page %d ", p);
- fflush(stdout);
- pp = pbase + p*1024;
- cs = 0;
- for (i=0; i<1023; i++)
- {
- pp[i] = random();
- cs += pp[i];
- }
- pp[i] = cs;
- }
- printf("\r \r");
- while (!kbhit())
- {
- p = random() % pmax;
- printf("\rpage %d ", p);
- fflush(stdout);
- pp = pbase + p*1024;
- cs = 0;
- for (i=0; i<1023; i++)
- cs += pp[i];
- if (pp[i] != cs)
- printf("Bad cs!\n");
- }
- }
-