drd: Add a consistency check
[valgrind.git] / drd / tests / sem_open.c
blob958bc6b764e74a482206f188484058f5d06a9cc3
1 /* Use a semaphore to implement mutual exclusion. */
3 #include <assert.h>
4 #include <fcntl.h> /* O_CREAT */
5 #include <pthread.h>
6 #include <semaphore.h>
7 #include <stdio.h> /* printf() */
8 #include <stdlib.h> /* exit() */
9 #include <unistd.h> /* sleep() */
11 /* Local functions declarations. */
13 static void* thread_func(void*);
16 /* Local variables. */
18 /* s_sem protects s_d3. */
19 static sem_t* s_sem;
21 static double s_d1; /* accessed before thread creation and in the created */
22 /* thread (not a race). */
23 static double s_d2; /* accessed in the created thread and after the join */
24 /* (not a race). */
25 static double s_d3; /* accessed simultaneously from both threads (race). */
26 static int s_debug = 0;
27 static int s_do_printf = 0;
28 static int s_do_mutual_exclusion = 0;
31 /* Function definitions. */
33 int main(int argc, char** argv)
35 int optchar;
36 pthread_t threadid;
37 char semaphore_name[32];
39 while ((optchar = getopt(argc, argv, "dmp")) != EOF)
41 switch (optchar)
43 case 'd':
44 s_debug = 1;
45 break;
46 case 'm':
47 s_do_mutual_exclusion = 1;
48 break;
49 case 'p':
50 s_do_printf = 1;
51 break;
52 default:
53 assert(0);
58 * Use the ipcs and ipcrm commands to clean up named semaphores left by
59 * aborted instances of this process.
61 snprintf(semaphore_name, sizeof(semaphore_name), "/drd-sem-open-test-%d",
62 getpid());
63 s_sem = sem_open(semaphore_name, O_CREAT | O_EXCL, 0600, 1);
64 if (s_sem == SEM_FAILED)
66 fprintf(stderr, "Failed to create a semaphore with name %s\n",
67 semaphore_name);
68 exit(1);
72 * Switch to line-buffered mode, such that timing information can be
73 * obtained for each printf() call with strace.
75 setlinebuf(stdout);
77 if (s_debug)
79 printf("&s_d1 = %p; &s_d2 = %p; &s_d3 = %p\n", &s_d1, &s_d2, &s_d3);
82 s_d1 = 1;
83 s_d3 = 3;
85 pthread_create(&threadid, 0, thread_func, 0);
87 sleep(1); /* Wait until thread_func() finished. */
90 if (s_do_mutual_exclusion) sem_wait(s_sem);
91 s_d3++;
92 if (s_do_mutual_exclusion) sem_post(s_sem);
95 /* Wait until the thread finished. */
96 pthread_join(threadid, 0);
97 if (s_do_printf) printf("s_d2 = %g (should be 2)\n", s_d2);
98 if (s_do_printf) printf("s_d3 = %g (should be 5)\n", s_d3);
100 sem_close(s_sem);
101 sem_unlink(semaphore_name);
103 return 0;
106 static void* thread_func(void* thread_arg)
108 if (s_do_printf)
110 printf("s_d1 = %g (should be 1)\n", s_d1);
112 s_d2 = 2;
114 if (s_do_mutual_exclusion) sem_wait(s_sem);
115 s_d3++;
116 if (s_do_mutual_exclusion) sem_post(s_sem);
118 return 0;