, стверджує, що розробляє прототип нової мови програмування.){kind=link}
Çok büyük miktarda veriyi işlemeniz ve bunu yeterince hızlı yapmanız gereken görüntü işleme veya sinir ağlarındaki çeşitli derin öğrenme uygulamaları gibi giderek daha fazla görevi çözmek için yüksek performanslı bilgi işlem gereklidir, aksi takdirde inanılmaz miktarda veri gerektirebilir. zaman. Bu tür işlemleri gerçekleştirirken hız ve güvenilirlik arasında bir uzlaşmanın kaçınılmaz olduğuna yaygın olarak inanılmaktadır. Bu düşünceye göre, hız bir öncelikse, o zaman güvenilirliğin zarar görmesi muhtemeldir ve bunun tersi de geçerlidir.
Bununla birlikte, esas olarak Massachusetts Teknoloji Enstitüsü'nde (MIT) bulunan bir grup araştırmacı, aslında her şeye sahip olabileceğinizi savunarak bu fikre meydan okuyor. MIT Bilgisayar Bilimi ve Yapay Zeka Laboratuvarı'nda (CSAIL) ikinci sınıf yüksek lisans öğrencisi olan Amanda Liu'ya göre, özellikle yüksek performanslı bilgi işlem için yazdıkları yeni bir programlama dili ile “hız ve doğruluk rekabet etmek zorunda değil. Aksine yazdığımız programlarda yan yana gidebilirler." Liu ve ekibi, Philadelphia'daki Principles of Programming Languages (Programlama Dilleri Prensipleri) konferansında geçen ay yeni oluşturdukları A Tensor Language (ATL) potansiyeli hakkında konuştular.
"Bizim dilimizde her şey," diyor Liu, "ya tek bir sayı ya da bir tensör elde etmeyi amaçlıyor." Tensörler de vektörlerin ve matrislerin bir genellemesidir. Vektörler tek boyutlu nesneler (genellikle tek tek oklarla gösterilir) ve matrisler iki boyutlu sayı dizilerine aşinayken, tensörler örneğin 3×3×3 dizi biçimini alabilen n-boyutlu dizilerdir. daha yüksek (veya düşük) boyut.
Bir bilgisayar algoritmasının veya programının özü, belirli bir hesaplamayı başlatmaktır. Ancak bu programı yazmanın birçok farklı yolu olabilir - Liu ve yardımcı yazarlarının makalelerinde yazdığı gibi "şaşırtıcı çeşitlilikte farklı kod uygulamaları" - bazıları diğerlerinden önemli ölçüde daha hızlı. ATL'nin arkasındaki ana mantık şudur: "Yüksek performanslı bilgi işlemin çok kaynak yoğun olduğu göz önüne alındığında, işleri hızlandırmak için programları en uygun biçimde değiştirebilmek veya yeniden yazabilmek istiyorsunuz. Genellikle yazması en kolay programla başlarsınız, ancak bu onu çalıştırmanın en hızlı yolu olmayabilir, bu nedenle yine de daha fazla ayarlama yapmanız gerekir."
Yeni komut dili, bir kanıt yardımcısı içeren mevcut Coq diline dayanmaktadır. İspat asistanı ise, kendi ifadelerini matematiksel olarak kesin olarak ispatlama yeteneğine sahiptir. Coq'un onu MIT grubu için çekici kılan başka bir özelliği daha var: o dilde yazılmış programlar veya onun bir uyarlaması, her zaman sona erer ve sonsuz döngülerde süresiz olarak çalışamaz.
Şimdi, resmi olarak doğrulanmış optimizasyonlara sahip ilk ve şimdiye kadarki tek tensör dilidir. Ancak MIT ekibi, ATL'nin bir dizi küçük program üzerinde test edilmiş umut verici olsa da hala yalnızca bir prototip olduğu konusunda uyarıyor.
Ayrıca okuyun: