为什么信号量不阻塞第二个线程？ （C）

Question

我想编写一个简单的 C 程序来更好地理解信号量。有两个线程，它们都调用相同的函数。第一个线程，增加全局变量，第二个线程，减少全局变量。

我试图在第一个线程完成工作之前阻止第二个线程使用该函数。但我仍然得到错误的答案：-2000。看起来两个线程都有偏移量-1。我该如何解决这个问题，使输出始终为 0？我认为函数内部的 sem_wait 应该阻塞第二个线程，直到第一个线程结束。因此偏移量应该保持为 1。

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

#define NUM_LOOPS 1000
long long counter = 0;
sem_t sem;
sem_t sem1;
void* counting_thread(void* arg) {
    sem_wait(&sem);
    int offset = *(int*) arg;
    int i;
    for(i = 0; i < NUM_LOOPS; i++){
        //sem_wait(&sem);
        counter += offset;
        printf("offset = %d\n", offset1);


        //sem_post(&sem);
    }
    sem_post(&sem);

    pthread_exit(NULL);
}

int main() {
    sem_init(&sem, 0, 1);

    pthread_t th1;
    int offset = 1;
    pthread_create(&th1, NULL, &counting_thread, &offset);
    //sem_post(&sem1);

    pthread_t th2;
    offset = -1;
    pthread_create(&th2, NULL, &counting_thread, &offset);

    pthread_join(th1, NULL);
    pthread_join(th2, NULL);

    printf("Finnal counter value: %lld\n", counter);
    sem_destroy(&sem);
    return 0;
}

Answer 1

根据pthread_create man page

注意 关于线程 ID 的更多信息，请参见 pthread_self(3) 由 pthread_create() 在 *thread 中返回。除非实时调度 正在采用策略，在调用 pthread_create() 之后， 不确定下一个线程是调用者还是新线程 执行。

不保证谁将执行下一个。 也许对你来说，main 线程正在执行下一个线程并在新线程之前设置offset to -1，使其从offset 读取更新值，即-1。

---

您可以使用条件变量进行同步。

例如：

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

#define NUM_LOOPS 1000
long long counter = 0;
sem_t sem;
sem_t sem1;
pthread_cond_t cond1 = PTHREAD_COND_INITIALIZER; 
pthread_mutex_t lock = PTHREAD_MUTEX_INITIALIZER; 


void* counting_thread(void* arg) {
    sem_wait(&sem);
    int offset = *(int*) arg;
    pthread_cond_signal(&cond1); 

    int i;
    for(i = 0; i < NUM_LOOPS; i++){
      counter += offset;
        printf("offset = %d\n", offset);

  }
    sem_post(&sem);

    pthread_exit(NULL);
}

int main() {
    sem_init(&sem, 0, 1); 

    int offset = 1;
    pthread_t th1;
    pthread_create(&th1, NULL, &counting_thread, &offset);


    pthread_cond_wait(&cond1, &lock);
    pthread_t th2;
    offset = -1;
    pthread_create(&th2, NULL, &counting_thread, &offset);

    pthread_join(th1, NULL);
    pthread_join(th2, NULL);

    printf("Finnal counter value: %lld\n", counter);
    sem_destroy(&sem);
    return 0;
}