Süperoptimizasyon - Superoptimization
Süperoptimizasyon otomatik olarak en uygun olanı bulma sürecidir kodu sıra döngü içermeyen bir talimat dizisi için. Bir tür bilgisayar içinde ve tarafından gerçekleştirilir yazılım bir derleyici. Gerçek dünya derleyicileri genellikle gerçekten üretemezler en uygun kodu. Çoğu standart olsa da derleyici optimizasyonları kodu yalnızca kısmen iyileştirirseniz, bir süperoptimizatörün amacı en uygun sırayı bulmaktır. kanonik biçim. Süper optimize ediciler, kaçırılan fırsatları vurgulayarak geleneksel optimize edicileri iyileştirmek için kullanılabilir, böylece bir insan ek kurallar yazabilir.
Tarih
Süperoptimizasyon terimi ilk olarak Alexia Massalin 1987 gazetesinde Superoptimizer: En Küçük Programa Bir Bakış.[1] 1992'de, GNU Superoptimizer (GSO), GNU Derleyici Koleksiyonu (GCC).[2][3] Daha sonraki çalışmalar bu fikirleri daha da geliştirdi ve genişletti.
Teknikler
Tipik olarak, süperoptimizasyon, kapsamlı bir şekilde gerçekleştirilir. kaba kuvvet arama geçerli talimat dizileri alanında. Bu maliyetli bir yöntemdir ve bu nedenle genel amaçlı derleyiciler için pratik değildir. Yine de, performans açısından kritik iç döngüleri optimize etmede yararlı olduğu gösterilmiştir. Ayrıca bir SMT çözücü soruna yaklaşmak için.
2001 yılında, Compaq araştırması tarafından Denali projesinde hedefe yönelik süperoptimizasyon gösterildi.[4] 2006 yılında cevap seti bildirim temelli programlama Yanıt Kümesi Teknolojisini (TOAST) kullanarak Toplam Optimizasyon projesinde süper optimizasyon için kullanıldı. Bath Üniversitesi,[5][6].
Süperoptimizasyon, otomatik olarak genel amaçlı oluşturmak için kullanılabilir gözetleme deliği iyileştiriciler.[7]
Halka açık süperoptimizerler
Birkaç süperoptimizer ücretsiz olarak indirilebilir.
- X86 ailesi yönerge setleri için:
- GNU Süperoptimizer (GSO) (1992)[2][3]
- STOKE - Bir stokastik iyileştirici[8] için x86-64 x86 derleme dili.
- Gömülü sistemler için:
- PIC mikro denetleyici SüperOptimizer (2003)[9][10]
- Embecosm tarafından bir fizibilite çalışması (2014)
- JVM için:
- Clojure için süperoptimizer Java sanal makinesi (2012)[11]
- LLVM IR için:
- WebAssembly için
Ayrıca bakınız
Referanslar
- ^ Massalin, Henry (1987). "Superoptimizer: En küçük programa bir bakış" (PDF). ACM SIGARCH Bilgisayar Mimarisi Haberleri. 15 (5): 122–126. doi:10.1145/36177.36194. Arşivlendi (PDF) 2017-07-04 tarihinde orjinalinden. Alındı 2012-04-25.
Bir komut seti verildiğinde, süperoptimizer bir fonksiyonu hesaplamak için en kısa programı bulur. Şaşırtıcı programlar üretildi, bunların çoğu, işlevleri tanımlayan kaynak programlara çok az benzerlik taşıyan kıvrımlı bit-oynamaya katılıyor. Süperoptimizatördeki temel fikir, kapsamlı aramaları yararlı boyuttaki programlar için pratik hale getiren olasılıksal bir testtir.
- ^ a b Granlund, Torbjörn; Kenner Richard (Temmuz 1992). "Bir süperoptimizer ve GNU C derleyicisi kullanarak dalları ortadan kaldırmak". ACM SIGPLAN Bildirimleri. 27 (7): 341–352. CiteSeerX 10.1.1.58.3509. doi:10.1145/143095.143146. ISBN 978-0-89791475-8. S2CID 8825539.
- ^ a b "/ Gnu / superopt dizini". GNU İşletim Sistemi. Özgür Yazılım Vakfı, Inc. 1995-06-14. Arşivlendi 2016-09-11 tarihinde orjinalinden. Alındı 2016-09-03.
- ^ Joshi, Rajeev; Nelson, Greg; Randall Keith (2001-07-30). "Denali: hedefe yönelik bir süperoptimizer". Compaq Sistemleri Araştırma Merkezi. HP Laboratuvarları. Hewlett-Packard Co. Arşivlendi 2016-05-27 tarihinde orjinalinden. Alındı 2016-09-02.
- ^ Beyin, Martin; Crick, Tom; De Vos, Marina; Fitch, John (2006-08-17). "TOAST: Yanıt Seti Programlamasının Süperoptimizasyona Uygulanması". Etalle'de, Sandro; Truszczyński, Mirosław (editörler). Mantık Programlama. Springer-Verlag, Berlin / Heidelberg. s. 270–284. ISBN 978-3-540-36636-2.
- ^ "TOAST - KRRwiki". Bilgisayar Bilimleri Bölümü, Matematiksel Temeller Grubu. Bilgi Temsil ve Akıl Yürütme (KRR) grubu. Bath Üniversitesi. 2007-08-07. Arşivlenen orijinal 2012-11-28 tarihinde. Alındı 2016-09-03.
- ^ Bansal, Sorav; Aiken, Alex (2006-10-21). "Otomatik Delikli Süperoptimizer Üretimi" (PDF). Stanford Üniversitesi. Bilgisayar Sistemleri Laboratuvarı, Stanford Üniversitesi. Arşivlendi (PDF) 2016-06-11 tarihinde orjinalinden. Alındı 2016-09-02.
- ^ Bansal, Sorav; Aiken, Alex (2006-10-25). "Peephole Superoptimizers Kullanarak İkili Çeviri" (PDF). bilgisayar Bilimleri Bölümü. Hindistan Teknoloji Enstitüsü, Delhi. Arşivlendi (PDF) 2016-09-08 tarihinde orjinalinden. Alındı 2016-10-17.
- ^ Serpell Daniel (2003). "Microchip'in PIC mikro denetleyicileri için SuperOptimizer". Google Sites. Arşivlendi 2016-10-11 tarihinde orjinalinden. Alındı 2016-09-06.
- ^ Serpell, Daniel (2003-06-21). "PIC Mikrodenetleyici SuperOptimizer". Ücretsiz kod. Slashdot Media. Arşivlendi 2016-09-17 tarihinde orjinalinden. Alındı 2016-09-06.
- ^ Hume, Tom (2012/08/21). "En uygun Java programlarını kapsamlı bir şekilde aramak için Clojure programı". GitHub. Arşivlendi 2018-06-10 tarihinde orjinalinden. Alındı 2016-09-06.
- ^ Cabrera Arteaga, Javier; Donde, Shrinish; Gu, Jian; Floros, Orestis; Satabin, Lucas; Baudry, Benoit; Monperrus, Martin (2020). "WebAssembly bayt kodunun süperoptimizasyonu". 4. Uluslararası Programlama Sanatı, Bilimi ve Mühendisliği Konferansı'nın Konferansı Arkadaşı. Porto Portekiz: ACM: 36–40. arXiv:2002.10213. doi:10.1145/3397537.3397567. ISBN 978-1-4503-7507-8. S2CID 211259480.