-
Notifications
You must be signed in to change notification settings - Fork 13.4k
Print thread ID in panic message #115746
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.
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
base: master
Are you sure you want to change the base?
Print thread ID in panic message #115746
Conversation
r? @davidtwco (rustbot has picked a reviewer for you, use r? to override) |
I think this needs FCP since it's a visible change @rustbot label -T-libs -T-compiler +T-libs-api |
d68fab6
to
371dd28
Compare
The Miri subtree was changed cc @rust-lang/miri |
8e72037
to
3da1046
Compare
Maybe
or
? That fits more with the way named threads are shown. |
Note that this is a rust-internal thread ID, which isn't the OS thread ID which can be relevant if you're also logging from C code or looking at things with GDB. And |
I just proposed the syntax as a demo, figured libs-api would make the final choice - though between those two, I like the first one better
It is kind of unfortunate that Rust and C won't use the same thread IDs. But this seems worthwhile still - Rust-only applications printing the thread ID in logs is common ( This is all inspired by the below failure I recently had in an highly threaded system. The entire backtrace uselessly displayed one repeated function, with no hints about which preceding log events were relevant:
I don't think that stability of the thread ID is much of a concern since we will always have some integer ID for a thread, even if the semantics of that ID might change. The important thing is probably just that this panic message thread ID is the same as what shows up as |
Another display option - it looks a bit cleaner to not even call out that a thread is unnamed, and I don't think it adds much
Or we could use
I also tried to poke some discussion at #67939 |
☔ The latest upstream changes (presumably #115627) made this pull request unmergeable. Please resolve the merge conflicts. |
@joshtriplett do you have any thoughts on this? |
3da1046
to
e055544
Compare
Sorry to add bike shedding to the thread. Here is a slight derivative of the last suggestion, which omits a "with":
Although it's uglier than using the thread identifier in a sentence, using the Debug form makes it look like a Rust value rather than something else. It's also consistent with other output from Rust, although the case can definitely be made that thread IDs deserve a special case. |
I know Josh has a pretty busy queue, so perhaps it is best to reroll r? libs-api |
I think it wouldn't need one. T-libs-api FCP is primarily for any time a permanent API commitment is being made by the standard library, and deprecations. In contrast, anything that we can just change back with minimal effort or disruption would not warrant FCP. #112849 had a T-libs FCP but I am not familiar with their criteria for that. @rust-lang/libs would you want to handle this PR? In any case, this looks good to me. |
I don't know that this needs FCP. I'm not opposed and there is precedent for it, but OTOH we wouldn't FCP a panic message change somewhere in the stdlib. So I don't feel strongly. In any case, I think this change is a good idea, and am in favor. |
`panic!` does not print any identifying information for threads that are unnamed. However, in many cases, the thread ID can be determined. This changes the panic message from something like this: thread '<unnamed>' panicked at src/main.rs:3:5: explicit panic To something like this: thread '<unnamed>' (0xff9bf) panicked at src/main.rs:3:5: explicit panic Stack overflow messages are updated as well. This change applies to both named and unnamed threads. The ID printed is the OS integer thread ID rather than the Rust thread ID, which should also be what debuggers print.
fa35fe7
to
3bab080
Compare
After a very long time I finally got around to fixing up my oldest open r-l/r PR. There are likely to be some rough edges still and tests that I need to update still, but @cuviper this should be ready for a look. This now prints the OS thread ID except on platforms where this isn't easy to access, in which case the Rust thread ID's integral value is printed. I believe this should address the FCP concern. The output format is what Josh T suggested above:
Which also matches the most popular voted option at https://rust-lang.zulipchat.com/#narrow/channel/219381-t-libs/topic/Printing.20thread.20ID.20on.20panic.20bikeshed/near/407588656. And since it seems like there really should be a more cross platform way to do this kind of thing, I wrote a short POSIX RFC so maybe one decade we can provide user API to access this identifier https://www.mail-archive.com/austin-group-l@opengroup.org/msg13876.html. @rustbot review |
Various platforms provide a function to return the current OS thread ID, but they all use a slightly different name. Add shims for these functions for Apple, FreeBSD, and Windows, with tests to account for those and a few more platforms that are not yet supported by Miri. These should be useful in general but should also help support printing the OS thread ID in panic messages [1]. [1]: rust-lang/rust#115746
@@ -115,6 +115,14 @@ impl Thread { | |||
} | |||
} | |||
|
|||
pub(crate) fn current_os_id() -> Option<u64> { | |||
// SAFETY: FFI call with no preconditions. | |||
let id: u32 = unsafe { c::GetThreadId(c::GetCurrentThread()) }; |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I am going to change this to GetCurrentThreadId
that does both steps, but not until the Miri shims merge so I can stop manually syncing changes.
This comment was marked as outdated.
This comment was marked as outdated.
This comment was marked as outdated.
This comment was marked as outdated.
Print thread ID in panic message `panic!` does not print any identifying information for threads that are unnamed. However, in many cases, the thread ID can be determined. This changes the panic message from something like this: thread '<unnamed>' panicked at src/main.rs:3:5: explicit panic To something like this: thread '<unnamed>' (12345) panicked at src/main.rs:3:5: explicit panic Stack overflow messages are updated as well. This change applies to both named and unnamed threads. The ID printed is the OS integer thread ID rather than the Rust thread ID, which should also be what debuggers print. try-job: `*various*` try-job: `x86_64-msvc*`
This comment was marked as outdated.
This comment was marked as outdated.
This comment was marked as outdated.
This comment was marked as outdated.
This comment was marked as outdated.
This comment was marked as outdated.
Print thread ID in panic message `panic!` does not print any identifying information for threads that are unnamed. However, in many cases, the thread ID can be determined. This changes the panic message from something like this: thread '<unnamed>' panicked at src/main.rs:3:5: explicit panic To something like this: thread '<unnamed>' (12345) panicked at src/main.rs:3:5: explicit panic Stack overflow messages are updated as well. This change applies to both named and unnamed threads. The ID printed is the OS integer thread ID rather than the Rust thread ID, which should also be what debuggers print. try-job: `*various*` try-job: `x86_64-msvc*`
This comment was marked as outdated.
This comment was marked as outdated.
This comment was marked as outdated.
This comment was marked as outdated.
This comment was marked as outdated.
This comment was marked as outdated.
Print thread ID in panic message `panic!` does not print any identifying information for threads that are unnamed. However, in many cases, the thread ID can be determined. This changes the panic message from something like this: thread '<unnamed>' panicked at src/main.rs:3:5: explicit panic To something like this: thread '<unnamed>' (12345) panicked at src/main.rs:3:5: explicit panic Stack overflow messages are updated as well. This change applies to both named and unnamed threads. The ID printed is the OS integer thread ID rather than the Rust thread ID, which should also be what debuggers print. try-job: aarch64-gnu try-job: test-various try-job: x86_64-gnu try-job: x86_64-gnu-aux try-job: x86_64-msvc-1
This comment was marked as outdated.
This comment was marked as outdated.
@bors2 try |
Print thread ID in panic message `panic!` does not print any identifying information for threads that are unnamed. However, in many cases, the thread ID can be determined. This changes the panic message from something like this: thread '<unnamed>' panicked at src/main.rs:3:5: explicit panic To something like this: thread '<unnamed>' (12345) panicked at src/main.rs:3:5: explicit panic Stack overflow messages are updated as well. This change applies to both named and unnamed threads. The ID printed is the OS integer thread ID rather than the Rust thread ID, which should also be what debuggers print. try-job: x86_64-msvc-1 try-job: `x86_64-mingw-*`
panic!
does not print any identifying information for threads that areunnamed. However, in many cases, the thread ID can be determined.
This changes the panic message from something like this:
To something like this:
Stack overflow messages are updated as well.
This change applies to both named and unnamed threads. The ID printed is
the OS integer thread ID rather than the Rust thread ID, which should
also be what debuggers print.
try-job: x86_64-msvc-1
try-job:
x86_64-mingw-*