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

Saatavuus

Puhti: versio riippuu CUDA-ympäristöstä
Mahti: versio riippuu CUDA-ympäristöstä
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 täytyy ladata). Työkalun käyttämiseksi CUDA-koodi on käännettävä lisävalitsimilla -g ja -G.

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

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

missä <tool> on yksi useista eri tarkistustyypeille tarkoitetuista alityökaluista:

memcheck: pystyy havaitsemaan tarkasti CUDA-sovellusten muistialueen rajojen ylitykset ja väärin kohdistetut muistiviittausvirheet sekä kohdistamaan ne oikeaan paikkaan. Se voi myös raportoida GPU:n kohtaamat laitteistopoikkeukset (oletus)
racecheck: voi raportoida jaetun muistin datan käyttöön liittyviä vaaratilanteita, jotka voivat aiheuttaa kilpatilanteita.
initcheck: voi raportoida tilanteita, joissa GPU tekee alustamattomia käyttöjä globaaliin muistiin
synccheck: voi raportoida tilanteita, joissa sovellus yrittää käyttää synkronointiprimitiiivejä virheellisesti

Info

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