-
Notifications
You must be signed in to change notification settings - Fork 224
8298061: vmTestbase/nsk/sysdict/vm/stress/btree/btree012/btree012.java failed with "fatal error: refcount has gone to zero" #3328
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
Conversation
👋 Welcome back dchuyko! A progress list of the required criteria for merging this PR into |
@dchuyko This change now passes all automated pre-integration checks. ℹ️ This project also has non-automated pre-integration requirements. Please see the file CONTRIBUTING.md for details. After integration, the commit message for the final commit will be:
You can use pull request commands such as /summary, /contributor and /issue to adjust it as needed. At the time when this comment was updated there had been 95 new commits pushed to the
As there are no conflicts, your changes will automatically be rebased on top of these commits when integrating. If you prefer to avoid this automatic rebasing, please check the documentation for the /integrate command for further details. As you do not have Committer status in this project an existing Committer must agree to sponsor your change. Possible candidates are the reviewers of this PR (@coleenp) but any other Committer may sponsor as well. ➡️ To flag this PR as ready for integration with the above commit message, type |
This backport pull request has now been updated with issue from the original commit. |
@@ -142,8 +142,12 @@ class PlaceholderEntry : public HashtableEntry<Symbol*, mtClass> { | |||
|
|||
Symbol* supername() const { return _supername; } | |||
void set_supername(Symbol* supername) { | |||
_supername = supername; | |||
if (_supername != NULL) _supername->increment_refcount(); | |||
if (supername != _supername) { |
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.
Why isn't there an if (_supername == NULL) _supername->decrement_refcount(); before assigning the new supername?
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.
Did you mean if (_supername != NULL)
?
Later versions call Symbol::maybe_decrement_refcount(_supername);
that acts like if (s != nullptr) s->decrement_refcount();
.
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.
Also it turns out that checking for NULL may be not enough. PlaceholderEntry has no constructor, so members can contain garbage.
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 see. This is the old hashtable implementation.
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.
Coleen, thanks for the review.
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.
This looks good. Thank you for testing out this backport.
@@ -142,8 +142,12 @@ class PlaceholderEntry : public HashtableEntry<Symbol*, mtClass> { | |||
|
|||
Symbol* supername() const { return _supername; } | |||
void set_supername(Symbol* supername) { | |||
_supername = supername; | |||
if (_supername != NULL) _supername->increment_refcount(); | |||
if (supername != _supername) { |
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 see. This is the old hashtable implementation.
|
/approval request This is a backport of a small reference counting fix in PlaceholderEntry::set_supername(). The bug leads to rare crashes. In particular, it causes the Spring Boot build to fail under certain circumstances. The original patch doesn't apply cleanly and is not enough (because of changes in 20 and later), it is slightly modified/extended. We basically add guards t prevent null/uninitialized data access so the risk is low. Testing: jtreg tier 1-3 on linux-amd64, dedicated stress test of the Spring Boot build. |
/integrate |
/sponsor |
Going to push as commit 41b3541.
Your commit was automatically rebased without conflicts. |
@phohensee @dchuyko Pushed as commit 41b3541. 💡 You may see a message that your pull request was closed with unmerged commits. This can be safely ignored. |
Please review the backport of the fix for JDK-8298061 to jdk17u. The bug leads to rare crashes. For instance, they cause the Spring Boot build to fail under certain circumstances. In particular on AMD EPYC 7R13 and Ubuntu 24.04.1.
Original patch doesn't apply cleanly. First, technically clear_supername() was only added by JDK-8292286 in JDK 20 and Symbol::maybe_increment/decrement_refcount were added by JDK-8291457 also in JDK 20, all before the original patch.
Second, PlaceholderTable::find_and_remove() actually needs what clear_supername() call does in 20 to make the fix complete (and to match find_and_add()). That second part was later reworked in JDK 21 (JDK-8302108) and after.
PlaceholderEntry::set_supername() was modified to perform same work as before under the same condition as in the original patch.
The early version of the original change by @coleenp had an implementation of the second part which is suitable for 17u so it was made a part of this backport. See openjdk/jdk#11726
Without that second part part we did observe assert failures.
Testing: jtreg tier 1-3 on linux-amd64, dedicated stress test of the Spring Boot build.
Progress
Issue
Reviewers
Reviewing
Using
git
Checkout this PR locally:
$ git fetch https://git.openjdk.org/jdk17u-dev.git pull/3328/head:pull/3328
$ git checkout pull/3328
Update a local copy of the PR:
$ git checkout pull/3328
$ git pull https://git.openjdk.org/jdk17u-dev.git pull/3328/head
Using Skara CLI tools
Checkout this PR locally:
$ git pr checkout 3328
View PR using the GUI difftool:
$ git pr show -t 3328
Using diff file
Download this PR as a diff file:
https://git.openjdk.org/jdk17u-dev/pull/3328.diff
Using Webrev
Link to Webrev Comment