Derleyici

Derleyiciler kaynak kodları makine koduna derleme görevine hizmet eden yazılımlardır. Bir programlama dilinin derleyicisi, o programlama dili kullanılarak yazılmış olan kodu hedef işlemci mimarisine göre uygun şekilde makine koduna derler ve genellikle çıktı olarak yürütülebilir dosyasının (exeutable file) elde edilmesini sağlar. Bu eyleme derleme denir. Bilgi işlemde yürütülebilir dosya doğrudan işlemci tarafından çalıştırılabilecek bir dosyayı ifade eder. Dosya makine kodu ile yazılmış komut seti talimatları bütününden oluşur. Derleyiciler yürütülebilir dosyalar oluşturulmak amacıyla yaygın olarak kullanılırlar. Derleyiciler de çalışma prensiplerine göre kendi içlerinde ayrılırlar. Tipik bir derleyici yorumlayıcı ve çeviricide olduğu gibi sözcüksel analiz ve ayrıştırma aşamalarını gerçekleştirir. Derleyicilerin ürettiği yürütülebilir dosyalar her zaman platforma özel olarak derlenmiş makine kodlarından oluşmaz, bazen kaynak kod bir ara temsil diline derlenir ve bu dil genellikle bayt kodu (bytecode) olmaktadır. Ara dillerin en popüler örnekleri Microsoft .NET, Java Sanal Makinesi (Java Virtual Machine - JVM) ve BEAM (Erlang Virtual Machine) şeklindedir. Bu platformlar kendilerine özgü bir ara dil kullanırlar. Bu ara dil türü örneklerin hepsinde bytecode şeklindedir. Örneğin JVM Java Bytecode olarak adlandırılan bir ara dil kullanmaktadır. Bu ara dilin çalışma zamanında yorumlanması ve ilgili platforma göre uyumlu makine kodunun oluşturulmasına daha önce değinilmişti (bkz. P-Code Machine). Bu şekilde derlenen diller zamanında (Just in Time – JIT) derleme tekniğini kullanır. İki ana derleyici türü vardır, bunlar: yerel (native) ve çapraz (cross) derleyicilerdir. Yerel derleyiciler üzerinde çalıştığı platforma özgü derleme gerçekleştirirler. Dolayısıyla yerel bir derleyiciden elde edilecek çıktı yalnıza derleyicinin derleme zamanında yürütüldüğü sisteme yönelik olacaktır (Örn. Yerel bir derleyici ile C kodunun AMD64 mimarisini kullanan Linux çekirdeğinde çalışan bir makinede derlenmesi sonucu AMD64 ve Linux çekirdeğiyle uyumlu makine kodu elde edilmesi). Yerel derleyicilerin platform bağımsız düşünmeleri gerekmediğinden AOT derleme tekniği ile direkt olarak makine koduna derlenirler. Çapraz derleyiciler üzerinde çalıştıkları platformdan bağımsız bir şekilde destekledikleri tüm platformlara özel olarak makine kodu derlemeleri üretebilirler. Buna örnek olarak ARM64 üzerinde çalışan bir derleyicinin I386 için uyumlu makine kodu derlemesi gösterilebilir. Derleyici yalnızca kodu derlemekle ilgilenmez aynı zamanda derleme zamanında gerekli gördüğü yerlerde kodu optimize edebilir ve daha optimum bir makine kodu üretmek için çabalayabilir. Bunlara derleyici optimizasyonları denir. Makine üzerinde bulunan işlemcinin komut setine uygun şekilde derlenen saf makine kodlarının işlemci tarafından doğrudan yürütülebilir olduğundan en saf çalışma performansı bu şekilde derlenen dillerden elde edilebilir. Bu diller zamanından önce (Ahead of Time - AOT) derleme tekniğini kullanır. Genellikle yürütülebilir dosya elde edilmesi şeklinde tanımlanmasının nedeni ise bir derleyicinin her zaman tam anlamıyla yürütülebilir dosya oluşturmamasından kaynaklanmaktadır. Derleyicinin kullanılmasındaki amaç genellikle çalışabilir bir yazılım elde etmektir. Kullanıcıların programları kullanırken kolaylık sağlamak amaçlı geliştirilmiştir... Örneğin, şu satırı bir programın kaynak kodunda (programın okunabilir hali) düşünelim: X = 2 + Y Alttaki assembly'de yazılmış satırlar, aynı programın derlenmiş halidir: LOAD A [0] ;; belleğin 0 adresindeki veriyi A siciline yükle ADD A BX ;; A siciline BX sicilindeki adreste bulunan veriyi ekle STOR A [100] ;; sonucu 100 adresine yaz Bu örnekte çevirinin hedefi, programcının anladığı kaynak kodundan işlemcinin anladığı 0 ile 1 den oluşan makine dili kodunu üretmek (LOAD,ADD ve STOR komutları 0001, 0011 ve 0010 olarak yorumlanır) 0001 01 00 00000000 0011 01 10 00000010 0010 01 00 00000100 \---- -- -- --------- | | | |_________bellek adresi | | |____________işaret | |______________sicil |_________________komut Bir programlama dili genellikle insan tarafından okunabilir yapılardır. Bilgisayarlar komut seti içerisinde yer alan talimatlar dışında herhangi bir komut yorumlama yeteneğine sahip değillerdir. İşlemcilerin mimarisine göre komut seti de farklılık göstermektedir, bu nedenle derleyicilerin desteklenen her farklı işlemci mimarisi için farklı derleme aşamalarını izlemesi ve farklı makine kodu sonuçları üretmesi gerekir. == Derleyici Yapısı == Bir derleyicinin yapısı hedef programlama diline göre değişiklik gösterse de genel olarak bir derleyicinin uygulanması (implementation) yaygın şekilde benzer aşamaları takip eder. === Ön Uç (Front end) === Bir derleyicinin ön ucu, kaynak kodun analiz edilerek daha kolay bir şekilde anlamlandırılması ve anlamlandırılmadan önce bir takım sözdizimi gibi hataların kontrol edildiği yerdir. * Sözcüksel analiz: kaynak kodun incelenerek jeton (token) olarak temsil edilecek şekilde ayrıştırılmasıdır. Tanımlayıcılar, anahtar kelimeler, operatorler ve diğer kaynak kod ögeleri jetonlar haline getirilerek temsil edilir ve program içerisinde ögelerin anlamlandırılmasında kullanılır. === Arka Uç (Back end) === Bir derleyicinin arka ucu işlenmiş olan ara temsilden yararlanarak hedef derleme platformuna uygun bir şekilde makine kodu oluşturulduğu yerdir. Birden fazla işlemci mimarisini destekleyen derleyiciler her bir mimari için farklı sonuçlar üreten farklı arka uçlara sahip olabilirler. * Kod oluşturma: platforma uygun şekilde makine kodunun oluşturulmasıdır. Makine kodu içerisinde programın algoritmasının gerçekleşmesi gerekli olan talimatların yanı sıra hata ayıklama ve çalışma zamanı için özel olarak ek kodlar bulunabilir. * Platforma bağlı optimizasyonlar: derleyici kod ürettiği platforma özel olarak üretilen makine kodu üstünde optimizasyonlar uygulayabilir ve girdi olarak alınan kaynak kodun teorik olarak daha iyi çalışan bir sürümünü elde edebilir. == Ayrıca bakınız == * Bağlayıcı * Yorumlayıcı * Sözcüksel analiz * Bilgisayar * İşlemci * Programlama dili * Kaynak kod * Makine kodu * Komut seti == Dış bağlantılar == Daha fazla bilgi için: * ISBN 0-201-10088-6 * Introduction and overview of compilation (9-2 and 9-7, 2004) Kategori:Amerika Birleşik Devletleri icatları