Intel PinPlay Pinballs

Os Intel PinPlay Pinballs são checkpoints arquitetônicos especializados e rastreamentos de instruções usados para a reprodução determinística da execução de software. Desenvolvidos pela Intel Corporation, permitem que desenvolvedores e pesquisadores gravem a execução de programas complexos—incluindo aplicações multithreaded—e as repliquem exatamente para fins de depuração, análise de desempenho e simulação. Essa tecnologia é particularmente vital para simuladores de arquitetura como o Sniper, onde os 'pinballs' fornecem uma maneira portátil e independente de sistema operacional para avaliar novas instruções de CPU e desempenho de hardware sem precisar da configuração original da aplicação.

A ferramenta surgiu do trabalho da Intel no Pin, uma estrutura de instrumentação binária dinâmica. Os pinballs resolvem a questão crítica da não-determinismo na computação paralela, capturando efeitos colaterais de memória e chamadas de sistema. Embora a ferramenta seja fornecida pela Intel, é frequentemente utilizada em colaboração com instituições acadêmicas para pesquisa e desenvolvimento avançado em engenharia de software. O produto continua a ser um componente de nicho, mas essencial do Emulador de Desenvolvimento de Software da Intel (SDE) e do ecossistema mais amplo de desenvolvedores da Intel.