| /* |
| * File: condvar9.c |
| * |
| * |
| * -------------------------------------------------------------------------- |
| * |
| * Pthreads-win32 - POSIX Threads Library for Win32 |
| * Copyright(C) 1998 John E. Bossom |
| * Copyright(C) 1999,2005 Pthreads-win32 contributors |
| * |
| * Contact Email: rpj@callisto.canberra.edu.au |
| * |
| * The current list of contributors is contained |
| * in the file CONTRIBUTORS included with the source |
| * code distribution. The list can also be seen at the |
| * following World Wide Web location: |
| * http://sources.redhat.com/pthreads-win32/contributors.html |
| * |
| * This library is free software; you can redistribute it and/or |
| * modify it under the terms of the GNU Lesser General Public |
| * License as published by the Free Software Foundation; either |
| * version 2 of the License, or (at your option) any later version. |
| * |
| * This library is distributed in the hope that it will be useful, |
| * but WITHOUT ANY WARRANTY; without even the implied warranty of |
| * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
| * Lesser General Public License for more details. |
| * |
| * You should have received a copy of the GNU Lesser General Public |
| * License along with this library in the file COPYING.LIB; |
| * if not, write to the Free Software Foundation, Inc., |
| * 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA |
| * |
| * -------------------------------------------------------------------------- |
| * |
| * Test Synopsis: |
| * - Test multiple pthread_cond_broadcasts with thread cancelation. |
| * |
| * Test Method (Validation or Falsification): |
| * - Validation |
| * |
| * Requirements Tested: |
| * - |
| * |
| * Features Tested: |
| * - |
| * |
| * Cases Tested: |
| * - |
| * |
| * Description: |
| * - Make NUMTHREADS threads wait on CV, cancel one, broadcast signal them, |
| * and then repeat. |
| * |
| * Environment: |
| * - |
| * |
| * Input: |
| * - None. |
| * |
| * Output: |
| * - File name, Line number, and failed expression on failure. |
| * - No output on success. |
| * |
| * Assumptions: |
| * - |
| * |
| * Pass Criteria: |
| * - Process returns zero exit status. |
| * |
| * Fail Criteria: |
| * - Process returns non-zero exit status. |
| */ |
| |
| #include "test.h" |
| #include <sys/timeb.h> |
| |
| /* |
| * Create NUMTHREADS threads in addition to the Main thread. |
| */ |
| enum { |
| NUMTHREADS = 9 |
| }; |
| |
| typedef struct bag_t_ bag_t; |
| struct bag_t_ { |
| int threadnum; |
| int started; |
| int finished; |
| /* Add more per-thread state variables here */ |
| }; |
| |
| static bag_t threadbag[NUMTHREADS + 1]; |
| |
| typedef struct cvthing_t_ cvthing_t; |
| |
| struct cvthing_t_ { |
| pthread_cond_t notbusy; |
| pthread_mutex_t lock; |
| int shared; |
| }; |
| |
| static cvthing_t cvthing = { |
| PTHREAD_COND_INITIALIZER, |
| PTHREAD_MUTEX_INITIALIZER, |
| 0 |
| }; |
| |
| static pthread_mutex_t start_flag = PTHREAD_MUTEX_INITIALIZER; |
| |
| static struct timespec abstime = { 0, 0 }; |
| |
| static int awoken; |
| |
| static void * |
| mythread(void * arg) |
| { |
| bag_t * bag = (bag_t *) arg; |
| |
| assert(bag == &threadbag[bag->threadnum]); |
| assert(bag->started == 0); |
| bag->started = 1; |
| |
| /* Wait for the start gun */ |
| assert(pthread_mutex_lock(&start_flag) == 0); |
| assert(pthread_mutex_unlock(&start_flag) == 0); |
| |
| assert(pthread_mutex_lock(&cvthing.lock) == 0); |
| |
| /* |
| * pthread_cond_timedwait is a cancelation point and we're |
| * going to cancel some threads deliberately. |
| */ |
| #ifdef _MSC_VER |
| #pragma inline_depth(0) |
| #endif |
| pthread_cleanup_push(pthread_mutex_unlock, (void *) &cvthing.lock); |
| |
| while (! (cvthing.shared > 0)) |
| assert(pthread_cond_timedwait(&cvthing.notbusy, &cvthing.lock, &abstime) == 0); |
| |
| pthread_cleanup_pop(0); |
| #ifdef _MSC_VER |
| #pragma inline_depth() |
| #endif |
| |
| assert(cvthing.shared > 0); |
| |
| awoken++; |
| bag->finished = 1; |
| |
| assert(pthread_mutex_unlock(&cvthing.lock) == 0); |
| |
| return (void *) 0; |
| } |
| |
| int |
| main() |
| { |
| int failed = 0; |
| int i; |
| int first, last; |
| int canceledThreads = 0; |
| pthread_t t[NUMTHREADS + 1]; |
| |
| struct _timeb currSysTime; |
| const DWORD NANOSEC_PER_MILLISEC = 1000000; |
| |
| assert((t[0] = pthread_self()).p != NULL); |
| |
| assert(cvthing.notbusy == PTHREAD_COND_INITIALIZER); |
| |
| assert(cvthing.lock == PTHREAD_MUTEX_INITIALIZER); |
| |
| _ftime(&currSysTime); |
| |
| abstime.tv_sec = currSysTime.time; |
| abstime.tv_nsec = NANOSEC_PER_MILLISEC * currSysTime.millitm; |
| |
| abstime.tv_sec += 5; |
| |
| assert((t[0] = pthread_self()).p != NULL); |
| |
| awoken = 0; |
| |
| for (first = 1, last = NUMTHREADS / 2; |
| first < NUMTHREADS; |
| first = last + 1, last = NUMTHREADS) |
| { |
| int ct; |
| |
| assert(pthread_mutex_lock(&start_flag) == 0); |
| |
| for (i = first; i <= last; i++) |
| { |
| threadbag[i].started = threadbag[i].finished = 0; |
| threadbag[i].threadnum = i; |
| assert(pthread_create(&t[i], NULL, mythread, (void *) &threadbag[i]) == 0); |
| } |
| |
| /* |
| * Code to control or munipulate child threads should probably go here. |
| */ |
| cvthing.shared = 0; |
| |
| assert(pthread_mutex_unlock(&start_flag) == 0); |
| |
| /* |
| * Give threads time to start. |
| */ |
| Sleep(1000); |
| |
| ct = (first + last) / 2; |
| assert(pthread_cancel(t[ct]) == 0); |
| canceledThreads++; |
| assert(pthread_join(t[ct], NULL) == 0); |
| |
| assert(pthread_mutex_lock(&cvthing.lock) == 0); |
| cvthing.shared++; |
| assert(pthread_mutex_unlock(&cvthing.lock) == 0); |
| |
| assert(pthread_cond_broadcast(&cvthing.notbusy) == 0); |
| |
| /* |
| * Standard check that all threads started - and wait for them to finish. |
| */ |
| for (i = first; i <= last; i++) |
| { |
| failed = !threadbag[i].started; |
| |
| if (failed) |
| { |
| fprintf(stderr, "Thread %d: started %d\n", i, threadbag[i].started); |
| } |
| else |
| { |
| assert(pthread_join(t[i], NULL) == 0 || threadbag[i].finished == 0); |
| // fprintf(stderr, "Thread %d: finished %d\n", i, threadbag[i].finished); |
| } |
| } |
| } |
| |
| /* |
| * Cleanup the CV. |
| */ |
| |
| assert(pthread_mutex_destroy(&cvthing.lock) == 0); |
| |
| assert(cvthing.lock == NULL); |
| |
| assert_e(pthread_cond_destroy(&cvthing.notbusy), ==, 0); |
| |
| assert(cvthing.notbusy == NULL); |
| |
| assert(!failed); |
| |
| /* |
| * Check any results here. |
| */ |
| |
| assert(awoken == NUMTHREADS - canceledThreads); |
| |
| /* |
| * Success. |
| */ |
| return 0; |
| } |