Mon, 28 Jun 2010 14:13:17 -0400
6944166: G1: explicit GCs are not always handled correctly
Summary: G1 was not handling explicit GCs correctly in many ways. It does now. See the CR for the list of improvements contained in this changeset.
Reviewed-by: iveresov, ysr, johnc
1 /*
2 * Copyright (c) 2005, 2010, Oracle and/or its affiliates. All rights reserved.
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4 *
5 * This code is free software; you can redistribute it and/or modify it
6 * under the terms of the GNU General Public License version 2 only, as
7 * published by the Free Software Foundation.
8 *
9 * This code is distributed in the hope that it will be useful, but WITHOUT
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
12 * version 2 for more details (a copy is included in the LICENSE file that
13 * accompanied this code).
14 *
15 * You should have received a copy of the GNU General Public License version
16 * 2 along with this work; if not, write to the Free Software Foundation,
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
18 *
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20 * or visit www.oracle.com if you need additional information or have any
21 * questions.
22 *
23 */
25 // The following class hierarchy represents
26 // a set of operations (VM_Operation) related to GC.
27 //
28 // VM_Operation
29 // VM_GC_Operation
30 // VM_GC_HeapInspection
31 // VM_GenCollectForAllocation
32 // VM_GenCollectFull
33 // VM_GenCollectFullConcurrent
34 // VM_ParallelGCFailedAllocation
35 // VM_ParallelGCFailedPermanentAllocation
36 // VM_ParallelGCSystemGC
37 // VM_GC_Operation
38 // - implements methods common to all classes in the hierarchy:
39 // prevents multiple gc requests and manages lock on heap;
40 //
41 // VM_GC_HeapInspection
42 // - prints class histogram on SIGBREAK if PrintClassHistogram
43 // is specified; and also the attach "inspectheap" operation
44 //
45 // VM_GenCollectForAllocation
46 // VM_GenCollectForPermanentAllocation
47 // VM_ParallelGCFailedAllocation
48 // VM_ParallelGCFailedPermanentAllocation
49 // - this operation is invoked when allocation is failed;
50 // operation performs garbage collection and tries to
51 // allocate afterwards;
52 //
53 // VM_GenCollectFull
54 // VM_GenCollectFullConcurrent
55 // VM_ParallelGCSystemGC
56 // - these operations preform full collection of heaps of
57 // different kind
58 //
60 class VM_GC_Operation: public VM_Operation {
61 protected:
62 BasicLock _pending_list_basic_lock; // for refs pending list notification (PLL)
63 unsigned int _gc_count_before; // gc count before acquiring PLL
64 unsigned int _full_gc_count_before; // full gc count before acquiring PLL
65 bool _full; // whether a "full" collection
66 bool _prologue_succeeded; // whether doit_prologue succeeded
67 GCCause::Cause _gc_cause; // the putative cause for this gc op
68 bool _gc_locked; // will be set if gc was locked
70 virtual bool skip_operation() const;
72 // java.lang.ref.Reference support
73 void acquire_pending_list_lock();
74 void release_and_notify_pending_list_lock();
76 public:
77 VM_GC_Operation(unsigned int gc_count_before,
78 unsigned int full_gc_count_before = 0,
79 bool full = false) {
80 _full = full;
81 _prologue_succeeded = false;
82 _gc_count_before = gc_count_before;
84 // A subclass constructor will likely overwrite the following
85 _gc_cause = GCCause::_no_cause_specified;
87 _gc_locked = false;
89 _full_gc_count_before = full_gc_count_before;
90 // In ParallelScavengeHeap::mem_allocate() collections can be
91 // executed within a loop and _all_soft_refs_clear can be set
92 // true after they have been cleared by a collection and another
93 // collection started so that _all_soft_refs_clear can be true
94 // when this collection is started. Don't assert that
95 // _all_soft_refs_clear have to be false here even though
96 // mutators have run. Soft refs will be cleared again in this
97 // collection.
98 }
99 ~VM_GC_Operation() {
100 CollectedHeap* ch = Universe::heap();
101 ch->collector_policy()->set_all_soft_refs_clear(false);
102 }
104 // Acquire the reference synchronization lock
105 virtual bool doit_prologue();
106 // Do notifyAll (if needed) and release held lock
107 virtual void doit_epilogue();
109 virtual bool allow_nested_vm_operations() const { return true; }
110 bool prologue_succeeded() const { return _prologue_succeeded; }
112 void set_gc_locked() { _gc_locked = true; }
113 bool gc_locked() const { return _gc_locked; }
115 static void notify_gc_begin(bool full = false);
116 static void notify_gc_end();
117 };
120 class VM_GC_HeapInspection: public VM_GC_Operation {
121 private:
122 outputStream* _out;
123 bool _full_gc;
124 bool _need_prologue;
125 public:
126 VM_GC_HeapInspection(outputStream* out, bool request_full_gc,
127 bool need_prologue) :
128 VM_GC_Operation(0 /* total collections, dummy, ignored */,
129 0 /* total full collections, dummy, ignored */,
130 request_full_gc) {
131 _out = out;
132 _full_gc = request_full_gc;
133 _need_prologue = need_prologue;
134 }
136 ~VM_GC_HeapInspection() {}
137 virtual VMOp_Type type() const { return VMOp_GC_HeapInspection; }
138 virtual bool skip_operation() const;
139 virtual bool doit_prologue();
140 virtual void doit();
141 };
144 class VM_GenCollectForAllocation: public VM_GC_Operation {
145 private:
146 HeapWord* _res;
147 size_t _size; // size of object to be allocated.
148 bool _tlab; // alloc is of a tlab.
149 public:
150 VM_GenCollectForAllocation(size_t size,
151 bool tlab,
152 unsigned int gc_count_before)
153 : VM_GC_Operation(gc_count_before),
154 _size(size),
155 _tlab(tlab) {
156 _res = NULL;
157 }
158 ~VM_GenCollectForAllocation() {}
159 virtual VMOp_Type type() const { return VMOp_GenCollectForAllocation; }
160 virtual void doit();
161 HeapWord* result() const { return _res; }
162 };
165 // VM operation to invoke a collection of the heap as a
166 // GenCollectedHeap heap.
167 class VM_GenCollectFull: public VM_GC_Operation {
168 private:
169 int _max_level;
170 public:
171 VM_GenCollectFull(unsigned int gc_count_before,
172 unsigned int full_gc_count_before,
173 GCCause::Cause gc_cause,
174 int max_level)
175 : VM_GC_Operation(gc_count_before, full_gc_count_before, true /* full */),
176 _max_level(max_level)
177 { _gc_cause = gc_cause; }
178 ~VM_GenCollectFull() {}
179 virtual VMOp_Type type() const { return VMOp_GenCollectFull; }
180 virtual void doit();
181 };
183 class VM_GenCollectForPermanentAllocation: public VM_GC_Operation {
184 private:
185 HeapWord* _res;
186 size_t _size; // size of object to be allocated
187 public:
188 VM_GenCollectForPermanentAllocation(size_t size,
189 unsigned int gc_count_before,
190 unsigned int full_gc_count_before,
191 GCCause::Cause gc_cause)
192 : VM_GC_Operation(gc_count_before, full_gc_count_before, true),
193 _size(size) {
194 _res = NULL;
195 _gc_cause = gc_cause;
196 }
197 ~VM_GenCollectForPermanentAllocation() {}
198 virtual VMOp_Type type() const { return VMOp_GenCollectForPermanentAllocation; }
199 virtual void doit();
200 HeapWord* result() const { return _res; }
201 };