Вот тест и набор, написанные в программном обеспечении:
boolean TestAndSet(boolean *target) {
boolean rv = *target;
*target = TRUE;
return rv;
}
и
do {
while(TestAndSetLock(&lock))
; // do nothing
// critical section
lock = FALSE;
// remainder section
} while(TRUE);
Можем ли мы использовать этот механизм в процессорах, которые не поддерживают проверку и установку на аппаратном уровне? Если да, то как обеспечивается атомарность?
Вы можете использовать алгоритм взаимного исключения «пекарня» Лампорта на машинах без TAS/CAS, чтобы ограничить доступ к «атомарному» (защищенному) значению.
http://www.disi.unige.it/person/DelzannoG/SO1/AA0607/bakery.htm
Это усложняется только в том случае, если у вас нет разумно ограниченных процессов «N».
Тест и установка не могут быть реализованы в программном обеспечении без аппаратной поддержки так, как вы предложили.
Это потому, что TestAndSet выше должен быть механизмом, который должен использоваться для обеспечения взаимного исключения, но он не является атомарным. Однако атомарность — это еще одно название взаимного исключения: внутренние переменные TestAndSet должны быть защищены, гарантируя, что два процесса не смогут выполнять его код одновременно.
Таким образом, вы определили метод обеспечения взаимного исключения, который сам по себе требует некоторого механизма для обеспечения взаимного исключения. Этот трюк можно повторять несколько раз, но реального прогресса не будет без какой-либо аппаратной поддержки.
