JDK-6820514 : meet not symmetric failure in ctw
  • Type: Bug
  • Component: hotspot
  • Sub-Component: compiler
  • Affected Version: hs15
  • Priority: P3
  • Status: Closed
  • Resolution: Fixed
  • OS: solaris_9
  • CPU: sparc
  • Submitted: 2009-03-21
  • Updated: 2011-03-08
  • Resolved: 2011-03-08
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 6 JDK 7 Other
6u21Fixed 7Fixed hs17Fixed
Description
While testing some new jar files in CTW, I tripped across a new failure in the type system having to do with the instance_id field of TypeInstPtr.

#=== Meet Not Symmetric ===
#t   =                   java/lang/Object:NotNull:exact *
#this=                   javax/resource/spi/ConnectionRequestInfo:NotNull *
#mt=(t meet this)=       java/lang/Object:NotNull *
#t_dual=                 java/lang/Object:AnyNull:exact *,iid=top
#this_dual=              javax/resource/spi/ConnectionRequestInfo:AnyNull *,iid=top
#mt_dual=                java/lang/Object:AnyNull *,iid=top
#mt_dual meet t_dual=    java/lang/Object:AnyNull:exact *,iid=top
#mt_dual meet this_dual= javax/resource/spi/ConnectionRequestInfo:AnyNull *
## To suppress the following error report, specify this argument
## after -XX: or in .hotspotrc:  SuppressErrorAt=/type.cpp:532
##
## A fatal error has been detected by the Java Runtime Environment:
##
##  Internal Error (/BUILD_AREA/jdk7/hotspot/src/share/vm/opto/type.cpp:532), pid=22062, tid=10
##  Error: meet not symmetric
##
## JRE version: 7.0-b51
## Java VM: Java HotSpot(TM) Server VM (15.0-b03-fastdebug mixed mode solaris-sparc )
## An error report file with more information is saved as:
## /tmp/multictw.sparc/run_ctw_a/workdir/hs_err_pid22062.log
##
## If you would like to submit a bug report, please visit:
##   http:java.sun.com/webapps/bugreport/crash.jsp
##

and this version which is pretty much the same except for the names.

#=== Meet Not Symmetric ===
#t   =                   java/lang/Object:NotNull:exact *
#this=                   org/netbeans/core/output2/NbIO:NotNull *
#mt=(t meet this)=       java/lang/Object:NotNull *
#t_dual=                 java/lang/Object:AnyNull:exact *,iid=top
#this_dual=              org/netbeans/core/output2/NbIO:AnyNull *,iid=top
#mt_dual=                java/lang/Object:AnyNull *,iid=top
#mt_dual meet t_dual=    java/lang/Object:AnyNull:exact *,iid=top
#mt_dual meet this_dual= org/netbeans/core/output2/NbIO:AnyNull *

For the moment you can grab the jars jboss-jca.jar and org-netbeans-core-output2.jar from my home but I'll be putting these into the our full CTW set.

Comments
PUBLIC COMMENTS Problem: Missing instance_id meet for the case j.l.Object:NotNull meets unloaded instance klass. Solution: Add instance_id meet in TypeInstPtr::xmeet_unloaded(). Fix Type::interface_vs_oop() for narrow oops (cases regression test 6837094 failure). Remove optional instance_id in TypeOopPtr::make() as I promised before.
18-09-2009

EVALUATION http://hg.openjdk.java.net/jdk7/hotspot-comp/hotspot/rev/6a8ccac44f41
18-09-2009