SYNCHRONIZATION OF PREDETERMINED CLASS OF LOAD/STORE OPERATIONS

For a predetermined class of load/store operations, load/store processing circuitry buffers store data of predetermined-class store operations in a predetermined-class store buffer, and controls store-to-load forwarding of store data from that buffer to predetermined- class load operations. A predetermined-class-load/store synchronization instruction controls the load/store processing circuitry to enforce that, for a hazarding younger non -predetermined-class load/store operation occurring after the predetermined-class-load/store synchronization instruction in program order and a hazarding older predetermined-class store operation occurring before the predetermined-class-load/store synchronization instruction in program order, for which address ranges overlap, the hazarding younger non-predetermined-class load/store operation observes a result of the hazarding older predetermined-class store operation. In absence of any intervening predetermined-class-load/store synchronization instruction between a given older predetermined-class store operation and a given younger non-predetermined-class load/store operation with overlapping address range, the given younger non-predetermined-class load/store operation is permitted to fail to observe a result of the given older predetermined-class store operation. Pour une classe prédéfinie d'opérations de chargement/stockage, un ensemble circuit de traitement de chargement/stockage met en mémoire tampon des données de mémoire de classe prédéfinie dans un tampon de stockage de classe prédéfinie, et commande le transfert de stockage à chargement de données de stockage depuis ce tampon à des opérations de chargement de classe prédéfinie. Une instruction de synchronisation de chargement/stockage de classe prédéfinie commande l'ensemble circuit de traitement de chargement/stockage pour faire en sorte que, pour une opération de chargement/stockage de classe non prédéfinie plus récente posant un risque qui se produit après l'instruction de synchronisation de chargement/stockage de classe prédéfinie dans l'ordre du programme et une opération de stockage de classe prédéfinie plus ancienne posant un risque qui se produit avant l'instruction de synchronisation de chargement/stockage de classe prédéfinie dans l'ordre du programme, pour lesquelles des plages d'adresses se chevauchent, l'opération de chargement/stockage de classe non prédéfinie plus récente posant un risque observe un résultat de l'opération de stockage de classe préd