Derleyici Nedir? Kaynak Koddan Çalışan Programa

Kaynak kod, hedef kod ve çalıştırılabilir dosya aynı şey değildir

Kaynak kod, programcının C, C++ veya başka bir dilin kurallarıyla yazdığı insan tarafından okunabilir metindir. Örneğin toplam = a + b ifadesi, programcının amacını açıklar; ancak işlemcinin bu ifadeyi doğrudan anlayabilmesi için hedef komutlara dönüştürülmesi gerekir.

Derleyicinin ürettiği sonuç her zaman doğrudan işlemcinin makine kodu olmak zorunda değildir. Bazı araç zincirleri işlemciye özgü makine kodu üretirken bazıları ara kod üretir. Java derleyicisinin ürettiği bytecode, Java Sanal Makinesi tarafından yürütülen ara bir biçime örnektir. Dolayısıyla derleyici = her zaman doğrudan 0 ve 1 üretir ifadesi aşırı basitleştirmedir.

Bir başka önemli ayrım da nesne dosyası ile çalıştırılabilir dosya arasındadır. Birden fazla kaynak dosya ayrı ayrı derlenip nesne dosyalarına dönüştürülebilir. Bağlayıcı (linker), sembolleri çözer ve statik kütüphaneleri çıktıya dahil edebilir; dinamik kütüphanelerde ise gerekli bağımlılıkları kaydederek bunların çalışma zamanında yüklenmesini sağlayabilir. Bu yüzden derleme hatası ile bağlama hatası aynı aşamada oluşmaz.

Kavramsal zincir şöyledir: kaynak kod → derleyici çıktısı → bağlama işlemi → çalıştırılabilir program. Her projede bu zincirin bütün basamakları aynı biçimde görünmeyebilir; kullanılan dil, işletim sistemi ve geliştirme araçları sonucu değiştirir.

Derleyicinin kodu işlerken izlediği dört kontrol noktası

Derleme süreci tek bir kontrolden oluşmaz. Ayrıntılar derleyiciye göre değişse de öğretim açısından dört aşama yararlıdır.

İlk aşama, karakter dizisinin anlamlı parçalara ayrılmasıdır. Buna sözcüksel analiz denir. sayi = 12 ifadesinde sayi, atama işareti ve 12 ayrı belirteçler olarak ele alınır. İkinci aşamada bu parçaların dilin sözdizimine uygun bir yapıda olup olmadığı incelenir. Eksik parantez veya yanlış yerleştirilmiş bir noktalı virgül gibi sorunlar burada ortaya çıkabilir.

Üçüncü aşama anlamsal kontroldür. Kod sözdizimi bakımından düzgün görünse bile tür uyumsuzluğu, tanımlanmamış değişken veya uygun olmayan fonksiyon çağrısı bulunabilir. Örneğin bir derleyici, sayı bekleyen bir işlemde metin türündeki değerin kullanılmasını dil kurallarına göre reddedebilir ya da dönüşüm gerektiren bir uyarı verebilir. Sonuç, dilin kurallarına ve derleyici seçeneklerine bağlıdır.

Dördüncü aşamada derleyici, iç gösterimi hedef koda dönüştürür ve uygun gördüğü iyileştirmeleri yapabilir. Optimizasyonun amacı performansı artırmak, kod boyutunu azaltmak veya bellek kullanımını düşürmek olabilir. Ancak optimizasyon, programın mantıksal sonucunu değiştirecek serbest bir yeniden yazım değildir; dilin gözlemlenebilir davranış kurallarına uyması gerekir. Optimizasyon düzeyi ve elde edilen sonuç kullanılan derleyiciye, seçeneklere ve hedef işlemciye bağlıdır.

Bu aşamalar, çalışma zamanında ortaya çıkan her hatayı yakalayamaz. Örneğin kod kurallara uygun olduğu hâlde dosya bulunamaması, sıfıra bölme veya yanlış kullanıcı girdisi gibi sorunlar program yürütülürken ortaya çıkabilir.

Derleme, bağlama ve çalıştırma hatalarını ayırma

Hatanın hangi aşamada oluştuğunu bilmek, çözüm yolunu doğrudan etkiler. Derleme hatası, kaynak kodun dil kurallarına veya derleyicinin beklediği tür ilişkilerine uymamasıyla ilgilidir. Eksik bir parantez, yanlış yazılmış anahtar sözcük veya tanımsız bir ad buna örnek olabilir. Bu durumda genellikle kaynak koddaki ilgili bölüm düzeltilmeden sonraki aşamaya geçilemez.

Bağlama hatası, kaynak dosyalar derlenmiş olsa bile programın ihtiyaç duyduğu sembolün veya kütüphane işlevinin birleştirme sırasında bulunamamasıyla ilişkilidir. Örneğin bir fonksiyonun bildirimi görüldüğü hâlde gerçek tanımı projeye eklenmemişse bağlayıcı, çağrının hedefini çözemeyebilir.

