, стверджує, що розробляє прототип нової мови програмування.){kind=link}
Der skal højtydende databehandling til for at løse flere og flere opgaver – såsom billedbehandling eller forskellige deep learning-applikationer på neurale netværk – hvor du skal behandle enorme mængder data, og gøre det hurtigt nok, ellers kan det tage utroligt meget tid. Det er en udbredt opfattelse, at når man udfører sådanne operationer, er et kompromis mellem hastighed og pålidelighed uundgåeligt. Ifølge denne tankegang, hvis hastighed er en prioritet, så vil pålidelighed sandsynligvis lide og omvendt.
Men en gruppe forskere baseret primært på Massachusetts Institute of Technology (MIT) udfordrer denne opfattelse og argumenterer for, at du faktisk kan få det hele. Ifølge Amanda Liu, en andenårs kandidatstuderende ved MIT's Computer Science and Artificial Intelligence Laboratory (CSAIL), med et nyt programmeringssprog, de skrev specifikt til højtydende computere, "behøver hastighed og korrekthed ikke at konkurrere. Tværtimod kan de gå sammen, side om side, i de programmer, vi skriver.« Liu og hendes team talte om potentialet i deres nyoprettede A Tensor Language (ATL) i sidste måned på Principles of Programming Languages-konferencen i Philadelphia.
"Alt på vores sprog," siger Liu, "er rettet mod at få enten et enkelt tal eller en tensor." Tensorer er til gengæld en generalisering af vektorer og matricer. Mens vektorer er endimensionelle objekter (ofte repræsenteret af individuelle pile) og matricer er velkendte todimensionelle arrays af tal, er tensorer n-dimensionelle arrays, der kan have form af en 3×3×3 matrix, for eksempel eller endda højere (eller lav) dimension.
Essensen af en computeralgoritme eller et program er at starte en bestemt beregning. Men der kan være mange forskellige måder at skrive dette program på - "en overraskende række forskellige kodeimplementeringer", som Liu og hendes medforfattere skriver i deres papir - hvoraf nogle er betydeligt hurtigere end andre. Hovedrationalet bag ATL, forklarer hun, er dette: "I betragtning af, at højtydende computing er så ressourcekrævende, vil du gerne være i stand til at ændre eller omskrive programmer i en optimal form for at fremskynde tingene. Ofte starter du med det program, der er nemmest at skrive, men det er måske ikke den hurtigste måde at køre det på, så du skal stadig foretage yderligere justeringer."
Det nye kommandosprog er baseret på det eksisterende Coq-sprog, som inkluderer en korrekturhjælper. Korrekturassistenten har til gengæld evnen til at bevise sine udsagn matematisk præcist. Coq har en anden egenskab, der gjorde det attraktivt for MIT-gruppen: programmer skrevet på det sprog, eller en tilpasning af det, afsluttes altid og kan ikke køre uendeligt i uendelige løkker.
Nu er det det første og hidtil eneste tensorsprog med formelt verificerede optimeringer. MIT-teamet advarer dog om, at ATL stadig kun er en prototype - omend en lovende - der er blevet testet på en række små programmer.
Læs også: