Я хочу узнать, заблокирована ли переменная блокировки pthread или нет. Одним из простых подходов является использование блокировки блокировки, как показано ниже.
pthread_mutex_t lockVar;
if(pthread_mutex_trylock(&lockVar) == 0)
{
//lock was successful
pthread_mutex_unlock(&lockVar);
}
else
{
//someone else holds the lock
}
Как сделать то же самое без блокировки?
Когда у вас одновременно происходит несколько исполнений, понятия «одновременность» не существует. Событиям нельзя придать глобальный порядок во времени, за исключением случаев явной синхронизации. Нет свойства, которое можно было бы наблюдать изнутри языка, которое могло бы наблюдать какой-либо порядок в целом.
В частности, вопрос «заблокирован ли тот мьютекс» бессмысленен. У него нет ответа, на основании которого вы могли бы действовать. Каким бы ни был фиктивный ответ, состояние мьютекса может измениться сразу после этого. Вы ничего не можете сделать с таким ответом, как «да, он заблокирован» (он может стать разблокированным в то же время) или «нет, он разблокирован» (он может быть заблокирован до того, как вы туда доберетесь).
Единственная вещь, которую вы можете сделать с мьютексом, — это попытаться заблокировать его. Вы либо потерпите неудачу и, таким образом, узнаете, что он был заперт, либо преуспеете и, таким образом, узнаете, что это не так, и теперь у вас есть замок.
Whatever the fictitious answer is, the state of the mutex can change right after. Ну и что?. It has no answer upon which you can act. Почему?
- person arunmoezhi; 06.09.2014
bool is_mutex_locked(pthead_mutex_t *) { return true; }, здесь нет никакого способа доказать, что эта функция неверна (без какой-либо другой промежуточной синхронизации).
- person Kerrek SB; 06.09.2014
Независимо от того, что вы хотите сделать с результатом, то, как вы это делаете прямо сейчас, является единственным способом. Вы не можете просто запросить, заблокирован ли мьютекс, не блокируя его. Если вам нужен примитив синхронизации, для которого вы можете запрашивать статус без его изменения, возможно использование семафоров POSIX. Двоичный семафор может служить в качестве блокировки (хотя в нем отсутствует концепция владельца, что может быть проблемой для вас, если вам нужна рекурсивная блокировка), и sem_getvalue может определить, "заблокирован" ли семафор в один момент времени. момент времени.
Что касается того, имеет ли вообще смысл вопрос, который вы задаете, Керрек уже сказал вам, что обычно это не так. Вот несколько возможных, минимально полезных фрагментов информации, которые вы можете получить из отрицательных или положительных результатов:
Отрицательный:
Положительный:
Но по большей части «заблокирован ли мьютекс?» не полезный вопрос.
unlocked. Затем он меняется на locked,unlocked,locked... Допустим, если наблюдатель хочет прочитать состояние переменной мьютекса (не обязательно текущее состояние). Допустим, он прочитал значение как locked. Но к тому времени, когда он/она прочитал это, значение могло измениться на unlocked. Но значение, которое он / она прочитал, было некоторым действительным состоянием в прошлом. Если значение, которое он прочитал, НЕ является значением из прошлого или настоящего, тогда у меня проблемы. Но пока это часть истории, я в порядке.
- person arunmoezhi; 06.09.2014
