Skip to content
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

8282573: ByteBufferTest.java: replace endless recursion with RuntimeException in void ck(double x, double y) #7674

Closed
wants to merge 3 commits into from

Conversation

eme64
Copy link
Contributor

@eme64 eme64 commented Mar 3, 2022

There are two functions that check for equality.
void ck(long x, long y): already throws a RuntimeException if we observe inequality
void ck(double x, double y): called itself, leading to endless recursion and a StackOverflowError.

Instead of the recursion, I now also throw a RuntimeException.

This can currently be triggered with
path-to-jtreg/jtreg -va -s -jdk:jdk-path -javaoptions:"-XX:+UnlockDiagnosticVMOptions -XX:-TieredCompilation -XX:+StressGCM -XX:+OptoScheduling -XX:StressSeed=293843391" test/hotspot/jtreg/compiler/intrinsics/unsafe/HeapByteBufferTest.java
(see bug JDK-8282555)

This way I could verify that instead of StackOverflowError we now get RuntimeException, as desired.
Ran some basic tests to ensure I didn't break things.


Progress

  • Change must not contain extraneous whitespace
  • Commit message must refer to an issue
  • Change must be properly reviewed

Issue

  • JDK-8282573: ByteBufferTest.java: replace endless recursion with RuntimeException in void ck(double x, double y)

Reviewers

Reviewing

Using git

Checkout this PR locally:
$ git fetch https://git.openjdk.java.net/jdk pull/7674/head:pull/7674
$ git checkout pull/7674

Update a local copy of the PR:
$ git checkout pull/7674
$ git pull https://git.openjdk.java.net/jdk pull/7674/head

Using Skara CLI tools

Checkout this PR locally:
$ git pr checkout 7674

View PR using the GUI difftool:
$ git pr show -t 7674

Using diff file

Download this PR as a diff file:
https://git.openjdk.java.net/jdk/pull/7674.diff

Sorry, something went wrong.

@bridgekeeper
Copy link

bridgekeeper bot commented Mar 3, 2022

👋 Welcome back eme64! A progress list of the required criteria for merging this PR into master will be added to the body of your pull request. There are additional pull request commands available for use with this pull request.

@openjdk openjdk bot added the rfr Pull request is ready for review label Mar 3, 2022
@openjdk
Copy link

openjdk bot commented Mar 3, 2022

@eme64 The following label will be automatically applied to this pull request:

  • hotspot-compiler

When this pull request is ready to be reviewed, an "RFR" email will be sent to the corresponding mailing list. If you would like to change these labels, use the /label pull request command.

@openjdk openjdk bot added the hotspot-compiler hotspot-compiler-dev@openjdk.org label Mar 3, 2022
@mlbridge
Copy link

mlbridge bot commented Mar 3, 2022

Webrevs

@eme64
Copy link
Contributor Author

eme64 commented Mar 3, 2022

/label add nio

@openjdk openjdk bot added the nio nio-dev@openjdk.org label Mar 3, 2022
@openjdk
Copy link

openjdk bot commented Mar 3, 2022

@eme64
The nio label was successfully added.

