Dev - #2

Closed

morphqdd wants to merge 211 commits into

Commits on Dec 27, 2025

CompilerCtx for store compilation context
morphqdd
committed
70d4079

Commits on Jan 1, 2026

Add syscall wrapper, mmap and exit syscall functions
morphqdd
committed
fe2abb1
Delete compiler debug error files
morphqdd
committed
cb64dfa

Commits on Jan 2, 2026

General `link` function for simple linking
morphqdd
committed
620b4ea
Delete necessary imports
morphqdd
committed
e647900
RT heap init
morphqdd
committed
758db66

Commits on Jan 4, 2026

Allocate and store memory
morphqdd
committed
443d702
Init load from heap and simple write function
morphqdd
committed
b725414
Machine compile barebones
morphqdd
committed
76ab730

Commits on Jan 5, 2026

Replace rust to asm, simple machine, branch, pattern and expression compilation
morphqdd
committed
56bd9d0

Commits on Jan 7, 2026

Machine patterns to block chain compilation
morphqdd
committed
c145adc

Commits on Jan 8, 2026

Block chain evaluation
morphqdd
committed
4d99e31
Adding more benchmark tests
morphqdd
committed
3241390

Commits on Feb 13, 2026

Refactor compiler into pipeline and runtime modules
morphqdd
committed
2b872d4

Commits on Feb 15, 2026

Commits on Feb 16, 2026

Commits on Feb 17, 2026

Quantum batch scheduler, when expr, spawn, self, benchmarks, examples
morphqdd
committed
b972ece

Commits on Feb 18, 2026

Fair CPU benchmark: emulate Lake's block model in C++ and Rust
morphqdd
committed
ab75bff
Add CPU benchmark results
morphqdd
committed
c2d6225

Commits on Mar 5, 2026

Update README: add CPU benchmarks, fix roadmap checkboxes
morphqdd
committed
33f8f08
Add I/O benchmarks, wait example, wait_expr stub
morphqdd
committed
71200d4
Wait support, scheduler wait array, pipeline improvements
morphqdd
committed
4395784

Commits on Mar 16, 2026

Commits on Apr 24, 2026

Commits on May 5, 2026

fix: embed syscall.o so lakec runs from any CWD
morphqdd
committed
c112a51

Commits on May 7, 2026

Commits on May 8, 2026

bench: refresh perf results on AC power
morphqdd
committed
7d7c084
feat: 3-tier allocator (heap 4 GiB lazy + 21 buckets + huge mmap path)
morphqdd
committed
f63c62c
test: allocator recycling + dynamic queue regression placeholder
morphqdd
committed
2f4b6c0
feat: dynamic process_arr / wait_arr — no more 256-slot cap
morphqdd
committed
4e5100c
bench: comprehensive SUMMARY.md + refresh post-allocator results
morphqdd
committed
3f3fbf3
io_uring stage 1: design doc + stub scaffold
morphqdd
committed
a2c3c28
refactor: remove dead REDUCTION_LIMIT / REDUCTION_COUNTER plumbing
morphqdd
committed
127eecd
io_uring stage 2: real ring setup with 3-region mmap
morphqdd
committed
9517110
io_uring stage 3: rt_write_async submit path
morphqdd
committed
47d9150
io_uring: batched submit + manual / auto flush
morphqdd
committed
36d352a
io_uring stages 4-5: CQ poll integration + wake-by-user-data
morphqdd
committed
91d4ed7
io_uring: complete park/wake — actors block on I/O via kernel
morphqdd
committed
e38efa7
io_uring: TCP server primitives — first network demo runs
morphqdd
committed
91524a9
io_uring: combined submit + wait — fold two syscalls into one
morphqdd
committed
51fe6d1
bench: TCP echo concurrency sweep — full results + graphs
morphqdd
committed
11d08c7

Commits on May 9, 2026

