, стверджує, що розробляє прототип нової мови програмування.){kind=link}
Računarstvo visokih performansi potrebno je za rješavanje sve više zadataka – poput obrade slika ili raznih aplikacija dubokog učenja na neuronskim mrežama – gdje trebate obraditi ogromne količine podataka, i to dovoljno brzo, inače može potrajati nevjerovatna količina vrijeme. Uvriježeno je mišljenje da je pri izvođenju takvih operacija neizbježan kompromis između brzine i pouzdanosti. Prema ovom razmišljanju, ako je brzina prioritet, onda će pouzdanost vjerovatno patiti i obrnuto.
Međutim, grupa istraživača sa sjedištem prvenstveno na Massachusetts Institute of Technology (MIT) osporava ovu ideju, tvrdeći da zapravo možete imati sve. Prema Amandi Liu, studentici druge godine diplomskog studija na Laboratoriji za računarske nauke i veštačku inteligenciju MIT-a (CSAIL), sa novim programskim jezikom koji su napisali posebno za računarstvo visokih performansi, „brzina i ispravnost ne moraju da se takmiče. Naprotiv, mogu ići zajedno, rame uz rame, u programima koje pišemo." Liu i njen tim govorili su o potencijalu svog novostvorenog A Tensor Language (ATL) prošlog mjeseca na konferenciji Principi programskih jezika u Filadelfiji.
"Sve u našem jeziku", kaže Liu, "je za cilj da dobijemo ili jedan broj ili tenzor." Tenzori su, zauzvrat, generalizacija vektora i matrica. Dok su vektori jednodimenzionalni objekti (često predstavljeni pojedinačnim strelicama), a matrice poznati dvodimenzionalni nizovi brojeva, tenzori su n-dimenzionalni nizovi koji mogu imati oblik 3×3×3 niza, na primjer, ili čak veće (ili niske) dimenzije.
Suština kompjuterskog algoritma ili programa je da pokrene određeni proračun. Ali može postojati mnogo različitih načina za pisanje ovog programa - "iznenađujuće mnoštvo različitih implementacija koda", kako Liu i njeni koautori pišu u svom radu - od kojih su neki znatno brži od drugih. Glavni razlog iza ATL-a, objašnjava ona, je sljedeći: „S obzirom na to da je računarstvo visokih performansi toliko zahtjevno za resurse, želite biti u mogućnosti da modificirate ili prepišete programe u optimalnom obliku kako biste ubrzali stvari. Često počinjete s programom koji je najlakše napisati, ali to možda nije najbrži način da ga pokrenete, tako da i dalje trebate izvršiti dodatna prilagođavanja."
Novi komandni jezik je baziran na postojećem jeziku Coq, koji uključuje pomoćnik za dokaz. Pomoćnik za dokaz, zauzvrat, ima sposobnost da matematički precizno dokaže svoje tvrdnje. Coq ima još jedno svojstvo koje ga je učinilo privlačnim za MIT grupu: programi napisani na tom jeziku, ili njegove adaptacije, uvijek se prekidaju i ne mogu se izvoditi beskonačno u beskonačnim petljama.
Sada je to prvi i do sada jedini tenzorski jezik sa formalno verifikovanim optimizacijama. Međutim, tim MIT-a upozorava da je ATL još uvijek samo prototip -- iako obećavajući -- koji je testiran na brojnim malim programima.
Pročitajte također: