, стверджує, що розробляє прототип нової мови програмування.){kind=link}
Vysokovýkonná výpočtová technika je potrebná na riešenie čoraz väčšieho množstva úloh – ako je spracovanie obrazu alebo rôzne aplikácie hlbokého učenia v neurónových sieťach – kde potrebujete spracovať obrovské množstvo dát a to dostatočne rýchlo, inak to môže trvať neskutočne veľa čas. Všeobecne sa verí, že pri vykonávaní takýchto operácií je nevyhnutný kompromis medzi rýchlosťou a spoľahlivosťou. Podľa tohto myslenia, ak je prioritou rýchlosť, potom pravdepodobne utrpí spoľahlivosť a naopak.
Skupina výskumníkov so sídlom predovšetkým na Massachusettskom technologickom inštitúte (MIT) však túto predstavu spochybňuje a tvrdí, že v skutočnosti môžete mať všetko. Podľa Amandy Liu, postgraduálnej študentky druhého ročníka na Computer Science and Artificial Intelligence Laboratory (CSAIL) na MIT, s novým programovacím jazykom, ktorý napísali špeciálne pre vysokovýkonnú výpočtovú techniku, „rýchlosť a správnosť si nemusia konkurovať. Naopak, môžu ísť spolu, bok po boku, do programov, ktoré píšeme.“ Liu a jej tím hovorili o potenciáli svojho novovytvoreného jazyka A Tensor Language (ATL) minulý mesiac na konferencii Principles of Programming Languages vo Philadelphii.
"Všetko v našom jazyku," hovorí Liu, "je zamerané na získanie jedného čísla alebo tenzora." Tenzory sú zase zovšeobecnením vektorov a matíc. Zatiaľ čo vektory sú jednorozmerné objekty (často reprezentované jednotlivými šípkami) a matice sú známe dvojrozmerné polia čísel, tenzory sú n-rozmerné polia, ktoré môžu mať napríklad formu poľa 3×3×3 alebo dokonca vyššej (alebo nízkej) dimenzie.
Podstatou počítačového algoritmu alebo programu je spustiť určitý výpočet. Ale môže existovať mnoho rôznych spôsobov, ako napísať tento program - "prekvapivá rozmanitosť rôznych implementácií kódu", ako píšu Liu a jej spoluautori vo svojom článku - z ktorých niektoré sú výrazne rýchlejšie ako iné. Hlavné odôvodnenie ATL, vysvetľuje, je toto: „Vzhľadom na to, že vysokovýkonná výpočtová technika je taká náročná na zdroje, chcete mať možnosť upravovať alebo prepisovať programy v optimálnej forme, aby ste veci urýchlili. Často začínate s programom, ktorý sa píše najjednoduchšie, ale nemusí to byť najrýchlejší spôsob jeho spustenia, takže stále musíte vykonať ďalšie úpravy."
Nový príkazový jazyk je založený na existujúcom jazyku Coq, ktorý obsahuje pomocníka dôkazu. Asistent dôkazu má zase schopnosť matematicky presne dokázať svoje tvrdenia. Coq má ďalšiu vlastnosť, vďaka ktorej je pre skupinu MIT atraktívny: programy napísané v tomto jazyku alebo jeho prispôsobenie sa vždy ukončia a nemôžu bežať donekonečna v nekonečných slučkách.
Teraz je to prvý a zatiaľ jediný tenzorový jazyk s formálne overenými optimalizáciami. Tím MIT však varuje, že ATL je stále iba prototyp - aj keď sľubný - ktorý bol testovaný na množstve malých programov.
Prečítajte si tiež: