Каков наиболее эффективный способ управления отслеживающими официантами с блокировками на основе фьютексов?

Я использовал подход с подсчетом ожидания к блокировкам на основе фьютекса: рядом с фьютексом int, имея второй int, который является счетчиком ожидания, который официанты, борющиеся за блокировку, атомарно увеличивают перед выполнением операции ожидания фьютекса и атомарно уменьшают по возвращении из системного вызова futex. Однако я заметил, что это имеет патологически плохие свойства с точки зрения количества бесполезных системных вызовов пробуждения, выполняемых, когда количество запущенных потоков превышает количество процессоров, что выглядит следующим образом:

Поток A приостановлен в ожидании фьютекса, и, таким образом, количество ожидающих увеличено, но он не собирается снова получать квант времени в ближайшее время, потому что все процессоры заняты. Тем временем поток B быстро выполняет операции, которые моментально захватывают и освобождают блокировку. Каждый раз он видит, что есть ожидающий, и поэтому делает системный вызов пробуждения фьютекса, несмотря на то, что поток А уже отправил пробуждение и просто еще не успел запуститься и уменьшить себя от счетчика ожидающих.

Есть ли хороший способ обойти это? Я чувствую, что должен быть какой-то безопасный способ для потока, отправляющего событие пробуждения, сделать эквивалент уменьшения счетчика ожидания (сделать это напрямую не представляется возможным, так как было бы трудно договориться, чтобы множественные декременты не происходили ). При необходимости можно добавить одно или несколько дополнительных полей int в состояние блокировки.

Один альтернативный дизайн, о котором я знаю, отказывается от подсчета официантов и вместо этого имеет только флаг конкуренции на самой атомарной блокировке int. Как это происходит, операции разблокировки сбрасывают флаг, а попытки (успешные или нет) получить блокировку после того, как было обнаружено, что она удерживается, устанавливают флаг. При разблокировке, если флаг установлен, выполняется операция пробуждения. Я считаю, что этот дизайн позволяет избежать проблемы, с которой я сталкиваюсь, но у него есть другая проблема: при низкой конкуренции официант, который прибывает, когда блокировка удерживается, безоговорочно выполнит системный вызов пробуждения фьютекса, когда он освобождает блокировку, даже если нет никаких другие официанты. Возможно, этот дизайн можно было бы совместить с подсчетом ожидающих, чтобы устранить некоторые или все ложные системные вызовы пробуждения?