Как работает этот алгоритм синхронизации?

Question

Я не понимаю, как это должно работать, потому что независимо от того, в какое время (test_and_set (& lock) возвращается, является ли оно истинным или ложным, код {} будет по-прежнему запускать критический раздел. ничего не делать, а затем сразу же запустить критическую секцию, так как это поможет синхронизировать нити?

Answer 1

это не независимо от того, что test_and_set возвращается. Обратите внимание, что test_and_set возвращает предыдущее значение местоположения, предоставленного ему, так while(test_and_set(&lock)); (примечание завершающая точка с запятой!) будет вращаться на процессоре, а другой поток «владеет» блокировкой.

Обратите внимание, однако, что ваша фактическая реализация test_and_set не является атомарной и, следовательно, фактически не потокобезопасна.

Возможно, это поможет, если я переформатирую ваш код, чтобы выглядеть так?

do { 
    while (test_and_set(&lock)) { 
     /* do nothing */ 
    } 
    /* critical section */ 
    lock = false; 
    /* remainder section */ 
} while (true);