✍️ Reframe strict structured concurrency around lifetime correctness#1140
Closed
taras wants to merge 4 commits intostrict-structured-concurrency-blogfrom
Closed
✍️ Reframe strict structured concurrency around lifetime correctness#1140taras wants to merge 4 commits intostrict-structured-concurrency-blogfrom
taras wants to merge 4 commits intostrict-structured-concurrency-blogfrom
Conversation
Session-ID: ses_306f2b523ffeWNTN1w2kiCQ3Lj
commit: |
Replace the static foreground/background split diagram with an animated timeline that shows bars growing over time, the scope boundary appearing when foreground completes, and background overshoot being reclaimed. Supports CSS animations with prefers-reduced-motion fallback to static end-state. Light/dark mode via prefers-color-scheme media query. Session-ID: ses_306f2b523ffeWNTN1w2kiCQ3Lj
Replace per-row FG/BG abbreviations with FOREGROUND and BACKGROUND section headings. Collapse title to one line at 52px. Move caption down 8px for breathing room. Session-ID: ses_306f2b523ffeWNTN1w2kiCQ3Lj
cowboyd
force-pushed
the
strict-structured-concurrency-blog
branch
16 times, most recently
from
3947b58 to
a10f632
Compare
Member
|
This feedback has been integrated. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Motivation
The strict structured concurrency post already introduced foreground and background work, but it still read primarily as a convenience refinement. This follow-up makes the stronger claim explicit: when incidental background work can keep a scope alive after the meaningful computation is complete, the lifetime model is semantically wrong and every framework built on top of it inherits an incorrectness tax.
Approach
Rewrite the article to lead with the correctness argument, introduce foreground vs background earlier, and recast the spinner/timeout example as a semantic and operational failure mode rather than cleanup boilerplate. Preserve the existing points about aggressive teardown, classic structured concurrency, and orderly cleanup while tightening the argument around lifetime correctness, hung scopes, and the operational cost of letting support work outlive the computation it was supposed to support.