Fix limiter_node decrementer #647
Merged
Conversation
This file contains 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
Signed-off-by: Mishin, Ilya <ilya.mishin@intel.com>
Signed-off-by: Mishin, Ilya <ilya.mishin@intel.com>
Signed-off-by: Mishin, Ilya <ilya.mishin@intel.com>
Signed-off-by: Mishin, Ilya <ilya.mishin@intel.com>
Signed-off-by: Mishin, Ilya <ilya.mishin@intel.com>
Iliamish
force-pushed
the
dev/iliamish/limiter_node_decrementer_fix
branch
from
75f1373 to
f51fb90
Compare
|
This PR also fix issues: #342 and #489 Workaround is not needed: |
All tests after replace workaround to: template< typename Sender, typename Receiver >
void make_edge_impl(Sender& sender, Receiver& receiver){
//#if __GNUC__ < 12 && !TBB_USE_DEBUG
// // Seemingly, GNU compiler generates incorrect code for the call of limiter.register_successor in release (-03)
// // The function pointer to make_edge workarounds the issue for unknown reason
// auto make_edge_ptr = tbb::flow::make_edge<int>;
// make_edge_ptr(sender, receiver);
//#else
tbb::flow::make_edge(sender, receiver);
//#endif
}Compilers:
Without this PR - ~100% of launches freezes. |
added 2 commits
November 22, 2021 09:29
Signed-off-by: Serov, Vladimir <vladimir.serov@intel.com>
Signed-off-by: Serov, Vladimir <vladimir.serov@intel.com>
|
Commit: f620936 GCC versions: CMake (3.17.0): 11 runs of each test set of each compiler. |
|
Do you have any updates? |
aleksei-fedotov
approved these changes
Dec 9, 2021
Comment on lines
2104
to
2116
| spin_mutex::scoped_lock lock(my_mutex); | ||
| ++my_count; | ||
| if ( my_future_decrement ) { | ||
| if ( my_count > my_future_decrement ) { | ||
| my_count -= my_future_decrement; | ||
| my_future_decrement = 0; | ||
| } | ||
| else { | ||
| my_future_decrement -= my_count; | ||
| my_count = 0; | ||
| } | ||
| } | ||
| --my_tries; |
There was a problem hiding this comment.
This part of the code is a complete (both semantic and syntactic) duplication of lines 1951-1963 in the newer version of the same file. I would recommend moving them into separate limiter_node-specific helper method, which will be named correspondingly. E.g., account_successful_forward.
There is also similar (slightly incomplete) code duplication about forwarding failure: see lines 2094-2101 and 1983-1994 in the newer version of the file. Please consider moving them as well.
Of course, it is mainly for better code readability and maintainability in the future, and not a showstopper for now. If there is no time or desire implementing this "small" improvement, consider leaving a TODO comment, something like: "// TODO: consider moving duplicated logic about processing of successful and unsuccessful task forward into separate functions."
This was referenced Dec 13, 2021
kboyarinov
pushed a commit
that referenced
this pull request
Dec 27, 2021
* Fix limiter_node decrementer Signed-off-by: Mishin, Ilya <ilya.mishin@intel.com> * Fix align Signed-off-by: Mishin, Ilya <ilya.mishin@intel.com> * add new variable for check unused decrements Signed-off-by: Mishin, Ilya <ilya.mishin@intel.com> * remove iostream Signed-off-by: Mishin, Ilya <ilya.mishin@intel.com> * remove unnesessary cast Signed-off-by: Mishin, Ilya <ilya.mishin@intel.com> * align whitespaces Signed-off-by: Mishin, Ilya <ilya.mishin@intel.com> * Fix whitespace alignment Signed-off-by: Serov, Vladimir <vladimir.serov@intel.com> * Revert workaround for GCC Signed-off-by: Serov, Vladimir <vladimir.serov@intel.com> Co-authored-by: Serov, Vladimir <vladimir.serov@intel.com>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
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.
Description
We have logical race in case where in one time first node try_put to limiter_node and second node try_put to limiter_node decrementer. So, we need to count the attempts to decrease my_count that were still in the my_tries stage.
Fixes # - #634
Type of change
Choose one or multiple, leave empty if none of the other choices apply
Add respective label(s) to PR if you have permissions
Tests
Documentation
Breaks backward compatibility
Notify the following users
List users with
@to send notificationsOther information