Vi presenterar en ny teknik för att verifiera egenskaper hos parallella GPU-program via testförstärkning. Den viktigaste insikten bakom vårt arbete är att vi kan använda tekniken för statiskt informationsflöde för att förstärka resultatet av ett enda testutförande över uppsättningen av alla ingångar och interleatings som påverkar egenskapen som verifieras. Vi demonstrerar empiriskt effektiviteten av testförstärkning för att verifiera rasfrihet och determinism över ett stort antal standard GPU-kärnor, genom att visa att resultatet av att verifiera en enda dynamisk körning kan förstärkas över det massiva utrymmet för möjliga dataingångar och trådinterleavings.
Ett nära relaterat arbete med Simulee är en test-förstärkningsbaserad feldetekteringsmetod REF som förstärkte resultatet av ett enda körprov för att kombinera det med statisk analys så att uppsättningen av alla ingångar och interleavings kunde verifieras.
Verifying GPU kernels by test amplification
{'venue': "PLDI '12", 'journal': None, 'mag_field_of_study': ['Computer Science']}