United StatesChange Country, Oracle Worldwide Web Sites Communities I am a... I want to...
Bug ID: JDK-6820514 meet not symmetric failure in ctw
JDK-6820514 : meet not symmetric failure in ctw

Details
Type:
Bug
Submit Date:
2009-03-21
Status:
Closed
Updated Date:
2011-03-08
Project Name:
JDK
Resolved Date:
2011-03-08
Component:
hotspot
OS:
solaris_9
Sub-Component:
compiler
CPU:
sparc
Priority:
P3
Resolution:
Fixed
Affected Versions:
hs15
Fixed Versions:
hs17 (b03)

Related Reports
Backport:
Backport:

Sub Tasks

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
EVALUATION

http://hg.openjdk.java.net/jdk7/hotspot-comp/hotspot/rev/6a8ccac44f41
                                     
2009-09-18
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.
                                     
2009-09-18



Hardware and Software, Engineered to Work Together