Çalışma zamanı hatası ise program oluşturulduktan sonra yürütme sırasında meydana gelir. Geçersiz bir bellek erişimi, dosyanın bulunamaması veya beklenmeyen bir girdinin işlenememesi bu sınıfa girebilir. Bunlar derleyicinin hiç kontrol edemeyeceği sorunlar değildir; bazıları uyarılar veya statik analiz araçlarıyla önceden yakalanabilir. Ancak derlenmiş olması, programın bütün girdiler için doğru davranacağını garanti etmez.

Mantık hatası daha da farklıdır: Program hata mesajı vermeden çalışır, fakat yanlış sonuç üretir. Bir döngünün sınırını bir eksik belirlemek veya toplam yerine çarpma yapmak bu duruma örnektir. Derleyici çoğu mantık hatasının programcının niyetine aykırı olduğunu bilemez. Bu nedenle test, hata ayıklama ve kod incelemesi derleme sürecinin yerine geçmez; onu tamamlar.

Derleyici ile yorumlayıcı farkı: hızdan önce çalışma modeline bakın

Derleyici ve yorumlayıcı, kaynak kodun yürütülmesini sağlayan farklı yaklaşımlardır; ancak bunları biri bütünüyle çevirir, diğeri her zaman satır satır çevirir diye kesin bir ikiliye indirgemek doğru değildir. Derleyici önceden bir hedef çıktı üretmeye odaklanır. Yorumlayıcı ise kaynak kodu veya ara gösterimi çalışma sırasında değerlendirip yürütür. Gerçek sistemlerde bu iki yaklaşım birlikte de kullanılabilir.

Derlenmiş hedef kod, çeviri işleminin çalışma anından önce yapılması sayesinde tekrar tekrar çalıştırılırken aynı çeviriyi yeniden gerektirmeyebilir. Bu, özellikle yürütme maliyetinin önemli olduğu uygulamalarda avantaj sağlayabilir. Buna karşılık toplam performans yalnızca derleyici kullanılıp kullanılmamasına bağlı değildir; algoritma, giriş verisi, donanım, bellek erişimi ve çalışma zamanı sistemi de etkilidir.

Yorumlayıcı yaklaşım, kaynak kodda değişiklik yapıp daha doğrudan deneme yapmayı kolaylaştırabilir. Ancak bu, yorumlayıcıyla çalışan her dilin yavaş veya derleyiciyle çalışan her dilin hızlı olduğu anlamına gelmez. Python ve JavaScript gibi diller farklı uygulamalarda yorumlama, bytecode ve çalışma anında derleme tekniklerini birlikte kullanabilir. Java da kaynak koddan bytecode üreterek sanal makine üzerinde çalışır. Bu nedenle karşılaştırma yapılırken dil adı yerine belirli çalışma ortamına ve kullanılan araç zincirine bakılmalıdır.

Ayrıntılı karşılaştırma için yorumlayıcı nedir yazısına, programlamanın daha geniş çerçevesi için programlama nedir yazısına geçilebilir.

Platform bağımlılığı, taşınabilirlik ve optimizasyonun sınırı

Bir kaynak kodun farklı işletim sistemlerinde veya işlemcilerde çalışabilmesi ile derleyici çıktısının taşınabilir olması aynı şey değildir. İşlemci komut seti, işletim sistemi arayüzleri, kütüphaneler ve derleyici seçenekleri farklı olabilir. Bu nedenle aynı kaynak kod çoğu zaman her hedef platform için yeniden derlenir veya platforma uygun başka bir çalışma ortamına ihtiyaç duyar.

Derleyici optimizasyonu da bu hedefe göre şekillenir. Hedef işlemcinin desteklediği talimatlar, bellek modeli ve derleme seçenekleri üretilen kodu etkileyebilir. -O gibi bir seçenek kullanılması tek başına belirli bir hız artışını garanti etmez; gerçek sonuç ölçümle değerlendirilmelidir. Ayrıca daha yüksek optimizasyon, hata ayıklama sırasında kaynak satırları ile makine talimatları arasındaki ilişkiyi daha karmaşık hâle getirebilir.

Derlenmiş dosyanın kaynak koddan daha zor okunması, kaynak kodun gizlendiği veya güvenliğin garanti edildiği anlamına gelmez. Tersine mühendislik, hata ayıklama sembolleri ve kullanılan platforma ilişkin araçlar çıktının incelenmesini mümkün kılabilir. Derleyicinin temel görevi kodu dönüştürmektir; gizlilik ve güvenlik için ayrıca erişim denetimi, güvenli tasarım, imzalama ve test gibi önlemler gerekir.

Bu ayrım sınav sorularında önemlidir: derleyici farklı platformlarda çalışmayı sağlar ifadesi ancak kaynak kodun ilgili platform için uygun biçimde derlenmesi veya taşınabilir bir ara çalışma ortamı kullanılması koşuluyla anlamlıdır.

Çözümlü örnekler: bir kod parçası hangi aşamada sorun çıkarır?

