, стверджує, що розробляє прототип нової мови програмування.){kind=link}
Рачунарство високих перформанси је потребно за решавање све више задатака – као што су обрада слика или разне апликације дубоког учења на неуронским мрежама – где треба да обрађујете огромне количине података и то довољно брзо, иначе може да захтева невероватну количину време. Раширено је веровање да је приликом извођења оваквих операција неизбежан компромис између брзине и поузданости. Према овом мишљењу, ако је брзина приоритет, онда ће поузданост вероватно патити и обрнуто.
Међутим, група истраживача са седиштем првенствено на Технолошком институту у Масачусетсу (МИТ) оспорава ову идеју, тврдећи да заправо можете имати све. Према Аманди Лиу, студенткињи друге године МИТ-ове Лабораторије за рачунарске науке и вештачку интелигенцију (ЦСАИЛ), са новим програмским језиком који су написали посебно за рачунарство високих перформанси, „брзина и исправност не морају да се такмиче. Напротив, они могу да иду заједно, раме уз раме, у програме које пишемо." Лиу и њен тим говорили су о потенцијалу свог новоствореног А Тенсор Лангуаге (АТЛ) прошлог месеца на конференцији Принципи програмских језика у Филаделфији.
„Све у нашем језику“, каже Лиу, „је усмерено на добијање или једног броја или тензора“. Тензори су, заузврат, генерализација вектора и матрица. Док су вектори једнодимензионални објекти (често представљени појединачним стрелицама), а матрице познати дводимензионални низови бројева, тензори су н-димензионални низови који могу имати облик 3×3×3 низа, на пример, или чак виша (или ниска) димензија.
Суштина рачунарског алгоритма или програма је да покрене одређени прорачун. Али може постојати много различитих начина за писање овог програма – „изненађујуће мноштво различитих имплементација кода“, како Лиу и њени коаутори пишу у свом раду – од којих су неки знатно бржи од других. Главни разлог за АТЛ, објашњава она, је следећи: „С обзиром на то да рачунарство високих перформанси захтева толико ресурсе, желите да будете у могућности да модификујете или преписујете програме у оптималном облику да бисте убрзали ствари. Често почињете са програмом који је најлакше написати, али то можда није најбржи начин да га покренете, тако да још увек морате да извршите даља подешавања."
Нови командни језик је заснован на постојећем језику Цок, који укључује помоћник за доказ. Помоћник за доказ, заузврат, има способност да математички прецизно докаже своје изјаве. Цок има још једно својство које га је учинило привлачним за МИТ групу: програми написани на том језику, или његове адаптације, увек се прекидају и не могу се изводити бесконачно у бесконачним петљама.
Сада је то први и до сада једини тензорски језик са формално верификованим оптимизацијама. Међутим, тим МИТ-а упозорава да је АТЛ још увек само прототип - иако обећавајући - који је тестиран на бројним малим програмима.
Прочитајте такође: