feat: lazy DFA cache (R1+R2) over OPTIMIZED_NFA for large anchor-free patterns#67

Merged

jbachorik merged 29 commits into

mainfrom

feat/lazy-dfa-r1-r2

May 29, 2026

Commits on May 29, 2026

docs: add lazy DFA design spec (R1+R2)
jbachorik
committed
feat: add NfaStep functional interface
jbachorik
committed
feat: add StateSetKey for NFA state-set interning
jbachorik
committed
feat: add LazyDFACache with cap/freeze/fallback semantics
jbachorik
committed
feat: add LAZY_DFA strategy and routing to PatternAnalyzer

jbachorik
and
claude
committed
feat: add LazyDFABytecodeGenerator and wire LAZY_DFA into RuntimeCompiler

jbachorik
and
claude
committed
feat: add LazyDFABenchmark with hit/miss/frozen variants
jbachorik
committed
fix: add missing backref routing test and clarify VarHandle comment
jbachorik
committed
perf: eliminate CHECKCAST on hot path by using int[][] for asciiTables
jbachorik
committed
feat: add JDK baseline methods to LazyDFABenchmark
jbachorik
committed
fix: address Copilot review — \b anchor gap, cache DEAD transitions, bound interning map, add missing plan doc
jbachorik
committed
perf: inline LazyDFACache hot loop into generated matches(); fix frozenPath benchmark input
jbachorik
committed
fix: use import for Arrays, fix missIndex overflow in LazyDFABenchmark
jbachorik
committed
fix: update test/benchmark patterns for jb/logs-backend DFA_TABLE optimization
jbachorik
committed
bench: add hardMissPath/jdkHardMissBaseline for fair miss-path comparison
jbachorik
committed
refactor: use BytecodeUtil.pushInt; document sentinel constant cross-module constraint
jbachorik
committed
fix: add LAZY_DFA to annotation processor; upgrade VarHandle fence to fullFence
jbachorik
committed
fix: add missing bounded methods; fix matchBounded offsets; add matchBounded(String) stub
jbachorik
committed
fix: correct MatchResultImpl array layout in match/matchBounded methods; update spec scope
jbachorik
committed
fix: use delegating matches() in AOT path to avoid package-private access; fix test pattern
jbachorik
committed
test: add positive accept case; fix cache-sharing test to use distinct instances
jbachorik
committed
fix: proper release/acquire semantics for ASCII table publication via VarHandle
jbachorik
committed
fix: INT_ARRAY_VH release/acquire, frozen benchmark corpus, test coverage, spec doc

jbachorik
and
claude
committed
docs: attribute lazy-DFA technique to dangermike/glob_perf
jbachorik
committed
chore: remove transient task plans from committed tree
jbachorik
committed
docs: correct missPath benchmark description — measures cached-DEAD not cold interning
jbachorik
committed
fix: avoid O(n²) substring copies in matchBounded; add capturing-group test; update spec
jbachorik
committed
fix: address sphinx review — bounded coverage, assertion fix, sentinel parity, package guard
jbachorik
committed
perf: skip INT_ARRAY_VH.getAcquire on x86/TSO; use plain IALOAD in hot loop
jbachorik
committed