Каково поведение __faststorefence?

Question

Что касается этого вопроса, меня интересуют только x86 и x86-64.

Для MSVC 2005 документация для __faststorefence гласит: "Гарантирует, что каждый предыдущий магазин виден глобально перед любым последующим магазином ".

Для MSVC 2008 и 2010 он изменился на: "Гарантирует, что каждая предыдущая ссылка на память, включая ссылки на загрузку и сохранение памяти, будет видна глобально перед любой последующей ссылкой на память ".

То, как написано последнее, на мой взгляд, подразумевает, что это также блокирует переупорядочение загрузки ЦП перед старыми магазинами. Это отличается от первого определения, которое подразумевает, что внутреннее свойство имеет дело только с блокировкой или переупорядочением невременных хранилищ с более старыми хранилищами (единственное другое переупорядочение x86(-64) делает).

Однако в этом случае документация, по-видимому, противоречит самой себе: "На платформе x64 эта процедура генерирует инструкцию, которая быстрее защищает хранилище, чем инструкция sfence. Используйте эту встроенную функцию вместо _mm_sfence на платформе x64".

Это подразумевает, что он по-прежнему имеет функциональность, подобную sfence, и, следовательно, загрузка может быть переупорядочена в более старых магазинах. Так что это? Может кто-нибудь прояснить мою путаницу?

PS: в поисках GCC версии этой функции я наткнулся long local; __asm__ __volatile__("lock; orl $0, %0;" : : "m"(local)); но я думаю, что это из 32-битного кода; какой будет 64-битный аналог?

Answer 1

Указанная вами версия GCC эквивалентна коду, который генерирует MSVC. Он основан на том факте, что документы по архитектуре процессора x86/x86-64 указывают, что загрузки и хранилища не переупорядочиваются с LOCKинструкция

Мне не ясно, относится ли это к невременным хранилищам, поскольку в целом ограничения модели памяти не применяются к этим инструкциям.