Memory management optimizations#22

Open

jonathanvdc wants to merge 23 commits intomainfrom

memory-management-optimizations

Commits on Nov 9, 2025

Optimize ENode memory management with an optional pooling mechanism
jonathanvdc
committed
Refactor ENode array allocation to use dedicated delegates
jonathanvdc
committed
Specify type for pooled ENode acquisition in ENodePoolTest
jonathanvdc
committed
Enhance CommandScheduleBuilder and PatternApplier to utilize ENode pooling for improved memory management
jonathanvdc
committed
Add methods to acquire and fill slot and call arrays from the pool
jonathanvdc
committed
Refactor candidate node acquisition to use acquireUnsafe and fill slot arrays
jonathanvdc
committed
Optimize memory management by replacing HashMap with fixed-size arrays for slot and call buckets in ENode pool
jonathanvdc
committed
Update symbolArrayFrom to utilize ENode pool for memory-efficient array allocation
jonathanvdc
committed
Refactor CommandScheduleBuilder and PatternApplier to utilize IntRef pooling for improved memory management
jonathanvdc
committed
Limit IntRef pool size to 64 for improved memory management and cache locality
jonathanvdc
committed
Implement object pooling for SimplifiedAddCommandInstantiator to enhance memory management and reduce garbage collection overhead
jonathanvdc
committed
Remove unused import in PatternApplier.scala to clean up code
jonathanvdc
committed
Refactor MutableMachineState to replace MixedTree with EClassCall for bound variables
jonathanvdc
committed
Refactor ApplierOps to use bind method for variable substitution
jonathanvdc
committed
Introduce specialized CallTree type
jonathanvdc
committed
Comment out array nullification in ENode to optimize memory management
jonathanvdc
committed
Add AbstractPatternMatch trait and refactor PatternMatch to extend it
jonathanvdc
committed
Refactor PatternMatch and PatternApplier to use AbstractPatternMatch and add get method
jonathanvdc
committed
Extend MutableMachineState to implement AbstractPatternMatch and add methods for variable and slot retrieval
jonathanvdc
committed
Add searchBorrowed method to CompiledPattern for e-graph pattern matching
jonathanvdc
committed
Add StateBorrowingMachineEClassSearcher for efficient pattern matching in e-graphs
jonathanvdc
committed
Add borrowing searcher and rules for pattern matching in e-graphs
jonathanvdc
committed
Refactor Rules to use AbstractPatternMatch and state-borrowing rules
jonathanvdc
committed