Örnek 1 — Derleme hatasını ayırt etme

Verilenler: int sayi = 10; int sonuc = sayi + ;

Çözüm adımları:

1. İlk satırda sayi adlı tamsayı değişkenine 10 değeri atanır.
2. İkinci satırda atama işaretinin sağında sayi + ifadesi bulunur.
3. Toplama işlemi için + işaretinin sağında bir ifade veya değer bulunması gerekir.
4. Operatörün eksik operandla bırakılması sözdizimsel yapıyı bozar.
5. Bu nedenle sorun çalışma zamanında değil, derleme aşamasında bildirilir.

Sonuç: Program, bu satır düzeltilmeden derlenemez. Olası düzeltme int sonuc = sayi + 5; gibi eksik değeri tamamlamaktır. Buradaki temel ipucu, işlemcinin yanlış sonuç üretmesinden önce kodun dilbilgisi yapısının kurulamadığıdır.

Örnek 2 — Derleme ile çalışma zamanı sorununu ayırt etme

Verilenler: int pay = 10; int payda = 0; int sonuc = pay / payda;

Çözüm adımları:

1. Değişken bildirimleri ve atamalar, kullanılan dilin kurallarına uygunsa derleyici bu kodu sözdizimi bakımından kabul edebilir.
2. sonuc hesaplanırken payda değeri 0'dır.
3. Tamsayı bölmesinde sıfıra bölme, matematiksel olarak tanımsız bir durumdur.
4. Kullanılan dile göre sonuç değişir: Örneğin Java ve Python'da çalışma zamanı istisnası oluşur; JavaScript'te sayı türüyle yapılan bölmede Infinity oluşabilir. C ve C++'ta tamsayı sıfıra bölme tanımsız davranıştır. Değer derleme zamanında kesin olarak biliniyorsa bazı diller veya derleyiciler derleme aşamasında da tanı koyabilir.

Sonuç: Kod derlendi demek, kod her girişte güvenle çalışır demek değildir. Sınav sorusunda hata türünü belirlemek için hatanın kaynak kod kurallarını mı, sembollerin bağlanmasını mı, yoksa yürütme anındaki değerleri mi ilgilendirdiğine bakılır.

Örnek 3 — Bağlama aşamasını ayırt etme

Verilenler: Bir dosyada yazdir(); çağrısı yapılmış, fakat bu fonksiyonun tanımı projeye eklenmemiştir.

Çözüm adımları:

1. Çağrının yazımı dil kurallarına uygun olabilir.
2. Derleyici, fonksiyon adını ve çağrı biçimini kabul edebilir.
3. Program oluşturulurken bağlayıcı, yazdir işlevinin gerçek kodunu arar.
4. Tanım veya gerekli kütüphane bulunamazsa sembol çözülemez.

Sonuç: Sorun sözdizimi değil, bağlama sürecindeki eksik tanım veya kütüphane bağlantısıdır.

Sık yapılan hatalar ve karıştırılan sınır durumları

1. Derleyici her zaman doğrudan makine kodu üretir demek: Yanlıştır. Hedef çıktı makine kodu, nesne kodu veya bir ara gösterim olabilir.

2. Derlenen programda hata kalmaz demek: Yanlıştır. Derleme; belirli sözdizimi, tür ve anlam kontrollerini yapar. Çalışma zamanı ve mantık hataları ayrıca test edilmelidir.

3. Yorumlayıcı kodu kesinlikle satır satır çalıştırır demek: Aşırı basitleştirmedir. Modern çalışma ortamlarında bytecode, önbellekleme ve çalışma anında derleme gibi karma modeller bulunabilir.

4. Derleyici ile bağlayıcıyı aynı araç sanmak: Bazı geliştirme komutları ikisini tek komutla çalıştırabilir; görevleri yine farklıdır. Derleyici kaynak birimini dönüştürür, bağlayıcı farklı çıktıları ve kütüphaneleri birleştirir.

5. Sözdizimi hatası ile mantık hatasını karıştırmak: Eksik parantez derleme aşamasında yakalanabilir; yanlış hesaplama ise program başarıyla çalışsa bile fark edilmeyebilir.

6. Optimizasyonu otomatik hız garantisi saymak: Optimizasyon hedefi ve sonucu derleyici seçeneklerine, programa ve donanıma bağlıdır. Ölçüm yapılmadan belirli bir hız kazanımı söylenemez.

7. Derlenmiş çıktıyı güvenlik koruması kabul etmek: Çıktının okunması zorlaşabilir, fakat bu tek başına kaynak kodu veya algoritmayı gizlemez. Güvenlik ayrı bir tasarım konusudur.

8. Bir dilin tek bir çalışma yöntemi olduğunu düşünmek: Bir dilin farklı uygulamaları farklı derleyici, sanal makine veya çalışma zamanı teknikleri kullanabilir. Bu nedenle soruda verilen özel araç zincirinin tanımına öncelik verilmelidir.