, стверджує, що розробляє прототип нової мови програмування.){kind=link}
Høyytelses databehandling er nødvendig for å løse flere og flere oppgaver – som bildebehandling eller ulike dyplæringsapplikasjoner på nevrale nettverk – der du må behandle enorme mengder data, og gjøre det raskt nok, ellers kan det ta utrolig mye tid. Det er en utbredt oppfatning at når man utfører slike operasjoner, er et kompromiss mellom hastighet og pålitelighet uunngåelig. I følge denne tenkningen, hvis hastighet er en prioritet, vil pålitelighet sannsynligvis lide og omvendt.
Imidlertid utfordrer en gruppe forskere basert primært ved Massachusetts Institute of Technology (MIT) denne forestillingen, og hevder at du faktisk kan få alt. I følge Amanda Liu, en andreårsstudent ved MITs Computer Science and Artificial Intelligence Laboratory (CSAIL), med et nytt programmeringsspråk de skrev spesielt for høyytelses databehandling, trenger ikke hastighet og korrekthet å konkurrere. Tvert imot kan de gå sammen, side om side, i programmene vi skriver.» Liu og teamet hennes snakket om potensialet til deres nyopprettede A Tensor Language (ATL) forrige måned på Principles of Programming Languages-konferansen i Philadelphia.
"Alt på språket vårt," sier Liu, "er rettet mot å få enten et enkelt tall eller en tensor." Tensorer er på sin side en generalisering av vektorer og matriser. Mens vektorer er endimensjonale objekter (ofte representert med individuelle piler) og matriser er kjente todimensjonale tallmatriser, er tensorer n-dimensjonale matriser som kan ha form av en 3×3×3-matrise, for eksempel, eller til og med høyere (eller lav) dimensjon.
Essensen av en datamaskinalgoritme eller et program er å sette i gang en bestemt beregning. Men det kan være mange forskjellige måter å skrive dette programmet på - "en overraskende rekke forskjellige kodeimplementeringer," som Liu og hennes medforfattere skriver i papiret deres - hvorav noen er betydelig raskere enn andre. Hovedrasjonalet bak ATL, forklarer hun, er dette: «Gi at høyytelses databehandling er så ressurskrevende, ønsker du å kunne modifisere eller omskrive programmer i en optimal form for å få fart på ting. Ofte starter du med programmet som er lettest å skrive, men det er kanskje ikke den raskeste måten å kjøre det på, så du må fortsatt gjøre ytterligere justeringer."
Det nye kommandospråket er basert på det eksisterende Coq-språket, som inkluderer en bevishjelper. Korrekturassistenten har på sin side evnen til å bevise sine utsagn matematisk presist. Coq har en annen egenskap som gjorde det attraktivt for MIT-gruppen: programmer skrevet på det språket, eller en tilpasning av det, avsluttes alltid og kan ikke kjøres på ubestemt tid i uendelige løkker.
Nå er det det første og så langt eneste tensorspråket med formelt verifiserte optimaliseringer. MIT-teamet advarer imidlertid om at ATL fortsatt bare er en prototype - om enn en lovende en - som har blitt testet på en rekke små programmer.
Les også: