1 /*
2 * File: semaphore4.c
3 *
4 *
5 * --------------------------------------------------------------------------
6 *
7 * Pthreads-win32 - POSIX Threads Library for Win32
8 * Copyright(C) 1998 John E. Bossom
9 * Copyright(C) 1999,2005 Pthreads-win32 contributors
10 *
11 * Contact Email: rpj@callisto.canberra.edu.au
12 *
13 * The current list of contributors is contained
14 * in the file CONTRIBUTORS included with the source
15 * code distribution. The list can also be seen at the
16 * following World Wide Web location:
17 * http://sources.redhat.com/pthreads-win32/contributors.html
18 *
19 * This library is free software; you can redistribute it and/or
20 * modify it under the terms of the GNU Lesser General Public
21 * License as published by the Free Software Foundation; either
22 * version 2 of the License, or (at your option) any later version.
23 *
24 * This library is distributed in the hope that it will be useful,
25 * but WITHOUT ANY WARRANTY; without even the implied warranty of
26 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
27 * Lesser General Public License for more details.
28 *
29 * You should have received a copy of the GNU Lesser General Public
30 * License along with this library in the file COPYING.LIB;
31 * if not, write to the Free Software Foundation, Inc.,
32 * 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA
33 *
34 * --------------------------------------------------------------------------
35 *
36 * Test Synopsis: Verify sem_getvalue returns the correct number of waiters
37 * after threads are cancelled.
38 * -
39 *
40 * Test Method (Validation or Falsification):
41 * - Validation
42 *
43 * Requirements Tested:
44 * -
45 *
46 * Features Tested:
47 * -
48 *
49 * Cases Tested:
50 * -
51 *
52 * Description:
53 * -
54 *
55 * Environment:
56 * -
57 *
58 * Input:
59 * - None.
60 *
61 * Output:
62 * - File name, Line number, and failed expression on failure.
63 * - No output on success.
64 *
65 * Assumptions:
66 * -
67 *
68 * Pass Criteria:
69 * - Process returns zero exit status.
70 *
71 * Fail Criteria:
72 * - Process returns non-zero exit status.
73 */
74
75 #include "test.h"
76
77 #define MAX_COUNT 100
78
79 sem_t s;
80
81 void *
thr(void * arg)82 thr (void * arg)
83 {
84 int r = sem_wait (&s);
85 fprintf (stderr, "r = %d %d EINVAL %d\n", r, errno, EINVAL);
86 assert(r == 0);
87 return NULL;
88 }
89
90 int
main()91 main()
92 {
93 int value = 0;
94 int i;
95 pthread_t t[MAX_COUNT+1];
96
97 assert(sem_init(&s, PTHREAD_PROCESS_PRIVATE, 0) == 0);
98 assert(sem_getvalue(&s, &value) == 0);
99 // printf("Value = %d\n", value); fflush(stdout);
100 assert(value == 0);
101
102 for (i = 1; i <= MAX_COUNT; i++)
103 {
104 assert(pthread_create(&t[i], NULL, thr, NULL) == 0);
105 do {
106 sched_yield();
107 assert(sem_getvalue(&s, &value) == 0);
108 } while (value != -i);
109 // printf("Value = %d\n", value); fflush(stdout);
110 assert(-value == i);
111 }
112
113 assert(sem_getvalue(&s, &value) == 0);
114 assert(-value == MAX_COUNT);
115 //printf("value = %d\n", -value); fflush(stdout);
116 assert(pthread_cancel(t[50]) == 0);
117 {
118 intptr_t result = 0;
119 assert(pthread_join(t[50], (void **) &result) == 0);
120 // printf("result = %d\n", (int) result); fflush(stdout);
121 }
122 assert(sem_getvalue(&s, &value) == 0);
123 //printf("value = %d\n", -value); fflush(stdout);
124 assert(-value == (MAX_COUNT - 1));
125
126 for (i = MAX_COUNT - 2; i >= 0; i--)
127 {
128 assert(sem_post(&s) == 0);
129 assert(sem_getvalue(&s, &value) == 0);
130 // printf("Value = %d\n", value); fflush(stdout);
131 assert(-value == i);
132 }
133
134 for (i = 1; i <= MAX_COUNT; i++)
135 if (i != 50)
136 assert(pthread_join(t[i], NULL) == 0);
137
138 return 0;
139 }
140
141