It's also difficult to solve problems like priority inversion, where a high-priority task H is blocked on a low-priority task L. Ideally you'd increase L's pri

It's also difficult to solve problems like priority inversion, where a high-priority task H is blocked on a low-priority task L. Ideally you'd increase L's priority so H can make progress. But a semaphore doesn't track which thread is in the critical section, so you don't know which thread's priority to boost.