compute-sanitizer: toiminnallisen oikeellisuuden tarkistustyökalujen kokonaisuus CUDA-ohjelmille

Saatavilla

Roihu-GPU: versio riippuu CUDA-ympäristöstä

Lisenssi

Käyttö on mahdollista sekä akateemisiin että kaupallisiin tarkoituksiin.

Käyttö

compute-sanitizer on CUDA-työkalupakkiin sisältyvä toiminnallisen oikeellisuuden tarkistustyökalujen kokonaisuus (cuda-moduuli on ladattava). Työkalun käyttämiseksi CUDA-koodi on käännettävä lisävalitsimilla -g ja -G.

Työkalua voidaan käyttää joko interaktiivisessa istunnossa tai eräajossa. Sovellus käynnistetään seuraavasti (lisää compute-sanitizer-komennon eteen srun eräajossa):

compute-sanitizer  --tool <tool> ./cuda_program

missä <tool> on yksi useista alityökaluista erityyppisiin tarkistuksiin:

memcheck: pystyy tarkasti havaitsemaan ja paikantamaan CUDA-sovellusten muistiviittausvirheet, kuten alueen ulkopuoliset ja väärin kohdistetut muistihakut. Se voi myös raportoida GPU:n kohtaamat laitteistopoikkeukset (oletus)
racecheck: voi raportoida jaetun muistin datan käyttöön liittyviä vaaratilanteita, jotka voivat aiheuttaa kilpajuoksutilanteita.
initcheck: voi raportoida tilanteita, joissa GPU tekee alustamattomia hakuja globaaliin muistiin
synccheck: voi raportoida tilanteita, joissa sovellus yrittää käyttää synkronointiprimitiivejä virheellisesti

Info

Joskus ulkoiset kirjastot (esim. MPI) tuottavat paljon vääriä positiivisia havaintoja