test: AstEvaluatorCalculatorTest が P4PreferredAstMapper.parseViaMapperCompat で CPU 張り付きハング — mvn verify が完走しない

[opaopa6969]

症状

mvn test(フルスイート)が CalculatorImplTest.compileOnly → AstEvaluatorCalculatorTest(preConstructedCalculator)で CPU 100% のまま 50 分以上停止 する。テストの失敗ではなくパースが終わらないため、CI の Full verify ジョブはこのままでは永久に通らない。

証拠 (2026-06-12 計測)

スレッドダンプ(53分経過時点、cpu=3,186秒 ≒ 経過時間と同じ = 完全 CPU バウンド):

"main" RUNNABLE cpu=3186391ms
  at org.unlaxer.StringSource.<init>(StringSource.java:109)
  at org.unlaxer.StringSource.peek(StringSource.java:290)
  at org.unlaxer.parser.elementary.WordParser.getToken(WordParser.java:77)
  ... (Choice/Chain の深いバックトラック) ...
  at org.unlaxer.tinyexpression.p4.P4PreferredAstMapper.parseViaMapperCompat(P4PreferredAstMapper.java:918)
  at org.unlaxer.tinyexpression.p4.P4PreferredAstMapper.parseByAstSimpleName(P4PreferredAstMapper.java:101)
  at org.unlaxer.tinyexpression.evaluator.ast.GeneratedAstRuntimeProbe.tryMapAstOnce(GeneratedAstRuntimeProbe.java:109)
  at org.unlaxer.tinyexpression.evaluator.ast.AstEvaluatorCalculator.validateFormulaParseable(AstEvaluatorCalculator.java:801)
  at org.unlaxer.tinyexpression.evaluator.ast.AstEvaluatorCalculator.<init>(AstEvaluatorCalculator.java:85)
  at org.unlaxer.tinyexpression.evaluator.ast.AstEvaluatorCalculatorTest.preConstructedCalculator(AstEvaluatorCalculatorTest.java:18)
  at org.unlaxer.tinyexpression.CalculatorImplTest.compileOnly(CalculatorImplTest.java:326)

切り分け結果

• unlaxer 3.0.1 でも再現(-Dtest=AstEvaluatorCalculatorTest 単体で9分タイムアウト) → 3.0.3/3.0.4 リグレッションではない既存問題
• issue handoff: tinyexpression × unlaxer 3.0.2 再スタート — 状態整理と次ステップ #12 の「ベースライン ~66件失敗(timeout 分類あり)」の一部と思われる
• p4-smoke プロファイル(86件)と LSP smoke(25件)はこのテストを含まないため green

対処案

1. 即効: surefire に <forkedProcessTimeoutInSeconds> またはテスト側 @Test(timeout=...) を設定し、ハング→明示的失敗に変える(CI が 6h 押し黙る事故の防止)
2. 原因調査: parseViaMapperCompat に渡る式と grammar の組合せで指数的バックトラックが起きている。CalculatorImplTest.compileOnly が流す式を特定し最小再現を作る(handoff: tinyexpression × unlaxer 3.0.2 再スタート — 状態整理と次ステップ #12 の推奨手順どおり)
3. unlaxer 側の改善余地: ホットパスが StringSource.peek → new StringSource(コードポイント配列の都度コピー)なのでメモ化/packrat があれば緩和される可能性。ただしまず文法側の左因子化で解決するか確認すべき

関連

• handoff: tinyexpression × unlaxer 3.0.2 再スタート — 状態整理と次ステップ #12 (handoff: ベースライン失敗の分類)
• fix: TernaryExpression + AstEvaluatorGeneratedValuePath テスト失敗 — transaction nest is illegal #6 (transaction nest — 同じテスト群、こちらは解決済み)