Условное ожидание с pthreads

Вы забыли инициализировать переменную условия?

pthread_cond_init(&condVar, NULL)

while (exit == 1) {

В коде, который вы цитируете, в том, как вы цитируете, я не вижу особой проблемы. Он не чистый, но выглядит функциональным. Что заставляет меня думать, что где-то еще вы устанавливаете exit в 0, не сигнализируя об этом. Или нить где-то застревает, выполняя работу.

Но, учитывая комментарии, которые намекают, что вы пытаетесь сигнализировать о завершении одного потока перед запуском другого потока, я думаю, что вы делаете это неправильно. Обычно не следует полагаться на сигнализацию состояния pthread, если сигнал не может быть пропущен. Хотя кажется, что переменная состояния exit покрывает это, это все же неправильное применение IMO условий pthread.

В случае, если вы можете попробовать использовать семафоры. При завершении поток увеличивает семафор завершения, так что main может ждать (уменьшать) семафор.

thread function()
{
   for (condition)
   {
      do work
      /* should the thread continue? */
      if (exit == 1) {
         break; /* exit for */
      } 
   } /* end for */
   sem_post(&termSema);
}

function main()
{
    if (thread is still active)
    {
          exit = 1;
          sem_wait(&termSema);
          exit = 0;
    }
    create new thread()
    ....
}

В качестве общего замечания я могу предложить поискать некоторые реализации пула потоков. Потому что использование переменной состояния для синхронизации потоков по-прежнему неверно и не масштабируется до более чем одного потока. И подвержен ошибкам.

Когда код застрял в pthread_cond_wait, это exit 1 или 0? Если exit равен 1, он должен зависнуть.

Если exit равно 0, скорее всего, имеет место одно из двух:

1) Некоторый код устанавливает exit в 0, но не сигнализирует о переменной условия.

2) Какой-то поток заблокирован на pthread_cond_wait, принял сигнал, но не сделал того, что вам нужно.

У вас есть всевозможные проблемы с синхронизацией с вашей текущей реализацией (отсюда и проблемы).

Чтобы убедиться, что поток завершен (и его ресурсы освобождены), вы должны вызвать pthread_join().

Здесь нет необходимости в pthread_cond_t.

Также может иметь смысл использовать pthread_cancel() для уведомления потока о том, что он больше не требуется, а не флаг, как вы сейчас делаете.

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

void *thread_func(void *arg) {
    int i;

    for (i = 0; i < 10; i++) {
        /* protect any regions that must not be cancelled... */
        pthread_setcancelstate(PTHREAD_CANCEL_DISABLE, NULL);

        /* very important work */
        printf("%d\n", i);

        pthread_setcancelstate(PTHREAD_CANCEL_ENABLE, NULL);

        /* force a check to see if we're finished */
        pthread_testcancel();

        /* sleep (for clarity in the example) */
        sleep(1);
    }

    return NULL;
}

void main(void) {
    int ret;
    pthread_t tid;

    ret = pthread_create(&tid, NULL, thread_func, NULL);
    if (ret != 0) {
        printf("pthread_create() failed %d\n", ret);
        exit(1);
    }

    sleep(5);

    ret = pthread_cancel(tid);
    if (ret != 0) {
        printf("pthread_cancel() failed %d\n", ret);
        exit(1);
    }

    ret = pthread_join(tid, NULL);
    if (ret != 0) {
        printf("pthread_join() failed %d\n", ret);
        exit(1);
    }

    printf("finished...\n");
}

Также стоит отметить:

• exit() - это библиотечная функция - вы не должны объявлять что-либо с тем же именем, что и что-то еще.
• В зависимости от вашей конкретной ситуации может иметь смысл поддерживать один поток в активном состоянии всегда и предоставлять ему задания, которые нужно выполнять, вместо того, чтобы постоянно создавать / отменять потоки (исследуйте «пулы потоков»)