Η Pytea, ένας αναλυτής σφάλματος σχήματος τανυστή Pytorch, έχει σχεδιαστεί για να σαρώνει τις εφαρμογές Pytorch και να ανιχνεύει πιθανά σφάλματα σχήματος αναλύοντας τις διαδρομές εκτέλεσης και τους περιορισμούς σχήματος τανυστή. Ωστόσο, η Pytea μπορεί να αγωνιστεί με ορισμένα API Pytorch εάν δεν έχουν υλοποιηθεί ή υποστηρίζονται πλήρως στο πλαίσιο της.
Η ανάλυση της Pytea μπορεί να αυξήσει ψευδείς συναγερμούς εάν ο κώδικας περιέχει Pytorch ή άλλα API τρίτων που δεν έχουν εφαρμοστεί. Αυτό σημαίνει ότι εάν η Pytea συναντήσει μια μη εφαρμοσμένη κλήση API, μπορεί να το επισημάνει λανθασμένα ως σφάλμα ή να εκδώσει προειδοποίηση. Το εργαλείο καταγράφει κάθε μη εφαρμοσμένη κλήση API στα αρχεία καταγραφής του, επιτρέποντας στους χρήστες να προσδιορίσουν ποια συγκεκριμένα API δεν υποστηρίζονται [10].
Επιπλέον, η αποτελεσματικότητα της Pytea μπορεί να περιοριστεί από την πολυπλοκότητα του κώδικα που αναλύει. Για παράδειγμα, εάν ο κώδικας περιλαμβάνει πολύπλοκες λειτουργίες ή μη γραμμικούς περιορισμούς που είναι δύσκολο για το SMT Solver (Z3) να χειριστεί, η Pytea μπορεί να ταξινομήσει αυτές τις περιπτώσεις ως "αδιαμφισβήτητο" και χρονικό όριο [10]. Ωστόσο, τα συγκεκριμένα API Pytorch που αγωνίζεται με την Pytea δεν αναφέρονται ρητά, αλλά τυχόν μη εφαρμοσμένες ή υπερβολικά σύνθετες επιχειρήσεις θα μπορούσαν να προκαλέσουν προκλήσεις.
Αναφορές:[1] https://arxiv.org/pdf/2112.09037.pdf
[2] https://stackoverflow.com/questions/59158044/installing-a-specific-pytorch-build-f-e-cpu-onlyweth-withet
[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
[8] https://discuss.pytorch.org/t/is-there-an-elegant-way-to-calculate-integral-image-using-pytorch-api/22669
[9] https://www.altexsoft.com/blog/pytorch-library/
[10] https://github.com/ropas/pytea