Rewrite of VerifyJimage test to fix several severe issues.

This test runs in two modes, one of which is completely broken (but claims to 
pass) and the other which currently works but must be made compatible with 
up-coming preview mode changes from Valhalla.

Issue 1: Broken file comparison

This is a mode not currently run by default, but very very broken if it is run 
manually. It creates incorrect entry names for looking into the jimage and then 
ignores non existent entries without raising a failure. This code must have 
been broken since the introduction of BasicImageReader and the modules system.

This is the larger part of the VerifyJimage code, and it was never going to be 
worth keeping much of the existing code, so I wrote a new nested class 
(DirectoryContentVerifier) to encapsulate it.

Importantly, this version now checks false positives and false negatives for 
file comparison, ensuring that "true failure" cannot be silently ignored. The 
set of entries in the jimage which have been handled is recorded, and a check 
is made that all entries have either been tested or explicitly ignored.

Issue 2: Use of BasicImageReader for class file reading

A relative small part of the original code, this mode was reading class names 
via BasicImageReader and attempting to load them. This approach works now, but 
will fail when preview mode is introduced since preview versions of classes 
must be loaded when the JVM is run in preview mode.

The best way to get "the current set of classes in the jimage" is to enumerate 
the jrt:/ file-system for the runtime image (which will account for preview 
mode when it's introduced). So the new code in ClassLoadingVerifier does this.

Issue 3: File comparison mode was never run by default

This is likely why the broken file comparison mode wasn't discovered for years. 
I added two test stanzas to VerifyJimage, so that both modes are run (if 
possible). Some care is needed because in CI testing there are no module 
directories for the file comparison mode, and this should not cause a test 
failure.

-------------

Depends on: https://git.openjdk.org/jdk/pull/28263

Commit messages:
 - Fix very broken test and make it compatible with preview mode

Changes: https://git.openjdk.org/jdk/pull/28265/files
  Webrev: https://webrevs.openjdk.org/?repo=jdk&pr=28265&range=00
  Issue: https://bugs.openjdk.org/browse/JDK-8371591
  Stats: 292 lines in 1 file changed: 133 ins; 43 del; 116 mod
  Patch: https://git.openjdk.org/jdk/pull/28265.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/28265/head:pull/28265

PR: https://git.openjdk.org/jdk/pull/28265

Reply via email to