Pthread-win32 races?

[Sergey Fokin]

Hi all.

I have some peculiarities with pthread-win32 and suppose there's a bug
in library.

Here's my example code:

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

void * thr(void * arg)
{
  sem_post((sem_t*)arg);
  return 0;
}

int main()
{
    sem_t sem;
    int error = 0;
    error = sem_init(&sem, 0, 0); // OK
    assert(!error);

    pthread_t thread;
    error = pthread_create(&thread, 0, thr, &sem); // OK
    assert(!error);

    sem_wait(&sem);
    error = sem_destroy(&sem);
    if (error != 0)
    {
        error = errno; // errno == 16 (EBUSY)
        printf("errno = %d\n", error);
    }

    pthread_join(thread, 0);

    return error;
}


So, here we have error 16 (0x10) in almost all runs, independently on
compile options (at least i couldn't find working combination).
Compiler is msvc 7.1 sp1.

I've read about some troubles with it in BUGS file, but first, this
one is unrelated to those, as I can see, second all tests from `tests'
directory run with no errors, but this one fails even with same
compile options.

When I've tried to debug, it turned out that when main() is executing
sem_destroy(), child thread is still in sem_post(). But I couldn't
find out what's going on there and supposed this is some kind of race,
this is why subject is about races.

Google didn't find similar issues about pthread-win32 library.

Really hope, this is my fault, but I have no idea where I'm wrong.

Thanks in advance.

PS I'll also try gcc for win32 and msvc8.0 later - I don't have them
on this computer.

-- 
eof