¿El modelo de memoria Intel hace que SFENCE y LFENCE sean redundantes?

El modelo de memoria Intel garantiza:

Las tiendas no se reordenarán con otras tiendasLas cargas no se reordenarán con otras cargas

http://bartoszmilewski.com/2008/11/05/who-ordered-memory-fences-on-an-x86/

He visto afirmaciones de que SFENCE es redundante en x86-64 debido al modelo de memoria Intel, pero nunca LFENCE. ¿Las reglas anteriores del modelo de memoria hacen que las instrucciones sean redundantes?

Respuestas a la pregunta(1)

Su respuesta a la pregunta