a. Study the solution and explain w

a. Study the solution and explain why it works.
b. If read and write operations on variables are not atomic, then a read operation that is concurrent with a write on the same variable can return an arbitrary value. Show that bakery algorithm works even if the read and write operations are not atomic. (Note: Read the original paper for a proper understanding of the solution.)
7.9 In [L85], Lamport presented the following mutual exclusion algorithm for a shared- memory model:

Результаты (русский) 1:

а. изучение решения и объяснить, почему это работает.б. Если чтения и записи операций на переменные не являются атомарными, то операцию чтения, которая одновременно с записи на той же переменной может возвращать произвольное значение. Показать, что пекарня алгоритм работает, даже если операции чтения и записи не являются атомарными. (Примечание: Читать оригинальный документ для правильного понимания решения.)7.9 в [L85] Лэмпорт представил следующий алгоритм взаимного исключения для модели общей памяти:

Результаты (русский) 2:

а. Изучить решение и объяснить , почему это работает.
Б. Если операции чтения и записи на переменные не являются атомарными, то операция чтения, которая одновременно с записью на той же самой переменной может вернуть произвольное значение. Покажите , что алгоритм пекарня работает , даже если операции чтения и записи не являются атомарными. (Примечание:. Прочитайте оригинальную бумагу для правильного понимания решения)
7.9 в [L85], Лампорт представил следующий алгоритм взаимного исключения для разделяемой модели памяти:

Результаты (русский) 3:

а. исследование решение и объяснить, почему это работает.b) если операций чтения и записи о переменных, не атомной, то читать операции, которая является одновременно с писать на одной переменной может вернуться, произвольный ценности.показать, что пекарня алгоритм работает даже в том случае, если читать и писать, операции не атомной.(примечание: прочитать оригинал документа для надлежащего понимания решения.)7.9 в [l85], лэмпорт представила следующие взаимной изоляции алгоритм совместной - модель памяти: