Repository navigation

Reference counting memory model (-mm=rc) and related codegen/runtime fixes - #308

Merged

ASDAlexander77 merged 99 commits into

mainfrom

docs-refcounting-evaluation

Sep 12, 2026

Merged

Reference counting memory model (-mm=rc) and related codegen/runtime fixes#308
ASDAlexander77 merged 99 commits into
mainfrom
docs-refcounting-evaluation

Commits on Sep 2, 2026
- Add reference-counting-vs-GC evaluation; bump pre-alpha tag to 81
  
  ASDAlexander77
  and
  claude
  committed
  7ea2762
- Reserve a heap block header on the generic allocation path
  
  ASDAlexander77
  and
  claude
  committed
  39bc1da
- Record heap-header result in the RC evaluation
  
  ASDAlexander77
  and
  claude
  committed
  5c7998f
- Disable typed GC due to bitmap generation defects; class instances now use generic allocation path
  ASDAlexander77
  committed
  642b4ab
Commits on Sep 3, 2026
- Point runtime type tags into per-type descriptors
  
  ASDAlexander77
  and
  claude
  committed
  523048b
- Generate per-type release routines into the descriptor slot
  
  ASDAlexander77
  and
  claude
  committed
  0521ec4
- Give static blocks the heap block header, marked immortal
  
  ASDAlexander77
  and
  claude
  committed
  e16975e
- Implement reference counting memory model and update related components
  ASDAlexander77
  committed
  bb0be42
- Record the memory model in shared libraries, and settle WeakRef<T>
  
  ASDAlexander77
  and
  claude
  committed
  d75b42b
- Implement reference counting logic for `delete` operation and enhance release routines
  ASDAlexander77
  committed
  2899ab3
- Add ts.Retain and ts.Release, and the retain routines behind them
  
  ASDAlexander77
  and
  claude
  committed
  8f734cf
- Implement unwind-safe disposal for `using` scopes and add corresponding tests
  ASDAlexander77
  committed
  a7bcfb4
- Make locals own the heap references they hold
  
  ASDAlexander77
  and
  claude
  committed
  64a8733
- Delete two of the four `using` unwind guards, which were already stale
  
  ASDAlexander77
  and
  claude
  committed
  00cbdfb
- End the active catch when a throw leaves it
  
  ASDAlexander77
  and
  claude
  committed
  4523209
- Hoist owned storage out of the TryOp
  
  ASDAlexander77
  and
  claude
  committed
  076278f
Commits on Sep 4, 2026
- Fix catchable type size handling to prevent register corruption in JIT mode
  ASDAlexander77
  committed
  0bd5678
- Fix inliner behavior for throws and add related tests
  ASDAlexander77
  committed
  7e92d08
- Fix ToInvoke splitting at an operation that is already an invoke
  
  ASDAlexander77
  and
  claude
  committed
  d9c5857
- Add the ownership verifier, and fix what it found
  
  ASDAlexander77
  and
  claude
  committed
  da08f69
- Make fields own what they hold
  
  ASDAlexander77
  and
  claude
  committed
  7ab09f2
- Make elements own what they hold
  
  ASDAlexander77
  and
  claude
  committed
  2aba8eb
- Retain what a literal captures
  
  ASDAlexander77
  and
  claude
  committed
  0560cd6
- Retain what the array-mutating ops insert
  
  ASDAlexander77
  and
  claude
  committed
  ebb1dbc
- Make inline records own what their fields hold
  
  ASDAlexander77
  and
  claude
  committed
  bc10b48
- Allocate heap blocks unowned, and return +1
  
  ASDAlexander77
  and
  claude
  committed
  722f32e
- Consume a transferred reference instead of retaining it again
  
  ASDAlexander77
  and
  claude
  committed
  f58d90e
- Consume the reference pop and shift transfer
  
  ASDAlexander77
  and
  claude
  committed
  d183def
- Implement Owned Return Consumption Pass to manage reference ownership in function calls
  ASDAlexander77
  committed
  037e758
- Flip the allocator under -mm=rc, and fix allocating inside a catch funclet
  
  ASDAlexander77
  and
  claude
  committed
  3d0f21d
- Fix a try/catch nested inside a catch clause
  
  ASDAlexander77
  and
  claude
  committed
  1c63522
- Give back the temporaries nothing received
  
  ASDAlexander77
  and
  claude
  committed
  c306620
- Make an interface own what it was made from
  
  ASDAlexander77
  and
  claude
  committed
  d029c81
- Resolve a method call's callee where it is safe to, and only there
  
  ASDAlexander77
  and
  claude
  committed
  c7961c9
- Give a closure its capture box, and make the releases actually run
  
  ASDAlexander77
  and
  claude
  committed
  a19eba0
- Give a captured variable's cell an owner
  
  ASDAlexander77
  and
  claude
  committed
  1121ee2
Commits on Sep 5, 2026
- Give back a cell whether or not the frame owns what is in it
  
  ASDAlexander77
  and
  claude
  committed
  d539934
- Take a reference when boxing into `any`
  
  ASDAlexander77
  and
  claude
  committed
  6e03e52
- Hand back a reference for a string that was just built
  
  ASDAlexander77
  and
  claude
  committed
  c91d341
- Read through the `-mm=rc` corpus sweep and analyze non-zero exits; identify failures under `gc` and `rc` configurations.
  ASDAlexander77
  committed
  8eaf9da
- Give a generator's unwritten local a value the retain can survive
  
  ASDAlexander77
  and
  claude
  committed
  c05804e
- Give a literal array a block header, and an exhausted iterator a value
  
  ASDAlexander77
  and
  claude
  committed
  bab21b2
- Allocate and free a coroutine frame on the same heap
  
  ASDAlexander77
  and
  claude
  committed
  0cda86e
- Run the corpus under every memory model, in both tiers
  
  ASDAlexander77
  and
  claude
  committed
  d9d9064
- Take a reference to a cell captured through a capture box
  
  ASDAlexander77
  and
  claude
  committed
  4244462
- Refactor reference counting logic for unions and add tests for union behavior
  ASDAlexander77
  committed
  0c77bf7
- Let `delete` claim the reference it gives up
  
  ASDAlexander77
  and
  claude
  committed
  69c55f1
Commits on Sep 6, 2026
- Retain what the synthesised constructor-interface method returns
  
  ASDAlexander77
  and
  claude
  committed
  162d925
- Remove the `-nogc` alias
  
  ASDAlexander77
  and
  claude
  committed
  064e294
- Clarify generator state object behavior and fix ownership issues in reference counting
  ASDAlexander77
  committed
  f9c3735
- Diagnose 00mixed_type_ops: the allocation goes, the free stays
  
  ASDAlexander77
  and
  claude
  committed
  6fced23
- Say that boxing a value into `any` allocates
  
  ASDAlexander77
  and
  claude
  committed
  2be955b
- Add tests for global ownership and reference counting behavior
  ASDAlexander77
  committed
  d1f0767
- Enhance reference counting evaluation: add tests for generator locals and fix related issues
  ASDAlexander77
  committed
  5adc662
- Give the entry point an exit code, and check it
  
  ASDAlexander77
  and
  claude
  committed
  b692e1c
- Enhance ownership routine logic to handle capture boxes: add release routine for `ref<tuple<..>>` fields and ensure proper memory management in generator state objects.
  ASDAlexander77
  committed
  00548b1
- Ask a dispatched call about every callee it could have
  
  ASDAlexander77
  and
  claude
  committed
  d7f97a6
- Answer a call through a value with the module
  
  ASDAlexander77
  and
  claude
  committed
  414f949
- Let discovery see what `new`'s arguments read
  
  ASDAlexander77
  and
  claude
  committed
  073e63f
- Carry an awaited result in a slot, not in an async value
  
  ASDAlexander77
  and
  claude
  committed
  bceb57b
- Tell the collector it is multi-threaded before awaiting on a pool
  
  ASDAlexander77
  and
  claude
  committed
  6af9c1c
- Retire 5aa: iterating a literal array does not leak
  
  ASDAlexander77
  and
  claude
  committed
  44e4d68
- Stand in for GC_enable_threads when a JIT run has no runtime DLL
  
  ASDAlexander77
  and
  claude
  committed
  231fed7
- Measure what raytrace holds, and file the crash blocking the next step
  
  ASDAlexander77
  and
  claude
  committed
  1db4d0f
- Release a discarded temporary on the paths that return early
  
  ASDAlexander77
  and
  claude
  committed
  3d8bddf
- Say which half of the last fix was measured and which was not
  
  ASDAlexander77
  and
  claude
  committed
  44e77e7
- Ask a jump whether it leaves the block, not where it is written
  
  ASDAlexander77
  and
  claude
  committed
  d9f4a58
Commits on Sep 7, 2026
Commits on Sep 8, 2026
- Enhance documentation for memory model builds, clarifying usage of build.bat and build.sh for different configurations
  ASDAlexander77
  committed
  a3d95e7
Commits on Sep 10, 2026
Commits on Sep 11, 2026
Commits on Sep 12, 2026

Commits

Commits on Sep 2, 2026

Commits on Sep 3, 2026

Commits on Sep 4, 2026

Commits on Sep 5, 2026

Commits on Sep 6, 2026

Commits on Sep 7, 2026

Commits on Sep 8, 2026

Commits on Sep 10, 2026

Commits on Sep 11, 2026

Commits on Sep 12, 2026