[Fikir] Fonksiyon Çağrı Mekanizması ve Call Frame Tasarımı #78

New Issue

saqut · 2026-06-14T22:13:57+03:00

saqut commented

2026-06-14 22:13:57 +03:00

Giriş (Nedir, Neden Önemli?)

examples/fibonacci.sqt özyinelemeli (recursive) bir fonksiyon. VM'in fonksiyon çağrılarını (call/return), parametreleri ve yerel değişkenleri nasıl tuttuğu — yani call frame (çağrı çerçevesi) tasarımı — özyinelemenin doğru çalışması için kritik.

Gelişme (Olası Yaklaşımlar)

Her fonksiyon çağrısında bir "frame" oluşturulur: dönüş adresi, parametreler, yerel değişkenler için ayrılan yer. Bu frame'ler bir "call stack" üzerinde tutulur (host C++ heap'i üzerinde — ADR-015, özel allocator yok).
Özyinelemeli çağrılar (fibonacci(n-1), fibonacci(n-2)) her biri kendi frame'ine sahip olmalı — değişkenler birbirine karışmamalı (scope-based memory model, ADR-014).
Maksimum çağrı derinliği (stack overflow koruması) — basit bir sayaç/limit ile "stack taşması" hatası verilebilir (yeni bir E-kodu olabilir, ileride katalogla birleştirilir).

Açık Sorular

Frame boyutu derleme zamanında mı (compile-time, fonksiyonun yerel değişken sayısına göre) hesaplanır, yoksa dinamik mi büyür?
Fonksiyon dönüş değeri yığının üstüne mi konur (yığın-tabanlı VM ile uyumlu), yoksa ayrı bir "return register" mı kullanılır?

İmza/Yorum: Bu issue VM tasarımı (önceki issue) seçimine bağımlıdır; ama fibonacci'nin "bitti" tanımı (recursive + iterative) bu mekanizma olmadan anlamsızdır — birinci öncelikli IR/VM konusu.

### Giriş (Nedir, Neden Önemli?) `examples/fibonacci.sqt` özyinelemeli (recursive) bir fonksiyon. VM'in fonksiyon çağrılarını (call/return), parametreleri ve yerel değişkenleri nasıl tuttuğu — yani **call frame (çağrı çerçevesi)** tasarımı — özyinelemenin doğru çalışması için kritik. --- ### Gelişme (Olası Yaklaşımlar) - Her fonksiyon çağrısında bir "frame" oluşturulur: dönüş adresi, parametreler, yerel değişkenler için ayrılan yer. Bu frame'ler bir "call stack" üzerinde tutulur (host C++ heap'i üzerinde — ADR-015, özel allocator yok). - Özyinelemeli çağrılar (fibonacci(n-1), fibonacci(n-2)) her biri kendi frame'ine sahip olmalı — değişkenler birbirine karışmamalı (scope-based memory model, ADR-014). - Maksimum çağrı derinliği (stack overflow koruması) — basit bir sayaç/limit ile "stack taşması" hatası verilebilir (yeni bir E-kodu olabilir, ileride katalogla birleştirilir). --- ### Açık Sorular - Frame boyutu derleme zamanında mı (compile-time, fonksiyonun yerel değişken sayısına göre) hesaplanır, yoksa dinamik mi büyür? - Fonksiyon dönüş değeri yığının üstüne mi konur (yığın-tabanlı VM ile uyumlu), yoksa ayrı bir "return register" mı kullanılır? *İmza/Yorum:* Bu issue VM tasarımı (önceki issue) seçimine bağımlıdır; ama fibonacci'nin "bitti" tanımı (recursive + iterative) bu mekanizma olmadan anlamsızdır — birinci öncelikli IR/VM konusu.

saqut added the

fikir

ir-vm

labels 2026-06-14 22:13:57 +03:00

saqut referenced this issue

2026-06-14 22:26:31 +03:00

[Fikir] Güvenlik ve Stabilite için Java Tarzı Tasarım Kararları (Sınır Kontrolü, Hata İzolasyonu) #109

saqut commented

2026-06-18 22:10:12 +03:00

Call frame tasarımı uygulandı: derleme zamanında slot sayısı hesaplanır, dönüş değeri stack üstüne konur. Özyinelemeli + iteratif fibonacci ikisi de çalışıyor.

saqut closed this issue

2026-06-18 22:10:13 +03:00

saqut commented

2026-06-18 22:13:47 +03:00

Düzeltme: dönüş değeri yığına değil, caller'ın returnDestSlot'una doğrudan yazılıyor — register-tabanlı modelle tutarlı (bkz. #76 düzeltmesi).

Düzeltme: dönüş değeri yığına değil, **caller'ın `returnDestSlot`'una** doğrudan yazılıyor — register-tabanlı modelle tutarlı (bkz. #76 düzeltmesi).

Sign in to join this conversation.