1
В x86/x64 инструкции для временного хранения, такие как MOVNTI и MOVNTPS, обеспечивают более низкие гарантии порядка памяти, чем «обычные» магазины. Я понимаю, что заборы (например, SFENCE) необходимы при совместном использовании памяти, которая будет записана на не-временные потоки. Тем не менее, необходимы ли какие-либо инструкции по заграждению для потоковой локальной памяти? Если я пишу в папку через MOVNTPS, является ли запись гарантированной видимой для последующих инструкций в том же потоке без какой-либо инструкции по заграждению?x86 Non-Temporal Инструкции: требуется ли фехтование для локальных данных?
Одна нить ** всегда ** наблюдает за своими * действиями в программном порядке. Основным правилом нестандартных процессоров является то, что они всегда ведут себя так, как если бы ваш код выполнялся в программном порядке. (Единственным исключением является то, что архитектура имеет другие правила: например, IA-64 был экспериментом в явном параллелизме, где каждый блок команд VLIW выполнялся параллельно. Таким образом, вы могли бы сделать обмен с помощью '{a = b, b = a} 'в том же блоке инструкций или что-то в этом роде. Думаю, слот задержки задержки в некоторых RISC-архитектурах является еще одним примером.) –
Вероятно, не существует ISA, где однопоточный код должен ничего обойти. Ядра могут легко скрыть собственные буферы хранилища. –