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):
<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