annotate src/share/vm/memory/genRemSet.hpp @ 1994:6cd6d394f280

7001033: assert(gch->gc_cause() == GCCause::_scavenge_alot || !gch->incremental_collection_failed()) 7002546: regression on SpecJbb2005 on 7b118 comparing to 7b117 on small heaps Summary: Relaxed assertion checking related to incremental_collection_failed flag to allow for ExplicitGCInvokesConcurrent behaviour where we do not want a failing scavenge to bail to a stop-world collection. Parameterized incremental_collection_will_fail() so we can selectively use, or not use, as appropriate, the statistical prediction at specific use sites. This essentially reverts the scavenge bail-out logic to what it was prior to some recent changes that had inadvertently started using the statistical prediction which can be noisy in the presence of bursty loads. Added some associated verbose non-product debugging messages. Reviewed-by: johnc, tonyp
author ysr
date Tue, 07 Dec 2010 21:55:53 -0800
parents f95d63e2154a
children d2a62e0f25eb
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
2 * Copyright (c) 2001, 2010, Oracle and/or its affiliates. All rights reserved.
0
a61af66fc99e Initial load
duke
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
a61af66fc99e Initial load
duke
parents:
diff changeset
4 *
a61af66fc99e Initial load
duke
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
a61af66fc99e Initial load
duke
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
a61af66fc99e Initial load
duke
parents:
diff changeset
7 * published by the Free Software Foundation.
a61af66fc99e Initial load
duke
parents:
diff changeset
8 *
a61af66fc99e Initial load
duke
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
a61af66fc99e Initial load
duke
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
a61af66fc99e Initial load
duke
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
a61af66fc99e Initial load
duke
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
a61af66fc99e Initial load
duke
parents:
diff changeset
13 * accompanied this code).
a61af66fc99e Initial load
duke
parents:
diff changeset
14 *
a61af66fc99e Initial load
duke
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
a61af66fc99e Initial load
duke
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
a61af66fc99e Initial load
duke
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
a61af66fc99e Initial load
duke
parents:
diff changeset
18 *
1552
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 356
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 356
diff changeset
20 * or visit www.oracle.com if you need additional information or have any
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 356
diff changeset
21 * questions.
0
a61af66fc99e Initial load
duke
parents:
diff changeset
22 *
a61af66fc99e Initial load
duke
parents:
diff changeset
23 */
a61af66fc99e Initial load
duke
parents:
diff changeset
24
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
25 #ifndef SHARE_VM_MEMORY_GENREMSET_HPP
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
26 #define SHARE_VM_MEMORY_GENREMSET_HPP
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
27
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
28 #include "oops/oop.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
29
0
a61af66fc99e Initial load
duke
parents:
diff changeset
30 // A GenRemSet provides ways of iterating over pointers accross generations.
a61af66fc99e Initial load
duke
parents:
diff changeset
31 // (This is especially useful for older-to-younger.)
a61af66fc99e Initial load
duke
parents:
diff changeset
32
a61af66fc99e Initial load
duke
parents:
diff changeset
33 class Generation;
a61af66fc99e Initial load
duke
parents:
diff changeset
34 class BarrierSet;
a61af66fc99e Initial load
duke
parents:
diff changeset
35 class OopsInGenClosure;
a61af66fc99e Initial load
duke
parents:
diff changeset
36 class CardTableRS;
a61af66fc99e Initial load
duke
parents:
diff changeset
37
a61af66fc99e Initial load
duke
parents:
diff changeset
38 class GenRemSet: public CHeapObj {
a61af66fc99e Initial load
duke
parents:
diff changeset
39 friend class Generation;
a61af66fc99e Initial load
duke
parents:
diff changeset
40
a61af66fc99e Initial load
duke
parents:
diff changeset
41 BarrierSet* _bs;
a61af66fc99e Initial load
duke
parents:
diff changeset
42
a61af66fc99e Initial load
duke
parents:
diff changeset
43 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
44 enum Name {
a61af66fc99e Initial load
duke
parents:
diff changeset
45 CardTable,
a61af66fc99e Initial load
duke
parents:
diff changeset
46 Other
a61af66fc99e Initial load
duke
parents:
diff changeset
47 };
a61af66fc99e Initial load
duke
parents:
diff changeset
48
a61af66fc99e Initial load
duke
parents:
diff changeset
49 GenRemSet(BarrierSet * bs) : _bs(bs) {}
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 113
diff changeset
50 GenRemSet() : _bs(NULL) {}
0
a61af66fc99e Initial load
duke
parents:
diff changeset
51
a61af66fc99e Initial load
duke
parents:
diff changeset
52 virtual Name rs_kind() = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
53
a61af66fc99e Initial load
duke
parents:
diff changeset
54 // These are for dynamic downcasts. Unfortunately that it names the
a61af66fc99e Initial load
duke
parents:
diff changeset
55 // possible subtypes (but not that they are subtypes!) Return NULL if
a61af66fc99e Initial load
duke
parents:
diff changeset
56 // the cast is invalide.
a61af66fc99e Initial load
duke
parents:
diff changeset
57 virtual CardTableRS* as_CardTableRS() { return NULL; }
a61af66fc99e Initial load
duke
parents:
diff changeset
58
a61af66fc99e Initial load
duke
parents:
diff changeset
59 // Return the barrier set associated with "this."
a61af66fc99e Initial load
duke
parents:
diff changeset
60 BarrierSet* bs() { return _bs; }
a61af66fc99e Initial load
duke
parents:
diff changeset
61
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 113
diff changeset
62 // Set the barrier set.
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 113
diff changeset
63 void set_bs(BarrierSet* bs) { _bs = bs; }
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 113
diff changeset
64
0
a61af66fc99e Initial load
duke
parents:
diff changeset
65 // Do any (sequential) processing necessary to prepare for (possibly
a61af66fc99e Initial load
duke
parents:
diff changeset
66 // "parallel", if that arg is true) calls to younger_refs_iterate.
a61af66fc99e Initial load
duke
parents:
diff changeset
67 virtual void prepare_for_younger_refs_iterate(bool parallel) = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
68
a61af66fc99e Initial load
duke
parents:
diff changeset
69 // Apply the "do_oop" method of "blk" to (exactly) all oop locations
a61af66fc99e Initial load
duke
parents:
diff changeset
70 // 1) that are in objects allocated in "g" at the time of the last call
a61af66fc99e Initial load
duke
parents:
diff changeset
71 // to "save_Marks", and
a61af66fc99e Initial load
duke
parents:
diff changeset
72 // 2) that point to objects in younger generations.
a61af66fc99e Initial load
duke
parents:
diff changeset
73 virtual void younger_refs_iterate(Generation* g, OopsInGenClosure* blk) = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
74
a61af66fc99e Initial load
duke
parents:
diff changeset
75 virtual void younger_refs_in_space_iterate(Space* sp,
a61af66fc99e Initial load
duke
parents:
diff changeset
76 OopsInGenClosure* cl) = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
77
a61af66fc99e Initial load
duke
parents:
diff changeset
78 // This method is used to notify the remembered set that "new_val" has
a61af66fc99e Initial load
duke
parents:
diff changeset
79 // been written into "field" by the garbage collector.
113
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 6
diff changeset
80 void write_ref_field_gc(void* field, oop new_val);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
81 protected:
113
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 6
diff changeset
82 virtual void write_ref_field_gc_work(void* field, oop new_val) = 0;
0
a61af66fc99e Initial load
duke
parents:
diff changeset
83 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
84
a61af66fc99e Initial load
duke
parents:
diff changeset
85 // A version of the above suitable for use by parallel collectors.
113
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 6
diff changeset
86 virtual void write_ref_field_gc_par(void* field, oop new_val) = 0;
0
a61af66fc99e Initial load
duke
parents:
diff changeset
87
a61af66fc99e Initial load
duke
parents:
diff changeset
88 // Resize one of the regions covered by the remembered set.
a61af66fc99e Initial load
duke
parents:
diff changeset
89 virtual void resize_covered_region(MemRegion new_region) = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
90
a61af66fc99e Initial load
duke
parents:
diff changeset
91 // If the rem set imposes any alignment restrictions on boundaries
a61af66fc99e Initial load
duke
parents:
diff changeset
92 // within the heap, this function tells whether they are met.
a61af66fc99e Initial load
duke
parents:
diff changeset
93 virtual bool is_aligned(HeapWord* addr) = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
94
a61af66fc99e Initial load
duke
parents:
diff changeset
95 // If the RS (or BS) imposes an aligment constraint on maximum heap size.
a61af66fc99e Initial load
duke
parents:
diff changeset
96 // (This must be static, and dispatch on "nm", because it is called
a61af66fc99e Initial load
duke
parents:
diff changeset
97 // before an RS is created.)
a61af66fc99e Initial load
duke
parents:
diff changeset
98 static uintx max_alignment_constraint(Name nm);
a61af66fc99e Initial load
duke
parents:
diff changeset
99
a61af66fc99e Initial load
duke
parents:
diff changeset
100 virtual void verify() = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
101
a61af66fc99e Initial load
duke
parents:
diff changeset
102 // Verify that the remembered set has no entries for
6
73e96e5c30df 6624765: Guarantee failure "Unexpected dirty card found"
jmasa
parents: 0
diff changeset
103 // the heap interval denoted by mr. If there are any
73e96e5c30df 6624765: Guarantee failure "Unexpected dirty card found"
jmasa
parents: 0
diff changeset
104 // alignment constraints on the remembered set, only the
73e96e5c30df 6624765: Guarantee failure "Unexpected dirty card found"
jmasa
parents: 0
diff changeset
105 // part of the region that is aligned is checked.
73e96e5c30df 6624765: Guarantee failure "Unexpected dirty card found"
jmasa
parents: 0
diff changeset
106 //
73e96e5c30df 6624765: Guarantee failure "Unexpected dirty card found"
jmasa
parents: 0
diff changeset
107 // alignment boundaries
73e96e5c30df 6624765: Guarantee failure "Unexpected dirty card found"
jmasa
parents: 0
diff changeset
108 // +--------+-------+--------+-------+
73e96e5c30df 6624765: Guarantee failure "Unexpected dirty card found"
jmasa
parents: 0
diff changeset
109 // [ region mr )
73e96e5c30df 6624765: Guarantee failure "Unexpected dirty card found"
jmasa
parents: 0
diff changeset
110 // [ part checked )
73e96e5c30df 6624765: Guarantee failure "Unexpected dirty card found"
jmasa
parents: 0
diff changeset
111 virtual void verify_aligned_region_empty(MemRegion mr) = 0;
0
a61af66fc99e Initial load
duke
parents:
diff changeset
112
a61af66fc99e Initial load
duke
parents:
diff changeset
113 // If appropriate, print some information about the remset on "tty".
a61af66fc99e Initial load
duke
parents:
diff changeset
114 virtual void print() {}
a61af66fc99e Initial load
duke
parents:
diff changeset
115
a61af66fc99e Initial load
duke
parents:
diff changeset
116 // Informs the RS that the given memregion contains no references to
a61af66fc99e Initial load
duke
parents:
diff changeset
117 // younger generations.
a61af66fc99e Initial load
duke
parents:
diff changeset
118 virtual void clear(MemRegion mr) = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
119
a61af66fc99e Initial load
duke
parents:
diff changeset
120 // Informs the RS that there are no references to generations
a61af66fc99e Initial load
duke
parents:
diff changeset
121 // younger than gen from generations gen and older.
a61af66fc99e Initial load
duke
parents:
diff changeset
122 // The parameter clear_perm indicates if the perm_gen's
a61af66fc99e Initial load
duke
parents:
diff changeset
123 // remembered set should also be processed/cleared.
a61af66fc99e Initial load
duke
parents:
diff changeset
124 virtual void clear_into_younger(Generation* gen, bool clear_perm) = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
125
a61af66fc99e Initial load
duke
parents:
diff changeset
126 // Informs the RS that refs in the given "mr" may have changed
a61af66fc99e Initial load
duke
parents:
diff changeset
127 // arbitrarily, and therefore may contain old-to-young pointers.
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 113
diff changeset
128 // If "whole heap" is true, then this invalidation is part of an
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 113
diff changeset
129 // invalidation of the whole heap, which an implementation might
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 113
diff changeset
130 // handle differently than that of a sub-part of the heap.
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 113
diff changeset
131 virtual void invalidate(MemRegion mr, bool whole_heap = false) = 0;
0
a61af66fc99e Initial load
duke
parents:
diff changeset
132
a61af66fc99e Initial load
duke
parents:
diff changeset
133 // Informs the RS that refs in this generation
a61af66fc99e Initial load
duke
parents:
diff changeset
134 // may have changed arbitrarily, and therefore may contain
a61af66fc99e Initial load
duke
parents:
diff changeset
135 // old-to-young pointers in arbitrary locations. The parameter
a61af66fc99e Initial load
duke
parents:
diff changeset
136 // younger indicates if the same should be done for younger generations
a61af66fc99e Initial load
duke
parents:
diff changeset
137 // as well. The parameter perm indicates if the same should be done for
a61af66fc99e Initial load
duke
parents:
diff changeset
138 // perm gen as well.
a61af66fc99e Initial load
duke
parents:
diff changeset
139 virtual void invalidate_or_clear(Generation* gen, bool younger, bool perm) = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
140 };
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
141
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
142 #endif // SHARE_VM_MEMORY_GENREMSET_HPP