fixed PTHREAD_MUTEX_ROBUST [4]