, стверджує, що розробляє прототип нової мови програмування.){kind=link}
Visokozmogljivo računalništvo je potrebno za reševanje čedalje več nalog – kot je obdelava slik ali različne aplikacije za globoko učenje na nevronskih mrežah – kjer je treba obdelati ogromne količine podatkov in to dovolj hitro, sicer lahko traja neverjetno veliko čas. Splošno prepričanje je, da je pri izvajanju takih operacij kompromis med hitrostjo in zanesljivostjo neizogiben. Glede na to razmišljanje, če je hitrost prednostna naloga, bo verjetno trpela zanesljivost in obratno.
Vendar pa skupina raziskovalcev s sedežem predvsem na Massachusetts Institute of Technology (MIT) izpodbija to idejo in trdi, da lahko imate dejansko vse. Po besedah Amande Liu, študentke drugega letnika podiplomskega študija na MIT-ovem Laboratoriju za računalništvo in umetno inteligenco (CSAIL), z novim programskim jezikom, ki so ga napisali posebej za visoko zmogljivo računalništvo, »hitrosti in pravilnosti ni treba tekmovati. Nasprotno, lahko gredo skupaj, drug ob drugem, v programih, ki jih pišemo." Liu in njena ekipa sta prejšnji mesec na konferenci Principles of Programming Languages v Filadelfiji govorila o potencialu svojega na novo ustvarjenega tenzorskega jezika (ATL).
"Vse v našem jeziku," pravi Liu, "je namenjeno pridobivanju bodisi ene same številke bodisi tenzorja." Tenzorji pa so posplošitev vektorjev in matrik. Medtem ko so vektorji enodimenzionalni objekti (pogosto predstavljeni s posameznimi puščicami) in so matrike znani dvodimenzionalni nizi števil, so tenzorji n-dimenzionalni nizi, ki so lahko na primer v obliki niza 3 × 3 × 3 ali celo višjo (ali nizko) dimenzijo.
Bistvo računalniškega algoritma ali programa je, da sproži določen izračun. Toda obstaja lahko veliko različnih načinov za pisanje tega programa - "presenetljiva raznolikost različnih izvedb kode," kot Liu in njeni soavtorji pišejo v svojem prispevku - od katerih so nekateri bistveno hitrejši od drugih. Glavna utemeljitev za ATL je po njenem mnenju naslednja: »Glede na to, da visokozmogljivo računalništvo tako zahteva veliko virov, želite imeti možnost spreminjanja ali prepisovanja programov v optimalni obliki, da pospešite stvari. Pogosto začnete s programom, ki ga je najlažje napisati, vendar to morda ni najhitrejši način za njegovo izvajanje, zato morate še vedno narediti dodatne prilagoditve."
Novi ukazni jezik temelji na obstoječem jeziku Coq, ki vključuje dokaznega pomočnika. Pomočnik za dokazovanje pa lahko svoje trditve matematično natančno dokaže. Coq ima še eno lastnost, zaradi katere je bil privlačen za skupino MIT: programi, napisani v tem jeziku ali njegovi prilagoditvi, se vedno končajo in se ne morejo izvajati v nedogled v neskončnih zankah.
Zdaj je to prvi in doslej edini tenzorski jezik s formalno preverjenimi optimizacijami. Ekipa MIT pa opozarja, da je ATL še vedno le prototip - čeprav obetaven - ki je bil preizkušen na številnih majhnih programih.
Preberite tudi: