Gözetleme deliği optimizasyonu - Peephole optimization - Wikipedia

Gözetleme deliği optimizasyonu bir optimizasyon tekniği derleyici tarafından üretilen küçük bir talimat setinde gerçekleştirilir; küçük set, gözetleme deliği veya pencere olarak bilinir.[1]

Gözetleme deliği optimizasyonu, küçük talimat kümesini daha iyi performansa sahip eşdeğer bir kümeye değiştirmeyi içerir.

Örneğin, A kaydını yığına itmek ve ardından değeri hemen A yazmacına geri göndermek yerine, gözetleme deliği optimizasyonu her iki talimatı da kaldıracaktır.

A'yı A'ya eklemek yerine, gözetleme deliği optimizasyonu aritmetik bir sola kayma yapabilir.

Bir kayan nokta kaydını 8 ile çarpmak yerine, gözetleme deliği optimizasyonu, kayan nokta yazmacının üssünü 3 ile ölçeklendirebilir.

Bir indeksi 4 ile çarpmak, bir işaretçi değeri elde etmek için sonucu bir temel adrese eklemek ve ardından işaretçiyi referans almak yerine, bir gözetleme deliği optimizasyonu, aynı sonucu bir komutla gerçekleştiren bir donanım adresleme modunu kullanabilir.

Dönem gözetleme deliği optimizasyonu 1965'te William Marshall McKeeman tarafından tanıtıldı.[2]

Değiştirme kuralları

Gözetleme deliği optimizasyonunda uygulanan yaygın teknikler:[3]

  • Boş diziler - Yararsız işlemleri silin.
  • İşlemleri birleştirin - Birkaç işlemi bir eşdeğeriyle değiştirin.
  • Cebirsel yasalar - Talimatları basitleştirmek veya yeniden sıralamak için cebir yasalarını kullanın.
  • Özel durum talimatları - Özel işlem durumları için tasarlanmış talimatları kullanın.
  • Adres modu işlemleri - Kodu basitleştirmek için adres modlarını kullanın.

Başka türden gözetleme deliği optimizasyonları da olabilir.

Örnekler

Yavaş talimatları daha hızlı olanlarla değiştirmek

Aşağıdaki Java bayt kodu

... 1aload 1mul ...

ile değiştirilebilir

... 1upmul kadar ...

Çoğu gözetleme deliği optimizasyonu gibi bu tür bir optimizasyon, talimatların verimliliği hakkında belirli varsayımlarda bulunur. Örneğin, bu durumda, çift işlem (kopyalar ve üst kısmını iter yığın ) daha etkilidir aload X işlem (yerel bir değişken olarak tanımlandı X ve onu yığının üzerine iter).

Gereksiz kodu kaldırma

Diğer bir örnek, gereksiz yük depolarını ortadan kaldırmaktır.

 a = b + c; d = a + e;

basitçe uygulanmaktadır:

MOV b, R0  ; B'yi kayda kopyalaEKLE c, R0  ; Kayda c ekleyin, kayıt şimdi b + cMOV R0, a  ; Kaydı birMOV a, R0  ; A'yı kayda kopyalaEKLE e, R0  ; Kayda e ekleyin, kayıt artık a + e [(b + c) + e]MOV R0, d  ; Kaydı d'ye kopyalayın

ancak optimize edilebilir

MOV b, R0  ; B'yi kayda kopyalaEKLE c, R0  ; Şimdi b + c (a) olan kayda c ekleyinMOV R0, a  ; Kaydı birEKLE e, R0  ; Şimdi b + c + e [(a) + e] olan kayda e ekleyinMOV R0, d  ; Kaydı d'ye kopyalayın

Gereksiz yığın talimatlarını kaldırma

Derleyici, bir alt yordamı çağırmadan önce kayıtları yığına kaydederse ve geri dönerken bunları geri yüklerse, alt yordamlara yapılan ardışık çağrılarda fazladan yığın talimatları olabilir.

Derleyicinin aşağıdakileri oluşturduğunu varsayalım Z80 her prosedür çağrısı için talimatlar:

 İT AF İT M.Ö İT DE İT HL TELEFON ETMEK _ADDR POP HL POP DE POP M.Ö POP AF

Ardışık iki alt rutin çağrısı olsaydı, şöyle görünürlerdi:

 İT AF İT M.Ö İT DE İT HL TELEFON ETMEK _ADDR1 POP HL POP DE POP M.Ö POP AF İT AF İT M.Ö İT DE İT HL TELEFON ETMEK _ADDR2 POP HL POP DE POP M.Ö POP AF

Aynı kayıtlar için PUSH tarafından izlenen POP kayıtları dizisi genellikle gereksizdir. Gereksiz olduğu durumlarda, gözetleme deliği optimizasyonu bu talimatları kaldıracaktır. Örnekte, bu, gözetleme deliğinde başka bir fazlalık POP / PUSH çiftinin görünmesine neden olur ve bunlar sırayla kaldırılır. _ADDR2 alt rutininin önceki yazmaç değerlerine bağlı olmadığını varsayarsak, gereksiz kod yukarıdaki örnekte, sonunda aşağıdaki kodu bırakacaktır:

 İT AF İT M.Ö İT DE İT HL TELEFON ETMEK _ADDR1 TELEFON ETMEK _ADDR2 POP HL POP DE POP M.Ö POP AF

Uygulama

Modern derleyiciler genellikle gözetleme deliği optimizasyonlarını bir desen eşleştirme algoritma.[4]

Ayrıca bakınız

Referanslar

  1. ^ Muchnick, Steven Stanley (1997-08-15). Gelişmiş Derleyici Tasarımı ve Uygulaması. Akademik Basın / Morgan Kaufmann. ISBN  978-1-55860-320-2.
  2. ^ McKeeman, William Marshall (Temmuz 1965). "Gözetleme deliği optimizasyonu". ACM'nin iletişimi. 8 (7): 443–444. doi:10.1145/364995.365000.
  3. ^ Fischer, Charles N .; Cytron, Ron K .; LeBlanc, Jr., Richard J. (2010). Bir Derleyici Oluşturmak (PDF). Addison-Wesley. ISBN  978-0-13-606705-4. Arşivlenen orijinal (PDF) 2018-07-03 tarihinde. Alındı 2018-07-02.
  4. ^ Aho, Alfred Vaino; Lam, Monica Sin-Ling; Sethi, Ravi; Ullman, Jeffrey David (2007). "Bölüm 8.9.2 Bir Giriş Ağacını Döşeyerek Kod Oluşturma". Derleyiciler - İlkeler, Teknikler ve Araçlar (PDF) (2 ed.). Pearson Eğitimi. s. 540. Arşivlendi (PDF) 2018-06-10 tarihinde orjinalinden. Alındı 2018-07-02.

Dış bağlantılar

Sözlük tanımı gözetleme deliği optimizasyonu Vikisözlük'te