Intel PinPlay Pinballs

Gli Intel PinPlay Pinballs sono checkpoint architettonici specializzati e tracciamenti delle istruzioni utilizzati per la riproduzione deterministica dell'esecuzione del software. Sviluppati da Intel Corporation, consentono a sviluppatori e ricercatori di registrare l'esecuzione di programmi complessi, comprese le applicazioni multi-thread, e di riprodurle esattamente per scopi di debugging, analisi delle prestazioni e simulazione. Questa tecnologia è particolarmente vitale per simulatori di architettura come Sniper, dove i 'pinballs' forniscono un modo portatile e indipendente dal sistema operativo per valutare nuove istruzioni CPU e prestazioni hardware senza necessitare della configurazione originale dell'applicazione.

Lo strumento è emerso dal lavoro di Intel su Pin, un framework di strumentazione binaria dinamica. I pinballs risolvono il problema critico della non-determinismo nel calcolo parallelo catturando effetti collaterali della memoria e chiamate di sistema. Sebbene lo strumento sia fornito da Intel, è spesso utilizzato in collaborazione con istituzioni accademiche per ricerche e sviluppi avanzati nell'ingegneria del software. Il prodotto rimane un componente di nicchia ma essenziale del Intel Software Development Emulator (SDE) e dell'ecosistema più ampio degli sviluppatori Intel.