kernel/tests/test4.c

0001 /*                    The Quest Operating System
0002  *  Copyright (C) 2005-2010  Richard West, Boston University
0003  *
0004  *  This program is free software: you can redistribute it and/or modify
0005  *  it under the terms of the GNU General Public License as published by
0006  *  the Free Software Foundation, either version 3 of the License, or
0007  *  (at your option) any later version.
0008  *
0009  *  This program is distributed in the hope that it will be useful,
0010  *  but WITHOUT ANY WARRANTY; without even the implied warranty of
0011  *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
0012  *  GNU General Public License for more details.
0013  *
0014  *  You should have received a copy of the GNU General Public License
0015  *  along with this program.  If not, see <http://www.gnu.org/licenses/>.
0016  */
0017
0018 #include "syscall.h"
0019
0020 void
0021 putx (unsigned long l)
0022 {
0023
0024   int i, li;
0025
0026   for (i = 7; i >= 0; i--)
0027     if ((li = (l >> (i << 2)) & 0x0F) > 9)
0028       putchar ('A' + li - 0x0A);
0029     else
0030       putchar ('0' + li);
0031 }
0032
0033 void
0034 print (char *s)
0035 {
0036   while (*s) {
0037     putchar (*s++);
0038   }
0039 }
0040
0041 void
0042 _start ()
0043 {
0044   int pid;
0045   int info = meminfo ();
0046   unsigned shared_id;
0047   int *shared_mem;
0048   int i;
0049
0050   print ("MEMINFO: ");
0051   putx (info);
0052   print ("\n");
0053
0054   shared_id = shared_mem_alloc ();
0055   if (shared_id < 0) {
0056     _exit (1);
0057   }
0058   print ("shared_id = ");
0059   putx (shared_id);
0060   print ("\n");
0061
0062   /* try to test a race condition */
0063
0064 #define ITERATIONS 1000000
0065   if ((pid = fork ())) {
0066     /* PARENT */
0067
0068     shared_mem = shared_mem_attach (shared_id);
0069     if ((unsigned) shared_mem == -1) {
0070       shared_mem_free (shared_id);
0071       _exit (1);
0072     }
0073     print ("parent shared_mem = ");
0074     putx ((unsigned) shared_mem);
0075     print ("\n");
0076
0077     for (i = 0; i < ITERATIONS; i++)
0078       (*shared_mem)--;
0079
0080     if (waitpid (pid) < 0) {
0081       print ("waitpid returned -1\n");
0082     }
0083
0084     print ("value = ");
0085     putx (*shared_mem);
0086     print ("\n");
0087
0088     shared_mem_detach (shared_mem);
0089
0090     shared_mem_free (shared_id);
0091     _exit (0);
0092
0093   } else {
0094     /* CHILD */
0095     shared_mem = shared_mem_attach (shared_id);
0096     if ((unsigned) shared_mem == -1) {
0097       shared_mem_free (shared_id);
0098       _exit (1);
0099     }
0100     print ("child shared_mem = ");
0101     putx ((unsigned) shared_mem);
0102     print ("\n");
0103
0104     for (i = 0; i < ITERATIONS; i++)
0105       (*shared_mem)++;
0106
0107     shared_mem_detach (shared_mem);
0108
0109     _exit (0);
0110   }
0111 }
0112
0113 /*
0114  * Local Variables:
0115  * indent-tabs-mode: nil
0116  * mode: C
0117  * c-file-style: "gnu"
0118  * c-basic-offset: 2
0119  * End:
0120  */
0121
0122 /* vi: set et sw=2 sts=2: */