@@ -217,7 +217,9 @@ void ck(long x, long y) {

void ck(double x, double y) {
if (x == x && y == y && x != y) {
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

What are the x == x and y == y checks good for?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I removed it. @PaulSandoz agreed that this method was very suspect. I should try removing it. There is an off chance it could create some NaN issues on odd platforms.

@eme64
Copy link
Contributor Author

eme64 commented Mar 3, 2022

/label remove nio

@openjdk openjdk bot removed the nio nio-dev@openjdk.org label Mar 3, 2022
@openjdk
Copy link

openjdk bot commented Mar 3, 2022

@eme64
The nio label was successfully removed.

@openjdk
Copy link

openjdk bot commented Mar 3, 2022

@eme64 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:

8282573: ByteBufferTest.java: replace endless recursion with RuntimeException in void ck(double x, double y)

Reviewed-by: psandoz, thartmann

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 13 new commits pushed to the master branch:

  • d5e8e52: 8282532: Allow explicitly setting build platform alongside --openjdk-target
  • b383780: 8282343: Create a regression test for JDK-4518432
  • b629782: 8279886: C1: Turn off SelectivePhiFunctions in presence of irreducible loops
  • 7e1c67d: 8282608: RawNativeLibraryImpl can't be passed to NativeLibraries::findEntry0
  • 8478173: 8282583: Update BCEL md to include the copyright notice
  • fb6b929: 8277474: jarsigner does not check if algorithm parameters are disabled
  • 1581e3f: 8282402: Create a regression test for JDK-4666101
  • 268fa69: 8282511: Use fixed certificate validation date in SSLExampleCert template
  • c777bb3: 8282619: G1: Fix indentation in G1CollectedHeap::mark_evac_failure_object
  • 080baff: 8282483: Ensure that Utils.getAllInterfaces returns unique instances
  • ... and 3 more: https://git.openjdk.java.net/jdk/compare/832729b41e690d6f05da71997bbe2a74b2d6dada...master

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 (@PaulSandoz, @TobiHartmann) but any other Committer may sponsor as well.

➡️ To flag this PR as ready for integration with the above commit message, type /integrate in a new comment. (Afterwards, your sponsor types /sponsor in a new comment to perform the integration).

@openjdk openjdk bot added the ready Pull request is ready to be integrated label Mar 3, 2022
Copy link
Member

@TobiHartmann TobiHartmann left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me.

@eme64
Copy link
Contributor Author

eme64 commented Mar 4, 2022

Thanks @PaulSandoz and @TobiHartmann for the help and the reviews!
/integrate

@openjdk openjdk bot added the sponsor Pull request is ready to be sponsored label Mar 4, 2022
@openjdk
Copy link

openjdk bot commented Mar 4, 2022

@eme64
Your change (at version 17ad7a2) is now ready to be sponsored by a Committer.

@TobiHartmann
Copy link
Member

/sponsor

@openjdk
Copy link

openjdk bot commented Mar 4, 2022

Going to push as commit a584c90.
Since your change was applied there have been 13 commits pushed to the master branch:

  • d5e8e52: 8282532: Allow explicitly setting build platform alongside --openjdk-target
  • b383780: 8282343: Create a regression test for JDK-4518432
  • b629782: 8279886: C1: Turn off SelectivePhiFunctions in presence of irreducible loops
  • 7e1c67d: 8282608: RawNativeLibraryImpl can't be passed to NativeLibraries::findEntry0
  • 8478173: 8282583: Update BCEL md to include the copyright notice
  • fb6b929: 8277474: jarsigner does not check if algorithm parameters are disabled
  • 1581e3f: 8282402: Create a regression test for JDK-4666101
  • 268fa69: 8282511: Use fixed certificate validation date in SSLExampleCert template
  • c777bb3: 8282619: G1: Fix indentation in G1CollectedHeap::mark_evac_failure_object
  • 080baff: 8282483: Ensure that Utils.getAllInterfaces returns unique instances
  • ... and 3 more: https://git.openjdk.java.net/jdk/compare/832729b41e690d6f05da71997bbe2a74b2d6dada...master

Your commit was automatically rebased without conflicts.

@openjdk openjdk bot added the integrated Pull request has been integrated label Mar 4, 2022
@openjdk openjdk bot closed this Mar 4, 2022
@openjdk openjdk bot removed ready Pull request is ready to be integrated rfr Pull request is ready for review sponsor Pull request is ready to be sponsored labels Mar 4, 2022
@openjdk
Copy link

openjdk bot commented Mar 4, 2022

@TobiHartmann @eme64 Pushed as commit a584c90.

💡 You may see a message that your pull request was closed with unmerged commits. This can be safely ignored.

if (x == x && y == y && x != y) {
ck(x, y);
if (x != y) {
throw new RuntimeException(" x = " + Double.toString(x) + ", y = " + Double.toString(y)
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

You might want to add some explanation to the exception:
s/" x = "/"Expected x == y: x = "

or something like that.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
hotspot-compiler hotspot-compiler-dev@openjdk.org integrated Pull request has been integrated
Development

Successfully merging this pull request may close these issues.

None yet

4 participants