Les compilateurs peuvent-ils optimiser les allocations de mémoire tas sans enfreindre la règle du 'comme si' ?

Optimisation par le compilateur des allocations de mémoire du tas

La question de savoir si un compilateur peut optimiser les allocations de mémoire du tas découle de l'observation que certains compilateurs effectuent cette optimisation, alors que d'autres ne le font pas. En particulier, clang 3.0 et les versions ultérieures optimisent le nouvel appel dans le code suivant :

int main()
{
    int* mem = new int[100];
    return 0;
}

alors que g et Visual Studio ne le font pas. Cela soulève la crainte qu'une telle optimisation puisse violer la règle du "comme si", qui oblige les compilateurs à produire un comportement observable comme si la norme avait été suivie.

Optimisation Clang et règle du "comme si"

L'histoire de l'optimisation de clang met en lumière sa validité. L'optimisation de Clang suit N3664, ce qui permet de telles optimisations. Cependant, la causalité de cette décision reste discutable.

Alternativement, la règle comme si pourrait être interprétée comme interdisant une telle optimisation car new peut lever une exception, ce qui affecterait le comportement observable. Cependant, clang pourrait faire valoir qu'il s'agit d'un détail d'implémentation et qu'il a déterminé qu'aucune exception ne sera levée.

Nouveau opérateur sans lancement

L'argument pour l'optimisation de l'appel à la version sans lancement est également valable selon la règle du "comme si". Cependant, si un opérateur global de remplacement new est présent, les optimisations pourraient potentiellement violer la règle du « comme si ». L'optimisation trop agressive précédente de Clang, qui optimisait même les appels create(), a été corrigée dans les versions ultérieures.

Conclusion

La capacité du compilateur à optimiser les allocations de mémoire du tas reste un problème. sujet de débat, avec des implications potentielles pour le comportement de la règle simulée et du code. Bien que l'optimisation de clang soit autorisée par N3664, certains arguments suggèrent qu'elle pourrait potentiellement violer la règle du "comme si" dans certaines situations. Il est crucial que les développeurs soient conscients de ces subtilités et considèrent les conséquences observables de telles optimisations.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!