Skip to content

task shutdown protocol is overcomplex, undocumented, fragile #2696

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
graydon opened this issue Jun 21, 2012 · 0 comments
Closed

task shutdown protocol is overcomplex, undocumented, fragile #2696

graydon opened this issue Jun 21, 2012 · 0 comments
Labels
A-runtime Area: std's runtime and "pre-main" init for handling backtraces, unwinds, stack overflows C-cleanup Category: PRs that clean code up or issues documenting cleanup. E-hard Call for participation: Hard difficulty. Experience needed to fix: A lot.
Milestone
old 1.0 milestone

Comments

@graydon
Copy link
Contributor

graydon commented Jun 21, 2012

As per fixme in rust_task.h, try to make this a little easier to comprehend and prove race-free, deterministic.
@ghost ghost assigned bblum Jul 18, 2012
@bblum bblum closed this as completed in 01866fa Aug 24, 2012
catamorphism pushed a commit to catamorphism/rust that referenced this issue Oct 8, 2012
@bblum @catamorphism
Document task shutdown protocol and justify its concurrency safety. C…
d495f0a 
…lose rust-lang#2696. Close bblum's internship.
RalfJung pushed a commit to RalfJung/rust that referenced this issue Nov 27, 2022
@bors
Auto merge of rust-lang#2696 - RalfJung:no-std-windows, r=RalfJung
144b485 
make no_std work on Windows

Also fixes rust-lang/miri#1123 by cherry-picking a patch by `@DrMeepster.`
Aaron1011 pushed a commit to Aaron1011/rust that referenced this issue Jan 6, 2023
@bors
Auto merge of rust-lang#2696 - RalfJung:no-std-windows, r=RalfJung
a59fa5c 
make no_std work on Windows

Also fixes rust-lang/miri#1123 by cherry-picking a patch by `@DrMeepster.`
celinval pushed a commit to celinval/rust-dev that referenced this issue Jun 4, 2024
@zhassan-aws
Upgrade Rust toolchain to 2023-08-18 (rust-lang#2696)
dde0441
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
A-runtime Area: std's runtime and "pre-main" init for handling backtraces, unwinds, stack overflows C-cleanup Category: PRs that clean code up or issues documenting cleanup. E-hard Call for participation: Hard difficulty. Experience needed to fix: A lot.
Projects
None yet
Milestone
old 1.0 milestone
Development

No branches or pull requests
2 participants
@graydon @bblum