Çalışma zamanı algoritması uzmanlığı - Run-time algorithm specialization - Wikipedia

İçinde bilgisayar Bilimi, çalışma zamanı algoritması uzmanlığı belirli türlerdeki maliyetli hesaplama görevleri için verimli algoritmalar oluşturmak için bir metodolojidir. Metodoloji, alanından kaynaklanmaktadır otomatik teorem kanıtlama ve daha spesifik olarak Vampir teoremi atasözü proje.

Fikir, kullanımından esinlenmiştir. kısmi değerlendirme program çevirisini optimize etmede. Teorem kanıtlayıcıdaki birçok temel işlem aşağıdaki modeli sergiler: Bazı algoritmaları yürütmemiz gerektiğini varsayalım. ${ displaystyle { mathit {alg}} (A, B)}$ değerinin olduğu bir durumda ${ displaystyle A}$ potansiyel olarak birçok farklı değer için düzeltildi ${ displaystyle B}$. Bunu verimli bir şekilde yapmak için, bir uzmanlık bulmaya çalışabiliriz. ${ displaystyle { mathit {alg}}}$ her sabit ${ displaystyle A}$yani böyle bir algoritma ${ displaystyle { mathit {alg}} _ {A}}$, o yürütme ${ displaystyle { mathit {alg}} _ {A} (B)}$ yürütmeye eşdeğerdir ${ displaystyle { mathit {alg}} (A, B)}$.

Özelleştirilmiş algoritma, genel algoritmadan daha verimli olabilir, çünkü bazı belirli özelliklerden yararlanmak sabit değerin ${ displaystyle A}$. Tipik, ${ displaystyle { mathit {alg}} _ {A} (B)}$ bazı işlemleri önleyebilir ${ displaystyle { mathit {alg}} (A, B)}$ bu belirli parametre için gereksiz oldukları biliniyorsa gerçekleştirmeleri gerekir ${ displaystyle A}$. Özellikle, genellikle doğru veya yanlış olan bazı testleri belirleyebiliriz. ${ displaystyle A}$, açılma döngüleri ve özyineleme vb.

Kısmi değerlendirmeden farkı

Çalışma zamanı uzmanlığı ile kısmi değerlendirme arasındaki temel fark, ${ displaystyle A}$ hangisinde ${ displaystyle { mathit {alg}}}$ özelleşmiş olup statik olarak bilinmemektedir, bu nedenle uzmanlaşma çalışma zamanında gerçekleşir.

Ayrıca önemli bir teknik fark var. Kısmi değerlendirme, bazı programlama dillerinde açıkça kod olarak gösterilen algoritmalara uygulanır. Çalışma zamanında, herhangi bir somut temsile ihtiyacımız yok ${ displaystyle { mathit {alg}}}$. Sadece yapmalıyız hayal etmek ${ displaystyle { mathit {alg}}}$ programladığımızda uzmanlaşma prosedürü İhtiyacımız olan tek şey, özel versiyonun somut bir temsilidir ${ displaystyle { mathit {alg}} _ {A}}$. Bu aynı zamanda, algoritmaları özelleştirmek için herhangi bir evrensel yöntemi kullanamayacağımız anlamına gelir, bu genellikle kısmi değerlendirmede görülür. Bunun yerine, her özel algoritma için bir uzmanlık prosedürü programlamalıyız ${ displaystyle { mathit {alg}}}$. Bunu yapmanın önemli bir avantajı, biraz güçlü kullanabilmemizdir. özel özelliklerini kullanan hileler ${ displaystyle { mathit {alg}}}$ ve temsili ${ displaystyle A}$ ve ${ displaystyle B}$, herhangi bir evrensel uzmanlaşma yönteminin erişemeyeceği bir şey.

Derleme ile uzmanlaşma

Özelleştirilmiş algoritma, yorumlanabilecek bir biçimde temsil edilmelidir. ${ displaystyle { mathit {alg}} _ {A} (B)}$ birçok değer üzerinden hesaplanacak ${ displaystyle B}$ arka arkaya yazabiliriz ${ displaystyle { mathit {alg}} _ {A}}$ özel bir kod olarak soyut makine ve bunu sık sık söyleriz ${ displaystyle A}$ dır-dir derlenmiş. Daha sonra kodun kendisi, yalnızca soyut makinenin talimatlarının anlambilimine dayanan yanıtı koruyan dönüşümlerle ek olarak optimize edilebilir.

