PYTEA, Pytorch -tensorin muotovirhealysaattori, on suunniteltu skannaamaan staattisesti pytorch -sovellukset ja havaitsemaan mahdolliset muotovirheet analysoimalla suorituspolut ja tenorin muodon rajoitukset. PYTEA voi kuitenkin kamppailee tiettyjen Pytorch -sovellusliittymien kanssa, jos niitä ei täysin toteuteta tai tue sen puitteissa.
PYTEA: n analyysi voi herättää vääriä hälytyksiä, jos koodi sisältää pytorchia tai muita kolmansien osapuolien sovellusliittymiä, joita ei ole toteutettu. Tämä tarkoittaa, että jos Pytea kohtaa toteuttamatonta sovellusliittymäkutsua, se voi liittää sen virheellisesti virheenä tai antaa varoituksen. Työkalu tallentaa kukin toteuttamatonta sovellusliittymän puhelua, jolloin käyttäjät voivat tunnistaa, mitä tiettyjä sovellusliittymiä ei tueta [10].
Lisäksi PYTEA: n tehokkuutta voi rajoittaa analysoimansa koodin monimutkaisuus. Esimerkiksi, jos koodiin sisältyy monimutkaisia toimintoja tai epälineaarisia rajoituksia, jotka ovat SMT-ratkaisun (Z3) käsittelemistä, PYTEA saattaa luokitella nämä tapaukset "loputtomaksi" ja aikakatkaisuksi [10]. Erityisiä pytorch -sovellusliittymiä, joiden kanssa Pytea kamppailee, ei kuitenkaan ole nimenomaisesti lueteltu, mutta kaikki mahdolliset tai liian monimutkaiset operaatiot voivat aiheuttaa haasteita.
Viittaukset:[1] https://arxiv.org/pdf/2112.09037.pdf
.
[3] https://pytorch.org/docs/stable/func.ux_limitations.html
[4] https://pytorch.org/docs/stable/torch.compiler_fine_grain_apis.html
[5] https://pytorch.org/functorch/stable/ux_limitations.html
[6] https://discuss.pytorch.org/t/survey-what-are-you-using-the-c-api-for/55163
[7] https://docs.habana.ai/en/latest/pytorch_customop_api/page_index.html
.
[9] https://www.altexsoft.com/blog/pytorch-library/
[10] https://github.com/ropas/pyTea