Yazar
Aktemur, Tankut Barış, Kameyama, Y., Kiselyov, O., Shan, C.-C.
Basım Tarihi
2013
Basım Yeri
-
ACM
Konu
Yüksek performanslı bilgi işlem, Üretken programlama, Aşamalandırma, Kod oluşturma, Etki alanına özgü diller
Tür
Belge
Dil
İngilizce
Dijital
Evet
Yazma
Hayır
Kütüphane
Özyeğin Üniversitesi
Demirbaş Numarası
978-1-4503-1842-6
Kayıt Numarası
1ec2b565-804b-4d14-b3c0-45a931c99969
Lokasyon
Bilgisayar Bilimi
Tarih
2013
Notlar
Telif hakkı kısıtlamaları nedeniyle bu makalenin tam metnine erişim yalnızca abonelik yoluyla mümkündür.
Örnek Metin
Üretken programlamanın çekiciliği "suçluluk duymadan soyutlama"dır: üst düzey kod yazma ile yüksek performanslı kod yazma arasındaki can sıkıcı ödünleşimi ortadan kaldırır. Üretken programlama aynı zamanda yüksek performanslı bilgi işlem (HPC) uzmanları tarafından kullanılan alana özgü bilgi ve buluşsal yöntemleri resmi olarak yakalamayı da vaat ediyor. Bu sözlerimizi yerine getirme konusunda ne kadar ilerledik? İlerlememizi ölçmek için, "aşamalı programlama dilleri teorisi ile yüksek performanslı bilgi işlem pratiği arasında köprü kurmak" konulu yakın tarihli bir Shonan Toplantısında, "Shonan Mücadelesi" adı verilen bir dizi kıyaslama kullanılması önerildi. Shonan Challenge, HPC ve etki alanı uzmanları tarafından ortaya konan, etkili uygulamaları bilinen ancak yazılması ve değiştirilmesi zahmetli olan net sorunların bir derlemesidir. Buradaki zorluk, aynı optimizasyonları otomatik olarak gerçekleştirerek, bir problemin üst düzey spesifikasyonundan benzer verimli bir uygulama oluşturmaktır. Oluşturulan koda olan güveni koruyarak optimizasyonları ve spesifikasyonu ayarlamak kolay olmalıdır. Başlangıç kriterlerimizi açıklıyoruz ve iki soruna üç çözüm sunuyoruz. Shonan Mücadelesinin, tıpkı POPLmark mücadelesinin meta-teori mekanizasyonu için yaptığı gibi, en son teknolojiyi açıklığa kavuşturacağını ve sahneleme teorisini ve teknolojisini teşvik edeceğini umuyoruz. Her Shonan Challenge problemi önemli bir HPC uygulamasının çekirdeği olduğundan, her çözümün anında pratik bir uygulaması vardır.
DOI
10.1145/2426890.2426917
