JDK-8147026 : Convert an assert in ClassLoaderData to a guarantee
  • Type: Enhancement
  • Component: hotspot
  • Sub-Component: runtime
  • Priority: P3
  • Status: Resolved
  • Resolution: Fixed
  • Submitted: 2016-01-13
  • Updated: 2016-10-13
  • Resolved: 2016-04-29
The Version table provides details related to the release that this issue/RFE will be addressed.

Unresolved : Release in which this issue/RFE will be addressed.
Resolved: Release in which this issue/RFE has been resolved.
Fixed : Release in which this issue/RFE has been fixed. The release containing this fix may be available for download as an Early Access Release or a General Availability Release.

To download the current JDK release, click here.
JDK 8 JDK 9
8u112Fixed 9 b120Fixed
Description
In the following code, I suggest to change the assert to a guarantee.

inline ClassLoaderData *ClassLoaderDataGraph::find_or_create(Handle loader, TRAPS) {
  assert(loader() != NULL,"Must be a class loader");
  // Gets the class loader data out of the java/lang/ClassLoader object, if non-null
  // it's already in the loader_data, so no need to add
  ClassLoaderData* loader_data= java_lang_ClassLoader::loader_data(loader());
  if (loader_data) {
     return loader_data;
  }
  return ClassLoaderDataGraph::add(loader, false, THREAD);
}

This guarantee should also check that the classloader is an oop. It should be something like this:
guarantee(loader() != NULL && loader()->is_oop(), "loader must be oop");

We struggled for a long time with an internal stress bug (which could not be run with the fastdebug build) where the JVM was crashing during GC because the object it was looking at had a pointer to a bad klass. The core file analysis showed that the classloader object in the klass was not a valid Oop and we suspected that the classloader object that the JVM received from Java land during class initialization was not a valid object. Unfortunately the problem stopped reproducing and we could not try a run with the above assert changed to guarantee.

I think having a guarantee here ensuring that the classloader is a valid oop will help catch the errors at an early stage during the run rather than crashing the JVM later on in the GC.



Comments
I'm trying to understand the RFR thread and why this change would help find the bug that you were looking for. The bug was that the CLD was unloaded while there were still uses of the Metadata (Klass*) which I don't know how it was tracked down. If the class_loader oop was unloaded and subsequently the CLD, then it's possible that this would be an entry point for the bad class_loader oop to come back into the JVM. So maybe this guarantee makes sense.
25-04-2016