Tanıma ulaşmak - Reaching definition - Wikipedia

İçinde derleyici teorisi, bir tanıma ulaşmak belirli bir talimat için, hedef değişkeni verilene araya giren bir atama olmadan ulaşabilen (atanabilen) daha önceki bir talimattır. Örneğin, aşağıdaki kodda:

d1: y: = 3d2: x: = y

d1 için kapsamlı bir tanımdır d2. Aşağıdaki örnekte, ancak:

d1: y: = 3d2: y: = 4d3: x: = y

d1 artık için ulaşılan bir tanım değil d3, Çünkü d2 erişimini öldürür: içinde tanımlanan değer d1 artık mevcut değil ve ulaşılamıyor d3.

Analiz olarak

Benzer şekilde adlandırılmış tanımlara ulaşmak bir veri akışı analizi hangi tanımların kodda belirli bir noktaya ulaşabileceğini statik olarak belirler. Basitliği nedeniyle, genellikle ders kitaplarında veri akışı analizinin kanonik bir örneği olarak kullanılır. veri akışı izdiham operatörü kullanılan set birleşimidir ve analiz ileri akıştır. Erişim tanımları hesaplamak için kullanılır kullanım tanımlı zincirler.

Belirli bir temel blok için kullanılan veri akışı denklemleri ${ displaystyle S}$ tanımlara ulaşmada:

• ${ displaystyle { rm {REACH}} _ { rm {in}} [S] = bigcup _ {p in pred [S]} { rm {REACH}} _ { rm {out}} [ p]}$
• ${ displaystyle { rm {REACH}} _ { rm {out}} [S] = { rm {GEN}} [S] cup ({ rm {REACH}} _ { rm {in}} [S] - { rm {KILL}} [S])}$

Başka bir deyişle, tanımlara ulaşma seti ${ displaystyle S}$ ulaşılan tanımların tümü ${ displaystyle S}$öncülleri, ${ displaystyle ön [S]}$. ${ displaystyle ön [S]}$ daha önce gelen tüm temel bloklardan oluşur ${ displaystyle S}$ içinde kontrol akış grafiği. Ulaşan tanımlar ${ displaystyle S}$ değişkeni tarafından öldürülen tanımlara ulaşanlar eksi öncüllerinin tanımlarına ulaşıyor ${ displaystyle S}$ artı içinde oluşturulan yeni tanımlar ${ displaystyle S}$.

Genel bir talimat için, ${ displaystyle { rm {GEN}}}$ ve ${ displaystyle { rm {KILL}}}$ aşağıdaki gibi ayarlar:

• ${ displaystyle { rm {GEN}} [d: y leftarrow f (x_ {1}, cdots, x_ {n})] = {d }}$ , temel bir blokta yerel olarak mevcut bir dizi tanım
• ${ displaystyle { rm {KILL}} [d: y leftarrow f (x_ {1}, cdots, x_ {n})] = { rm {DEFS}} [y] - {d }}$, temel bloktaki tanımlar tarafından sonlandırılan bir dizi tanım (yerel olarak mevcut değil, ancak programın geri kalanında).

nerede ${ displaystyle { rm {DEFS}} [y]}$ değişkene atanan tüm tanımların kümesidir ${ displaystyle y}$. Buraya ${ displaystyle d}$ atama talimatına eklenen benzersiz bir etikettir; dolayısıyla, tanımlara ulaşmada değerlerin alanı bu talimat etiketleridir.

İş listesi algoritması

Erişim tanımı genellikle yinelemeli bir iş listesi algoritması kullanılarak hesaplanır.

Giriş: kontrol akış grafiği CFG = (Düğümler, Kenarlar, Giriş, Çıkış)

// Başlatiçin herşey CFG düğümler n içinde N,    DIŞARI[n] = boş küme; // OUT [n] = GEN [n] ile optimize edebilir;// tüm düğümleri değiştirilen kümeye yerleştir// N grafikteki tüm düğümlerdir,Değiştirildi = N;// Yineleyin süre (Değiştirildi != boş küme){    Seç a düğüm n içinde Değiştirildi;    // değiştirilen kümeden kaldır    Değiştirildi = Değiştirildi -{ n };    // boş olması için IN [n] init    İÇİNDE[n] = boş küme;    // öncüllerin OUT'dan IN [n] değerini hesapla [p]    için herşey düğümler p içinde öncekiler(n)         İÇİNDE[n] = İÇİNDE[n] Birlik DIŞARI[p];    eski = DIŞARI[n]; // eski ÇIKIŞI kaydet [n]        // f_n () transfer fonksiyonunu kullanarak OUT [n] güncelleyin    DIŞARI[n] = GEN[n] Birlik (İÇİNDE[n] -ÖLDÜRMEK[n]);    // önceki değere kıyasla OUT [n] 'de herhangi bir değişiklik var mı?    Eğer (DIŞARI[n] değişti) // eski ile OUT'u karşılaştırın [n]    {            // evet ise, n'nin tüm haleflerini değiştirilen kümeye koy        için herşey düğümler s içinde halefler(n)             Değiştirildi = Değiştirildi U { s };    }}

daha fazla okuma

• Aho, Alfred V .; Sethi, Ravi ve Ullman, Jeffrey D. (1986). Derleyiciler: İlkeler, Teknikler ve Araçlar. Addison Wesley. ISBN  0-201-10088-6.
• Appel, Andrew W. (1999). Makine öğreniminde Modern Derleyici Uygulaması. Cambridge University Press. ISBN  0-521-58274-1.
• Cooper, Keith D. ve Torczon, Linda. (2005). Derleyici Mühendisliği. Morgan Kaufmann. ISBN  1-55860-698-X.
• Muchnick Steven S. (1997). Gelişmiş Derleyici Tasarımı ve Uygulaması. Morgan Kaufmann. ISBN  1-55860-320-4.
• Nielson F., H.R. Nielson; , C. Hankin (2005). Program Analizinin İlkeleri. Springer. ISBN  3-540-65410-0.

Ayrıca bakınız

• Statik tek atama formu
• Ulaşılabilir kullanımlar