Memory management optimizations - #22

Open

jonathanvdc wants to merge 23 commits into

mainfrom

memory-management-optimizations

Commits on Nov 9, 2025

Optimize ENode memory management with an optional pooling mechanism
jonathanvdc
committed
d878703
Refactor ENode array allocation to use dedicated delegates
jonathanvdc
committed
4435469
Specify type for pooled ENode acquisition in ENodePoolTest
jonathanvdc
committed
55b89b1
Enhance CommandScheduleBuilder and PatternApplier to utilize ENode pooling for improved memory management
jonathanvdc
committed
41883a1
Add methods to acquire and fill slot and call arrays from the pool
jonathanvdc
committed
c405cee
Refactor candidate node acquisition to use acquireUnsafe and fill slot arrays
jonathanvdc
committed
824cd25
Optimize memory management by replacing HashMap with fixed-size arrays for slot and call buckets in ENode pool
jonathanvdc
committed
1e97592
Update symbolArrayFrom to utilize ENode pool for memory-efficient array allocation
jonathanvdc
committed
98bc093
Refactor CommandScheduleBuilder and PatternApplier to utilize IntRef pooling for improved memory management
jonathanvdc
committed
5f458a6
Limit IntRef pool size to 64 for improved memory management and cache locality
jonathanvdc
committed
7b096da
Implement object pooling for SimplifiedAddCommandInstantiator to enhance memory management and reduce garbage collection overhead
jonathanvdc
committed
10caa18
Remove unused import in PatternApplier.scala to clean up code
jonathanvdc
committed
4fce083
Refactor MutableMachineState to replace MixedTree with EClassCall for bound variables
jonathanvdc
committed
a89c67b
Refactor ApplierOps to use bind method for variable substitution
jonathanvdc
committed
3123741
Introduce specialized CallTree type
jonathanvdc
committed
74deae8
Comment out array nullification in ENode to optimize memory management
jonathanvdc
committed
7e99429
Add AbstractPatternMatch trait and refactor PatternMatch to extend it
jonathanvdc
committed
e66401b
Refactor PatternMatch and PatternApplier to use AbstractPatternMatch and add get method
jonathanvdc
committed
fba9860
Extend MutableMachineState to implement AbstractPatternMatch and add methods for variable and slot retrieval
jonathanvdc
committed
5f2ba34
Add searchBorrowed method to CompiledPattern for e-graph pattern matching
jonathanvdc
committed
89acdc0
Add StateBorrowingMachineEClassSearcher for efficient pattern matching in e-graphs
jonathanvdc
committed
3491f30
Add borrowing searcher and rules for pattern matching in e-graphs
jonathanvdc
committed
dc8c86b
Refactor Rules to use AbstractPatternMatch and state-borrowing rules
jonathanvdc
committed
c34f93f