Un nuovo linguaggio di programmazione chiamato ATL per il calcolo ad alte prestazioni
ATL è l’unico linguaggio tensoriale con ottimizzazioni formalmente verificate che è stato testato su una serie di piccoli programmi.
I ricercatori del MIT hanno creato un nuovo linguaggio di programmazione per il calcolo ad alte prestazioni chiamato “A Tensor Language”. ATL consente agli utenti di scrivere programmi per l’elaborazione ad alte prestazioni in modo ottimale per velocizzare le cose.
“Tutto nella nostra lingua mira a produrre un numero singolo o un tensore”, ha affermato Amanda Liu, dottoranda del secondo anno presso il MIT Computer Science and Artificial Intelligence Laboratory e uno dei creatori di ATL . I tensori, a loro volta, sono generalizzazioni di vettori e matrici. Mentre i vettori sono oggetti unidimensionali (spesso rappresentati da singole frecce) e le matrici sono familiari array bidimensionali di numeri, i tensori sono array n-dimensionali, che potrebbero assumere la forma di un array 3x3x3, per esempio, o qualcosa di ancora più alto (o inferiori) dimensioni.
Amanda Liu insieme al post-dottorato dell’Università della California a Berkeley Gilbert Louis Bernstein, al professore associato del MIT Adam Chlipala e al professore assistente del MIT Jonathan Ragan-Kelley hanno creato “A Tensor Language”.
Il progetto ATL combina due dei principali interessi di ricerca di Ragan-Kelley e Chlipala. Ragan-Kelley ha lavorato all’ottimizzazione di algoritmi nel contesto del calcolo ad alte prestazioni. Chlipala, nel frattempo, si è concentrata maggiormente sulla verifica formale (come in matematica) delle ottimizzazioni algoritmiche
ATL è l’unico linguaggio tensoriale con ottimizzazioni formalmente verificate che è stato testato su una serie di piccoli programmi. “Uno dei nostri obiettivi principali, guardando al futuro, è migliorare la scalabilità di ATL, in modo che possa essere utilizzato per i programmi più grandi che vedere nel mondo reale”, ha aggiunto Lui.
