Yegor, а есть где-то описание "ПЛК110/Мx110 memory model"?

В частности:
1) word tearing
2) out of order writes / happens-before / data race
3) out of thin air values

Насколько я понимаю, в момент работы цикла "сетевые переменные" своих состояний не меняют. Но как оно работает в момент "до цикла/после цикла"?
Какие-нибудь гарантии на tearing есть?