Estoy estudiando sistemas operativos deConceptos del sistema operativo por Silberschatz, Galvin y Gagne.

En la página 229, el libro dice esto acerca deSolución Petersons :

Debido a la forma en que las arquitecturas de computadoras modernas realizan instrucciones básicas en lenguaje de máquina, como cargar y almacenar, no hay garantías de que la solución de Peterson funcione correctamente en tales arquitecturas.

Busqué esto enWikipedia y encontré esto que parece ser el más cercano a una explicación:

La mayoría de las CPU modernas reordenan los accesos de memoria para mejorar la eficiencia de ejecución. Dichos procesadores invariablemente ofrecen alguna forma de forzar el ordenamiento en un flujo de accesos a la memoria, generalmente a través de una instrucción de barrera de memoria. La implementación de los algoritmos de Peterson y relacionados en los procesadores que reordenan los accesos a la memoria generalmente requiere el uso de tales operaciones para funcionar correctamente para evitar que las operaciones secuenciales se realicen en un orden incorrecto. Tenga en cuenta que la reordenación de los accesos a la memoria puede ocurrir incluso en procesadores que no reordenan las instrucciones

Estoy teniendo problemas para entender lo que esto significa o si esta es la respuesta.

Entonces, ¿por qué no se garantiza que la solución de Peterson funcione en arquitecturas modernas?