, стверджує, що розробляє прототип нової мови програмування.){kind=link}
Vysoce výkonné výpočty jsou potřeba k řešení stále více úloh – jako je zpracování obrazu nebo různé aplikace hlubokého učení na neuronových sítích – kde potřebujete zpracovávat obrovské množství dat, a to dostatečně rychle, jinak to může trvat neuvěřitelné množství čas. Obecně se má za to, že při provádění takových operací je nevyhnutelný kompromis mezi rychlostí a spolehlivostí. Podle tohoto myšlení, pokud je prioritou rychlost, pak pravděpodobně utrpí spolehlivost a naopak.
Skupina výzkumníků se sídlem především na Massachusettském technologickém institutu (MIT) však tuto představu zpochybňuje a tvrdí, že ve skutečnosti můžete mít všechno. Podle Amandy Liu, studentky druhého ročníku MIT Computer Science and Artificial Intelligence Laboratory (CSAIL), s novým programovacím jazykem, který napsali speciálně pro vysoce výkonné výpočty, „rychlost a správnost nemusí konkurovat. Naopak, mohou jít spolu, bok po boku, v programech, které píšeme.“ Liu a její tým hovořili o potenciálu svého nově vytvořeného jazyka A Tensor Language (ATL) minulý měsíc na konferenci Principles of Programming Languages ve Philadelphii.
"Všechno v našem jazyce," říká Liu, "je zaměřeno na získání jednoho čísla nebo tenzoru." Tenzory jsou zase zobecněním vektorů a matic. Zatímco vektory jsou jednorozměrné objekty (často reprezentované jednotlivými šipkami) a matice jsou známá dvourozměrná pole čísel, tenzory jsou n-rozměrná pole, která mohou mít podobu například pole 3×3×3 nebo dokonce vyšší (nebo nižší) dimenze.
Podstatou počítačového algoritmu nebo programu je zahájit určitý výpočet. Ale může existovat mnoho různých způsobů, jak napsat tento program - "překvapivá řada různých implementací kódu", jak píší Liu a její spoluautoři ve svém článku - z nichž některé jsou výrazně rychlejší než jiné. Hlavní zdůvodnění ATL, vysvětluje, je toto: „Vzhledem k tomu, že vysoce výkonná výpočetní technika je tak náročná na zdroje, chcete mít možnost upravovat nebo přepisovat programy v optimální formě, abyste věci urychlili. Často začínáte s programem, který se nejsnáze píše, ale který nemusí být nejrychlejší způsob, jak jej spustit, takže stále musíte provést další úpravy."
Nový příkazový jazyk vychází ze stávajícího jazyka Coq, který obsahuje pomocníka důkazu. Asistent důkazu má zase schopnost dokazovat svá tvrzení matematicky přesně. Coq má další vlastnost, díky které je pro skupinu MIT atraktivní: programy napsané v tomto jazyce nebo jeho adaptace se vždy ukončí a nemohou běžet donekonečna v nekonečných smyčkách.
Nyní je to první a zatím jediný tenzorový jazyk s formálně ověřenými optimalizacemi. Tým MIT však varuje, že ATL je stále pouze prototypem - i když slibným - který byl testován na řadě malých programů.
Přečtěte si také: