Eu estou estudando sistemas operacionais deConceitos do sistema operacional por Silberschatz, Galvin e Gagne.

Na página 229, o livro afirma isso sobrePetersons Solution :

Devido à maneira como as arquiteturas de computadores modernos executam instruções básicas de linguagem de máquina, como carga e armazenamento, não há garantias de que a solução da Peterson funcionará corretamente em tais arquiteturas.

Eu olhei isso para cimaWikipedia e encontrou isso que parece ser o mais próximo de uma explicação:

A maioria dos processadores modernos reordena os acessos à memória para melhorar a eficiência da execução. Esses processadores invariavelmente dão um jeito de forçar o pedido em um fluxo de acessos à memória, normalmente através de uma instrução de barreira de memória. A implementação do algoritmo de Peterson e algoritmos relacionados em processadores que reordenam os acessos à memória geralmente requer o uso de tais operações para funcionar corretamente para impedir que as operações sequenciais ocorram em uma ordem incorreta. Observe que a reordenação dos acessos à memória pode acontecer mesmo em processadores que não reordenam instruções

Estou tendo dificuldade em entender o que isso significa ou se é a resposta.

Então, por que a solução da Peterson não é garantida para trabalhar em arquiteturas modernas?