Aktualizacja, 4/10 2012: Naprawiono przez poprawkę libc

Mam problem z anulowaniem wątków wpthread_cond_wait, które używają muteksów za pomocąPTHREAD_PRIO_INHERIT zestaw atrybutów. Dzieje się tak jednak tylko na niektórych platformach.

Poniższy przykład minimalny pokazuje to: (kompiluj za pomocąg++ <filename>.cpp -lpthread)

#include <pthread.h>
#include <iostream>

pthread_mutex_t mutex;
pthread_cond_t cond;

void clean(void *arg) {
    std::cout << "clean: Unlocking mutex..." << std::endl;
    pthread_mutex_unlock((pthread_mutex_t*)arg);
    std::cout << "clean: Mutex unlocked..." << std::endl;
}

void *threadFunc(void *arg) {
    int ret = 0;
    pthread_mutexattr_t mutexAttr;
    ret = pthread_mutexattr_init(&mutexAttr); std::cout << "ret = " << ret << std::endl;

    //Comment out the following line, and everything works
    ret = pthread_mutexattr_setprotocol(&mutexAttr, PTHREAD_PRIO_INHERIT); std::cout << "ret = " << ret << std::endl;

    ret = pthread_mutex_init(&mutex, &mutexAttr); std::cout << "ret = " << ret << std::endl;
    ret = pthread_cond_init(&cond, 0); std::cout << "ret = " << ret << std::endl;

    std::cout << "threadFunc: Init done, entering wait..." << std::endl;

    pthread_cleanup_push(clean, (void *) &mutex);
    ret = pthread_mutex_lock(&mutex); std::cout << "ret = " << ret << std::endl;
    while(1) {
        ret = pthread_cond_wait(&cond, &mutex); std::cout << "ret = " << ret << std::endl;
    }
    pthread_cleanup_pop(1);

    return 0;
}

int main() {
    pthread_t thread;
    int ret = 0;
    ret = pthread_create(&thread, 0, threadFunc, 0); std::cout << "ret = " << ret << std::endl;

    std::cout << "main: Thread created, waiting a bit..." << std::endl;
    sleep(2);

    std::cout << "main: Cancelling threadFunc..." << std::endl;
    ret = pthread_cancel(thread); std::cout << "ret = " << ret << std::endl;

    std::cout << "main: Joining threadFunc..." << std::endl;
    ret = pthread_join(thread, NULL); std::cout << "ret = " << ret << std::endl;

    std::cout << "main: Joined threadFunc, done!" << std::endl;
    return 0;
}

Za każdym razem, gdy go uruchamiam,main() wisi napthread_join(). Śledzenie gdb pokazuje:

Thread 2 (Thread 0xb7d15b70 (LWP 257)):
#0  0xb7fde430 in __kernel_vsyscall ()
#1  0xb7fcf362 in __lll_lock_wait () at ../nptl/sysdeps/unix/sysv/linux/i386/i686/../i486/lowlevellock.S:142
#2  0xb7fcc9f9 in __condvar_w_cleanup () at ../nptl/sysdeps/unix/sysv/linux/i386/i686/../i486/pthread_cond_wait.S:434
#3  0x08048fbe in threadFunc (arg=0x0) at /home/pthread_cond_wait.cpp:22
#4  0xb7fc8ca0 in start_thread (arg=0xb7d15b70) at pthread_create.c:301
#5  0xb7de73ae in clone () at ../sysdeps/unix/sysv/linux/i386/clone.S:130

Thread 1 (Thread 0xb7d166d0 (LWP 254)):
#0  0xb7fde430 in __kernel_vsyscall ()
#1  0xb7fc9d64 in pthread_join (threadid=3083950960, thread_return=0x0) at pthread_join.c:89
#2  0x0804914a in main () at /home/pthread_cond_wait.cpp:41

JeśliPTHREAD_PRIO_INHERIT nie jest ustawiony na muteksie, wszystko działa tak, jak powinno, a program kończy się czysto.

Platformy z problemami:

Wbudowana płyta AMD Fusion, działającaPTXDist oparty na 32-bitowym Linuksie 3.2.9-rt16 (zRTpatch 16). Używamy najnowszegoOSELAS Cross Toolchain i686 (2011.11.1), używając gcc 4.6.2, glibc 2.14.1, binutils 2.21.1a, jądro 2.6.39.Ta sama tablica z toolchainem 2011.03.1 (gcc 4.5.2 / glibc 2.13 / binutils 2.18 / kernel 2.6.36).

Platformy bez problemów:

Nasza własna płyta ARM, również z systemem Linux PTXDist (32-bitowy 2.6.29.6-rt23), z wykorzystaniem narzędzia krzyżowego OSELAS arm-v4t (1.99.3) z gcc 4.3.2 / glibc 2.8 / binutils 2.18 / kernel 2.6.27 .Mój laptop (Intel Core i7), działa 64-bitowy Ubuntu 11.04 (zwirtualizowany / jądro 2.6.38.15-generic), gcc 4.5.2 / eglibc 2.13-0ubuntu13.1 / binutils 2.21.0.20110327.

Szukałem rozwiązań w sieci i natknąłem się na kilka łatek, które próbowałem, ale bez żadnego efektu:

Uczynienie zmiennych warunku priorytetem dziedziczenia.Obsługa EAGAIN z FUTEX_WAIT_REQUEUE_PI

Czy robimy coś złego w naszym kodzie, który po prostu działa na niektórych platformach, czy jest to błąd w systemach bazowych? Jeśli ktokolwiek ma jakieś pojęcie o tym, gdzie szukać, czy zna jakieś łaty lub podobne do wypróbowania, chętnie o tym usłyszę.

Dzięki!

Aktualizacje:

dyskusja na liście dyskusyjnej libc-helpraport o błędzie glibc