„Pytea“, „Pytorch Tensor“ formos klaidų analizatorius, yra skirtas statiškai nuskaityti pytorch programas ir aptikti galimas formos klaidas analizuojant vykdymo kelius ir tensorinės formos apribojimus. Tačiau „Pytea“ gali kovoti su tam tikromis „Pytorch“ API, jei jos nėra iki galo įgyvendintos ar palaikomos jos sistemoje.
„Pytea“ analizė gali pakelti klaidingą aliarmą, jei kodas yra „Pytorch“ ar kitos trečiųjų šalių API, kurie nebuvo įgyvendinti. Tai reiškia, kad jei „Pytea“ susidurs su neįsikūrusiu API skambučiu, jis gali neteisingai pažymėti jį kaip klaidą arba išduoti įspėjimą. Įrankis įrašo kiekvieną neįsimenamą API skambutį savo žurnaluose, leidžiant vartotojams nustatyti, kurios konkrečios API nėra palaikomos [10].
Be to, Pytea veiksmingumą gali apriboti jo analizuojamo kodo sudėtingumas. Pvz., Jei kodas apima sudėtingas operacijas ar netiesinius apribojimus, kuriuos SMT tirpikliui (Z3) sunku valdyti, „Pytea“ gali klasifikuoti šiuos atvejus kaip „nenusakomą“ ir laiką [10]. Tačiau konkrečios „Pytorch“ API, su kuriomis kovoja „Pytea“, nėra aiškiai išvardytos, tačiau bet kurios neįdomios ar pernelyg sudėtingos operacijos gali sukelti iššūkių.
Citatos:[1] https://arxiv.org/pdf/2112.09037.pdf
[2] https://stackoverflow.com/questions/59158044/installing-a- specific-pytorch-uildf-f-e-cpu-ingly-with-poetry
[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/funkcorch/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
[8] https://discuss.pytorch.org/t/is-there-an-elegant-way-to-calculate-integral-image-sing-pytorch-api/22669
[9] https://www.altexsoft.com/blog/pytorch-library/
[10] https://github.com/ropas/pytea