diff options
Diffstat (limited to 'docs/chapter-backports.md')
| -rw-r--r-- | docs/chapter-backports.md | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/docs/chapter-backports.md b/docs/chapter-backports.md index 01147134..d44a66d3 100644 --- a/docs/chapter-backports.md +++ b/docs/chapter-backports.md @@ -11,16 +11,19 @@ boundaries; revisit construction/escape after he can run both snapshots. Library construction and optimizer tuning move to appendices. The first named snapshots are `chapter-sccp`, `chapter-interprocedural-sccp`, -`chapter-incomplete-types`, and `chapter-construction`. Local SCCP keeps unknown callers and the call -result summaries from pessimistic analysis; the next chapter discovers calls +`chapter-incomplete-types`, `chapter-construction`, and `chapter-escape`. +Local SCCP keeps unknown callers and the call result summaries from pessimistic +analysis; the next chapter discovers calls and widens recursive arguments and returns. Numbered Chapters 24 and 25 remain comparison baselines during extraction. The incomplete-type snapshot groups numeric modes, conversions, guards, symbolic fields, and unbounded Load/Phi nodes. Construction now has hidden initializer/allocator calls, local field values and Phis, exit Stores, and -explicit publication. Private memory carries fields between helpers. Next -extract escape analysis and review the limits on early exposure of `self`. Chained comparisons still need their move to Chapter 23; +explicit publication. Private memory carries fields between helpers. Escape +now discovers exposed aliases/functions through the Start/Stop cycle. Review +the construction/escape border before extracting modules and lazy class +initialization. Chained comparisons still need their move to Chapter 23; allocator tuning and native library material still need their appendices. Root Make includes named snapshots in checks. Linear-history publication keeps the numbered sequence until the complete replacement sequence is ready; switch |