“Sometimes pthread_cond_signal() doesn’t do anything, which can easily hang your program.”
The C library under almost every Linux program has a condition variable that can silently drop a wakeup. Distributions shipped a mitigation that made the symptom rarer, so the real fix sat unreviewed. It took a TLA+ model 2.5 hours to find the deadlock. Nobody pays to review the plumbing everyone depends on.