, стверджує, що розробляє прототип нової мови програмування.){kind=link}
Yüksək performanslı hesablamalar getdikcə daha çox işi həll etmək üçün tələb olunur - məsələn, neyron şəbəkələrində təsvirlərin işlənməsi və ya müxtəlif dərin öyrənmə proqramları - burada böyük həcmdə məlumatı emal etməli və bunu kifayət qədər sürətli etməlisiniz, əks halda inanılmaz miqdarda vaxt tələb edə bilər. vaxt. Bu cür əməliyyatları yerinə yetirərkən sürət və etibarlılıq arasında kompromis qaçılmaz olduğuna inanılır. Bu düşüncəyə görə, sürət prioritetdirsə, o zaman etibarlılığın əziyyət çəkməsi ehtimalı var və əksinə.
Bununla belə, əsasən Massaçusets Texnologiya İnstitutunda (MIT) əsaslanan bir qrup tədqiqatçı bu fikrə etiraz edərək, əslində hər şeyə sahib ola biləcəyinizi iddia edirlər. MİT-in Kompüter Elmləri və Süni İntellekt Laboratoriyasının (CSAIL) ikinci kurs tələbəsi Amanda Liunun sözlərinə görə, yüksək performanslı hesablamalar üçün xüsusi olaraq yazdıqları yeni proqramlaşdırma dili ilə “sürət və düzgünlük rəqabət aparmalı deyil. Əksinə, yazdığımız verilişlərdə bir yerdə, yan-yana gedə bilirlər”. Liu və komandası keçən ay Filadelfiyada keçirilən Proqramlaşdırma Dillərinin Prinsipləri konfransında yeni yaradılmış A Tensor Dilinin (ATL) potensialı haqqında danışdılar.
"Bizim dildə hər şey," Liu deyir, "ya bir ədəd, ya da tensor əldə etməyə yönəlib." Tensorlar da öz növbəsində vektorların və matrislərin ümumiləşdirilməsidir. Vektorlar birölçülü obyektlər (çox vaxt ayrı-ayrı oxlarla təmsil olunur) və matrislər tanış ikiölçülü ədəd massivləri olsa da, tensorlar məsələn, 3×3×3 massiv formasını ala bilən n ölçülü massivlərdir, hətta daha yüksək (və ya aşağı) ölçü.
Kompüter alqoritminin və ya proqramının mahiyyəti müəyyən bir hesablamaya başlamaqdır. Lakin bu proqramı yazmağın bir çox müxtəlif yolları ola bilər -- Liu və onun həmmüəlliflərinin yazılarında yazdıqları kimi, "müxtəlif kod tətbiqlərinin təəccüblü çeşidi" -- bəziləri digərlərindən əhəmiyyətli dərəcədə sürətlidir. O, ATL-nin əsas səbəbini belə izah edir: “Yüksək məhsuldar hesablamaların çox resurs tələb etdiyini nəzərə alsaq, işləri sürətləndirmək üçün proqramları optimal formada dəyişdirə və ya yenidən yaza bilmək istəyirsən. Çox vaxt siz yazması ən asan proqramla başlayırsınız, lakin bu, onu işə salmağın ən sürətli yolu olmaya bilər, ona görə də siz hələ də əlavə düzəlişlər etməlisiniz."
Yeni əmr dili sübut köməkçisi olan mövcud Coq dilinə əsaslanır. Sübut köməkçisi, öz növbəsində, ifadələrini riyazi dəqiqliklə sübut etmək qabiliyyətinə malikdir. Coq-un onu MİT qrupu üçün cəlbedici edən başqa bir xüsusiyyəti var: bu dildə yazılmış proqramlar və ya onun uyğunlaşdırılması həmişə dayandırılır və sonsuz dövrlərdə qeyri-müəyyən müddətə işləyə bilməz.
İndi bu, rəsmi olaraq təsdiqlənmiş optimallaşdırmaları olan ilk və indiyə qədər yeganə tenzor dilidir. MIT komandası xəbərdarlıq edir ki, ATL hələ də bir sıra kiçik proqramlarda sınaqdan keçirilmiş prototipdir - perspektivli olsa da.
Həmçinin oxuyun: