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

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

src/share/vm/oops/oop.cpp

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

author

johnc

date

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

changeset 2781

e1162778c1c8

parent 2314

f95d63e2154a

child 3156

f08d439fab8c

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@2314	2	* Copyright (c) 1997, 2010, 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 "oops/oop.inline.hpp"
stefank@2314	28	#include "runtime/handles.inline.hpp"
stefank@2314	29	#include "utilities/copy.hpp"
stefank@2314	30	#ifdef TARGET_OS_FAMILY_linux
stefank@2314	31	# include "thread_linux.inline.hpp"
stefank@2314	32	#endif
stefank@2314	33	#ifdef TARGET_OS_FAMILY_solaris
stefank@2314	34	# include "thread_solaris.inline.hpp"
stefank@2314	35	#endif
stefank@2314	36	#ifdef TARGET_OS_FAMILY_windows
stefank@2314	37	# include "thread_windows.inline.hpp"
stefank@2314	38	#endif
duke@435	39
duke@435	40	bool always_do_update_barrier = false;
duke@435	41
duke@435	42	BarrierSet* oopDesc::_bs = NULL;
duke@435	43
duke@435	44	void oopDesc::print_on(outputStream* st) const {
duke@435	45	if (this == NULL) {
duke@435	46	st->print_cr("NULL");
duke@435	47	} else {
duke@435	48	blueprint()->oop_print_on(oop(this), st);
duke@435	49	}
duke@435	50	}
duke@435	51
duke@435	52	void oopDesc::print_address_on(outputStream* st) const {
duke@435	53	if (PrintOopAddress) {
jrose@1100	54	st->print("{"INTPTR_FORMAT"}", this);
duke@435	55	}
duke@435	56	}
duke@435	57
duke@435	58	void oopDesc::print() { print_on(tty); }
duke@435	59
duke@435	60	void oopDesc::print_address() { print_address_on(tty); }
duke@435	61
duke@435	62	char* oopDesc::print_string() {
jrose@1590	63	stringStream st;
jrose@1590	64	print_on(&st);
jrose@1590	65	return st.as_string();
jrose@1590	66	}
jrose@1590	67
jrose@1590	68	void oopDesc::print_value() {
jrose@1590	69	print_value_on(tty);
duke@435	70	}
duke@435	71
duke@435	72	char* oopDesc::print_value_string() {
jrose@1590	73	char buf[100];
jrose@1590	74	stringStream st(buf, sizeof(buf));
jrose@1590	75	print_value_on(&st);
jrose@1590	76	return st.as_string();
duke@435	77	}
duke@435	78
jrose@1590	79	void oopDesc::print_value_on(outputStream* st) const {
jrose@1590	80	oop obj = oop(this);
jrose@1590	81	if (this == NULL) {
jrose@1590	82	st->print("NULL");
jrose@1590	83	} else if (java_lang_String::is_instance(obj)) {
jrose@1590	84	java_lang_String::print(obj, st);
jrose@1590	85	if (PrintOopAddress) print_address_on(st);
jrose@1590	86	#ifdef ASSERT
jrose@1590	87	} else if (!Universe::heap()->is_in(obj) || !Universe::heap()->is_in(klass())) {
jrose@1590	88	st->print("### BAD OOP %p ###", (address)obj);
jrose@1590	89	#endif //ASSERT
jrose@1590	90	} else {
jrose@1590	91	blueprint()->oop_print_value_on(obj, st);
jrose@1590	92	}
jrose@1590	93	}
jrose@1590	94
duke@435	95
duke@435	96	void oopDesc::verify_on(outputStream* st) {
duke@435	97	if (this != NULL) {
duke@435	98	blueprint()->oop_verify_on(this, st);
duke@435	99	}
duke@435	100	}
duke@435	101
duke@435	102
duke@435	103	void oopDesc::verify() {
duke@435	104	verify_on(tty);
duke@435	105	}
duke@435	106
duke@435	107
coleenp@548	108	// XXX verify_old_oop doesn't do anything (should we remove?)
duke@435	109	void oopDesc::verify_old_oop(oop* p, bool allow_dirty) {
duke@435	110	blueprint()->oop_verify_old_oop(this, p, allow_dirty);
duke@435	111	}
duke@435	112
coleenp@548	113	void oopDesc::verify_old_oop(narrowOop* p, bool allow_dirty) {
coleenp@548	114	blueprint()->oop_verify_old_oop(this, p, allow_dirty);
coleenp@548	115	}
duke@435	116
duke@435	117	bool oopDesc::partially_loaded() {
duke@435	118	return blueprint()->oop_partially_loaded(this);
duke@435	119	}
duke@435	120
duke@435	121
duke@435	122	void oopDesc::set_partially_loaded() {
duke@435	123	blueprint()->oop_set_partially_loaded(this);
duke@435	124	}
duke@435	125
duke@435	126
duke@435	127	intptr_t oopDesc::slow_identity_hash() {
duke@435	128	// slow case; we have to acquire the micro lock in order to locate the header
duke@435	129	ResetNoHandleMark rnm; // Might be called from LEAF/QUICK ENTRY
duke@435	130	HandleMark hm;
duke@435	131	Handle object((oop)this);
duke@435	132	assert(!is_shared_readonly(), "using identity hash on readonly object?");
duke@435	133	return ObjectSynchronizer::identity_hash_value_for(object);
duke@435	134	}
duke@435	135
duke@435	136	VerifyOopClosure VerifyOopClosure::verify_oop;
coleenp@548	137
coleenp@548	138	void VerifyOopClosure::do_oop(oop* p) { VerifyOopClosure::do_oop_work(p); }
coleenp@548	139	void VerifyOopClosure::do_oop(narrowOop* p) { VerifyOopClosure::do_oop_work(p); }