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

[Fikir] Bytecode Formatı: Yığın-Tabanlı mı (Stack-based), Register-Tabanlı mı VM? #76

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?)

ADR-015 çalıştırma modelini kilitledi: IR + bytecode VM (yorumlayıcı döngü), gerçek makine-kodu JIT yok. Ama VM'in iç mimarisi henüz seçilmedi: yığın-tabanlı (stack-based, Python/JVM/Wasm tarzı) mi, register-tabanlı (Lua 5'in VM'i tarzı, sanal register'lar) mı?

Gelişme (Olası Yaklaşımlar)

  • Yığın-tabanlı: Komutlar değer push/pop eder (push a, push b, add). Üretmesi basit, IR'den bytecode'a çeviri kolay. Dezavantaj: gereksiz push/pop'lar (performans, ama saQut için öncelik değil — bkz. ADR-015 "determinizm/incelenebilirlik > hız").
  • Register-tabanlı: Her fonksiyonun sanal register'ları olur (add r1, r2, r3). Daha az komut, ama derleyici tarafı (register allocation - kayıt tahsisi) daha karmaşık.
  • saQut'un önceliği basitlik + incelenebilirlik olduğu için yığın-tabanlı VM ile başlamak "önce dikey dilim" ilkesine daha uygun olabilir; register-tabanlı'ya geçiş ileride bir "VM v2" issue'su olabilir.

Açık Sorular

  • Yığın-tabanlı seçilirse, fonksiyon çağrıları için ayrı bir "call stack" mı, tek bir birleşik yığın mı kullanılır?
  • Debug/inceleme modunda her adımdan sonra yığının tam içeriği dump edilebilir mi (alet çantası vaadiyle doğrudan ilişkili)?

İmza/Yorum: Bu karar IR komut setini (önceki issue) doğrudan etkiler — birlikte tartışılmalı. Önerim: v0 için yığın-tabanlı, basitliği ve incelenebilirliği önceliklendirdiği için.

### Giriş (Nedir, Neden Önemli?) ADR-015 çalıştırma modelini kilitledi: IR + bytecode VM (yorumlayıcı döngü), gerçek makine-kodu JIT yok. Ama VM'in *iç mimarisi* henüz seçilmedi: **yığın-tabanlı (stack-based, Python/JVM/Wasm tarzı)** mi, **register-tabanlı (Lua 5'in VM'i tarzı, sanal register'lar)** mı? --- ### Gelişme (Olası Yaklaşımlar) - **Yığın-tabanlı:** Komutlar değer push/pop eder (`push a`, `push b`, `add`). Üretmesi basit, IR'den bytecode'a çeviri kolay. Dezavantaj: gereksiz push/pop'lar (performans, ama saQut için öncelik değil — bkz. ADR-015 "determinizm/incelenebilirlik > hız"). - **Register-tabanlı:** Her fonksiyonun sanal register'ları olur (`add r1, r2, r3`). Daha az komut, ama derleyici tarafı (register allocation - kayıt tahsisi) daha karmaşık. - saQut'un önceliği **basitlik + incelenebilirlik** olduğu için yığın-tabanlı VM ile başlamak "önce dikey dilim" ilkesine daha uygun olabilir; register-tabanlı'ya geçiş ileride bir "VM v2" issue'su olabilir. --- ### Açık Sorular - Yığın-tabanlı seçilirse, fonksiyon çağrıları için ayrı bir "call stack" mı, tek bir birleşik yığın mı kullanılır? - Debug/inceleme modunda her adımdan sonra yığının tam içeriği dump edilebilir mi (alet çantası vaadiyle doğrudan ilişkili)? *İmza/Yorum:* Bu karar IR komut setini (önceki issue) doğrudan etkiler — birlikte tartışılmalı. Önerim: v0 için yığın-tabanlı, basitliği ve incelenebilirliği önceliklendirdiği için.
saqut added the
fikir
ir-vm
 labels 2026-06-14 22:13:56 +03:00
saqut commented 2026-06-18 22:10:09 +03:00
Author
Owner
Copy Link

Stack-tabanlı VM uygulandı. Switch-case dispatch, call frame, özyinelemeli fibonacci çalışıyor. Karar: stack-tabanlı VM (v0 için yeterli, register-tabanlı geçiş ileride ayrı issue).

Stack-tabanlı VM uygulandı. Switch-case dispatch, call frame, özyinelemeli fibonacci çalışıyor. Karar: stack-tabanlı VM (v0 için yeterli, register-tabanlı geçiş ileride ayrı issue).
saqut closed this issue 2026-06-18 22:10:10 +03:00
saqut commented 2026-06-18 22:13:16 +03:00
Author
Owner
Copy Link

Düzeltme: önceki kapama yorumu hatalıydı. Uygulanan model stack-tabanlı değil, slot/register-tabanlıdır. Her instruction hedef ve kaynak slot numaralarını açıkça taşır (slots[dest] = slots[left] + slots[right]). PUSH/POP/operand stack yok. Lua 5 VM'i ile aynı kategori. Karar bu şekilde netleşti.

Düzeltme: önceki kapama yorumu hatalıydı. Uygulanan model **stack-tabanlı değil, slot/register-tabanlıdır**. Her instruction hedef ve kaynak slot numaralarını açıkça taşır (`slots[dest] = slots[left] + slots[right]`). PUSH/POP/operand stack yok. Lua 5 VM'i ile aynı kategori. Karar bu şekilde netleşti.
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#76
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?