, стверджує, що розробляє прототип нової мови програмування.){kind=link}
Egyre több olyan feladat megoldásához van szükség nagy teljesítményű számítástechnikára – például képfeldolgozás, vagy különféle mélytanuló alkalmazások neurális hálózatokon –, ahol hatalmas mennyiségű adatot kell feldolgozni, és ezt elég gyorsan, különben hihetetlenül sok munkaigénybe kerülhet. idő. Széles körben elterjedt az a vélemény, hogy az ilyen műveletek végrehajtásakor elkerülhetetlen a kompromisszum a sebesség és a megbízhatóság között. E felfogás szerint, ha a sebesség az elsődleges, akkor valószínűleg a megbízhatóság csorbul, és fordítva.
Az elsősorban a Massachusetts Institute of Technology (MIT) kutatóinak egy csoportja azonban megkérdőjelezi ezt az elképzelést, azzal érvelve, hogy valójában mindent megkaphat. Amanda Liu, az MIT Számítástechnikai és Mesterséges Intelligencia Laboratóriumának (CSAIL) másodéves végzős hallgatója szerint egy új programozási nyelvvel, amelyet kifejezetten a nagy teljesítményű számítástechnikára írtak, „a sebességnek és a helyességnek nem kell versenyeznie. Ellenkezőleg, együtt, egymás mellett mehetnek az általunk írt programokban." Liu és csapata az újonnan létrehozott A Tensor Language (ATL) lehetőségeiről beszélt a múlt hónapban a Programozási nyelvek elvei konferencián Philadelphiában.
„A mi nyelvünkön mindennek az a célja, hogy egyetlen számot vagy tenzort kapjunk” – mondja Liu. A tenzorok pedig vektorok és mátrixok általánosításai. Míg a vektorok egydimenziós objektumok (gyakran egyedi nyilakkal ábrázolva), a mátrixok pedig ismerős kétdimenziós számtömbök, a tenzorok n-dimenziós tömbök, amelyek például 3 × 3 × 3-as tömb formáját ölthetik. magasabb (vagy alacsony) dimenzió.
A számítógépes algoritmus vagy program lényege egy bizonyos számítás elindítása. De sokféleképpen megírható ez a program – „a különböző kódmegvalósítások meglepően sokfélesége”, ahogy Liu és szerzőtársai írják tanulmányukban –, amelyek közül néhány lényegesen gyorsabb, mint mások. Elmagyarázza, hogy az ATL mögött meghúzódó fő indoklás a következő: „Tekintettel arra, hogy a nagy teljesítményű számítástechnika olyan erőforrás-igényes, a dolgok felgyorsítása érdekében lehetővé kell tenni a programok optimális formában történő módosítását vagy átírását. Gyakran azzal a programmal kezdi, amelyet a legkönnyebb megírni, de lehet, hogy nem ez a leggyorsabb módja annak futtatásának, ezért továbbra is módosítania kell."
Az új parancsnyelv a meglévő Coq nyelven alapul, amely tartalmaz egy proof helpert. A bizonyító asszisztens viszont képes matematikailag pontosan igazolni állításait. A Coq-nak van egy másik tulajdonsága, amely vonzóvá tette az MIT csoport számára: az ezen a nyelven írt programok vagy annak adaptációja mindig véget ér, és nem futhatnak végtelen ciklusokban.
Most ez az első és eddig az egyetlen tenzornyelv, amely formálisan ellenőrzött optimalizálással rendelkezik. Az MIT csapata azonban felhívja a figyelmet arra, hogy az ATL még mindig csak egy prototípus - bár ígéretes -, amelyet számos kis programon teszteltek.
Olvassa el még: