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

[Fikir] Zaman-Yolculuğu Hata Ayıklama (Time-Travel Debugging) — IR Anlık Görüntüleri #94

New Issue
Open
opened 2026-06-14 22:14:07 +03:00 by saqut · 0 comments
saqut commented 2026-06-14 22:14:07 +03:00
Owner
Copy Link

Giriş (Nedir, Neden Önemli?)

saQut'un "her aşama incelenebilir" felsefesi VM çalışma zamanına da taşınabilir: VM her IR komutunu çalıştırdığında tüm değişken/yığın durumunun anlık görüntüsünü (snapshot) kaydederse, kullanıcı programı "ileri-geri sarabilir" — modern debugger'larda (rr, Chrome DevTools "time travel") popüler ama çoğu küçük dilde olmayan bir özellik.

Gelişme (Olası Yaklaşımlar)

  • VM'in yorumlayıcı döngüsüne (ilgili issue) bir "trace modu" eklenir: her adımda (komut, önceki durum, sonraki durum) bir listeye/dosyaya yazılır.
  • saqut run file --trace=trace.json → saqut replay trace.json gibi bir akış: kullanıcı adım adım ileri/geri gidebilir, herhangi bir adımdaki değişken değerlerini görebilir.
  • Bellek modeli basit olduğu için (host heap, özel allocator yok — ADR-015) snapshot almak büyük bir teknik engel değil; asıl maliyet disk/bellek kullanımıdır (büyük döngülerde trace çok büyüyebilir — örnekleme/limit gerekebilir).

Açık Sorular

  • Trace formatı IR serileştirmesiyle (ilgili issue) aynı JSON şemasını mı paylaşmalı?
  • Bu özellik "VM v1"in parçası mı, yoksa tamamen ayrı bir "saqut debug" aracı mı?

İmza/Yorum: Bu, "alet çantası" felsefesinin VM çalışma zamanına en doğal uzantısı — diğer küçük dillerde nadiren bulunan, saQut'u ayırt edici kılabilecek bir özellik.

### Giriş (Nedir, Neden Önemli?) saQut'un "her aşama incelenebilir" felsefesi VM çalışma zamanına da taşınabilir: VM her IR komutunu çalıştırdığında **tüm değişken/yığın durumunun anlık görüntüsünü (snapshot)** kaydederse, kullanıcı programı "ileri-geri sarabilir" — modern debugger'larda (rr, Chrome DevTools "time travel") popüler ama çoğu küçük dilde olmayan bir özellik. --- ### Gelişme (Olası Yaklaşımlar) - VM'in yorumlayıcı döngüsüne (ilgili issue) bir "trace modu" eklenir: her adımda (komut, önceki durum, sonraki durum) bir listeye/dosyaya yazılır. - `saqut run file --trace=trace.json` → `saqut replay trace.json` gibi bir akış: kullanıcı adım adım ileri/geri gidebilir, herhangi bir adımdaki değişken değerlerini görebilir. - Bellek modeli basit olduğu için (host heap, özel allocator yok — ADR-015) snapshot almak büyük bir teknik engel değil; asıl maliyet disk/bellek kullanımıdır (büyük döngülerde trace çok büyüyebilir — örnekleme/limit gerekebilir). --- ### Açık Sorular - Trace formatı IR serileştirmesiyle (ilgili issue) aynı JSON şemasını mı paylaşmalı? - Bu özellik "VM v1"in parçası mı, yoksa tamamen ayrı bir "saqut debug" aracı mı? *İmza/Yorum:* Bu, "alet çantası" felsefesinin VM çalışma zamanına en doğal uzantısı — diğer küçük dillerde nadiren bulunan, saQut'u **ayırt edici** kılabilecek bir özellik.
saqut added the
fikir
gelecek-vizyon
 labels 2026-06-14 22:14:07 +03:00
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#94
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?