Make trace:info(S, MFA, call_time | call_memory) not block all schedulers #10207
Conversation
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
Contributor
CT Test Results 3 files 135 suites 49m 8s ⏱️ Results for commit 55df6b0. ♻️ This comment has been updated with latest results. To speed up review, make sure that you have read Contributing to Erlang/OTP and that all checks pass. See the TESTING and DEVELOPMENT HowTo guides for details about how to run test locally. Artifacts// Erlang/OTP Github Action Bot |
Don't spend time and heap memory on items not asked for.
in preparation for block-less trace:info.
Save memory in most cases, but impose extra cpu (time) when tracing.
It should always be erts_active_bp_index ^ 1. Avoid tiny race when we had to change two atomics. We only call erts_staging_bp_ix() when we change trace settings.
sverker
force-pushed
the
sverker/erts/trace-no-block
branch
from
84b9e53 to
5fee623
Compare
There was a problem hiding this comment.
Pull Request Overview
This PR refactors the implementation of trace:info/3 and erlang:trace_info/2 to make them non-blocking when collecting call_time and call_memory counters, addressing the issue of these functions blocking all scheduler threads.
- Refactored breakpoint data structures to eliminate the
erts_staging_bp_indexvariable - Implemented non-blocking trace info collection using code barriers and process suspension/resumption
- Reorganized hash table structures and functions for call time/memory tracing
Reviewed Changes
Copilot reviewed 9 out of 9 changed files in this pull request and generated 2 comments.
Show a summary per file
| File | Description |
|---|---|
| erts/emulator/test/trace_call_time_SUITE.erl | Added new test cases to verify non-blocking behavior and robustness against process termination |
| erts/emulator/nifs/common/prim_tty_nif.c | Fixed assertion to include zero in valid character range |
| erts/emulator/beam/erl_trace.h | Removed staging breakpoint index variable |
| erts/emulator/beam/erl_trace.c | Removed staging breakpoint index variable |
| erts/emulator/beam/erl_init.c | Moved trace initialization after emulator initialization |
| erts/emulator/beam/erl_bif_trace.c | Major refactor to implement non-blocking trace info collection with trapping mechanisms |
| erts/emulator/beam/beam_bp.h | Refactored breakpoint data structures and function signatures |
| erts/emulator/beam/beam_bp.c | Implemented new hash table management and non-blocking collection algorithms |
| erts/emulator/beam/atom.names | Added new atom for trace info finish export |
Tip: Customize your code reviews with copilot-instructions.md. Create the file or learn how to get started.
sverker
added
testing
sverker
force-pushed
the
sverker/erts/trace-no-block
branch
2 times, most recently
from
baded75 to
f41cc8d
Compare
sverker
force-pushed
the
sverker/erts/trace-no-block
branch
3 times, most recently
from
c8cb8dd to
357949a
Compare
There was a problem hiding this comment.
Pull Request Overview
Copilot reviewed 11 out of 11 changed files in this pull request and generated 3 comments.
Tip: Customize your code reviews with copilot-instructions.md. Create the file or learn how to get started.
frazze-jobb
previously approved these changes
Oct 2, 2025
sverker
added
testing
sverker
force-pushed
the
sverker/erts/trace-no-block
branch
2 times, most recently
from
b9fa60c to
0824a58
Compare
sverker
force-pushed
the
sverker/erts/trace-no-block
branch
2 times, most recently
from
109232d to
1501b6d
Compare
Instead use this strategy 0. Seize code mod permission (as before) 1. Allocate temporary zeroed hashes for any traced calls that may happen during the call to trace:info. 2. Thread progress 3. Switch bp index to make the temp hashes active. 4. Thread progress. 5. Collect stats from the real hashes that are now unused and stable. 6. Switch back bp index to make the real hashes active again. 7. Thread progress. 8. Consolidate by collecting stats from the temp hashes into the active generation. 9. Deallocate the temp hashes and make the two halves of the breakpoint identical again using the same real hashes. 10. Build result from stats collected in step 5 11. Release code mod permission
sverker
force-pushed
the
sverker/erts/trace-no-block
branch
2 times, most recently
from
afb61ca to
dde3b5d
Compare
frazze-jobb
approved these changes
Oct 14, 2025
frazze-jobb
previously approved these changes
Oct 15, 2025
with some talk about sessions and call_time and call_memory.
sverker
force-pushed
the
sverker/erts/trace-no-block
branch
from
dde3b5d to
55df6b0
Compare
rickard-green
approved these changes
Oct 21, 2025
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
3 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.
Another step in the quest of purging ERTS from BIFs that block all scheduler threads.
This affects both the new
trace:info/3and the olderlang:trace_info/2when they are called to collectcall_timeand/orcall_memorycounters.