Repository navigation
Link: work-ceiling retries without alternatives cost ~6 min on fernflower #92
Description
Follow-up to #89 (fix 9d4c768). With alternatives on, about a dozen methods per iteration reach the work ceiling in LinkComputerImpl.doMethod and are analysed a second time without alternatives. On fernflower (PARALLEL=1) that comes to:
| setting | run time | ceiling retries |
|---|---|---|
| alternatives off | 29 min | 0 |
| alternatives + both #89 rules | 35 min | 117 |
| fresh-object rule only | 37 min | 137 |
The retries recur every iteration for the same methods: each time they spend the full ceiling and then fall back.
Ideas:
- remember per method that the alternatives run hit the ceiling and go straight to the run without alternatives in later iterations (memo keyed on the method; reset if its inputs change shape);
- find which recipients still multiply the closure in those methods; the Link: with alternatives as plain edges, fernflower's StructClass.create exceeds the work ceiling through a callee #89 rules removed primitive and fresh-object recipients, and the rest may share a pattern.
On guava there are no retries (0 in both legs), so this is a fernflower-shaped cost.
Activity
bnaudts commentedon Nov 6, 2026
Probably the same cause as #97.
DomHelper.findGeneralStatementsits at 87% of the work ceiling with 15,302∩facts out of about 16,950 (90%). About half are materialized from dying temporaries, and most of the rest is∩copied along aliases. Details and the proposed direction in #97.Link engine: an orphan that a surviving middle vertex re-derives is n…
Link engine: lazy materialization for '∩' orphans only; LAZYMATANY fo…
Link: gate NOOVERLAP drops '∩' from the closure (#92 measurement)
Link: '∩' computed on demand instead of derived (#92), WIP
Link: implicit '∩' search continues with the stored label of a pair t…
Link: implicit '∩' as union-find classes; removed temporaries leave f…
Link: implicit '∩' — class partners by default (OVERLAPSEARCH diagnos…
Link: MLVDUMP=<fqn substring> prints computed summaries (diagnostic, #92
Link: OVLSTATS timing and gate OVLRELEVANT for the implicit '∩' (diag…
Link: implicit '∩' opt-in (gate IMPLICIT) while #92 is open; old deri…
Link: OVLSTATS counts what triggers the implicit-'∩' freezes and wher…
Link: implicit '∩' freeze skips the after-partition when no class can…
10 remaining items
Link: OVLSNAPSHOT keeps the classes of every joined alternative for t…
Link: OVLSNAPSHOT refreshes before a removal that follows a change of…
Link: extraction reuse follows the implicit '∩' (#92)
Link: OVLSNAPSHOT freezes from ghost rows instead of refreshing at ev…
Link: count and optionally hide the implicit '∩' composed across join…
Link: OVLSTATS counts the reads of the implicit '∩' between two refre…
Link: OVLSNAPSHOT refreshes the implicit '∩' where it is read after a…
Link: OVLSTATS names three frames of a differing stale read (diagnost…
Link: OVLSNAPSHOT refreshes before the linked-to-object probe; a refr…
Link: OVLSTATS counts the extracted links by kind (measurement, #92)
Link: the OVLMETHOD line shows the method's statements, extractions, …
Link: OVLSTATS lists the methods whose work plus extracted links woul…
Link: with the implicit '∩', extracted links count against the work c…
Link: the implicit '∩', computed once per statement, is the only '∩' (#…
Tests: the expectations of the '∩' computed as classes (#92)