aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* std: File, the first user of drops: std.Host.open(path, mode) returns an ↵Gravatar zinc 13 days5-6/+56
| | | | owned std.File (or null) with write and read, and its drop closes the descriptor; Host.writefile is built on it; file_drop.zc, learn and readme
* rt: gc_drops finalizes a droppable value that reaches itself (a cycle, or a ↵Gravatar zinc 13 days5-5/+42
| | | | drop capturing its own value), one per collection, each once; before, each waited for the other forever; spec 6.15.3, drop_gc_cycle.zc, drop_gc_self_capture.zc, design doc lists what landed
* o3: an o3 function called from normal code as a receiver method (run.method) ↵Gravatar zinc 13 days3-2/+17
| | | | enters and leaves the region and fattens its result, like a direct call; spec 4.10.3, o3_receiver_method_enter.zc
* o3: break and continue out of an o3 { } block call rt.o3_leave for each ↵Gravatar zinc 13 days4-1/+43
| | | | block they leave (the loop records the o3 depth it began at), so the depth returns to 0 and pending collections and drops run; spec 4.10.3, o3_break_continue_leave.zc
* rt: memreport marks a leaked value whose drop never ran with (drop); spec ↵Gravatar zinc 13 days4-3/+20
| | | | 4.11, readme, memdebug_report_drop.zc
* destructors: hint: x: has drop and is live at spawn; the worker's copy drops ↵Gravatar zinc 13 days5-1/+27
| | | | it too, on x.spawn() of a mailbox struct for each live owned local with a drop; spec 6.15.4, lsp hint check
* destructors: nothing moves out of a value with a drop: pop on an array with ↵Gravatar zinc 13 days7-1/+58
| | | | a drop, or on an array field of a value with a drop, is error: a: can't move out of a value with drop (fields were already borrowed projections); spec 6.15.5, four conformance programs
* destructors: reassigning an m owner that still holds a value frees the old ↵Gravatar zinc 13 days13-24/+100
| | | | value first, running its drop (right side first, then the free, then the store), with hint: x: reassigning frees the old value; a new value that is part of the old one is an error; u, d and captured owners keep the leak error; the new value's size, leaf type and drop are recorded like a declaration's; spec 6.8.5, 6.15.2
* genmap: default genome reservation 0x70000 words (the genome had 197 words ↵Gravatar zinc 13 days5-18/+18
| | | | left); the map constants in rt.zc and the README table move by 0x8000; gc.zc's reclaim bound is 900 (937 with the heap higher, 952 before) and the run-only section rewrites whatever its number
* merge work/triage: zc0typed.zc without .u on a typed parameter; a //:lines ↵Gravatar zinc 13 days5-10/+14
|\ | | | | | | marker ends unbounded;/unchecked; so self-hosted run-only images bounds-check the program again
| * compiler: a //:lines marker starts a new file, so unbounded; and unchecked; ↵Gravatar zinc 13 days4-9/+13
| | | | | | | | of the source before it end there: a program joined to the unbounded runtime in a self-hosted run-only image is bounds-checked again (since d55b5fd its index errors went unreported); runtime_image_test expects the trap's exit status 2; spec 4.15.1, 4.x unchecked, 5.15.3
| * tests: zc0typed.zc drops the .u on a typed parameter, which zc0 rejects ↵Gravatar zinc 13 days1-1/+1
|/ | | | since 45b53ef like the compiler (the typed/plain image check had compared an empty image)
* merge work/dtor: destructors (drop on any heap value, heap(), struct drop, ↵Gravatar zinc 13 days29-32/+841
|\ | | | | | | collector drops once with resurrection, freed blocks forget their drop)
| * todo: destructors item closed with what landed; what is left (reassignment ↵Gravatar zinc 13 days1-1/+2
| | | | | | | | free, no move out, spawn hint, memreport marker, o3 break/continue, droppable cycles, first users) is its own open item
| * test.sh: the small map's collector check rewrites gc.zc's reclaim bound ↵Gravatar zinc 13 days1-1/+1
| | | | | | | | whatever its number (it was 990 when the sed was written, gc.zc says 950 now, so the small map was held to the default map's count)
| * xref: baseline re-saved; the drop helpers (drop_attach, drop_member, ↵Gravatar zinc 13 days1-20/+76
| | | | | | | | drop_call, heap_box) write the expression state like other call helpers, and it also takes the 87 writers from earlier merges that main's baseline missed
| * compiler: the drop globals' comment says mailbox send, so nothing the ↵Gravatar zinc 13 days1-1/+1
| | | | | | | | compiler reads mentions actors (test.sh check)
| * docs: destructors: the free paths clear the entry in dropfree, right after ↵Gravatar zinc 13 days1-2/+2
| | | | | | | | the drop and before the children
| * rt: the free paths take one F_HASDROP test, and dropfree does the drop and ↵Gravatar zinc 13 days1-4/+4
| | | | | | | | the clearing out of line
| * destructors: heap(v), drop(v, f) / v.drop(f) / v.drop = f, struct drop ↵Gravatar zinc 13 days27-11/+589
| | | | | | | | methods, collector drops after the sweep (once, resurrection), freed blocks forget their drop, temporaries drop at statement end with a hint, actor send check; o3: no collection inside a region (pending until the outermost exit), no drops set or ended inside o3; spec 3.11.6, 4.10.3-4, 6.15
| * docs: destructors: clear drop entry and bits on free; planned reuse testGravatar zinc 13 days1-0/+5
| |
| * docs: destructors: value and type drops both run, side table storage, ↵Gravatar zinc 13 days1-9/+6
| | | | | | | | F_HASDROP/F_DROPPED bits
| * docs: revise destructors draft to acorn's rulings (drop on any heap value, ↵Gravatar zinc 13 days1-66/+117
| | | | | | | | heap() builtin, gc runs drops)
| * docs: draft design for destructors on heap objectsGravatar zinc 13 days1-0/+121
|/
* bench: sieve.zc and trees.zc take namespace and include rt, so run.py's ↵Gravatar zinc 13 days3-19/+22
| | | | checksums pass on main again (todo item closed)
* bench: baseline re-saved on main with the checks column and the rescaled ↵Gravatar zinc 13 days1-12/+12
| | | | arrays rows
* bench: a trap (zy exit 2) is labelled runtime trap with the stdout tail, ↵Gravatar zinc 13 days2-6/+9
| | | | since zy reports traps on stdout, in suite.py and bench.sh
* bench: matmul fill a = i % 7 - 2, b = i % 5 - 1 so its checksum is 63760 ↵Gravatar zinc 13 days2-2/+2
| | | | (checked against a python reference), not 0
* bench: a nonzero zy exit (1 compile error, 2 trap) or a wrong checksum fails ↵Gravatar zinc 13 days3-21/+73
| | | | the row with the stderr tail, in suite.py and bench.sh; selftest cases for exit 1, exit 2 and a wrong checksum. arrays rows scaled to ~3 ms a repetition (matmul 40x40, gather 98304 words); the baseline's arrays rows are stale until a re-save
* bench: baseline with arrays rows (checks column pending work/checks)Gravatar zinc 13 days1-10/+12
|
* bench: arrays rows, checks column from zy --explain-checks ('-' without it), ↵Gravatar zinc 13 days1-10/+68
| | | | bench-check fails when a row's check count changes; selftest cases
* bench: arrays.zc, a matmul whose hot loop is proved and a gather that keeps ↵Gravatar zinc 13 days1-0/+58
| | | | its check
* conformance: defer block form without a trailing semicolon, several ↵Gravatar zinc 13 days1-0/+23
| | | | statements and a local, at a return and at the end of the scope
* defer: any single statement (if/else, loops, switch, unchecked, unbounded), ↵Gravatar zinc 13 days5-7/+30
| | | | not just an expression or a block
* todo: run.py's sieve checksum fails on mainGravatar zinc 13 days1-0/+1
|
* fndef: b.2.13 unnamed prototype parameters in fewer ops (402197 -> 402112 ↵Gravatar zinc 13 days1-9/+8
| | | | words, same behaviour)
* zy: a runtime trap exits 2 (rt.trap: index out of range, frame overflow, out ↵Gravatar zinc 13 days3-10/+15
| | | | of heap, bad pointer, use after free); compile errors stay 1; spec 8.1.3; exitstatus.sh checks exit 2
* detach doc comments on internal bounds helpers (genome size); todo: reuse ↵Gravatar zinc 13 days2-1/+20
| | | | capture_scan in the body scanner
* explain-checks: the record writer moves to src/lib/explain.zc, embedded and ↵Gravatar zinc 13 days5-55/+77
| | | | compiled only in that mode; the genome keeps the call sites and a hook
* jit_x64_test: link tests, src and examples into the scratch directory so ↵Gravatar zinc 13 days1-1/+5
| | | | embed and include programs compile; list the programs whose compile error is expected
* todo: callee generation guard for direct o3 calls, region 474..692 and fib ↵Gravatar zinc 13 days3-1/+16
| | | | diagnosis; icon test with an o3 caller across find_replace
* jit_x64_test: a compile error on either core counts as a differenceGravatar zinc 13 days1-4/+8
|
* todo: work/checks status, self-modifying region caveat, zyrdump off, next ↵Gravatar zinc 13 days1-2/+2
| | | | direct o3 calls
* bounds: body scan, loop-entry hoisting, pointer proofs from requested size, ↵Gravatar zinc 13 days17-15/+488
| | | | --explain-checks v1 (non-o3 code)
* zy: nonzero exit on compile errorsGravatar zinc 13 days3-3/+28
|
* merge work/exactsize: exact-size heap boundsGravatar zinc 13 days21-37/+191
|\
| * rt: exact-size heap bounds; n, the words new asked for, lives in bits 32..62 ↵Gravatar zinc 13 days21-37/+191
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | of p[-4] the bnd recipe and paylen read n instead of the power-of-two block: bnd: r6 = sub p 3; r6 = ld r6; r7 = xor p 0x2B7E1516; r6 = eq r6 r7; r7 = sub p 4; r7 = ld r7; r7 = shr r7 32; r7 = mul r7 q; r8 = mul i m; r8 = ltu r8 r7; r8 = xor r8 1; r0 = and r6 r8 paylen: return p[-4] >> 32 two loads instead of three; osize, bchk, release, recycle and the memdebug leak report all read n (rt.new(4) has length 4, rt.new(0) has 0). writers: new_raw and new_k set n; stack.h line 87 and tinyvm.ts (BigInt) set it on stack segments. release clears n when a block goes into quarantine (len 0, indexing traps; under memdebug bchk reports a use after free); every free-list path (fpush, mkblock, bdrop, recycle_leaf, balloc hold) rewrites the word as k << 16, and an array that grows gets a fresh block. a request over 2^31-1-HDR words stops in new_raw (oom), and the compiler only takes the new_k fast path for constant sizes that fit, so n is never truncated. bit users checked (all mask or preserve bits 32..62; none compares or copies the whole word): gc mark and sweep; release, free, recycle, recycle_leaf; share and own; isobj, quar, checkptr, obj_base; bclass and the bfree buddy merge; balloc, mkblock, fpush, funlink, heap_grow; frame_grow; stack_allocate in src/core/stack.h and src/js/tinyvm.ts; micro.c and core.c (check word only); the compiler's two p[-4] | F_INTERNAL writes (base.zc, builtins.zc). 32-bit ports: none (baremetal, wasm and micro use int64 Cell). tests: tests/programs/exactsize.zc (n-1/n for non-power-of-two sizes, new(0), packed bytes, recycle, grow, stack growth); 8-runtime: exact_size_bounds, pointer_index_n_minus_1, pointer_index_n_traps, pointer_index_n_traps_memdebug, new_zero_index_traps, new_too_big_traps, stale_index_after_free_traps, stale_index_after_free_memdebug. expectations changed: leak report shows n (tests/test.sh line 169, examples/learn/13-memdebug.out, docs/LEARN.md, 4-statements/memdebug_report_line.zc). programs adjusted to keep test.sh expectations: quarantine.zc (unbounded), bounds_heap.zc (rt.new(11)). spec 3.7.4 and 4.11 updated. fixpoint 402204 words (main 402197).
* | merge work/bench: make bench, bench-check, bench-selftest; baseline at 89f35bdGravatar zinc 13 days7-5/+380
|\ \
| * | bench: drop committed pycache, ignore __pycache__Gravatar zinc 13 days2-0/+1
| | |
| * | bench: idle re-save of baseline at 89f35bdGravatar zinc 13 days1-10/+10
| | |
generated by cgit v1.2.3 (git 2.39.1) at 2026-10-27 12:49:48 +0000