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

src/share/vm/gc_implementation/shared/markSweep.inline.hpp@ba764ed4b6f2 (annotated)

src/share/vm/gc_implementation/shared/markSweep.inline.hpp

Sun, 13 Apr 2008 17:43:42 -0400

author

coleenp

date

Sun, 13 Apr 2008 17:43:42 -0400

changeset 548

ba764ed4b6f2

parent 435

a61af66fc99e

child 631

d1605aabd0a1

permissions

-rw-r--r--

6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
Summary: Compressed oops in instances, arrays, and headers. Code contributors are coleenp, phh, never, swamyv
Reviewed-by: jmasa, kamg, acorn, tbell, kvn, rasbold

duke@435	1	/*
duke@435	2	* Copyright 2000-2006 Sun Microsystems, Inc. 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	*
duke@435	19	* Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
duke@435	20	* CA 95054 USA or visit www.sun.com if you need additional information or
duke@435	21	* have any questions.
duke@435	22	*
duke@435	23	*/
duke@435	24
duke@435	25	inline void MarkSweep::mark_object(oop obj) {
duke@435	26	#ifndef SERIALGC
duke@435	27	if (UseParallelOldGC && VerifyParallelOldWithMarkSweep) {
duke@435	28	assert(PSParallelCompact::mark_bitmap()->is_marked(obj),
coleenp@548	29	"Should be marked in the marking bitmap");
duke@435	30	}
duke@435	31	#endif // SERIALGC
duke@435	32
duke@435	33	// some marks may contain information we need to preserve so we store them away
duke@435	34	// and overwrite the mark. We'll restore it at the end of markSweep.
duke@435	35	markOop mark = obj->mark();
duke@435	36	obj->set_mark(markOopDesc::prototype()->set_marked());
duke@435	37
duke@435	38	if (mark->must_be_preserved(obj)) {
duke@435	39	preserve_mark(obj, mark);
duke@435	40	}
duke@435	41	}
coleenp@548	42
coleenp@548	43	template <class T> inline void MarkSweep::follow_root(T* p) {
coleenp@548	44	assert(!Universe::heap()->is_in_reserved(p),
coleenp@548	45	"roots shouldn't be things within the heap");
coleenp@548	46	#ifdef VALIDATE_MARK_SWEEP
coleenp@548	47	if (ValidateMarkSweep) {
coleenp@548	48	guarantee(!_root_refs_stack->contains(p), "should only be in here once");
coleenp@548	49	_root_refs_stack->push(p);
coleenp@548	50	}
coleenp@548	51	#endif
coleenp@548	52	T heap_oop = oopDesc::load_heap_oop(p);
coleenp@548	53	if (!oopDesc::is_null(heap_oop)) {
coleenp@548	54	oop obj = oopDesc::decode_heap_oop_not_null(heap_oop);
coleenp@548	55	if (!obj->mark()->is_marked()) {
coleenp@548	56	mark_object(obj);
coleenp@548	57	obj->follow_contents();
coleenp@548	58	}
coleenp@548	59	}
coleenp@548	60	follow_stack();
coleenp@548	61	}
coleenp@548	62
coleenp@548	63	template <class T> inline void MarkSweep::mark_and_follow(T* p) {
coleenp@548	64	// assert(Universe::heap()->is_in_reserved(p), "should be in object space");
coleenp@548	65	T heap_oop = oopDesc::load_heap_oop(p);
coleenp@548	66	if (!oopDesc::is_null(heap_oop)) {
coleenp@548	67	oop obj = oopDesc::decode_heap_oop_not_null(heap_oop);
coleenp@548	68	if (!obj->mark()->is_marked()) {
coleenp@548	69	mark_object(obj);
coleenp@548	70	obj->follow_contents();
coleenp@548	71	}
coleenp@548	72	}
coleenp@548	73	}
coleenp@548	74
coleenp@548	75	template <class T> inline void MarkSweep::mark_and_push(T* p) {
coleenp@548	76	// assert(Universe::heap()->is_in_reserved(p), "should be in object space");
coleenp@548	77	T heap_oop = oopDesc::load_heap_oop(p);
coleenp@548	78	if (!oopDesc::is_null(heap_oop)) {
coleenp@548	79	oop obj = oopDesc::decode_heap_oop_not_null(heap_oop);
coleenp@548	80	if (!obj->mark()->is_marked()) {
coleenp@548	81	mark_object(obj);
coleenp@548	82	_marking_stack->push(obj);
coleenp@548	83	}
coleenp@548	84	}
coleenp@548	85	}
coleenp@548	86
coleenp@548	87	template <class T> inline void MarkSweep::adjust_pointer(T* p, bool isroot) {
coleenp@548	88	T heap_oop = oopDesc::load_heap_oop(p);
coleenp@548	89	if (!oopDesc::is_null(heap_oop)) {
coleenp@548	90	oop obj = oopDesc::decode_heap_oop_not_null(heap_oop);
coleenp@548	91	oop new_obj = oop(obj->mark()->decode_pointer());
coleenp@548	92	assert(new_obj != NULL || // is forwarding ptr?
coleenp@548	93	obj->mark() == markOopDesc::prototype() || // not gc marked?
coleenp@548	94	(UseBiasedLocking && obj->mark()->has_bias_pattern()) ||
coleenp@548	95	// not gc marked?
coleenp@548	96	obj->is_shared(), // never forwarded?
coleenp@548	97	"should be forwarded");
coleenp@548	98	if (new_obj != NULL) {
coleenp@548	99	assert(Universe::heap()->is_in_reserved(new_obj),
coleenp@548	100	"should be in object space");
coleenp@548	101	oopDesc::encode_store_heap_oop_not_null(p, new_obj);
coleenp@548	102	}
coleenp@548	103	}
coleenp@548	104	VALIDATE_MARK_SWEEP_ONLY(track_adjusted_pointer(p, isroot));
coleenp@548	105	}
coleenp@548	106
coleenp@548	107	template <class T> inline void MarkSweep::KeepAliveClosure::do_oop_work(T* p) {
coleenp@548	108	#ifdef VALIDATE_MARK_SWEEP
coleenp@548	109	if (ValidateMarkSweep) {
coleenp@548	110	if (!Universe::heap()->is_in_reserved(p)) {
coleenp@548	111	_root_refs_stack->push(p);
coleenp@548	112	} else {
coleenp@548	113	_other_refs_stack->push(p);
coleenp@548	114	}
coleenp@548	115	}
coleenp@548	116	#endif
coleenp@548	117	mark_and_push(p);
coleenp@548	118	}