Intel PinPlay Pinballs

Intel PinPlay Pinballs er spesialiserte arkitektoniske sjekkpunkter og instruksjonsspor som brukes til deterministisk avspilling av programvarekjøring. Utviklet av Intel Corporation, lar de utviklere og forskere registrere kjøringen av komplekse programmer – inkludert flertrådede programmer – og avspille dem nøyaktig for formål som feilsøking, ytelsesanalyse og simulering. Denne teknologien er særlig viktig for arkitektursimulatorer som Sniper, der 'pinballs' tilbyr en bærbar og OS-uavhengig måte å evaluere nye CPU-instruksjoner og maskinvareytelse uten behov for den opprinnelige applikasjonsoppsettet.

Verktøyet oppsto fra Intels arbeid med Pin, et dynamisk binær instrumenteringsrammeverk. Pinballs løser det kritiske problemet med ikke-determinisme i parallell databehandling ved å fange minnesideneffekter og systemanrop. Selv om verktøyet tilbys av Intel, brukes det ofte i samarbeid med akademiske institusjoner for avansert programvareingeniørforskning og utvikling. Produktet forblir en nisje, men viktig komponent i Intel Software Development Emulator (SDE) og det bredere Intel utviklerøkosystemet.