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