Intel PinPlay Pinballs

Les Intel PinPlay Pinballs sont des points de contrôle architecturaux spécialisés et des traces d'instructions utilisés pour la répétition déterministe de l'exécution logicielle. Développés par Intel Corporation, ils permettent aux développeurs et aux chercheurs d'enregistrer l'exécution de programmes complexes, y compris des applications multithreadées, et de les rejouer exactement dans le but de débogage, d'analyse de performance et de simulation. Cette technologie est particulièrement cruciale pour les simulateurs d'architecture comme Sniper, où les 'pinballs' offrent un moyen portable et indépendant du système d'exploitation pour évaluer de nouvelles instructions CPU et la performance matérielle sans nécessiter la configuration de l'application originale.

L'outil a émergé des travaux d'Intel sur Pin, un cadre d'instrumentation binaire dynamique. Les pinballs résolvent le problème critique de la non-déterminisme dans le calcul parallèle en capturant les effets secondaires de la mémoire et les appels système. Bien que l'outil soit fourni par Intel, il est souvent utilisé en collaboration avec des institutions académiques pour des recherches et développements avancés en ingénierie logicielle. Le produit reste un élément de niche mais essentiel de l'Emulateur de Développement Logiciel d'Intel (SDE) et de l'écosystème de développement élargi d'Intel.