Go hızlandıran bir dil değil, hızlandıran bir bütündür. Derleme süresi, çalışma zamanı, çöp toplayıcı ve dilin bilinçli yoksunlukları ayrı ayrı sıradan görünebilir; bir araya geldiklerinde ise ortaya, sunucu tarafında on yıldır zor yenilen bir verimlilik çıkar. Bu bütünlüğü, bileşenlerine ayırarak bakalım.

Derleme Süresi Bir Özelliktir

Go'nun ilk ilkesi, 2009'dan bugüne değişmedi: derleyici hızlı olmalıdır. Dil tasarımı bu hedefe ters düşen her şeyi süzgeçten geçirmiştir. Şablon metaprogramlaması yoktur, aşırı yükleme yoktur, derleyicinin bütün programı anlamasını gerektiren karmaşık çıkarımlar azdır. Sonuç: milyonlarca satırlık bir proje, saniyeler içinde derlenir.

Bu hızın performansa dolaylı ama somut bir katkısı var. Derleme bedava olduğunda geliştiriciler profilleme yapar, yeniden düzenler, ölçer. Araç, geliştiricinin düşünme hızına yakın bir geri bildirim döngüsü sunar. Yavaş dillerde optimizasyon, çok pahalıya gelen bir deney olduğundan ertelenir; Go'da ise günlük bir alışkanlıktır.

Çalışma Zamanının Disiplini

Go'nun zamanlayıcısı, goroutine adı verilen hafif iş parçacıklarını binlerce olarak tek program içinde yönetir. Her goroutine başta yalnızca birkaç kilobaytlık bir yığınla doğar; yığın gerektikçe büyür. M:N modeli dediğimiz düzen, çok sayıda goroutine'i az sayıda çekirdek iş parçacığına dağıtır; engellenen bir çağrı, zamanlayıcıyı bloke etmez, başka işler öne alınır.

func main() {
    girdi := []string{"a.txt", "b.txt", "c.txt"}
    sonuç := make(chan int, len(girdi))

    for _, dosya := range girdi {
        go func(adi string) {
            sonuç <- satırSayısı(adi)
        }(dosya)
    }

    toplam := 0
    for range girdi {
        toplam += <-sonuç
    }
    fmt.Println("toplam:", toplam)
}

Çöp toplayıcı ise on yıl içinde durdurma sürelerini milisaniyelerin altına indirdi. Modern Go toplayıcısı, işaretçileri izleyen eşzamanlı bir tasarım kullanır ve programla birlikte çalışır. Bölgeleri yöneten mekanizmanın çoğu, derleyicinin kaçış analizi adı verdiği incelemeye dayanır: bir değişkenin yığında kalabileceğini kanıtlayabilen derleyici, onu toplayıcının yükünden tamamen çıkarır.

Aynı disiplin dilin eşzamanlılık ilkelinde de görülür. Kanallar, seçim ifadesi ve bağlam iptali, kilitsiz paylaşımlı belleğin tuzağının yerine iletişimi koyar: veri, gerektiğinde değil, gerektiği anda aktarılır. Bu seçim kilitleme hatalarını azaltır ve davranışı tahmin edilebilir kılar; yük altındaki ölçümler de bu öngörülebilirlikten payını alır. Hızlı başlangıç süresi ve küçük çalıştırılabilir dosyalar, konteyner ortamlarında dağıtımı da kolaylaştırır; aynı ikili dosya, farklı mimarilerde değişmeden çalışır. Bu yönüyle Go, sunucu tarafında işletim sisteminin verimliliğini dil katmanına taşır.

Yoksunluğun Mimari Değeri

Go'nun en eleştirilen yönü, en çok da işleyişine iyi gelen taraf: dilin küçüklüğü. Tek bir döngü biçimi, üç satırda öğrenilen hata yönetimi, jeneriklerin çok geç ve ölçülü eklenmesi. Bunların ortak sonucu, kodun okunabilirliğini kod yazarından bağımsız tutmak. Büyük bir Go kod tabanına girdiğinizde beklediğiniz şeyi görürsünüz; sürpriz yoktur. Bu öngörülebilirlik, çalışma zamanının optimizasyonuna da yansır: derleyici, dilin belirsizliklerinden arındığı için satır satır ne olacağını bilir.

Özetle Go'nun hızı, bir dil özelliği listesi değil, bir mühendislik kararı zinciridir. Basitlik derleyiciyi hızlandırır; hızlı derleyici ölçmeyi alışkanlık yapar; ölçme alışkanlığı çalışan yazılımı öne çıkarır. Hâlâ hızlı olmasının sırrı, zekice optimizasyonlarda değil, hiçbir bileşenin diğerini zorlamadığı bu sakin mimaridedir.