Add "extra info" field to the records #332
Closed
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.
In GitLab by @roblatham00 on Feb 21, 2018, 14:45
I did this a while back on intel-hpdd's repo, where it seems to have been forgotten.
I have sometimes needed to annotate log fields with extra information. for example, in ROMIO, it was helpful to know which round of two-phase collective I/O an operation happened in.
I suspect EXTRA_INFO would be used rarely, so adding 64 bytes to a log entry all the time seems wasteful. Can switch to a more dynamic approach where EXTRA_INFO allocated only if environment variable set if that seems better