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

src/share/vm/memory/barrierSet.hpp@981375ca07b7 (annotated)

src/share/vm/memory/barrierSet.hpp

Fri, 17 Apr 2009 12:22:18 -0700

author

never

date

Fri, 17 Apr 2009 12:22:18 -0700

changeset 1149

981375ca07b7

parent 791

1ee8caae33af

child 1280

df6caf649ff7

permissions

-rw-r--r--

6831604: missing null check in guarantee
Reviewed-by: kvn

duke@435	1	/*
xdono@631	2	* Copyright 2000-2008 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	// This class provides the interface between a barrier implementation and
duke@435	26	// the rest of the system.
duke@435	27
duke@435	28	class BarrierSet: public CHeapObj {
duke@435	29	friend class VMStructs;
duke@435	30	public:
duke@435	31	enum Name {
duke@435	32	ModRef,
duke@435	33	CardTableModRef,
duke@435	34	CardTableExtension,
ysr@777	35	G1SATBCT,
ysr@777	36	G1SATBCTLogging,
duke@435	37	Other,
duke@435	38	Uninit
duke@435	39	};
duke@435	40
duke@435	41	protected:
duke@435	42	int _max_covered_regions;
duke@435	43	Name _kind;
duke@435	44
duke@435	45	public:
duke@435	46
ysr@777	47	BarrierSet() { _kind = Uninit; }
duke@435	48	// To get around prohibition on RTTI.
ysr@777	49	BarrierSet::Name kind() { return _kind; }
duke@435	50	virtual bool is_a(BarrierSet::Name bsn) = 0;
duke@435	51
duke@435	52	// These operations indicate what kind of barriers the BarrierSet has.
duke@435	53	virtual bool has_read_ref_barrier() = 0;
duke@435	54	virtual bool has_read_prim_barrier() = 0;
duke@435	55	virtual bool has_write_ref_barrier() = 0;
ysr@777	56	virtual bool has_write_ref_pre_barrier() = 0;
duke@435	57	virtual bool has_write_prim_barrier() = 0;
duke@435	58
duke@435	59	// These functions indicate whether a particular access of the given
duke@435	60	// kinds requires a barrier.
coleenp@548	61	virtual bool read_ref_needs_barrier(void* field) = 0;
duke@435	62	virtual bool read_prim_needs_barrier(HeapWord* field, size_t bytes) = 0;
coleenp@548	63	virtual bool write_ref_needs_barrier(void* field, oop new_val) = 0;
ysr@777	64	virtual bool write_prim_needs_barrier(HeapWord* field, size_t bytes,
ysr@777	65	juint val1, juint val2) = 0;
duke@435	66
duke@435	67	// The first four operations provide a direct implementation of the
duke@435	68	// barrier set. An interpreter loop, for example, could call these
duke@435	69	// directly, as appropriate.
duke@435	70
duke@435	71	// Invoke the barrier, if any, necessary when reading the given ref field.
coleenp@548	72	virtual void read_ref_field(void* field) = 0;
duke@435	73
duke@435	74	// Invoke the barrier, if any, necessary when reading the given primitive
duke@435	75	// "field" of "bytes" bytes in "obj".
duke@435	76	virtual void read_prim_field(HeapWord* field, size_t bytes) = 0;
duke@435	77
duke@435	78	// Invoke the barrier, if any, necessary when writing "new_val" into the
duke@435	79	// ref field at "offset" in "obj".
duke@435	80	// (For efficiency reasons, this operation is specialized for certain
duke@435	81	// barrier types. Semantically, it should be thought of as a call to the
duke@435	82	// virtual "_work" function below, which must implement the barrier.)
ysr@777	83	// First the pre-write versions...
ysr@777	84	inline void write_ref_field_pre(void* field, oop new_val);
ysr@777	85	protected:
ysr@777	86	virtual void write_ref_field_pre_work(void* field, oop new_val) {};
ysr@777	87	public:
ysr@777	88
ysr@777	89	// ...then the post-write version.
coleenp@548	90	inline void write_ref_field(void* field, oop new_val);
duke@435	91	protected:
coleenp@548	92	virtual void write_ref_field_work(void* field, oop new_val) = 0;
duke@435	93	public:
duke@435	94
duke@435	95	// Invoke the barrier, if any, necessary when writing the "bytes"-byte
duke@435	96	// value(s) "val1" (and "val2") into the primitive "field".
duke@435	97	virtual void write_prim_field(HeapWord* field, size_t bytes,
duke@435	98	juint val1, juint val2) = 0;
duke@435	99
duke@435	100	// Operations on arrays, or general regions (e.g., for "clone") may be
duke@435	101	// optimized by some barriers.
duke@435	102
duke@435	103	// The first six operations tell whether such an optimization exists for
duke@435	104	// the particular barrier.
duke@435	105	virtual bool has_read_ref_array_opt() = 0;
duke@435	106	virtual bool has_read_prim_array_opt() = 0;
ysr@777	107	virtual bool has_write_ref_array_pre_opt() { return true; }
duke@435	108	virtual bool has_write_ref_array_opt() = 0;
duke@435	109	virtual bool has_write_prim_array_opt() = 0;
duke@435	110
duke@435	111	virtual bool has_read_region_opt() = 0;
duke@435	112	virtual bool has_write_region_opt() = 0;
duke@435	113
duke@435	114	// These operations should assert false unless the correponding operation
duke@435	115	// above returns true. Otherwise, they should perform an appropriate
duke@435	116	// barrier for an array whose elements are all in the given memory region.
duke@435	117	virtual void read_ref_array(MemRegion mr) = 0;
duke@435	118	virtual void read_prim_array(MemRegion mr) = 0;
duke@435	119
ysr@777	120	virtual void write_ref_array_pre(MemRegion mr) {}
duke@435	121	inline void write_ref_array(MemRegion mr);
ysr@777	122
ysr@777	123	// Static versions, suitable for calling from generated code.
ysr@777	124	static void static_write_ref_array_pre(HeapWord* start, size_t count);
ysr@777	125	static void static_write_ref_array_post(HeapWord* start, size_t count);
ysr@777	126
duke@435	127	protected:
duke@435	128	virtual void write_ref_array_work(MemRegion mr) = 0;
duke@435	129	public:
duke@435	130	virtual void write_prim_array(MemRegion mr) = 0;
duke@435	131
duke@435	132	virtual void read_region(MemRegion mr) = 0;
duke@435	133
duke@435	134	// (For efficiency reasons, this operation is specialized for certain
duke@435	135	// barrier types. Semantically, it should be thought of as a call to the
duke@435	136	// virtual "_work" function below, which must implement the barrier.)
duke@435	137	inline void write_region(MemRegion mr);
duke@435	138	protected:
duke@435	139	virtual void write_region_work(MemRegion mr) = 0;
duke@435	140	public:
duke@435	141
duke@435	142	// Some barrier sets create tables whose elements correspond to parts of
duke@435	143	// the heap; the CardTableModRefBS is an example. Such barrier sets will
duke@435	144	// normally reserve space for such tables, and commit parts of the table
duke@435	145	// "covering" parts of the heap that are committed. The constructor is
duke@435	146	// passed the maximum number of independently committable subregions to
duke@435	147	// be covered, and the "resize_covoered_region" function allows the
duke@435	148	// sub-parts of the heap to inform the barrier set of changes of their
duke@435	149	// sizes.
duke@435	150	BarrierSet(int max_covered_regions) :
duke@435	151	_max_covered_regions(max_covered_regions) {}
duke@435	152
duke@435	153	// Inform the BarrierSet that the the covered heap region that starts
duke@435	154	// with "base" has been changed to have the given size (possibly from 0,
duke@435	155	// for initialization.)
duke@435	156	virtual void resize_covered_region(MemRegion new_region) = 0;
duke@435	157
duke@435	158	// If the barrier set imposes any alignment restrictions on boundaries
duke@435	159	// within the heap, this function tells whether they are met.
duke@435	160	virtual bool is_aligned(HeapWord* addr) = 0;
duke@435	161
duke@435	162	};