5
* --------------------------------------------------------------------------
7
* Pthreads-win32 - POSIX Threads Library for Win32
8
* Copyright(C) 1998 John E. Bossom
9
* Copyright(C) 1999,2005 Pthreads-win32 contributors
11
* Contact Email: rpj@callisto.canberra.edu.au
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
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.
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.
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
34
* --------------------------------------------------------------------------
36
* Test Synopsis: Verify sem_getvalue returns the correct value.
39
* Test Method (Validation or Falsification):
42
* Requirements Tested:
61
* - File name, Line number, and failed expression on failure.
62
* - No output on success.
68
* - Process returns zero exit status.
71
* - Process returns non-zero exit status.
85
assert(sem_init(&s, PTHREAD_PROCESS_PRIVATE, MAX_COUNT) == 0);
86
assert(sem_getvalue(&s, &value) == 0);
87
assert(value == MAX_COUNT);
88
// printf("Value = %ld\n", value);
90
for (i = MAX_COUNT - 1; i >= 0; i--)
92
assert(sem_wait(&s) == 0);
93
assert(sem_getvalue(&s, &value) == 0);
94
// printf("Value = %ld\n", value);
98
for (i = 1; i <= MAX_COUNT; i++)
100
assert(sem_post(&s) == 0);
101
assert(sem_getvalue(&s, &value) == 0);
102
// printf("Value = %ld\n", value);