, стверджує, що розробляє прототип нової мови програмування.){kind=link}
Informatika me performancë të lartë është e nevojshme për të zgjidhur gjithnjë e më shumë detyra - të tilla si përpunimi i imazheve ose aplikacione të ndryshme të të mësuarit të thellë në rrjetet nervore - ku ju duhet të përpunoni sasi të mëdha të dhënash dhe ta bëni atë mjaft shpejt, përndryshe mund të marrë një sasi të pabesueshme koha. Besohet gjerësisht se gjatë kryerjes së operacioneve të tilla, një kompromis midis shpejtësisë dhe besueshmërisë është i pashmangshëm. Sipas këtij mendimi, nëse shpejtësia është një përparësi, atëherë besueshmëria ka të ngjarë të vuajë dhe anasjelltas.
Megjithatë, një grup studiuesish të bazuar kryesisht në Institutin e Teknologjisë të Massachusetts (MIT) po e sfidojnë këtë nocion, duke argumentuar se ju mund t'i keni të gjitha. Sipas Amanda Liu, një studente e diplomuar në vitin e dytë në Laboratorin e Shkencave Kompjuterike dhe Inteligjencës Artificiale të MIT (CSAIL), me një gjuhë të re programimi që ata shkruan posaçërisht për llogaritjet me performancë të lartë, “shpejtësia dhe korrektësia nuk duhet të konkurrojnë. Përkundrazi, ata mund të shkojnë së bashku, krah për krah, në programet që ne shkruajmë”. Liu dhe ekipi i saj folën për potencialin e tyre të sapokrijuar A Tensor Language (ATL) muajin e kaluar në konferencën e Parimeve të Gjuhëve të Programimit në Filadelfia.
"Gjithçka në gjuhën tonë," thotë Liu, "ka për qëllim të marrë ose një numër të vetëm ose një tensor." Nga ana tjetër, tensorët janë një përgjithësim i vektorëve dhe matricave. Ndërsa vektorët janë objekte njëdimensionale (shpesh të përfaqësuar me shigjeta individuale) dhe matricat janë vargje të njohura dydimensionale të numrave, tensorët janë vargje n-dimensionale që mund të marrin formën e një vargu 3×3×3, për shembull, ose edhe dimension më të lartë (ose të ulët).
Thelbi i një algoritmi ose programi kompjuterik është të fillojë një llogaritje të caktuar. Por mund të ketë shumë mënyra të ndryshme për të shkruar këtë program -- "një shumëllojshmëri befasuese e zbatimeve të ndryshme të kodeve", siç shkruajnë Liu dhe bashkëautorët e saj në punimin e tyre -- disa prej të cilave janë dukshëm më të shpejtë se të tjerët. Arsyeja kryesore pas ATL-së, shpjegon ajo, është ky: “Duke pasur parasysh se kompjuteri me performancë të lartë është kaq intensiv me burime, ju dëshironi të jeni në gjendje të modifikoni ose rishkruani programet në një formë optimale për të shpejtuar gjërat. Shpesh filloni me programin që është më i lehtë për t'u shkruar, por kjo mund të mos jetë mënyra më e shpejtë për ta ekzekutuar, kështu që ju duhet të bëni rregullime të mëtejshme."
Gjuha e re e komandës bazohet në gjuhën ekzistuese Coq, e cila përfshin një ndihmës provë. Asistenti i provës, nga ana tjetër, ka aftësinë t'i vërtetojë saktësisht deklaratat e tij matematikisht. Coq ka një veçori tjetër që e bëri atë tërheqës për grupin MIT: programet e shkruara në atë gjuhë, ose një përshtatje e saj, gjithmonë përfundojnë dhe nuk mund të ekzekutohen pafundësisht në unaza të pafundme.
Tani është e para dhe deri më tani e vetmja gjuhë tensor me optimizime të verifikuara zyrtarisht. Megjithatë, ekipi i MIT paralajmëron se ATL është ende vetëm një prototip - megjithëse premtues - që është testuar në një numër programesh të vogla.
Lexoni gjithashtu: