Pytorch tensör şekli hata analizörü olan Pytea, pytorch uygulamalarını statik olarak taramak ve yürütme yollarını ve tensör şekli kısıtlamalarını analiz ederek olası şekil hatalarını tespit etmek için tasarlanmıştır. Bununla birlikte, pytea, çerçevesi içinde tam olarak uygulanmaz veya desteklenmedikleri takdirde belirli Pytorch API'leri ile mücadele edebilir.
Kod pytorch veya uygulanmayan diğer üçüncü taraf API'ler içeriyorsa Pytea'nın analizi yanlış alarmlar verebilir. Bu, pytea'nın uygulanmamış bir API çağrısıyla karşılaşırsa, yanlış bir hata olarak işaretleyebileceği veya bir uyarı verebileceği anlamına gelir. Araç, her uygulanmamış API çağrısını günlüklerinde kaydeder ve kullanıcıların hangi belirli API'lerin desteklenmediğini belirlemelerine olanak tanır [10].
Ayrıca, Pytea'nın etkinliği, analiz ettiği kodun karmaşıklığı ile sınırlı olabilir. Örneğin, kod karmaşık işlemleri veya SMT çözücüsünün (Z3) kullanması zor olan doğrusal olmayan kısıtlamaları içeriyorsa, pytea bu vakaları "kararsız" ve zaman aşımı olarak sınıflandırabilir [10]. Bununla birlikte, pytea ile mücadele ettiği spesifik Pytorch API'leri açıkça listelenmez, ancak tüm uygulanmamış veya aşırı karmaşık işlemler zorluklar yaratabilir.
Alıntılar:[1] https://arxiv.org/pdf/2112.09037.pdf
[2] https://stackoverflow.com/questions/5915804/installing-a-specific-pytorch-build-f-e-cpu-only-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/functorch/stable/ux_limitations.html
[6] https://discuss.pytorch.org/t/survey-what-are-to-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-the-an-egant-way-to-calculate-integra-mage-using-pytorch-api/22669
[9] https://www.altexsoft.com/blog/pytorch-library/
[10] https://github.com/ropas/pytea