| /* |
| * File: cleanup3.c |
| * |
| * Test Synopsis: Test cleanup handler does not execute (when thread is |
| * not canceled). |
| * |
| * Test Method (Validation or Falsification): |
| * - |
| * |
| * Requirements Tested: |
| * - |
| * |
| * Features Tested: |
| * - |
| * |
| * Cases Tested: |
| * - |
| * |
| * Description: |
| * - |
| * |
| * Environment: |
| * - |
| * |
| * Input: |
| * - None. |
| * |
| * Output: |
| * - File name, Line number, and failed expression on failure. |
| * - No output on success. |
| * |
| * Assumptions: |
| * - have working pthread_create, pthread_self, pthread_mutex_lock/unlock |
| * pthread_testcancel, pthread_cancel, pthread_join |
| * |
| * Pass Criteria: |
| * - Process returns zero exit status. |
| * |
| * Fail Criteria: |
| * - Process returns non-zero exit status. |
| */ |
| |
| #include "test.h" |
| |
| /* |
| * Create NUMTHREADS threads in addition to the Main thread. |
| */ |
| enum { |
| NUMTHREADS = 10 |
| }; |
| |
| typedef struct bag_t_ bag_t; |
| struct bag_t_ { |
| int threadnum; |
| int started; |
| /* Add more per-thread state variables here */ |
| int count; |
| }; |
| |
| static bag_t threadbag[NUMTHREADS + 1]; |
| |
| static int pop_count = 0; |
| |
| static void |
| increment_pop_count(void * arg) |
| { |
| int * c = (int *) arg; |
| |
| (*c)++; |
| } |
| |
| void * |
| mythread(void * arg) |
| { |
| int result = 0; |
| bag_t * bag = (bag_t *) arg; |
| |
| assert(bag == &threadbag[bag->threadnum]); |
| assert(bag->started == 0); |
| bag->started = 1; |
| |
| pthread_cleanup_push(increment_pop_count, (void *) &pop_count); |
| |
| sched_yield(); |
| |
| pop_count--; |
| |
| pthread_cleanup_pop(0); |
| |
| return (void *) result; |
| } |
| |
| int |
| main() |
| { |
| int failed = 0; |
| int i; |
| pthread_t t[NUMTHREADS + 1]; |
| |
| assert((t[0] = pthread_self()) != NULL); |
| |
| for (i = 1; i <= NUMTHREADS; i++) |
| { |
| threadbag[i].started = 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. |
| */ |
| Sleep(1000); |
| |
| /* |
| * Standard check that all threads started. |
| */ |
| for (i = 1; i <= NUMTHREADS; i++) |
| { |
| if (!threadbag[i].started) |
| { |
| failed |= !threadbag[i].started; |
| fprintf(stderr, "Thread %d: started %d\n", i, threadbag[i].started); |
| } |
| } |
| |
| assert(!failed); |
| |
| /* |
| * Check any results here. Set "failed" and only print output on failure. |
| */ |
| failed = 0; |
| for (i = 1; i <= NUMTHREADS; i++) |
| { |
| int fail = 0; |
| int result = 0; |
| |
| assert(pthread_join(t[i], (void **) &result) == 0); |
| |
| fail = (result != 0); |
| |
| if (fail) |
| { |
| fprintf(stderr, "Thread %d: started %d: result: %d\n", |
| i, |
| threadbag[i].started, |
| result); |
| } |
| failed = (failed || fail); |
| } |
| |
| assert(!failed); |
| |
| assert(pop_count == -(NUMTHREADS)); |
| |
| /* |
| * Success. |
| */ |
| return 0; |
| } |
| |