, стверджує, що розробляє прототип нової мови програмування.){kind=link}
Računalstvo visokih performansi potrebno je za rješavanje sve više i više zadataka – poput obrade slike 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 trajati nevjerojatno puno vrijeme. Uvriježeno je mišljenje da je pri izvođenju takvih operacija kompromis između brzine i pouzdanosti neizbježan. Prema ovom razmišljanju, ako je brzina prioritet, tada će pouzdanost vjerojatno patiti i obrnuto.
Međutim, skupina istraživača sa sjedištem prvenstveno na Massachusetts Institute of Technology (MIT) dovodi u pitanje ovu ideju, tvrdeći da zapravo možete imati sve. Prema Amandi Liu, studentici druge godine diplomskog studija na MIT-ovom Laboratoriju za računalnu znanost i umjetnu inteligenciju (CSAIL), s novim programskim jezikom koji su napisali posebno za računalstvo visokih performansi, “brzina i ispravnost ne moraju se natjecati. Naprotiv, oni mogu ići zajedno, rame uz rame, u programima koje pišemo." Liu i njezin tim govorili su o potencijalu svog novostvorenog A Tensor Language (ATL) prošlog mjeseca na konferenciji Principles of Programming Languages u Philadelphiji.
"Sve u našem jeziku", kaže Liu, "usmjereno je na dobivanje jednog broja ili tenzora." Tenzori su pak 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 niza 3×3×3, na primjer, ili čak viša (ili niska) dimenzija.
Bit računalnog algoritma ili programa je da pokrene određeni izračun. Ali može postojati mnogo različitih načina da se napiše ovaj program -- "iznenađujuća raznolikost različitih implementacija koda," kako Liu i njezini koautori pišu u svom radu -- od kojih su neki znatno brži od drugih. Glavno obrazloženje iza ATL-a, objašnjava ona, je sljedeće: “S obzirom na to da računalstvo visokih performansi zahtijeva toliko resursa, želite biti u mogućnosti modificirati ili prepisati programe u optimalnom obliku kako biste ubrzali stvari. Često počnete s programom koji je najlakše napisati, ali to možda nije najbrži način da ga pokrenete, tako da ipak morate napraviti daljnje prilagodbe."
Novi jezik naredbi temelji se na postojećem jeziku Coq, koji uključuje pomoćnika za dokaz. Pomoćnik za dokazivanje, pak, ima sposobnost matematički precizno dokazati svoje izjave. Coq ima još jedno svojstvo koje ga je učinilo privlačnim grupi MIT: programi napisani na tom jeziku, ili njegovoj prilagodbi, uvijek završavaju i ne mogu se izvoditi beskonačno u beskonačnim petljama.
Sada je to prvi i za sada jedini tenzorski jezik s formalno verificiranim optimizacijama. Međutim, tim s MIT-a upozorava da je ATL još uvijek samo prototip -- iako obećavajući -- koji je testiran na nizu malih programa.
Pročitajte također: