Intel pthreads Issue

segv.c

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

static pthread_t thread;
static pthread_mutex_t mutex;

void* work(void* ptr)
{
    pthread_detach(pthread_self());
    for (;;) {
        if (pthread_mutex_trylock(&mutex))
            continue;
        printf("thread");
        printf("\n");
        pthread_mutex_unlock(&mutex);
    }
}

int main()
{
    pthread_mutex_init(&mutex, NULL);
    pthread_create(&thread, NULL, work, NULL);

    for (;;) {
        // XXX: This will cause some systems to segfault.
        // https://software.intel.com/en-us/forums/intel-isa-extensions/topic/675036
        pthread_mutex_unlock(&mutex);
        if (pthread_mutex_trylock(&mutex))
            continue;
        printf("main");
        printf("\n");
        pthread_mutex_unlock(&mutex);
    }

    return 0;
}