use PTHREAD_MUTEX_INITIALIZER for static mutex