io_uring: O(1) wake + larger backlog/io_parked — c=256/1024 unblocked
morphqdd
committed
fbaba95
docs: add ROADMAP — frontend, stdlib, HTTP, prod bench suite
morphqdd
committed
d0fe240
backend: consume new frontend AST (Item, Type::Unknown, Expr::Neg)
morphqdd
committed
512c3eb
fix: when-string MPHF keys table laid out in permuted order
morphqdd
committed
37f5689
fix: branch slot allocation aligns with call-arg positions
morphqdd
committed
ff8ac89
canonical: implement axis harness + 5 productivity benches
morphqdd
committed
e0a8cc4
when: support `_` as default/else arm
morphqdd
committed
745cfbb
backend: consume ParsedProgram (multi-module compilation)
morphqdd
committed
6f60af8
backend: wait sender filter + bare \`self\` as pid
morphqdd
committed
f069d1a
backend: null-pid check in send_expr
morphqdd
committed
90a6db3
backend: count nested let / wait-handler slots in count_branch_vars
morphqdd
committed
188514d
canonical: drop type annotations + inline single-use bindings
morphqdd
committed
46a5e6f

Commits on May 10, 2026

backend: rt_recv_async + scheduler parking-vs-waited fix + typeck str/i64 compat
morphqdd
committed
da578f7
rt: rt_str_ptr — extract start ptr from str fat-ptr
morphqdd
committed
6c8cea5
codegen: tuple, atom, and tuple-index expressions
morphqdd
committed
340bcff
codegen: atom in `when` arm dispatch
morphqdd
committed
3594491
codegen: bitwise ops in pure_expr fold
morphqdd
committed
c3b22a8
codegen: route Num literal parsing through parse_int_literal
morphqdd
committed
cd73be2
rt: rt_load_u{8,16,32} returns i64 instead of native narrow type
morphqdd
committed
bd44efa
rt: rt_copy_bytes — bounded byte memcpy + canon arg-type hashing
morphqdd
committed
025bf55
fix: monotonic + generation-tag pid (#73)
morphqdd
committed
25e88eb
bench: refresh perf results post gen-tag pid
morphqdd
committed
dd04d9e
tests: paren grouping in expression position
morphqdd
committed
e08f0db
codegen: tuple elements accept string literals
morphqdd
committed
8a49e9f
fix: rt_store honours `size` parameter (heap overflow)
morphqdd
committed
4ae32ed

Commits on May 11, 2026

fix: rt_allocate zero-inits free-list pop payload
morphqdd
committed
f0bd55e
feat: backend ty_map + canon_arg_ty recognise `buf` (#45)
morphqdd
committed
61d511d
feat: backend codegen for `buf[i]` index expr (#69)
morphqdd
committed
48e7c64
docs: write architecture / pipeline / lowering / runtime guides
morphqdd
committed
510376d
bench: refresh cpu results post phase 2a
morphqdd
committed
250af94
fix: per-tick SQE flush — unblock I/O during CPU-heavy actors (#83)
morphqdd
committed
63fde0e
feat: LAKE_QUANTUM env override + quantum sweep notes
morphqdd
committed
7d68fa9
perf: #80 Level 1 — coalesce `let x = <pure>` to 1 CPS block
morphqdd
committed
1f572dc

Commits on May 12, 2026

Commits on May 13, 2026

Commits on May 15, 2026

fix: @rt(...) directive iterates all args not just first
morphqdd
committed
04f673c
fix: #103 count_branch_vars sums when-arm slots not max
morphqdd
committed
9944394

Commits on May 16, 2026

feat: ARM port PR1 — per-arch refactor (foundation)
morphqdd
committed
befb81a
feat: ARM port PR4 — GitHub Actions CI + bench matrix
morphqdd
committed
3935861
chore: lake-frontend via git ref (drop ../lake-frontend path)
morphqdd
committed
bd8e505
fix: CI green pass
morphqdd
committed
2d5c54e
fix: CI drop RUSTFLAGS=-D warnings (let clippy gate strict)
morphqdd
committed
2e88106
fix: declare lake_main not _start (CI duplicate-symbol)
morphqdd
committed
78742a3
feat: env helper rt-fns (argv / envp / buf accessors)
morphqdd
committed
934c313
feat: lakec -o / --out flag for build directory
morphqdd
committed
a258c4d
fix: #105 to_string{,_with_ln} use rt_allocate_raw
morphqdd
committed
f3ccf24
fix: #104 when-arm wait outcome needs redirect block
morphqdd
committed
a121360
style: cargo fmt --all + refresh bench result snapshots
morphqdd
committed
6af994a
chore: gitignore .claude/ + bug-103 investigation note
morphqdd
committed
cacafa2
chore: pin cranelift 0.127 + document aarch64 blocker
morphqdd
committed
e0da84d
fix: keep park-aware rt fns off fused fast path
morphqdd
committed
3f10a01
feat: #082 reserve SCRATCH_RING in ExecCtx (SIZE 80→208)
morphqdd
committed
bc6717a
feat: #082 rt_scratch_buf per-actor pool
morphqdd
committed
b5d80fc

Commits on May 17, 2026

build: add release-fast profile + enable incremental release
morphqdd
committed
da01888
fix: #116 zero user_data for rt_write_async (also #100 root cause)
morphqdd
committed
9c3d5c0
feat: #079 k-table .rodata emit for dense small-domain when
morphqdd
committed
df31edd
merge: feat #082 scratch buf pool
morphqdd
committed
de8e6b6
merge: fix #116 spawned print lost (+ #100 root cause)
morphqdd
committed
d711f20
merge: feat #079 k-table .rodata emit
morphqdd
committed
9d3c6e4
merge: integration of bug #110/#116/#100 + feat #079/#082 + build profile
morphqdd
committed
7a4e6e8
feat: #084 add rt_tsc_now asm shim (x86_64 + aarch64)
morphqdd
committed
ec6f4fd
feat: #084 reserve SLICE_START_TSC in ExecCtx (SIZE 208->216)
morphqdd
committed
fc5c772
feat: #084 time-budget quantum via rdtsc/cntvct_el0
morphqdd
committed
64d676b
fix: #097 #102 predeclare_machine becomes idempotent
morphqdd
committed
48a3b59
test: #097 #102 smoke tests for module-aware machine mangling
morphqdd
committed
ee702de
feat: #089 backend assertion for non-leaf in compile_arith
morphqdd
committed
d542214
feat: #089 integration tests for Eq/bitwise in call-arg and when-cond
morphqdd
committed
6c5efa6
merge: #084 time-budget quantum via rdtsc
morphqdd
committed
07747a6
merge: #089 backend bail-out + tests
morphqdd
committed
1c95b05
merge: #097 #102 predeclare_machine idempotent
morphqdd
committed
4417366
bench: spawn 30.5→13.8 ms after #084 + #079 + #082 + #097 merge
morphqdd
committed
0fa5f21
bench: full perf sweep on dev 0fa5f21 — large gains vs round-1 baseline
morphqdd
committed
36235b8
fix: #120 TARGET_CYCLES uses full i64 compare (no u32 overflow)
morphqdd
committed
b378b4d
feat: #055 integration tests for tuple destructuring
morphqdd
committed
942584c
fix: #122 rt_allocate fat-ptr end uses user_size (bump + pop paths)
morphqdd
committed
fdc2b42
feat: #122 unit test: alloc_or_die(0) → size 0
morphqdd
committed
962f4ef
bench: post-#122 spawn / msg (no regression expected)
morphqdd
committed
cf44bec
merge: #120 TARGET_CYCLES uses full i64 compare
devil
committed
f8e9016
merge: #122 rt_allocate fat-ptr end = start + user_size
devil
committed
badb74a
merge: #055 integration tests for tuple destructuring
devil
committed
aa0b569
feat: #099 rt_clone3_pidfd asm shim + Cranelift declare
devil
committed
024fc5a
feat: #099 rt_pidfd_poll_async via IORING_OP_POLLADD
devil
committed
1a3c1f6
feat: #099 rt_waitid_pidfd non-blocking waitid
devil
committed
b07ead0
feat: #099 std.process.run uses pidfd async chain
devil
committed
2b6b469
merge: #099 Phase 1 pidfd async child wait
devil
committed
1fe7112

Commits on May 18, 2026

fix: #126 route error spans to their owning source file
morphqdd
committed
88d7937
merge: #126 route error spans to owning source file
morphqdd
committed
7121589
ci: release workflow — tag v* triggers lakec linux-x86_64 tarball
morphqdd
committed
f6d5853
build: bump lake-frontend pin to dev 09fdbd8 (#126 display_multi)
morphqdd
committed
962624b

Commits on May 22, 2026

fix: #132 BranchState::len returns next-free-slot, not unique name count
morphqdd
committed
7794f6b
merge: #132 BranchState::len = next-free-slot (closes #130)
morphqdd
committed
8d173e5
build: bump lake-frontend pin to dev 93f5523 (#131)
morphqdd
committed
f1e3e34
build: bump lake-frontend pin to v0.1.2 (#133 single-file pkg loader)
morphqdd
committed
7c2ddd4

Commits on May 23, 2026

fix: let_expr accepts Type::Named records — fall through to i64 ABI
morphqdd
committed
0d884fc
build: bump lake-frontend pin to v0.2.1 (#058 followup)
morphqdd
committed
269242f
build: bump lake-frontend to v0.2.2 (#058 followups) + annotate TupleIndex hash with Type::Named comment
morphqdd
committed
e3a159f

Commits on May 26, 2026

backend: chained TupleIndex chain walker for hash_call_args
morphqdd
committed
fda3355

Commits on May 27, 2026

fix: MPHF dispatch picks most-discriminating guard position
morphqdd
committed
9c0f4a9
feat: --target flag + cranelift 0.132 bump (unblocks aarch64 codegen)
morphqdd
committed
92d69e4
feat(#138): per-actor arena infrastructure — alloc/free plumbing
morphqdd
committed
a9e6852
feat(#138): rt_arena_alloc — per-actor bump allocator
morphqdd
committed
2970ad9
feat(#138): arena inherits caller's region on sync ret-machine spawn (phase 2c)
morphqdd
committed
fd3b7f2
feat(#138): async-spawn arg copy + self() arena reset (phase 2d+2e)
morphqdd
committed
8c43909
fix(#138): pid_table slot recycling with gen-tag — closes ~423 B/req leak
morphqdd
committed
df1612b
feat(#150): rt_free madvise(MADV_DONTNEED) on chunks >= 8 KB
morphqdd
committed
d96a474
feat(#150 phase 1): slab allocator layout + chunks_per_slab + class_state data section
morphqdd
committed
aa2bc3a
feat(#150 phases 2-4): slab allocator IR — alloc/free/route
morphqdd
committed
317dcbd
feat(#150 phase 5): extend slab allocator to class 12+ (oversized slabs)
morphqdd
committed
ad5a29b
fix: route rt_allocate tuple wrapper through rt_arena_alloc
morphqdd
committed
10daea8
docs: bug #151 — LSP rebuild hangs nvim (mark open, workaround documented)
morphqdd
committed
9d74e41

Commits on May 28, 2026

docs: bug #152 — 31 B/req leak when record allocates in self-looping actor (slab mode)
morphqdd
committed
ae57658
docs: bug #152 update — root cause is rt_arena_alloc fallback path
morphqdd
committed
82c9a51
fix(#152): reset arena on fused self() fast path
morphqdd
committed
3c516ff
docs: bug #152 — fix shipped (fused self() now resets arena)
morphqdd
committed
339e980
fix(#152 followup): fused self() snapshot+recopy for ptr args (own-arena only)
morphqdd
committed
9e37a72
docs: bug #152/#76 — both arena fallback paths verified at 0
morphqdd
committed
446baf4
docs: bug #76 — vars-class-2 sub-bucket isolates the leak
morphqdd
committed
d34a2b6
docs: bug #76 — FIXED via alloc_or_die → arena routing
morphqdd
committed
7b12dfe
perf: skip slab munmap-on-empty — keep slabs for reuse
morphqdd
committed
3387201
test(#145 phases 4-6): pin enum pattern-matching end-to-end
morphqdd
committed
545f44a
merge: #145 phases 4-6 backend test
morphqdd
committed
8af3371
perf: skip snapshot+recopy on self() when arena inherited
morphqdd
committed
fdbbcd9
perf: skip snapshot+recopy on self() when arena inherited
morphqdd
committed
1deaef6
test(#142 phases 2-3): generics — Box[T]/unbox[T] + two-param Pair
morphqdd
committed
645e001
merge: #142 phases 2-3 backend tests
morphqdd
committed
c94f0bd
fix(let_expr): treat Type::Unit/Unknown as i64 in lookup_key
morphqdd
committed
d3a19fb
test(#142 phase 4): generic enums end-to-end
morphqdd
committed
e8a168a
merge: #142 phase 4 backend test
morphqdd
committed
49c94d3

Commits on May 29, 2026

fix(hash_call_args): include bitwise/shift ops as i64 args
morphqdd
committed
0236b14
feat(#054/#055): thread --target arch into frontend @cfg filter
morphqdd
committed
16f33d0
merge: #54/#55 thread --target into @cfg filter
morphqdd
committed
6ed09ea
docs(readme): refresh for records, enums, generics, stdlib, postgres
morphqdd
committed
929dbc3
docs(readme): drop benchmark results section
morphqdd
committed
8b6218d
test(#146 phase1): protocols integration tests
morphqdd
committed
7fce247
merge: #146 phase 1 protocols — backend tests
morphqdd
committed
e42ac17
test(#146 phase 2): nominal [] + enforced explicit impl
morphqdd
committed
fe6890f
test: panic/assert call-site location + exit 101
morphqdd
committed
3a27550
release(v0.1.5): build against lake-frontend git dev (drop local path patch)
morphqdd
committed
2d65084
release(v0.1.6): #101 overloaded-index mono fix + regression test
morphqdd
committed
6befed3