-
Notifications
You must be signed in to change notification settings - Fork 13.3k
Trace task names in logging macros #2672
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
Comments
Even just a task ID would be helpful until we have support for names. The subject of task names came up recently in #2931. |
@brson, is this still relevant with the new runtime work? |
/cc @bblum |
They are not yet emitted during, for example, |
Just a bug, de-milestoning |
I'll work on this |
Updated the issue title to be more relevant to today's use-case |
This requires doing an allocation on log! invocations if the current task is named, since there is no non-allocating way to access the name of the current task. Fixes rust-lang#2672
Triage: attempting to fix in #19444. |
Fixed in #19444 |
Enforce that no warning is being added as part of our regression script instead at a crate level. This will also enforce no warnings for all our crates, instead of just kani-compiler as is today. This makes development a bit easier, since warnings of unused code shows up fairly often when a feature is half implemented. So this allow us to compile and test the code before it's production ready. That said, it is nice to avoid warnings from piling up, so change the check to the regression instead, which should be executed before we create PR / merge changes. This also aligns with the recommendation from https://rust-unofficial.github.io/patterns/anti_patterns/deny-warnings.html
Logging should emit task names, not just main. Probably task names should migrate to task-locals, when they exist, and logging should move to core.
The text was updated successfully, but these errors were encountered: