Repository navigation

reactive: zero-alloc data structures and wave-based API - #8277

Draft

cristianoc wants to merge 54 commits into

masterfrom

reactive-noalloc-current-mechanism

Draft

reactive: zero-alloc data structures and wave-based API#8277
cristianoc wants to merge 54 commits into
masterfrom
reactive-noalloc-current-mechanism

Commits on Mar 5, 2026
- reactive: zero-alloc current mechanism (squashed)
  cristianoc
  committed
  606bc07
Commits on Mar 6, 2026
- analysis/reactive: add off-heap allocator and table
  cristianoc
  committed
  ea3527f
- analysis/reactive: move waves to offheap values
  cristianoc
  committed
  08d58c2
- analysis/reactive: promote fixpoint edge values in tests
  cristianoc
  committed
  8d2d323
- analysis/reactive: reorganize reactive node constructors
  cristianoc
  committed
  9f4e9a1
- analysis/reactive: inline node constructors into modules
  cristianoc
  committed
  f1dd0cb
- analysis/reactive: localize node-specific helpers
  cristianoc
  committed
  c4d0246
- analysis/reactive: clean up allocation test teardowns
  cristianoc
  committed
  8cc0c30
- analysis/reactive: clean up direct allocation test waves
  cristianoc
  committed
  fb0ed74
- analysis/reactive: add fixpoint destroy
  
  cristianoc
  and
  claude
  committed
  f25a1a7
- analysis/reactive: add graph destroy and own union waves
  cristianoc
  committed
  fb3001b
- analysis/reactive: simplify wave creation and own flatmap waves
  cristianoc
  committed
  257f103
- analysis/reactive: own join waves in low-level state
  cristianoc
  committed
  a89cbce
- analysis/reactive: make fixpoint output wave owned
  cristianoc
  committed
  c5b70c3
- analysis/reactive: simplify graph destroy traversal
  cristianoc
  committed
  0d4c55f
- analysis/reactive: update reanalyze to new reactive APIs
  cristianoc
  committed
  954100b
- analysis/reactive: move flat combinator maps off heap
  cristianoc
  committed
  3f22580
Commits on Mar 7, 2026
- analysis/reactive: move fixpoint unit state off heap
  cristianoc
  committed
  b33ef1d
- analysis/reactive: replace queue with off-heap fifo
  cristianoc
  committed
  67f7467
- analysis/reactive: add explicit offheap list boundary
  cristianoc
  committed
  ba50091
- analysis/reactive: move fixpoint successor maps off heap
  cristianoc
  committed
  83845a3
- analysis/reactive: rename allocator and maybe modules
  cristianoc
  committed
  e61320f
Commits on Mar 8, 2026
- analysis/reactive: fix build after allocator refactors
  cristianoc
  committed
  51a11f7
- analysis/reactive: rename offheap list module
  cristianoc
  committed
  131eac0
- analysis/reactive: extract offheap boundary type
  cristianoc
  committed
  bb64e79
- analysis/reactive: finish stable rename cleanup
  cristianoc
  committed
  f70da87
- analysis/reactive: rename offheap to stable
  cristianoc
  committed
  ccbc982
- analysis/reactive: rename ReactiveHash to StableHash and push unsafe_of_list out of fixpoint
  
  cristianoc
  and
  claude
  committed
  7fcca4f
- analysis/reactive: rename ReactiveMap/ReactiveSet to StableMap/StableSet and use StableMap for fixpoint pending buffers
  
  cristianoc
  and
  claude
  committed
  6ba9994
- analysis/reactive: use Stable.t consistently in collection interface
  
  cristianoc
  and
  claude
  committed
  de3a0b3
- analysis/reactive: eliminate unsafe_of_value for int/unit Maybe stable conversions
  
  cristianoc
  and
  claude
  committed
  c7e93c6
- analysis/reactive: rename StableHash back to ReactiveHash
  
  cristianoc
  and
  claude
  committed
  ee3a9da
- analysis/reactive: simplify stable pool-map APIs
  cristianoc
  committed
  30e731a
- stable map and stable set
  cristianoc
  committed
  4586461
- analysis/reactive: hide pool-map inner handles in clients
  cristianoc
  committed
  0811e67
- analysis/reactive: make pool-map APIs stable-typed
  cristianoc
  committed
  05f2882
- analysis/reactive: rename ReactivePoolMapSet/Map to StableMapSet/Map
  
  cristianoc
  and
  claude
  committed
  fab1182
- analysis/reactive: convert Source.table to StableMap and delete ReactiveHash
  
  cristianoc
  and
  claude
  committed
  9cf6204
- analysis/reactive: rename ReactiveWave to StableWave and delete unused ReactiveTable
  
  cristianoc
  and
  claude
  committed
  bf1fe32
- analysis/reactive: rename unsafe_to_value to to_linear_value and document Stable policy
  
  cristianoc
  and
  claude
  committed
  315d3b2
- analysis/reactive: make Reactive.ml and ReactiveUnion.ml stable-safe
  
  cristianoc
  and
  claude
  committed
  630a876
- analysis/reactive: make ReactiveFlatMap.ml stable-safe
  
  cristianoc
  and
  claude
  committed
  7b65b20
- analysis/reactive: wave-based emit for FlatMap/Join, make ReactiveJoin stable-safe, fix right_tbl leak
  
  cristianoc
  and
  claude
  committed
  61de83d
- analysis/reactive: assert zero allocation and zero stable leak in alloc tests
  
  cristianoc
  and
  claude
  committed
  d9ea44e
Commits on Mar 9, 2026
- analysis/reactive: make StableList interface stable-safe and make ReactiveFixpoint nearly stable-safe
  
  cristianoc
  and
  claude
  committed
  4e06ea6
- analysis/reactive: drop StableList.t wrapping, simplify to plain list type
  
  cristianoc
  and
  claude
  committed
  71ace98
- analysis/reactive: use 'a Stable.t list as StableList internal representation
  
  cristianoc
  and
  claude
  committed
  a2d95f7
- analysis/reactive: replace Hashtbl with StableSet in fixpoint invariants, skip alloc checks when invariants enabled
  
  cristianoc
  and
  claude
  committed
  c3ada97
- analysis/reactive: zero-alloc fixpoint invariants
  
  cristianoc
  and
  claude
  committed
  c98f301
- analysis/reactive: add StableSet.equal and StableSet.copy, remove Sets_not_equal exception
  
  cristianoc
  and
  claude
  committed
  3b24424
- analysis/reactive: move invariant scratch sets out of t, add iter_with2
  
  cristianoc
  and
  claude
  committed
  a19675e
- test: detect server crashes in reactive server test
  
  cristianoc
  and
  claude
  committed
  c3002de
- analysis/reactive: fix StableQueue.resize and promote values before storing in C memory
  
  cristianoc
  and
  claude
  committed
  f97c9ec
- analysis/reactive: use Maybe instead of option for file_data in reactive pipeline
  
  cristianoc
  and
  claude
  committed
  5ca43b9

Commits

Commits on Mar 5, 2026

Commits on Mar 6, 2026

Commits on Mar 7, 2026

Commits on Mar 8, 2026

Commits on Mar 9, 2026