, стверджує, що розробляє прототип нової мови програмування.){kind=link}
Απαιτούνται υπολογιστές υψηλής απόδοσης για την επίλυση ολοένα και περισσότερων εργασιών – όπως η επεξεργασία εικόνας ή διάφορες εφαρμογές βαθιάς μάθησης σε νευρωνικά δίκτυα – όπου πρέπει να επεξεργαστείτε τεράστιες ποσότητες δεδομένων και να το κάνετε αρκετά γρήγορα, διαφορετικά μπορεί να χρειαστούν απίστευτα χρόνος. Πιστεύεται ευρέως ότι κατά την εκτέλεση τέτοιων λειτουργιών, ένας συμβιβασμός μεταξύ ταχύτητας και αξιοπιστίας είναι αναπόφευκτος. Σύμφωνα με αυτή τη σκέψη, εάν η ταχύτητα είναι προτεραιότητα, τότε η αξιοπιστία είναι πιθανό να υποφέρει και το αντίστροφο.
Ωστόσο, μια ομάδα ερευνητών που εδρεύουν κυρίως στο Ινστιτούτο Τεχνολογίας της Μασαχουσέτης (MIT) αμφισβητούν αυτήν την ιδέα, υποστηρίζοντας ότι στην πραγματικότητα μπορείς να τα έχεις όλα. Σύμφωνα με την Amanda Liu, δευτεροετή φοιτήτρια στο Computer Science and Artificial Intelligence Laboratory (CSAIL) του MIT, με μια νέα γλώσσα προγραμματισμού που έγραψαν ειδικά για υπολογιστές υψηλής απόδοσης, «η ταχύτητα και η ορθότητα δεν χρειάζεται να συναγωνίζονται. Αντίθετα, μπορούν να πάνε μαζί, δίπλα δίπλα, στα προγράμματα που γράφουμε». Η Liu και η ομάδα της μίλησαν για τις δυνατότητες της νεοσύστατης γλώσσας A Tensor Language (ATL) τον περασμένο μήνα στο συνέδριο Principles of Programming Languages στη Φιλαδέλφεια.
«Τα πάντα στη γλώσσα μας», λέει ο Liu, «στοχεύουν στο να πάρουμε είτε έναν μόνο αριθμό είτε έναν τανυστή. Οι τανυστές, με τη σειρά τους, είναι μια γενίκευση διανυσμάτων και πινάκων. Ενώ τα διανύσματα είναι μονοδιάστατα αντικείμενα (συχνά αντιπροσωπεύονται από μεμονωμένα βέλη) και οι πίνακες είναι γνωστοί δισδιάστατοι πίνακες αριθμών, οι τανυστές είναι πίνακες ν-διάστατων που μπορούν να λάβουν τη μορφή πίνακα 3×3×3, για παράδειγμα, ή ακόμα και υψηλότερη (ή χαμηλή) διάσταση.
Η ουσία ενός αλγορίθμου ή προγράμματος υπολογιστή είναι να ξεκινήσει ένας συγκεκριμένος υπολογισμός. Αλλά μπορεί να υπάρχουν πολλοί διαφορετικοί τρόποι για να γραφτεί αυτό το πρόγραμμα -- "μια εκπληκτική ποικιλία διαφορετικών εφαρμογών κώδικα", όπως γράφουν η Liu και οι συν-συγγραφείς της στην εργασία τους -- μερικοί από τους οποίους είναι πολύ πιο γρήγοροι από άλλους. Το βασικό σκεπτικό πίσω από το ATL, εξηγεί, είναι το εξής: «Δεδομένου ότι οι υπολογιστές υψηλής απόδοσης είναι τόσο εντατικοί σε πόρους, θέλετε να μπορείτε να τροποποιήσετε ή να ξαναγράψετε προγράμματα σε βέλτιστη μορφή για να επιταχύνετε τα πράγματα. Συχνά ξεκινάτε με το πρόγραμμα που είναι πιο εύκολο να γραφτεί, αλλά αυτός μπορεί να μην είναι ο πιο γρήγορος τρόπος για να το εκτελέσετε, επομένως πρέπει να κάνετε περαιτέρω προσαρμογές."
Η νέα γλώσσα εντολών βασίζεται στην υπάρχουσα γλώσσα Coq, η οποία περιλαμβάνει έναν βοηθό απόδειξης. Ο βοηθός απόδειξης, με τη σειρά του, έχει τη δυνατότητα να αποδείξει τις δηλώσεις του με μαθηματική ακρίβεια. Το Coq έχει μια άλλη ιδιότητα που το έκανε ελκυστικό για την ομάδα του MIT: προγράμματα γραμμένα σε αυτήν τη γλώσσα ή μια προσαρμογή της, τερματίζονται πάντα και δεν μπορούν να εκτελούνται επ' αόριστον σε άπειρους βρόχους.
Τώρα είναι η πρώτη και μέχρι στιγμής η μοναδική γλώσσα τανυστήρα με επίσημα επαληθευμένες βελτιστοποιήσεις. Η ομάδα του MIT προειδοποιεί, ωστόσο, ότι το ATL εξακολουθεί να είναι μόνο ένα πρωτότυπο -- αν και πολλά υποσχόμενο -- που έχει δοκιμαστεί σε πολλά μικρά προγράμματα.
Διαβάστε επίσης: