Нет. Например, для системы, которая использует только семафоры для синхронизации, невозможно обеспечить гарантии без ожидания или даже гарантии прогресса перед лицом стороннего кода (например, плагина). Извращенный или плохо написанный фрагмент кода может навсегда лишить доступа к защищенному семафорами фрагменту кода.