Если бы все ассемблерные команды выполнялись ровно в том порядке как они написаны, то программы работали бы на порядок медленнее. Смысл переупорядочивания как раз в том, чтобы сделать такие правила, которые не выносят мозг программистам, и, в то же время, позволяют эффективно параллелить выполнение.
Вы узнали, что такое суперскалярность и спекулятивное вычисление?????

А по сути - зачем вам "модель памяти", если воспользоваться ей по крайней мере на ПЛК производства ОВЕН Вы не можете???