Özet - Compiler

SSA, escape ve inline'ı birleştirerek bir derleme analizi yazarsın.

Derleyici özeti

Kaynak → tür denetimi → IR (kaçış analizi + inlining) → SSA (sabit katlama, ölü kod, BCE) → makine kodu → bağlama. İnceleme araçların: -gcflags=-m (kaçış ve inlining), -gcflags=-S (assembly), GOSSAFUNC (SSA aşamaları), -d=ssa/check_bce (sınır denetimleri). Yönergelerle (//go:build, //go:embed, //go:noinline) derleyiciye talimat verirsin.

Okunurluk önce gelir

Derleyici bilgisi, profil gösterdiği sıcak noktalarda kullanılmalıdır. Kodun her yerine BCE ipucu ve noinline eklemek okunurluğu düşürür ve sonraki Go sürümlerinde gereksiz hâle gelebilir; derleyici her sürümde daha akıllı hâle gelir. Kural: ölç, sıcak noktayı bul, değişikliği benchmark ile doğrula.

Uygulama Yığında kalan tampon

Sabit boyutlu dizi kullanarak ayırmasız bir fonksiyon yaz: hex(b byte) string içinde var buf [2]byte doldur ve string(buf[:]) döndür. hex(255) sonucunu yazdır (çıktı ff).

Örnek çözümü göster

package main

import "fmt"

const rakam = "0123456789abcdef"

func hex(b byte) string {
    var buf [2]byte
    buf[0] = rakam[b>>4]
    buf[1] = rakam[b&0x0f]
    return string(buf[:])
}

func main() {
    fmt.Println(hex(255))
}

Kendini test et

Sıcak bir fonksiyon her çağrıda heap ayırıyorsa ilk hangi çıktıya bakarsın?
- go mod tidy
- gofmt -d
- go build -gcflags=-m
- go vet
Cevabı göster

go build -gcflags=-m — -m çıktısı hangi değişkenin neden heap'e kaçtığını satır numarasıyla söyler.

SSA görselleştirme

____=topla go build .

Cevabı göster

GOSSAFUNC=topla go build .

Grubun özeti

Kaçış analizi

Yığın mı heap mi?
Inlining

Çağrıyı gövdeyle değiştir
SSA

Optimizasyon biçimi
//go:build

Koşullu derleme

Sıradaki ders: runtime paketi

Deneyiminizi Geliştiriyoruz

Çerez Tercihleri

Kesinlikle Gerekli Çerezler

Analitik Çerezler