Soyut makinenin talimatları genellikle kayıtlar olarak gösterilebilir. Bu tür bir kaydın bir alanı, talimat tipini tanımlayan bir tamsayı etiketini depolar, diğer alanlar, talimatın anlambiliminin bir atlama gerektirmesi halinde, örneğin bir etiketi temsil eden başka bir talimat için bir işaretçi gibi talimatın ek parametrelerini depolamak için kullanılabilir. Bir kodun tüm talimatları bir dizi, liste veya ağaçta saklanabilir.

Yorumlama, talimatların bir sırayla getirilmesi, türlerinin tanımlanması ve bu türle ilişkili eylemlerin yürütülmesi yoluyla yapılır. İçinde C veya C ++ kullanabiliriz değiştirmek Bazı eylemleri farklı talimat etiketleriyle ilişkilendirme ifadesi. Modern derleyiciler genellikle bir değiştirmek Bir değere karşılık gelen ifadenin adresini oldukça verimli bir şekilde depolayarak dar bir aralıktan tamsayı etiketleri içeren ifade ${ displaystyle i}$ içinde ${ displaystyle i}$-özel bir dizinin. hücresi. Küçük bir tamsayı aralığından komut etiketleri için değerler alarak bundan yararlanılabilir.

Veri ve algoritma uzmanlığı

Birçok örneğinin olduğu durumlar vardır ${ displaystyle A}$ uzun süreli depolama için tasarlanmıştır ve ${ displaystyle { mathit {alg}} (A, B)}$ farklı olmak ${ displaystyle B}$ öngörülemeyen bir sırada. Örneğin, kontrol etmemiz gerekebilir ${ displaystyle { mathit {alg}} (A_ {1}, B_ {1})}$ önce sonra ${ displaystyle { mathit {alg}} (A_ {2}, B_ {2})}$, sonra ${ displaystyle { mathit {alg}} (A_ {1}, B_ {3})}$Bu tür durumlarda, aşırı bellek kullanımı nedeniyle derleme ile tam ölçekli uzmanlaşma uygun olmayabilir. Bununla birlikte, bazen kompakt ve özel bir temsil bulabiliriz ${ displaystyle A ^ { prime}}$her biri için ${ displaystyle A}$ile veya bunun yerine depolanabilir ${ displaystyle A}$. Ayrıca bir varyant tanımlıyoruz ${ displaystyle { mathit {alg}} ^ { prime}}$ bu temsil ve herhangi bir çağrı üzerinde çalışan ${ displaystyle { mathit {alg}} (A, B)}$ ile değiştirilir ${ displaystyle { mathit {alg}} ^ { prime} (A ^ { prime}, B)}$, aynı işi daha hızlı yapmak için tasarlandı.

Ayrıca bakınız

• Psyco için uzmanlaşmış bir çalışma zamanı derleyicisi Python
• çok aşamalı programlama

Referanslar

• A. Voronkov, "Vampirin Anatomisi: Kod Ağaçlarıyla Aşağıdan Yukarı Prosedürlerin Uygulanması", Otomatik Akıl Yürütme Dergisi, 15(2), 1995 (orijinal fikir)

daha fazla okuma

• A. Riazanov ve A. Voronkov, "Süre Sıralama Kısıtlamalarının Etkin Kontrolü", Proc. IJCAR 2004, Yapay Zeka Ders Notları 3097, 2004 (yöntemin kompakt ancak bağımsız gösterimi)
• A. Riazanov ve A. Voronkov, Standart ve İlişkisel Yol İndeksleme ile Verimli Örnek Erişimi, Bilgi ve Hesaplama, 199 (1-2), 2005 (yöntemin başka bir örneğini içerir)
• A. Riazanov, "Etkin Bir Teorem Atasözünün Uygulanması", Doktora tezi, The University of Manchester, 2003 (yöntemin en kapsamlı açıklamasını ve birçok örneği içerir)