, стверджує, що розробляє прототип нової мови програмування.){kind=link}
Пресметките со високи перформанси се потребни за да се решат сè повеќе задачи - како што се обработка на слики или разни апликации за длабоко учење на невронски мрежи - каде што треба да обработите огромни количини на податоци и да го направите тоа доволно брзо, во спротивно може да потрае неверојатна количина време. Широко се верува дека при извршување на такви операции, компромисот помеѓу брзината и сигурноста е неизбежен. Според ова размислување, ако брзината е приоритет, тогаш веројатноста ќе страда доверливоста и обратно.
Сепак, група истражувачи со седиште првенствено на Технолошкиот институт во Масачусетс (МИТ) го предизвикуваат овој поим, тврдејќи дека всушност можете да го имате сето тоа. Според Аманда Лиу, дипломиран студент на втора година во Лабораторијата за компјутерски науки и вештачка интелигенција на MIT (CSAIL), со новиот програмски јазик што го напишале специјално за пресметување со високи перформанси, „брзината и исправноста не мора да се натпреваруваат. Напротив, тие можат да одат заедно, рамо до рамо, во програмите што ги пишуваме“. Лиу и нејзиниот тим зборуваа за потенцијалот на нивниот новосоздаден A Tensor Language (ATL) минатиот месец на конференцијата Принципи на програмски јазици во Филаделфија.
„Сè на нашиот јазик“, вели Лиу, „е насочено кон добивање или единечен број или тензор“. Тензорите, пак, се генерализација на вектори и матрици. Додека векторите се еднодимензионални објекти (често претставени со поединечни стрелки) и матриците се познати дводимензионални низи од броеви, тензорите се n-димензионални низи кои можат да имаат форма на низа 3×3×3, на пример, или дури повисока (или ниска) димензија.
Суштината на компјутерскиот алгоритам или програма е да иницира одредена пресметка. Но, може да има многу различни начини за пишување на оваа програма - „изненадувачки разновидност на различни имплементации на кодови“, како што пишуваат Лиу и нејзините коавтори во нивниот труд - од кои некои се значително побрзи од другите. Главното образложение зад ATL, објаснува таа, е ова: „Со оглед на тоа што компјутерите со високи перформанси се толку интензивни за ресурси, сакате да можете да ги менувате или препишувате програмите во оптимална форма за да ги забрзате работите. Честопати започнувате со програмата што е најлесно за пишување, но тоа можеби не е најбрзиот начин за нејзино извршување, па сепак треба да направите дополнителни прилагодувања“.
Новиот команден јазик се базира на постоечкиот јазик Coq, кој вклучува помошник за докажување. Асистентот за докажување, пак, има способност математички прецизно да ги докажува своите изјави. Coq има уште едно својство што го направи привлечно за групата MIT: програмите напишани на тој јазик, или неговата адаптација, секогаш завршуваат и не можат да работат бесконечно во бесконечни циклуси.
Сега тој е првиот и досега единствениот тензорски јазик со формално потврдени оптимизации. Тимот на MIT предупредува, сепак, дека ATL е сè уште само прототип - иако ветувачки - кој е тестиран на голем број мали програми.
Прочитајте исто така: