Блог

При вызове pthread_create(amp;id, NULL, amp;start_routine, arg) гарантируется ли, что идентификатор потока будет записан в id перед запуском start_routine? На страницах руководства ясно указано, что start_routine может, но не обязательно начнет выполняться до возврата вызова pthread_create, но они не сообщают, когда идентификатор потока записывается обратно в переданный аргумент потока.

Мой конкретный случай заключается в том, что у меня есть оболочка вокруг pthread_create:

 int mk_thread(pthread_t *id) {
  pthread_t tid;
  pthread_create(amp;tid,NULL,ThreadStart,NULL);
  if (id == NULL) {
    pthread_detach(tid);
  } else {
    *id=lid;
  }
}
  

который, очевидно, может запустить процедуру запуска перед обратной записью. Я изменил его на

 int mk_thread(pthread_t *id) {
  pthread_t tid,tidPtr=id?id:amp;tid;
  pthread_create(tidPtr,NULL,ThreadStart,NULL);
  if (id == NULL) {
     pthread_detach(tid);
  }
}
  

Эта перезапись намного более стабильна на практике, но на самом ли деле это исправление или просто меньшее окно для условий гонки?

Идентификатор потока определенно записывается перед pthread_create возвратами. Если вы подумаете об этом, для pthread_create было бы невозможно работать каким-либо другим способом. Не удалось делегировать запись идентификатора потока новому потоку, потому что pthread_t переменная может оказаться вне области видимости к моменту запуска нового потока.

Соответствующий текст является:

После успешного завершения pthread_create() сохранит идентификатор созданного потока в местоположении, на которое ссылается поток.

(Из http://pubs.opengroup.org/onlinepubs/9699919799/functions/pthread_create.html ) Обратите внимание, что в нем указано «при успешном завершении» функции, а не «через неопределенное время после успешного завершения».

Более интересный вопрос, и я неясен в этом вопросе, заключается в том, pthread_create должен ли быть завершен ввод идентификатора потока в пункт назначения до запуска новой функции запуска потока, т. Е. может ли новый поток сразу увидеть свой собственный идентификатор потока, например, если он должен быть сохранен в глобальной переменной. Я подозреваю, что ответ отрицательный.

Редактировать: При перечитывании вашего вопроса кажется, что вы, возможно, действительно спрашивали об этом последнем, более интересном вопросе. В любом случае, у функции запуска нового потока нет причин использовать идентификатор потока, записанный pthread_create . Ваш новый поток может (и должен) просто использовать pthread_self для получения своего собственного идентификатора потока.

Я полагаю, что ничто в спецификации не требует, чтобы pthread_create назначал свой выходной параметр pthread_t *thread перед тем, как код в start_routine начнет выполняться.

С практической точки зрения, следующая программа успешно работает во многих реализациях pthreads (freebsd8 i386 и debian gnu / linux amd64), но терпит неудачу в одной из интересующих меня (debian / kfreebsd9 amd64):

 #include <pthread.h>
#include <assert.h>
#include <stdint.h>
#include <stdio.h>

pthread_t th;

void *asserter(void* unused) {
        pthread_t self = pthread_self(), th_=th;
        printf("th=%jd self=%jdn", (intmax_t)th_, (intmax_t)self);
        assert(pthread_equal(th_, self));
}

int main() {
        int i;
        for(i=0; i<1000; i  ) {
                pthread_create(amp;th, NULL, asserter, NULL);
                pthread_join(th, NULL);
        }
        return 0;
}
  

тем не менее, я не уверен, что понимаю, как эта деталь поведения относится к двум альтернативам кода, которые вы предлагаете в исходном вопросе. Хотя мне приходит в голову, что если pthread_create записывает другие значения в *thread во время своего выполнения, и вы используете значение *id в другом потоке, это может иметь значение. Стандарт не указывает, что никакие другие «промежуточные» значения не записываются в *thread во время успешного выполнения pthread_create.