Skip to content

8351010: Test java/io/File/GetXSpace.java failed: / usable space 56380809216 > free space 14912244940 #25704

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

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

bplb
Copy link
Member

@bplb bplb commented Jun 9, 2025

Relax testing the inequality usable_space <= free_space to testing the inequality usable_space <= total_space.


Progress

  • Change must be properly reviewed (1 review required, with at least 1 Reviewer)
  • Change must not contain extraneous whitespace
  • Commit message must refer to an issue

Issue

  • JDK-8351010: Test java/io/File/GetXSpace.java failed: / usable space 56380809216 > free space 14912244940 (Bug - P4)

Reviewing

Using git

Checkout this PR locally:
$ git fetch https://git.openjdk.org/jdk.git pull/25704/head:pull/25704
$ git checkout pull/25704

Update a local copy of the PR:
$ git checkout pull/25704
$ git pull https://git.openjdk.org/jdk.git pull/25704/head

Using Skara CLI tools

Checkout this PR locally:
$ git pr checkout 25704

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

Using diff file

Download this PR as a diff file:
https://git.openjdk.org/jdk/pull/25704.diff

Using Webrev

Link to Webrev Comment

@bridgekeeper
Copy link

bridgekeeper bot commented Jun 9, 2025

👋 Welcome back bpb! 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.

1 similar comment
@bridgekeeper
Copy link

bridgekeeper bot commented Jun 9, 2025

👋 Welcome back bpb! 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.

@bplb
Copy link
Member Author

bplb commented Jun 9, 2025

Although the native system call statfs (Unix) and native function GetDiskFreeSpaceExW (Windows) might collect the space values atomically at a given instant, the space values returned by getFreeSpace and getUsableSpace are obtained at two distinct times, hence the state of the file system might have changed in the intervening interval, and the inequality usable_space <= free_space cannot be reliably tested in a deterministic manner. This has caused many failures in the GetXSpace test, so it seems reasonable to relax the constrain to usable_space <= free_space. Other statistical methods could be used to test the original inequality usable_space <= free_space, but they all admit to some degree of randomness as to how much the file system might change in a small interval of time and are therefore open to (likely spurious) failures.

@openjdk
Copy link

openjdk bot commented Jun 9, 2025

❗ This change is not yet ready to be integrated.
See the Progress checklist in the description for automated requirements.

@openjdk openjdk bot added the rfr Pull request is ready for review label Jun 9, 2025
@openjdk
Copy link

openjdk bot commented Jun 9, 2025

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

  • core-libs

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.

@mlbridge
Copy link

mlbridge bot commented Jun 9, 2025

Webrevs

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
core-libs [email protected] rfr Pull request is ready for review
Development

Successfully merging this pull request may close these issues.

1 participant