Intel PinPlay Pinballs

Intel PinPlay Pinballs är specialiserade arkitektoniska kontrollpunkter och instruktionstracers som används för deterministisk återspelning av programvaruexekvering. Utvecklade av Intel Corporation, tillåter de utvecklare och forskare att spela in exekveringen av komplexa program – inklusive flertrådiga applikationer – och återspela dem exakt för syftet med avlusning, prestandaanalys och simulering. Denna teknik är särskilt viktig för arkitektursimulerare som Sniper, där 'pinballs' erbjuder ett portabelt och OS-oberoende sätt att utvärdera nya CPU-instruktioner och hårdvaruprestanda utan att behöva den ursprungliga applikationsinställningen.

Verktyget kom till som ett resultat av Intels arbete med Pin, en dynamisk binär instrumenteringsram. Pinballs löser det kritiska problemet med icke-determinism i parallellberäkning genom att fånga minnessidan-effekter och systemanrop. Även om verktyget tillhandahålls av Intel, används det ofta i samarbete med akademiska institutioner för avancerad programvaruteknologi forskning och utveckling. Produkten förblir en nisch men väsentlig komponent av Intel Software Development Emulator (SDE) och den bredare Intel utvecklar ekosystemet.