, стверджує, що розробляє прототип нової мови програмування.){kind=link}
Tehokasta laskentaa tarvitaan ratkaisemaan yhä useampia tehtäviä – kuten kuvankäsittely tai erilaiset syväoppimissovellukset hermoverkoissa – joissa täytyy käsitellä valtavia tietomääriä ja tehdä se riittävän nopeasti, muuten se voi viedä uskomattoman paljon aika. Yleisesti uskotaan, että tällaisia toimintoja suoritettaessa kompromissi nopeuden ja luotettavuuden välillä on väistämätön. Tämän ajattelun mukaan jos nopeus on etusijalla, luotettavuus todennäköisesti kärsii ja päinvastoin.
Kuitenkin ryhmä tutkijoita, jotka työskentelevät pääasiassa Massachusetts Institute of Technologyssa (MIT), kyseenalaistavat tämän käsityksen väittäen, että sinulla on itse asiassa kaikki. MIT:n tietojenkäsittelytieteen ja tekoälyn laboratorion (CSAIL) toisen vuoden jatko-opiskelijan Amanda Liun mukaan uudella ohjelmointikielellä, jonka he kirjoittivat erityisesti korkean suorituskyvyn laskemiseen, "nopeuden ja oikeellisuuden ei tarvitse kilpailla. Päinvastoin, he voivat mennä yhdessä, vierekkäin, kirjoissamme ohjelmissa." Liu ja hänen tiiminsä puhuivat äskettäin luodun A Tensor Language (ATL) -mahdollisuuksista viime kuussa Principles of Programming Languages -konferenssissa Philadelphiassa.
"Kaikki kielessämme on tarkoitus saada joko yksittäinen luku tai tensori", Liu sanoo. Tensorit puolestaan ovat vektorien ja matriisien yleistys. Vaikka vektorit ovat yksiulotteisia objekteja (usein yksittäisillä nuolilla) ja matriisit ovat tuttuja kaksiulotteisia lukutaulukoita, tensorit ovat n-ulotteisia taulukoita, jotka voivat olla esimerkiksi 3 × 3 × 3 -taulukon muodossa tai jopa suurempi (tai matala) ulottuvuus.
Tietokonealgoritmin tai -ohjelman ydin on tietyn laskutoimituksen käynnistäminen. Mutta tämän ohjelman kirjoittamiseen voi olla monia erilaisia tapoja - "yllättävän paljon erilaisia kooditoteutuksia", kuten Liu ja hänen kirjoittajansa kirjoittavat paperissaan - joista jotkut ovat huomattavasti nopeampia kuin toiset. Hän selittää, että ATL:n pääasiallinen perustelu on seuraava: ”Koska korkean suorituskyvyn laskenta vaatii niin paljon resursseja, haluat pystyä muokkaamaan tai kirjoittamaan uudelleen ohjelmia optimaalisessa muodossa nopeuttaaksesi toimintaa. Usein aloitat ohjelmasta, joka on helpoin kirjoittaa, mutta se ei ehkä ole nopein tapa suorittaa sitä, joten sinun on silti tehtävä lisäsäätöjä."
Uusi komentokieli perustuu olemassa olevaan Coq-kieleen, joka sisältää todistusapuohjelman. Todistusavustajalla puolestaan on kyky todistaa väitteensä matemaattisesti tarkasti. Coqilla on toinen ominaisuus, joka teki siitä houkuttelevan MIT-ryhmälle: kyseisellä kielellä kirjoitetut ohjelmat tai sen mukautukset päättyvät aina, eivätkä ne voi toimia loputtomasti loputtomissa silmukoissa.
Nyt se on ensimmäinen ja toistaiseksi ainoa tensorikieli, jolla on muodollisesti tarkistetut optimoinnit. MIT-tiimi varoittaa kuitenkin, että ATL on edelleen vain prototyyppi - vaikkakin lupaava -, jota on testattu useissa pienissä ohjelmissa.
Lue myös: