SHOW:
|
|
- or go back to the newest paste.
| 1 | #include <stdio.h> | |
| 2 | #include <stdlib.h> | |
| 3 | #include "pthread.h" | |
| 4 | #include "semaphore.h" | |
| 5 | ||
| 6 | typedef struct GlobalState {
| |
| 7 | pthread_mutex_t ActMutex; | |
| 8 | int iFanPerType[2]; | |
| 9 | - | int MustJoinCaptain; |
| 9 | + | int MustJoinCaptain; |
| 10 | int FansRemaining; | |
| 11 | - | pthread_t aFanCarThread[4]; |
| 11 | + | int iWantPerType[2]; |
| 12 | - | pthread_mutex_t BeginNewCar; |
| 12 | + | pthread_t aFanCarThread[4]; |
| 13 | sem_t WantFanType[2]; | |
| 14 | - | sem_t QueueLimit; |
| 14 | + | |
| 15 | sem_t DoneSemaphore; | |
| 16 | } GlobalState; | |
| 17 | ||
| 18 | GlobalState g_tState; | |
| 19 | ||
| 20 | void *FanThread(void *arg) {
| |
| 21 | int n, iFan = (int)arg, iFansInCar; | |
| 22 | pthread_t tid = pthread_self(); | |
| 23 | ||
| 24 | - | //limited exit from the event... |
| 24 | + | |
| 25 | - | sem_wait( &g_tState.QueueLimit ); |
| 25 | + | //pthread_mutex_lock(&g_tState.ActMutex); |
| 26 | //printf("Thread ID: %014lli, Team: %c, I am looking for a car\n",tid,'A'+iFan);
| |
| 27 | //pthread_mutex_unlock(&g_tState.ActMutex); | |
| 28 | - | pthread_mutex_lock(&g_tState.ActMutex); |
| 28 | + | |
| 29 | - | printf("Thread ID: %lli, Team: %c, I am looking for a car\n",tid,'A'+iFan);
|
| 29 | + | while (1) {
|
| 30 | - | pthread_mutex_unlock(&g_tState.ActMutex); |
| 30 | + | sem_wait( &g_tState.WantFanType[iFan] ); |
| 31 | ||
| 32 | - | while (1) {
|
| 32 | + | pthread_mutex_lock(&g_tState.ActMutex); |
| 33 | - | pthread_mutex_lock(&g_tState.ActMutex); |
| 33 | + | g_tState.iWantPerType[iFan]=0; |
| 34 | ||
| 35 | //clean up last captain thread if any | |
| 36 | if (g_tState.MustJoinCaptain) {
| |
| 37 | pthread_join(g_tState.aFanCarThread[3], NULL ); | |
| 38 | g_tState.MustJoinCaptain = 0; | |
| 39 | } | |
| 40 | //number of fans on car is #A + #B | |
| 41 | iFansInCar = g_tState.iFanPerType[0]+g_tState.iFanPerType[1]; | |
| 42 | - | if ((iFansInCar < 3) || (g_tState.iFanPerType[iFan] & 1)) {
|
| 42 | + | |
| 43 | //allowed combinatios are 2:2 or 4:0 | |
| 44 | if ((iFansInCar < 3) || (g_tState.iFanPerType[iFan] & 1)) {
| |
| 45 | //set the TID for this fan on a car slot (so we can wait & cleanup) | |
| 46 | g_tState.aFanCarThread[iFansInCar] = tid; | |
| 47 | - | //printf("Thread ID: %lli, Team: %c, I am looking for a car\n",tid,'A'+iFan);
|
| 47 | + | |
| 48 | ||
| 49 | //if there still not 3, then we still accept either | |
| 50 | if (iFansInCar < 2 ) {
| |
| 51 | if (!g_tState.iWantPerType[0]) { g_tState.iWantPerType[0]=1 ; sem_post( &g_tState.WantFanType[0] ); }
| |
| 52 | - | //pthread_mutex_trylock(&g_tState.BeginNewCar); |
| 52 | + | if (!g_tState.iWantPerType[1]) { g_tState.iWantPerType[1]=1 ; sem_post( &g_tState.WantFanType[1] ); }
|
| 53 | } else if (iFansInCar == 2) {
| |
| 54 | n = (g_tState.iFanPerType[0] & 1) ? 0 : 1; | |
| 55 | - | pthread_mutex_trylock(&g_tState.BeginNewCar); |
| 55 | + | if (!g_tState.iWantPerType[n]) { g_tState.iWantPerType[n]=1 ; sem_post( &g_tState.WantFanType[n] ); }
|
| 56 | - | printf("Thread ID: %lli, Team: %c, I have found a spot in a car\n",tid,'A'+iFan);
|
| 56 | + | g_tState.iWantPerType[1-n]=0; |
| 57 | } | |
| 58 | ||
| 59 | printf("Thread ID: %014lli, Team: %c, I am looking for a car\n",tid,'A'+iFan);
| |
| 60 | ||
| 61 | // wait for 4 compatible fans to arrive before entering the car | |
| 62 | - | pthread_join(g_tState.aFanCarThread[n], NULL ); |
| 62 | + | |
| 63 | pthread_barrier_wait( &g_tState.JoinTheCar ); | |
| 64 | ||
| 65 | - | printf("Thread ID: %lli, Team: %c, I am the captain and driving the car\n",tid,'A'+iFan);
|
| 65 | + | |
| 66 | printf("Thread ID: %014lli, Team: %c, I have found a spot in a car\n",tid,'A'+iFan);
| |
| 67 | - | g_tState.MustJoinCaptain = 1; |
| 67 | + | |
| 68 | - | g_tState.FansRemaining -= 4; |
| 68 | + | |
| 69 | //if this fan will fill a car, then it becomes the captain and a car is finished | |
| 70 | - | pthread_mutex_unlock(&g_tState.ActMutex); |
| 70 | + | |
| 71 | - | pthread_mutex_unlock(&g_tState.BeginNewCar); |
| 71 | + | |
| 72 | - | //when finishing a car a new one can start... |
| 72 | + | |
| 73 | pthread_join(g_tState.aFanCarThread[n], NULL ); | |
| 74 | } | |
| 75 | pthread_mutex_lock(&g_tState.ActMutex); | |
| 76 | printf("Thread ID: %014lli, Team: %c, I am the captain and driving the car\n",tid,'A'+iFan);
| |
| 77 | - | //printf("Thread ID: %lli, Team: %c, waiting for a new car...\n",tid,'A'+iFan);
|
| 77 | + | |
| 78 | g_tState.MustJoinCaptain = 1; g_tState.FansRemaining -= 4; | |
| 79 | - | //wait for a new car |
| 79 | + | |
| 80 | - | pthread_mutex_lock(&g_tState.BeginNewCar); |
| 80 | + | |
| 81 | - | pthread_mutex_unlock(&g_tState.BeginNewCar); |
| 81 | + | // new car... accepts both |
| 82 | if (!g_tState.iWantPerType[0]) { g_tState.iWantPerType[0]=1 ; sem_post( &g_tState.WantFanType[0] ); }
| |
| 83 | if (!g_tState.iWantPerType[1]) { g_tState.iWantPerType[1]=1 ; sem_post( &g_tState.WantFanType[1] ); }
| |
| 84 | ||
| 85 | - | //allow more people to exit. |
| 85 | + | pthread_mutex_unlock(&g_tState.ActMutex); |
| 86 | - | sem_post( &g_tState.QueueLimit ); |
| 86 | + | |
| 87 | } | |
| 88 | //fan is inside a car so exit the thread | |
| 89 | break; | |
| 90 | } else {
| |
| 91 | // spurious wake? | |
| 92 | //if (!g_tState.iWantPerType[1-n]) { g_tState.iWantPerType[1-n]=1 ; sem_post( &g_tState.WantFanType[1-n] ); }
| |
| 93 | pthread_mutex_unlock(&g_tState.ActMutex); | |
| 94 | } | |
| 95 | } | |
| 96 | ||
| 97 | } | |
| 98 | ||
| 99 | void ManageThreads(int iNumA,int iNumB) {
| |
| 100 | ||
| 101 | - | g_tState.FansRemaining = iNumA+iNumB; |
| 101 | + | |
| 102 | pthread_t tid; | |
| 103 | - | pthread_mutex_init(&g_tState.ActMutex, NULL); |
| 103 | + | |
| 104 | - | pthread_mutex_init(&g_tState.BeginNewCar, NULL); |
| 104 | + | |
| 105 | - | //pthread_mutex_lock(&g_tState.BeginNewCar); |
| 105 | + | |
| 106 | //total number must be a multiple of 4 | |
| 107 | if ((iNumA+iNumB) & 3) return; | |
| 108 | - | sem_init(&g_tState.QueueLimit, 0, 6); |
| 108 | + | |
| 109 | //initialize global state | |
| 110 | g_tState.FansRemaining = iNumA+iNumB; | |
| 111 | g_tState.MustJoinCaptain = 0; | |
| 112 | - | pthread_create(&tid, NULL, &FanThread, (void*)0); |
| 112 | + | pthread_mutex_init(&g_tState.ActMutex, NULL); |
| 113 | sem_init(&g_tState.WantFanType[0],0,1); | |
| 114 | sem_init(&g_tState.WantFanType[1],0,1); | |
| 115 | g_tState.iWantPerType[0] = 1; | |
| 116 | - | pthread_create(&tid, NULL, &FanThread, (void*)1); |
| 116 | + | g_tState.iWantPerType[1] = 1; |
| 117 | ||
| 118 | pthread_barrier_init(&g_tState.JoinTheCar, NULL, 4); | |
| 119 | sem_init(&g_tState.DoneSemaphore, 0, 0); | |
| 120 | ||
| 121 | // creating threads | |
| 122 | for ( i=0 ; i<iNumA ; i++ ) {
| |
| 123 | while (pthread_create(&tid, NULL, &FanThread, (void*)0)) { };
| |
| 124 | } | |
| 125 | ||
| 126 | for ( i=0 ; i<iNumB ; i++ ) {
| |
| 127 | - | sem_destroy(&g_tState.QueueLimit); |
| 127 | + | while (pthread_create(&tid, NULL, &FanThread, (void*)1)) { };
|
| 128 | - | pthread_mutex_destroy(&g_tState.ActMutex); |
| 128 | + | |
| 129 | - | pthread_mutex_destroy(&g_tState.BeginNewCar); |
| 129 | + | |
| 130 | //waiting for all fans to depart | |
| 131 | sem_wait( &g_tState.DoneSemaphore ); | |
| 132 | //waiting for last thread to finish | |
| 133 | pthread_join(g_tState.aFanCarThread[3], NULL ); | |
| 134 | ||
| 135 | //free resources | |
| 136 | pthread_barrier_destroy(&g_tState.JoinTheCar); | |
| 137 | sem_destroy(&g_tState.DoneSemaphore); | |
| 138 | pthread_mutex_destroy(&g_tState.ActMutex); | |
| 139 | sem_destroy(&g_tState.WantFanType[0]); | |
| 140 | sem_destroy(&g_tState.WantFanType[1]); | |
| 141 | ||
| 142 | } | |
| 143 | ||
| 144 | int main(int argc, char *argv[]) {
| |
| 145 | int iNumA,iNumB; | |
| 146 | ||
| 147 | //number of arguments must be 3... | |
| 148 | //ProgramName , FansA , FansB | |
| 149 | if (argc == 3) {
| |
| 150 | //fans of different members | |
| 151 | iNumA = atoi(argv[1]); | |
| 152 | iNumB = atoi(argv[2]); | |
| 153 | ManageThreads( iNumA , iNumB ); | |
| 154 | } | |
| 155 | ||
| 156 | puts("main terminates");
| |
| 157 | getchar(); | |
| 158 | return 0; | |
| 159 | } | |
| 160 |