caxapa.ru :: Здесь ошибка не от атомарности RMW. Здесь ошибка атомарности наблюдения за инкрементами обоих переменных. Если Задача2 получила управление после tail++, когда обе переменные равны, и успев загрузить head, потеряла управление, и в следующий раз,

Petrovich (09.11.2017 12:40, просмотров: 1) ответил VLLV на Со времен 8080 "атомарность" операции чтение-модификация-запись достигалось запретом и разрешением прерываний. Что-то изменилось?

Здесь ошибка не от атомарности RMW. Здесь ошибка атомарности наблюдения за инкрементами обоих переменных. Если Задача2 получила управление после tail++, когда обе переменные равны, и успев загрузить head, потеряла управление, и в следующий раз, если она получит его после tail++; то tail будет больше ранее загруженной head

- Здесь есть проблема переупорядочивания записи в память, ну так она лечится барьером, я ж сказал. И проблема не записи вообще, лечится с помощью volatile. Но обращу внимание, нужен И барьер, И volatile. Ибо компилятор НЕ может переставить обращения fk0(335 знак., 09.11.2017 23:45 - 23:54)
- сорта говна. Если делается неправильный вывод неважно кем, и этот вывод устраняется DI/EI, то зачем эти сущности? - VLLV(09.11.2017 12:54)
  - ИМХО, декларирован хороший принцип пассивной безопасности для контроллеров с последовательным исполнением команд: проверяй в обратном порядке чем изменял. Надо подумать годится ли для супружеских измен... - Petrovich(09.11.2017 13:05, )

Микроконтроллеры AVR