, стверджує, що розробляє прототип нової мови програмування.){kind=link}
Didelio našumo skaičiavimas reikalingas norint išspręsti vis daugiau užduočių – tokių kaip vaizdo apdorojimas ar įvairios gilaus mokymosi programos neuroniniuose tinkluose – kai reikia apdoroti didžiulius duomenų kiekius ir tai padaryti pakankamai greitai, kitaip gali prireikti neįtikėtinai daug laikas. Plačiai paplitusi nuomonė, kad atliekant tokias operacijas, kompromisas tarp greičio ir patikimumo yra neišvengiamas. Pagal šį mąstymą, jei greitis yra prioritetas, greičiausiai nukentės patikimumas ir atvirkščiai.
Tačiau grupė tyrėjų, daugiausiai iš Masačusetso technologijos instituto (MIT), meta iššūkį šiai idėjai, teigdami, kad jūs iš tikrųjų galite turėti viską. Pasak MIT kompiuterių mokslo ir dirbtinio intelekto laboratorijos (CSAIL) antro kurso magistrantės Amandos Liu, naudojant naują programavimo kalbą, kurią jie parašė specialiai didelio našumo kompiuteriams, „greitis ir teisingumas neprivalo konkuruoti. Priešingai, jie gali eiti kartu, vienas šalia kito, mūsų rašomose programose. Liu ir jos komanda praėjusį mėnesį Filadelfijoje vykusioje programavimo kalbų principų konferencijoje kalbėjo apie savo naujai sukurtos tensorinės kalbos (ATL) potencialą.
„Viskas mūsų kalboje, – sako Liu, – skirta gauti arba vieną skaičių, arba tenzorių. Tenzoriai, savo ruožtu, yra vektorių ir matricų apibendrinimas. Nors vektoriai yra vienmačiai objektai (dažnai pavaizduoti atskiromis rodyklėmis), o matricos yra žinomos dvimatės skaičių matricos, tenzoriai yra n-matės masyvai, kurie gali būti, pavyzdžiui, 3 × 3 × 3 masyvo arba netgi didesnis (arba žemas) matmuo.
Kompiuterinio algoritmo ar programos esmė – inicijuoti tam tikrą skaičiavimą. Tačiau gali būti daug skirtingų būdų parašyti šią programą – „stebėtina įvairių kodų diegimų įvairovė“, kaip rašo Liu ir jos bendraautoriai, kai kurie iš jų yra žymiai greitesni nei kiti. Ji aiškina, kad pagrindinis ATL motyvas yra toks: „Atsižvelgiant į tai, kad didelio našumo skaičiavimas reikalauja daug išteklių, norisi, kad būtų galima modifikuoti arba perrašyti programas optimalia forma, kad viskas vyktų greičiau. Dažnai pradedate nuo programos, kurią parašyti lengviausia, tačiau tai gali būti ne greičiausias būdas ją paleisti, todėl vis tiek reikia atlikti tolesnius pakeitimus.
Naujoji komandų kalba yra pagrįsta esama Coq kalba, kurioje yra tikrinimo pagalbininkas. Įrodinėjimo asistentas savo ruožtu turi galimybę tiksliai įrodyti savo teiginius matematiškai. Coq turi dar vieną savybę, dėl kurios jis buvo patrauklus MIT grupei: ta kalba parašytos programos arba jos pritaikymas visada baigiasi ir negali neribotą laiką veikti begaliniais ciklais.
Dabar tai pirmoji ir kol kas vienintelė tenzorinė kalba su formaliai patvirtintais optimizavimais. Tačiau MIT komanda įspėja, kad ATL vis dar yra tik prototipas, nors ir perspektyvus, kuris buvo išbandytas daugelyje mažų programų.
Taip pat skaitykite: