, стверджує, що розробляє прототип нової мови програмування.){kind=link}
Augstas veiktspējas skaitļošana ir nepieciešama, lai atrisinātu arvien vairāk uzdevumu – piemēram, attēlu apstrādi vai dažādas dziļās mācīšanās lietojumprogrammas neironu tīklos –, kur nepieciešams apstrādāt milzīgus datu apjomus un darīt to pietiekami ātri, pretējā gadījumā tas var aizņemt neticami daudz laiks. Plaši valda uzskats, ka, veicot šādas darbības, kompromiss starp ātrumu un uzticamību ir neizbēgams. Saskaņā ar šo domāšanu, ja ātrums ir prioritāte, visticamāk, cietīs uzticamība un otrādi.
Tomēr pētnieku grupa, kas galvenokārt strādā Masačūsetsas Tehnoloģiju institūtā (MIT), apstrīd šo jēdzienu, apgalvojot, ka jūs patiešām varat iegūt visu. Saskaņā ar MIT Datorzinātņu un mākslīgā intelekta laboratorijas (CSAIL) otrā kursa maģistrantūras studentes Amandas Liu teikto, izmantojot jaunu programmēšanas valodu, ko viņi rakstīja īpaši augstas veiktspējas skaitļošanai, “ātrumam un pareizībai nav jāsacenšas. Gluži pretēji, viņi var iet kopā, blakus mūsu rakstītajās programmās." Liu un viņas komanda pagājušajā mēnesī runāja par viņu jaunizveidotās Tensor Language (ATL) potenciālu Programmēšanas valodu principu konferencē Filadelfijā.
"Viss mūsu valodā," saka Liu, "ir paredzēts, lai iegūtu vai nu vienu skaitli, vai tensoru." Tensori savukārt ir vektoru un matricu vispārinājums. Lai gan vektori ir viendimensijas objekti (bieži attēloti ar atsevišķām bultiņām) un matricas ir pazīstami divdimensiju skaitļu masīvi, tensori ir n-dimensiju masīvi, kas var būt, piemēram, 3 × 3 × 3 masīva formā vai pat. augstāka (vai zema) dimensija.
Datora algoritma vai programmas būtība ir uzsākt noteiktu aprēķinu. Taču var būt daudz dažādu veidu, kā rakstīt šo programmu — "pārsteidzoši daudz dažādu kodu ieviešanu", kā raksta Liu un viņas līdzautori, daži no tiem ir ievērojami ātrāki nekā citi. Viņa skaidro, ka galvenais ATL pamatojums ir šāds: “Ņemot vērā, ka augstas veiktspējas skaitļošana ir tik resursietilpīga, jūs vēlaties, lai būtu iespēja modificēt vai pārrakstīt programmas optimālā formā, lai paātrinātu darbību. Bieži vien jūs sākat ar programmu, kuru ir visvieglāk rakstīt, taču tas var nebūt ātrākais veids, kā to palaist, tāpēc jums joprojām ir jāveic papildu pielāgojumi.
Jaunā komandu valoda ir balstīta uz esošo Coq valodu, kas ietver korektūras palīgu. Pierādīšanas palīgam savukārt ir iespēja matemātiski precīzi pierādīt savus apgalvojumus. Coq ir vēl viens īpašums, kas padarīja to pievilcīgu MIT grupai: programmas, kas rakstītas šajā valodā, vai tās adaptācija vienmēr beidzas un nevar darboties bezgalīgi bezgalīgās cilpās.
Tagad tā ir pirmā un līdz šim vienīgā tensora valoda ar formāli pārbaudītām optimizācijām. MIT komanda tomēr brīdina, ka ATL joprojām ir tikai prototips - lai arī daudzsološs -, kas ir pārbaudīts vairākās mazās programmās.
Lasi arī: