• file
• revisions
• annotate
• diff
• comparison
• raw

src/share/vm/oops/compiledICHolderKlass.cpp@e1162778c1c8 (annotated)

src/share/vm/oops/compiledICHolderKlass.cpp

Thu, 07 Apr 2011 09:53:20 -0700

author

johnc

date

Thu, 07 Apr 2011 09:53:20 -0700

changeset 2781

e1162778c1c8

parent 2534

e5383553fd4e

permissions

-rw-r--r--

7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
Summary: A referent object that is only weakly reachable at the start of concurrent marking but is re-attached to the strongly reachable object graph during marking may not be marked as live. This can cause the reference object to be processed prematurely and leave dangling pointers to the referent object. Implement a read barrier for the java.lang.ref.Reference::referent field by intrinsifying the Reference.get() method, and intercepting accesses though JNI, reflection, and Unsafe, so that when a non-null referent object is read it is also logged in an SATB buffer.
Reviewed-by: kvn, iveresov, never, tonyp, dholmes

duke@435	1	/*
stefank@2534	2	* Copyright (c) 1998, 2011, Oracle and/or its affiliates. All rights reserved.
duke@435	3	* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
duke@435	4	*
duke@435	5	* This code is free software; you can redistribute it and/or modify it
duke@435	6	* under the terms of the GNU General Public License version 2 only, as
duke@435	7	* published by the Free Software Foundation.
duke@435	8	*
duke@435	9	* This code is distributed in the hope that it will be useful, but WITHOUT
duke@435	10	* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
duke@435	11	* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
duke@435	12	* version 2 for more details (a copy is included in the LICENSE file that
duke@435	13	* accompanied this code).
duke@435	14	*
duke@435	15	* You should have received a copy of the GNU General Public License version
duke@435	16	* 2 along with this work; if not, write to the Free Software Foundation,
duke@435	17	* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
duke@435	18	*
trims@1907	19	* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
trims@1907	20	* or visit www.oracle.com if you need additional information or have any
trims@1907	21	* questions.
duke@435	22	*
duke@435	23	*/
duke@435	24
stefank@2314	25	#include "precompiled.hpp"
stefank@2314	26	#include "classfile/javaClasses.hpp"
stefank@2314	27	#include "gc_implementation/shared/markSweep.inline.hpp"
stefank@2314	28	#include "gc_interface/collectedHeap.hpp"
stefank@2314	29	#include "gc_interface/collectedHeap.inline.hpp"
stefank@2314	30	#include "memory/permGen.hpp"
stefank@2314	31	#include "memory/universe.inline.hpp"
stefank@2314	32	#include "oops/compiledICHolderKlass.hpp"
stefank@2314	33	#include "oops/oop.inline.hpp"
stefank@2314	34	#include "oops/oop.inline2.hpp"
stefank@2314	35	#include "runtime/handles.inline.hpp"
stefank@2314	36	#ifndef SERIALGC
stefank@2314	37	#include "oops/oop.pcgc.inline.hpp"
stefank@2314	38	#endif
duke@435	39
duke@435	40	klassOop compiledICHolderKlass::create_klass(TRAPS) {
duke@435	41	compiledICHolderKlass o;
duke@435	42	KlassHandle h_this_klass(THREAD, Universe::klassKlassObj());
duke@435	43	KlassHandle k = base_create_klass(h_this_klass, header_size(), o.vtbl_value(), CHECK_NULL);
duke@435	44	// Make sure size calculation is right
duke@435	45	assert(k()->size() == align_object_size(header_size()), "wrong size for object");
duke@435	46	java_lang_Class::create_mirror(k, CHECK_NULL); // Allocate mirror
duke@435	47	return k();
duke@435	48	}
duke@435	49
duke@435	50
duke@435	51	compiledICHolderOop compiledICHolderKlass::allocate(TRAPS) {
duke@435	52	KlassHandle h_k(THREAD, as_klassOop());
duke@435	53	int size = compiledICHolderOopDesc::object_size();
duke@435	54	compiledICHolderOop c = (compiledICHolderOop)
duke@435	55	CollectedHeap::permanent_obj_allocate(h_k, size, CHECK_NULL);
duke@435	56	c->set_holder_method(NULL);
duke@435	57	c->set_holder_klass(NULL);
duke@435	58	return c;
duke@435	59	}
duke@435	60
duke@435	61
duke@435	62	int compiledICHolderKlass::oop_size(oop obj) const {
duke@435	63	assert(obj->is_compiledICHolder(), "must be compiledICHolder");
duke@435	64	return compiledICHolderOop(obj)->object_size();
duke@435	65	}
duke@435	66
duke@435	67	void compiledICHolderKlass::oop_follow_contents(oop obj) {
duke@435	68	assert(obj->is_compiledICHolder(), "must be compiledICHolder");
duke@435	69	compiledICHolderOop c = compiledICHolderOop(obj);
duke@435	70
duke@435	71	obj->follow_header();
duke@435	72	MarkSweep::mark_and_push(c->adr_holder_method());
duke@435	73	MarkSweep::mark_and_push(c->adr_holder_klass());
duke@435	74	}
duke@435	75
duke@435	76	#ifndef SERIALGC
duke@435	77	void compiledICHolderKlass::oop_follow_contents(ParCompactionManager* cm,
duke@435	78	oop obj) {
duke@435	79	assert(obj->is_compiledICHolder(), "must be compiledICHolder");
duke@435	80	compiledICHolderOop c = compiledICHolderOop(obj);
duke@435	81
duke@435	82	obj->follow_header(cm);
duke@435	83	PSParallelCompact::mark_and_push(cm, c->adr_holder_method());
duke@435	84	PSParallelCompact::mark_and_push(cm, c->adr_holder_klass());
duke@435	85	}
duke@435	86	#endif // SERIALGC
duke@435	87
duke@435	88
duke@435	89	int compiledICHolderKlass::oop_oop_iterate(oop obj, OopClosure* blk) {
duke@435	90	assert(obj->is_compiledICHolder(), "must be compiledICHolder");
duke@435	91	compiledICHolderOop c = compiledICHolderOop(obj);
duke@435	92	// Get size before changing pointers.
duke@435	93	// Don't call size() or oop_size() since that is a virtual call.
duke@435	94	int size = c->object_size();
duke@435	95
duke@435	96	obj->oop_iterate_header(blk);
duke@435	97	blk->do_oop(c->adr_holder_method());
duke@435	98	blk->do_oop(c->adr_holder_klass());
duke@435	99	return size;
duke@435	100	}
duke@435	101
duke@435	102	int compiledICHolderKlass::oop_oop_iterate_m(oop obj, OopClosure* blk,
duke@435	103	MemRegion mr) {
duke@435	104	assert(obj->is_compiledICHolder(), "must be compiledICHolder");
duke@435	105	compiledICHolderOop c = compiledICHolderOop(obj);
duke@435	106	// Get size before changing pointers.
duke@435	107	// Don't call size() or oop_size() since that is a virtual call.
duke@435	108	int size = c->object_size();
duke@435	109
duke@435	110	obj->oop_iterate_header(blk, mr);
duke@435	111
duke@435	112	oop* adr;
duke@435	113	adr = c->adr_holder_method();
duke@435	114	if (mr.contains(adr)) blk->do_oop(adr);
duke@435	115	adr = c->adr_holder_klass();
duke@435	116	if (mr.contains(adr)) blk->do_oop(adr);
duke@435	117	return size;
duke@435	118	}
duke@435	119
duke@435	120
duke@435	121	int compiledICHolderKlass::oop_adjust_pointers(oop obj) {
duke@435	122	assert(obj->is_compiledICHolder(), "must be compiledICHolder");
duke@435	123	compiledICHolderOop c = compiledICHolderOop(obj);
duke@435	124	// Get size before changing pointers.
duke@435	125	// Don't call size() or oop_size() since that is a virtual call.
duke@435	126	int size = c->object_size();
duke@435	127
duke@435	128	MarkSweep::adjust_pointer(c->adr_holder_method());
duke@435	129	MarkSweep::adjust_pointer(c->adr_holder_klass());
duke@435	130	obj->adjust_header();
duke@435	131	return size;
duke@435	132	}
duke@435	133
duke@435	134	#ifndef SERIALGC
duke@435	135	void compiledICHolderKlass::oop_push_contents(PSPromotionManager* pm, oop obj) {
duke@435	136	assert(obj->is_compiledICHolder(), "must be compiledICHolder");
duke@435	137	}
duke@435	138
duke@435	139	int compiledICHolderKlass::oop_update_pointers(ParCompactionManager* cm,
duke@435	140	oop obj) {
duke@435	141	assert(obj->is_compiledICHolder(), "must be compiledICHolder");
duke@435	142	compiledICHolderOop c = compiledICHolderOop(obj);
duke@435	143
duke@435	144	PSParallelCompact::adjust_pointer(c->adr_holder_method());
duke@435	145	PSParallelCompact::adjust_pointer(c->adr_holder_klass());
duke@435	146	return c->object_size();
duke@435	147	}
duke@435	148	#endif // SERIALGC
duke@435	149
duke@435	150	// Printing
duke@435	151
duke@435	152	void compiledICHolderKlass::oop_print_on(oop obj, outputStream* st) {
duke@435	153	assert(obj->is_compiledICHolder(), "must be compiledICHolder");
duke@435	154	Klass::oop_print_on(obj, st);
duke@435	155	compiledICHolderOop c = compiledICHolderOop(obj);
duke@435	156	st->print(" - method: "); c->holder_method()->print_value_on(st); st->cr();
duke@435	157	st->print(" - klass: "); c->holder_klass()->print_value_on(st); st->cr();
duke@435	158	}
duke@435	159
duke@435	160	void compiledICHolderKlass::oop_print_value_on(oop obj, outputStream* st) {
duke@435	161	assert(obj->is_compiledICHolder(), "must be compiledICHolder");
duke@435	162	Klass::oop_print_value_on(obj, st);
duke@435	163	}
duke@435	164
duke@435	165	const char* compiledICHolderKlass::internal_name() const {
duke@435	166	return "{compiledICHolder}";
duke@435	167	}
duke@435	168
duke@435	169	// Verification
duke@435	170
duke@435	171	void compiledICHolderKlass::oop_verify_on(oop obj, outputStream* st) {
duke@435	172	Klass::oop_verify_on(obj, st);
duke@435	173	guarantee(obj->is_compiledICHolder(), "must be compiledICHolder");
duke@435	174	compiledICHolderOop c = compiledICHolderOop(obj);
duke@435	175	guarantee(c->is_perm(), "should be in permspace");
duke@435	176	guarantee(c->holder_method()->is_perm(), "should be in permspace");
duke@435	177	guarantee(c->holder_method()->is_method(), "should be method");
duke@435	178	guarantee(c->holder_klass()->is_perm(), "should be in permspace");
duke@435	179	guarantee(c->holder_klass()->is_klass(), "should be klass");
duke@435	180	}