Алгоритм Петерсона: почему поток не может два раза подряд выполнить критическую секцию?

Друзья! Имеем два потока.

Читаем:

"Не должно возникать неограниченно долгого ожидания для входа одного из процессов в свой критический участок. От того момента, когда процесс запросил разрешение на вход в критическую секцию, и до того момента, когда он это разрешение получил, другие процессы могут пройти через свои критические участки лишь ограниченное число раз. Это условие получило название условия ограниченного ожидания (bound waiting) ."

Для двух потоков, которые планируются Алгоритмом Петерсона это означает, что один поток не может два раза подряд выполнить критическую секцию, то есть потоки работают так (чередуются):

1) нулевой поток выполнил критическую секцию
2) первый поток выполнил критическую секцию
3) нулевой поток выполнил критическую секцию
4) первый поток выполнил критическую секцию

и т. д.

И никак иначе! Но на самом-то деле это нет так. Вот код каждого из потоков:

Потока два, нулевой и первый. На рисунке я показал пошагово (по атоммарным операциям)- сперва отработал нулевой поток, вошёл в remainder section и её выполняет. remainder section по условию не обязана быть атоммарной. Поэтому тут вступает в дело первый поток, выполняет свою критическую секцию спокойно ДВА РАЗА, пока нулевой поток крутится себе в remainder section. Нулевой поток зелёный, слева. Первый поток синий, справа. Красным написал важные пояснения.

Почему же мне удалось смоделировать ситуацию, когда используя алгоритм Петерсона, поток выполняет критическую секцию два раза? ЧЯДНТ? Спасибо, кто откликнется.

Миниатюры

 

0

Разобрался. Дело в том, что поток МОЖЕТ сколько угодно раз выполнять критическую секцию, пока другой поток выполняет remainder section (именно такой пример я и привёл)

Просто ни один поток не может выполнять критическую секцию более одного раза, если другой поток в это время находится не в remainder section, а в цикле while(ready[1-i] && turn == 1-i);. то есть не должно такого быть, что один поток ждёт-ждёт своей очереди на выполнение критической секции (инструкция while (ready[1-i] && turn == 1-i)), а второй в это время выполняет критическую секцию несколько раз.

Но это не приведённый мной случай.

1

Не понял. Пусть 0 выполняет critical section. В этот момент 1 пытается туда же войти и виснет на мутексе. Рано или поздно 0 освобождает мутекс. Пусть 1 в этот момент вытеснен - и что, кто же помешает 0 захватить мутекс опять?

Добавлено через 1 час 49 минут

Сообщение от kravam while(ready[1-i] && turn == 1-i);

Недосмотрел последнюю точку с запятой Тогда да. Не знал такого приемчика, спасибо

0