Pytea, analizator błędu kształtu tensora Pytorcha, został zaprojektowany do statycznego skanowania aplikacji Pytorcha i wykrywania możliwych błędów kształtu poprzez analizę ścieżek wykonania i ograniczeń kształtu tensora. Pytea może jednak zmagać się z niektórymi interfejsami API Pytorch, jeśli nie są one w pełni wdrożone lub obsługiwane w ramach jego ram.
Analiza Pytea może podnieść fałszywe alarmy, jeśli kod zawiera Pytorch lub inne interfejsy API innych firm, które nie zostały wdrożone. Oznacza to, że jeśli Pytea napotyka niezmienione wywołanie API, może to nieprawidłowo oznaczać go jako błąd lub wydać ostrzeżenie. Narzędzie rejestruje każde niezmienione wywołanie interfejsu API w swoich dziennikach, umożliwiając użytkownikom określenie, które konkretne interfejsy API nie są obsługiwane [10].
Ponadto skuteczność Pytea może być ograniczona przez złożoność analizowanego kodu. Na przykład, jeśli kod obejmuje złożone operacje lub ograniczenia nieliniowe, które są trudne do obsługi SMT Solver (Z3), Pytea może sklasyfikować te przypadki jako „niezdolne” i limit czasu [10]. Jednak specyficzne interfejsy Pytorch, z którymi walczy Pytea, nie są wyraźnie wymienione, ale wszelkie niezapłacone lub zbyt złożone operacje mogą stanowić wyzwania.
Cytaty:[1] https://arxiv.org/pdf/2112.09037.pdf
[2] https://stackoverflow.com/questions/59158044/installing-a-specific-pietorch-build-f-e-cpu-ly-with-with-peth
[3] https://pytorch.org/docs/stable/func.ux_limitacje.html
[4] https://pytorch.org/docs/stable/torch.compiler_fine_grain_apis.html
[5] https://pytorch.org/functorch/stable/ux_limitaTations.html
[6] https://discuss.pytorch.org/t/survey-what-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-using-pitorch-api/22669
[9] https://www.altexsoft.com/blog/pytorch-library/
[10] https://github.com/ropas/pytea