Весь out-of-order прекрасен, пока не изменяется внешнее состояние (например запись/чтение периферийных адресов нельзя ни переупорядочивать, ни откатывать), однако если принять, что страница ввода/вывода находится всегда по фиксированным адресам (как в большинстве реализаций), то можно считать что запись/чтение RAM не имеет побочных эффектов — вот уж правда безграничный простор для оптимизаций. Оно и так порвёт FPGA без вопросов, а если сделать что RAM не имеет побочных эффектов то отрыв будет космическим.

