Hello... I just ran into this bug today. So I'm confirming the race condition exists..
FreeRTOS+POSIX possible race condition in pthread_cond_timedwait