Un nouveau langage de programmation appelé ATL pour le calcul haute performance

Des chercheurs du MIT ont construit un nouveau langage de programmation pour le calcul haute performance appelé A Tensor Language. ATL permet aux utilisateurs d’écrire des programmes pour le calcul haute performance de manière optimale pour accélérer les choses.

Inscrivez-vous au Data Engineering Summit 2022

Tout dans notre langage vise à produire soit un nombre unique, soit un tenseur, a déclaré Amanda Liu, doctorante en deuxième année au laboratoire d’informatique et d’intelligence artificielle du MIT et l’une des créatrices d’ATL. Les tenseurs, à leur tour, sont des généralisations de vecteurs et de matrices. Alors que les vecteurs sont des objets unidimensionnels (souvent représentés par des flèches individuelles) et que les matrices sont des tableaux de nombres bidimensionnels familiers, les tenseurs sont des tableaux à n dimensions, qui peuvent prendre la forme d’un tableau 3x3x3, par exemple, ou quelque chose d’encore plus élevé. dimensions (ou inférieures).

Amanda Liu et Gilbert Louis Bernstein, postdoctorant à l’Université de Californie à Berkeley, Adam Chlipala, professeur associé au MIT, et Jonathan Ragan-Kelley, professeur adjoint au MIT, ont créé A Tensor Language.

Le projet ATL combine deux des principaux intérêts de recherche de Ragan-Kelley et Chlipala. Ragan-Kelley a travaillé sur l’optimisation des algorithmes dans le contexte du calcul haute performance. Chlipala, quant à lui, s’est davantage concentré sur la vérification formelle (comme dans le cas de la vérification mathématique) des optimisations algorithmiques

ATL est le seul langage tenseur avec des optimisations formellement vérifiées qui a été testé sur un certain nombre de petits programmes. dans le monde réel, a ajouté Lui.