saqut
/
saqut-compiler
1
0
Fork 0
Code Issues 29 Pull Requests Packages Projects Releases Wiki Activity

[Fikir] VM Yorumlayıcı Döngüsü ve Dispatch Stratejisi #77

New Issue
Closed
opened 2026-06-14 22:13:56 +03:00 by saqut · 2 comments
saqut commented 2026-06-14 22:13:56 +03:00
Owner
Copy Link

Giriş (Nedir, Neden Önemli?)

Bytecode VM'in kalbi, her komutu okuyup ilgili işlemi yapan "yorumlayıcı döngü" (interpreter loop / dispatch loop). Bu döngünün nasıl yazılacağı hem performansı hem de kod okunabilirliğini etkiler.

Gelişme (Olası Yaklaşımlar)

  • Switch-case dispatch: switch(opcode) { case ADD: ...; case JUMP: ...; }. En basit, en okunabilir, derleyici bağımsız (portable). saQut'un "incelenebilir" felsefesiyle en uyumlu başlangıç noktası.
  • Computed goto / jump table: Daha hızlı ama derleyiciye özel uzantılar gerektirir (GCC/Clang &&label), taşınabilirlik düşer. Hız öncelik değilse (ADR-015) v0'da gereksiz karmaşıklık.
  • Threaded code: Her IR komutunu doğrudan bir C++ fonksiyon pointer'ına çeviren ileri teknik — şimdilik kapsam dışı.
  • v0 önerisi: basit switch-case + her adımda "trace" modu (her komut çalışmadan önce/sonra durum dump edilebilir, ADR-016 FFI seam ile print zaten bu yola hazırlanıyor).

Açık Sorular

  • Yorumlayıcı tek bir run() fonksiyonu mu olacak, yoksa her opcode için ayrı handle_* fonksiyonu mu (okunabilirlik vs. fonksiyon çağrı maliyeti — ama maliyet öncelik değil)?
  • Adım-adım çalıştırma (step) ve "tüm programı çalıştır" (run) aynı döngüyü mü paylaşacak?

İmza/Yorum: "Önce dikey dilim" ilkesi burada da geçerli: en basit switch-case ile fibonacci çalışsın, optimize dispatch ileri bir konu.

### Giriş (Nedir, Neden Önemli?) Bytecode VM'in kalbi, her komutu okuyup ilgili işlemi yapan "yorumlayıcı döngü" (interpreter loop / dispatch loop). Bu döngünün nasıl yazılacağı hem performansı hem de kod okunabilirliğini etkiler. --- ### Gelişme (Olası Yaklaşımlar) - **Switch-case dispatch:** `switch(opcode) { case ADD: ...; case JUMP: ...; }`. En basit, en okunabilir, derleyici bağımsız (portable). saQut'un "incelenebilir" felsefesiyle en uyumlu başlangıç noktası. - **Computed goto / jump table:** Daha hızlı ama derleyiciye özel uzantılar gerektirir (GCC/Clang `&&label`), taşınabilirlik düşer. Hız öncelik değilse (ADR-015) v0'da gereksiz karmaşıklık. - **Threaded code:** Her IR komutunu doğrudan bir C++ fonksiyon pointer'ına çeviren ileri teknik — şimdilik kapsam dışı. - v0 önerisi: basit switch-case + her adımda "trace" modu (her komut çalışmadan önce/sonra durum dump edilebilir, ADR-016 FFI seam ile `print` zaten bu yola hazırlanıyor). --- ### Açık Sorular - Yorumlayıcı tek bir `run()` fonksiyonu mu olacak, yoksa her opcode için ayrı `handle_*` fonksiyonu mu (okunabilirlik vs. fonksiyon çağrı maliyeti — ama maliyet öncelik değil)? - Adım-adım çalıştırma (step) ve "tüm programı çalıştır" (run) aynı döngüyü mü paylaşacak? *İmza/Yorum:* "Önce dikey dilim" ilkesi burada da geçerli: en basit switch-case ile fibonacci çalışsın, optimize dispatch ileri bir konu.
saqut added the
fikir
ir-vm
 labels 2026-06-14 22:13:56 +03:00
saqut commented 2026-06-18 22:10:11 +03:00
Author
Owner
Copy Link

Switch-case dispatch seçildi ve uygulandı. Her opcode için ayrı dal, trace modu ileride eklenebilir. Fibonacci çalışıyor.

Switch-case dispatch seçildi ve uygulandı. Her opcode için ayrı dal, trace modu ileride eklenebilir. Fibonacci çalışıyor.
saqut closed this issue 2026-06-18 22:10:12 +03:00
saqut commented 2026-06-18 22:13:32 +03:00
Author
Owner
Copy Link

Düzeltme: önceki yorum hatalıydı. Dispatch switch-case doğru, ama VM mimarisi stack-tabanlı değil slot/register-tabanlıdır (bkz. #76 düzeltmesi).

Düzeltme: önceki yorum hatalıydı. Dispatch switch-case doğru, ama VM mimarisi stack-tabanlı değil **slot/register-tabanlıdır** (bkz. #76 düzeltmesi).
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
master
0.1.0
license-subsystem
feature/frontend-analysis
feature/parser-modularization
visual
Labels
Clear labels   
cli-ux

CLI komutlari ve kullanici deneyimi fikirleri

  
faz-plani

Aktif yol haritası fazı (Faz 0-4)

  
felsefe-gozden-gecir

Kristalleşen felsefe (cam+kafes, önce dikey dilim, record-replay) ışığında yeniden değerlendirilmeli

  
ffi-builtin

FFI seam, builtin fonksiyonlar, stdlib

  
fikir

İleri vizyon / backlog fikri, henüz planlanmadı

  
gelecek-vizyon

Deneysel / modern fikirler, mimariyi değiştirebilecek konular

  
ir-vm

IR tasarımı, bytecode, VM

  
kalite-mimari

Performans, guvenlik, stabilite ve modernlik tasarim tavsiyeleri

  
moduller-import

Modül sistemi, import, çoklu dosya

  
test-senaryosu

Kaynak kod + beklenen çıktı iceren golden-test senaryosu

  
tip-sistemi

Tip sistemi genişletmeleri (decimal, date, enum...)

  
tooling-lsp

LSP, syntax highlighting, formatter, editor entegrasyonu

No Label
cli-ux
faz-plani
felsefe-gozden-gecir
ffi-builtin
fikir
gelecek-vizyon
ir-vm
kalite-mimari
moduller-import
test-senaryosu
tip-sistemi
tooling-lsp
Milestone
Clear milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
No Assignees
1 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: saqut/saqut-compiler#77
No description provided.
Delete Branch "%!s(<nil>)"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?