Verständnis Semaphore in C

Question

Ich habe Mutex-Sperren und Conditional Variable Locks in C erfolgreich implementiert und versuchen, das gleiche mit Semaphor zu erreichen. Unten ist mein Code, aber beim Ausführen ist die Ausgabe immer 24 statt 12. Hilf mir zu verstehen, wie man Semaphore benutzt.

#include <pthread.h> 
#include <stdio.h> 
#include <stdlib.h> 
#include <semaphore.h> 

#define NUM_THREADS 2 
#define TCOUNT 12 
#define COUNT_LIMIT 12 

int count = 0; 
sem_t sem; 

void *dum(void *t_id){ 
    long id = long(t_id); 
    for (int i = 0; i < TCOUNT; i++) { 
     sem_wait(&sem); 
     count++; 
     sem_post(&sem); 
     printf("In Dum(). Count :: %d. Thread :: %ld \n", count, id); 
    } 
    pthread_exit(NULL); 
} 

int main (int argc, char *argv[]) { 
    int i; 
    long t1=1, t2=2; 
    sem_init(&sem, 0, 1); 
    pthread_t threads[NUM_THREADS]; 
    pthread_create(&threads[1], NULL, dum, (void *)t1); 
    pthread_create(&threads[2], NULL, dum, (void *) t2); 
    for (i=1; i<=2; i++) { 
     pthread_join(threads[i], NULL); 
    } 
    printf ("Main(): Waited on %d threads. Done.\n", NUM_THREADS); 
    printf ("Count should be 12. Actual Count: %d. \n", count); 
    pthread_exit(NULL); 
} 

Ausgang:

In Dum(). Count :: 1. Thread :: 1 
In Dum(). Count :: 2. Thread :: 1 
In Dum(). Count :: 3. Thread :: 1 
In Dum(). Count :: 4. Thread :: 1 
In Dum(). Count :: 5. Thread :: 1 
In Dum(). Count :: 6. Thread :: 1 
In Dum(). Count :: 7. Thread :: 1 
In Dum(). Count :: 8. Thread :: 1 
In Dum(). Count :: 9. Thread :: 1 
In Dum(). Count :: 10. Thread :: 1 
In Dum(). Count :: 11. Thread :: 1 
In Dum(). Count :: 13. Thread :: 1 
In Dum(). Count :: 13. Thread :: 2 
In Dum(). Count :: 14. Thread :: 2 
In Dum(). Count :: 15. Thread :: 2 
In Dum(). Count :: 16. Thread :: 2 
In Dum(). Count :: 17. Thread :: 2 
In Dum(). Count :: 18. Thread :: 2 
In Dum(). Count :: 19. Thread :: 2 
In Dum(). Count :: 20. Thread :: 2 
In Dum(). Count :: 21. Thread :: 2 
In Dum(). Count :: 22. Thread :: 2 
In Dum(). Count :: 23. Thread :: 2 
In Dum(). Count :: 24. Thread :: 2 
Main(): Waited on 2 threads. Done. 
Count should be 12. Actual Count: 24. 

Answer 1

Wie kcraigie gesagt, du die Fäden Array falsch sind Indizierung. Auch wäre es besser, zu T1 und T2 durch Zeiger übergeben:

void *dum(void *t_id) 
{ 
    long id = *(long*)t_id; 

und

pthread_create(&threads[0], NULL, dum, (void *) &t1); 
pthread_create(&threads[1], NULL, dum, (void *) &t2); 
for (i=0; i<2; i++) 
{ 
    pthread_join(threads[i], NULL); 
} 

auch in Ihrem Thread Sie sperren die Semaphore, erhöhe Zähler und lassen Sie die Semaphore, und dann können Sie drucken. Es gibt keine Garantie, dass der Wert, den Sie ausdrucken, der Wert der Zählung ist, nachdem Sie ihn inkrementiert haben. Der andere Thread könnte dies auch schon getan haben. Legen Sie das printf in das Semaphor-Lock:

Aber sonst 24 zu zählen scheint das richtige Verhalten zu sein. Sie haben zwei Schleifen, die über 2 Threads verteilt sind, die jeweils 12-mal iterieren und einen zum Zählen hinzufügen. Die Tatsache, dass einer der beiden die Schleife zuerst und dann der andere beendet, liegt vermutlich daran, dass der zuerst gestartete Thread seine gesamte Arbeit in einem einzigen Zeitfenster erledigt, bevor der Hauptthread Thread 2 gestartet hat.