annotate src/share/vm/gc_implementation/parallelScavenge/psOldGen.cpp @ 271:818a18cd69a8

6730514: assertion failure in mangling code when expanding by 0 bytes Summary: An expansion by 0 bytes was not anticipated when the assertion was composed. Reviewed-by: jjh, jcoomes, apetrusenko
author jmasa
date Wed, 30 Jul 2008 11:54:00 -0700
parents 12eea04c8b06
children 9ee9cf798b59 a4b729f5b611
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
a61af66fc99e Initial load
duke
parents:
diff changeset
2 * Copyright 2001-2007 Sun Microsystems, Inc. All Rights Reserved.
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 *
a61af66fc99e Initial load
duke
parents:
diff changeset
19 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
a61af66fc99e Initial load
duke
parents:
diff changeset
20 * CA 95054 USA or visit www.sun.com if you need additional information or
a61af66fc99e Initial load
duke
parents:
diff changeset
21 * have any questions.
a61af66fc99e Initial load
duke
parents:
diff changeset
22 *
a61af66fc99e Initial load
duke
parents:
diff changeset
23 */
a61af66fc99e Initial load
duke
parents:
diff changeset
24
a61af66fc99e Initial load
duke
parents:
diff changeset
25 # include "incls/_precompiled.incl"
a61af66fc99e Initial load
duke
parents:
diff changeset
26 # include "incls/_psOldGen.cpp.incl"
a61af66fc99e Initial load
duke
parents:
diff changeset
27
a61af66fc99e Initial load
duke
parents:
diff changeset
28 inline const char* PSOldGen::select_name() {
a61af66fc99e Initial load
duke
parents:
diff changeset
29 return UseParallelOldGC ? "ParOldGen" : "PSOldGen";
a61af66fc99e Initial load
duke
parents:
diff changeset
30 }
a61af66fc99e Initial load
duke
parents:
diff changeset
31
a61af66fc99e Initial load
duke
parents:
diff changeset
32 PSOldGen::PSOldGen(ReservedSpace rs, size_t alignment,
a61af66fc99e Initial load
duke
parents:
diff changeset
33 size_t initial_size, size_t min_size, size_t max_size,
a61af66fc99e Initial load
duke
parents:
diff changeset
34 const char* perf_data_name, int level):
a61af66fc99e Initial load
duke
parents:
diff changeset
35 _name(select_name()), _init_gen_size(initial_size), _min_gen_size(min_size),
a61af66fc99e Initial load
duke
parents:
diff changeset
36 _max_gen_size(max_size)
a61af66fc99e Initial load
duke
parents:
diff changeset
37 {
a61af66fc99e Initial load
duke
parents:
diff changeset
38 initialize(rs, alignment, perf_data_name, level);
a61af66fc99e Initial load
duke
parents:
diff changeset
39 }
a61af66fc99e Initial load
duke
parents:
diff changeset
40
a61af66fc99e Initial load
duke
parents:
diff changeset
41 PSOldGen::PSOldGen(size_t initial_size,
a61af66fc99e Initial load
duke
parents:
diff changeset
42 size_t min_size, size_t max_size,
a61af66fc99e Initial load
duke
parents:
diff changeset
43 const char* perf_data_name, int level):
a61af66fc99e Initial load
duke
parents:
diff changeset
44 _name(select_name()), _init_gen_size(initial_size), _min_gen_size(min_size),
a61af66fc99e Initial load
duke
parents:
diff changeset
45 _max_gen_size(max_size)
a61af66fc99e Initial load
duke
parents:
diff changeset
46 {}
a61af66fc99e Initial load
duke
parents:
diff changeset
47
a61af66fc99e Initial load
duke
parents:
diff changeset
48 void PSOldGen::initialize(ReservedSpace rs, size_t alignment,
a61af66fc99e Initial load
duke
parents:
diff changeset
49 const char* perf_data_name, int level) {
a61af66fc99e Initial load
duke
parents:
diff changeset
50 initialize_virtual_space(rs, alignment);
a61af66fc99e Initial load
duke
parents:
diff changeset
51 initialize_work(perf_data_name, level);
a61af66fc99e Initial load
duke
parents:
diff changeset
52 // The old gen can grow to gen_size_limit(). _reserve reflects only
a61af66fc99e Initial load
duke
parents:
diff changeset
53 // the current maximum that can be committed.
a61af66fc99e Initial load
duke
parents:
diff changeset
54 assert(_reserved.byte_size() <= gen_size_limit(), "Consistency check");
a61af66fc99e Initial load
duke
parents:
diff changeset
55 }
a61af66fc99e Initial load
duke
parents:
diff changeset
56
a61af66fc99e Initial load
duke
parents:
diff changeset
57 void PSOldGen::initialize_virtual_space(ReservedSpace rs, size_t alignment) {
a61af66fc99e Initial load
duke
parents:
diff changeset
58
a61af66fc99e Initial load
duke
parents:
diff changeset
59 _virtual_space = new PSVirtualSpace(rs, alignment);
a61af66fc99e Initial load
duke
parents:
diff changeset
60 if (!_virtual_space->expand_by(_init_gen_size)) {
a61af66fc99e Initial load
duke
parents:
diff changeset
61 vm_exit_during_initialization("Could not reserve enough space for "
a61af66fc99e Initial load
duke
parents:
diff changeset
62 "object heap");
a61af66fc99e Initial load
duke
parents:
diff changeset
63 }
a61af66fc99e Initial load
duke
parents:
diff changeset
64 }
a61af66fc99e Initial load
duke
parents:
diff changeset
65
a61af66fc99e Initial load
duke
parents:
diff changeset
66 void PSOldGen::initialize_work(const char* perf_data_name, int level) {
a61af66fc99e Initial load
duke
parents:
diff changeset
67 //
a61af66fc99e Initial load
duke
parents:
diff changeset
68 // Basic memory initialization
a61af66fc99e Initial load
duke
parents:
diff changeset
69 //
a61af66fc99e Initial load
duke
parents:
diff changeset
70
a61af66fc99e Initial load
duke
parents:
diff changeset
71 MemRegion limit_reserved((HeapWord*)virtual_space()->low_boundary(),
a61af66fc99e Initial load
duke
parents:
diff changeset
72 heap_word_size(_max_gen_size));
a61af66fc99e Initial load
duke
parents:
diff changeset
73 assert(limit_reserved.byte_size() == _max_gen_size,
a61af66fc99e Initial load
duke
parents:
diff changeset
74 "word vs bytes confusion");
a61af66fc99e Initial load
duke
parents:
diff changeset
75 //
a61af66fc99e Initial load
duke
parents:
diff changeset
76 // Object start stuff
a61af66fc99e Initial load
duke
parents:
diff changeset
77 //
a61af66fc99e Initial load
duke
parents:
diff changeset
78
a61af66fc99e Initial load
duke
parents:
diff changeset
79 start_array()->initialize(limit_reserved);
a61af66fc99e Initial load
duke
parents:
diff changeset
80
a61af66fc99e Initial load
duke
parents:
diff changeset
81 _reserved = MemRegion((HeapWord*)virtual_space()->low_boundary(),
a61af66fc99e Initial load
duke
parents:
diff changeset
82 (HeapWord*)virtual_space()->high_boundary());
a61af66fc99e Initial load
duke
parents:
diff changeset
83
a61af66fc99e Initial load
duke
parents:
diff changeset
84 //
a61af66fc99e Initial load
duke
parents:
diff changeset
85 // Card table stuff
a61af66fc99e Initial load
duke
parents:
diff changeset
86 //
a61af66fc99e Initial load
duke
parents:
diff changeset
87
a61af66fc99e Initial load
duke
parents:
diff changeset
88 MemRegion cmr((HeapWord*)virtual_space()->low(),
a61af66fc99e Initial load
duke
parents:
diff changeset
89 (HeapWord*)virtual_space()->high());
263
12eea04c8b06 6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents: 0
diff changeset
90 if (ZapUnusedHeapArea) {
12eea04c8b06 6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents: 0
diff changeset
91 // Mangle newly committed space immediately rather than
12eea04c8b06 6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents: 0
diff changeset
92 // waiting for the initialization of the space even though
12eea04c8b06 6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents: 0
diff changeset
93 // mangling is related to spaces. Doing it here eliminates
12eea04c8b06 6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents: 0
diff changeset
94 // the need to carry along information that a complete mangling
12eea04c8b06 6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents: 0
diff changeset
95 // (bottom to end) needs to be done.
12eea04c8b06 6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents: 0
diff changeset
96 SpaceMangler::mangle_region(cmr);
12eea04c8b06 6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents: 0
diff changeset
97 }
12eea04c8b06 6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents: 0
diff changeset
98
0
a61af66fc99e Initial load
duke
parents:
diff changeset
99 Universe::heap()->barrier_set()->resize_covered_region(cmr);
a61af66fc99e Initial load
duke
parents:
diff changeset
100
a61af66fc99e Initial load
duke
parents:
diff changeset
101 CardTableModRefBS* _ct = (CardTableModRefBS*)Universe::heap()->barrier_set();
a61af66fc99e Initial load
duke
parents:
diff changeset
102 assert (_ct->kind() == BarrierSet::CardTableModRef, "Sanity");
a61af66fc99e Initial load
duke
parents:
diff changeset
103
a61af66fc99e Initial load
duke
parents:
diff changeset
104 // Verify that the start and end of this generation is the start of a card.
a61af66fc99e Initial load
duke
parents:
diff changeset
105 // If this wasn't true, a single card could span more than one generation,
a61af66fc99e Initial load
duke
parents:
diff changeset
106 // which would cause problems when we commit/uncommit memory, and when we
a61af66fc99e Initial load
duke
parents:
diff changeset
107 // clear and dirty cards.
a61af66fc99e Initial load
duke
parents:
diff changeset
108 guarantee(_ct->is_card_aligned(_reserved.start()), "generation must be card aligned");
a61af66fc99e Initial load
duke
parents:
diff changeset
109 if (_reserved.end() != Universe::heap()->reserved_region().end()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
110 // Don't check at the very end of the heap as we'll assert that we're probing off
a61af66fc99e Initial load
duke
parents:
diff changeset
111 // the end if we try.
a61af66fc99e Initial load
duke
parents:
diff changeset
112 guarantee(_ct->is_card_aligned(_reserved.end()), "generation must be card aligned");
a61af66fc99e Initial load
duke
parents:
diff changeset
113 }
a61af66fc99e Initial load
duke
parents:
diff changeset
114
a61af66fc99e Initial load
duke
parents:
diff changeset
115 //
a61af66fc99e Initial load
duke
parents:
diff changeset
116 // ObjectSpace stuff
a61af66fc99e Initial load
duke
parents:
diff changeset
117 //
a61af66fc99e Initial load
duke
parents:
diff changeset
118
a61af66fc99e Initial load
duke
parents:
diff changeset
119 _object_space = new MutableSpace();
a61af66fc99e Initial load
duke
parents:
diff changeset
120
a61af66fc99e Initial load
duke
parents:
diff changeset
121 if (_object_space == NULL)
a61af66fc99e Initial load
duke
parents:
diff changeset
122 vm_exit_during_initialization("Could not allocate an old gen space");
a61af66fc99e Initial load
duke
parents:
diff changeset
123
263
12eea04c8b06 6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents: 0
diff changeset
124 object_space()->initialize(cmr,
12eea04c8b06 6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents: 0
diff changeset
125 SpaceDecorator::Clear,
12eea04c8b06 6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents: 0
diff changeset
126 SpaceDecorator::Mangle);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
127
a61af66fc99e Initial load
duke
parents:
diff changeset
128 _object_mark_sweep = new PSMarkSweepDecorator(_object_space, start_array(), MarkSweepDeadRatio);
a61af66fc99e Initial load
duke
parents:
diff changeset
129
a61af66fc99e Initial load
duke
parents:
diff changeset
130 if (_object_mark_sweep == NULL)
a61af66fc99e Initial load
duke
parents:
diff changeset
131 vm_exit_during_initialization("Could not complete allocation of old generation");
a61af66fc99e Initial load
duke
parents:
diff changeset
132
a61af66fc99e Initial load
duke
parents:
diff changeset
133 // Update the start_array
a61af66fc99e Initial load
duke
parents:
diff changeset
134 start_array()->set_covered_region(cmr);
a61af66fc99e Initial load
duke
parents:
diff changeset
135
a61af66fc99e Initial load
duke
parents:
diff changeset
136 // Generation Counters, generation 'level', 1 subspace
a61af66fc99e Initial load
duke
parents:
diff changeset
137 _gen_counters = new PSGenerationCounters(perf_data_name, level, 1,
a61af66fc99e Initial load
duke
parents:
diff changeset
138 virtual_space());
a61af66fc99e Initial load
duke
parents:
diff changeset
139 _space_counters = new SpaceCounters(perf_data_name, 0,
a61af66fc99e Initial load
duke
parents:
diff changeset
140 virtual_space()->reserved_size(),
a61af66fc99e Initial load
duke
parents:
diff changeset
141 _object_space, _gen_counters);
a61af66fc99e Initial load
duke
parents:
diff changeset
142 }
a61af66fc99e Initial load
duke
parents:
diff changeset
143
a61af66fc99e Initial load
duke
parents:
diff changeset
144 // Assume that the generation has been allocated if its
a61af66fc99e Initial load
duke
parents:
diff changeset
145 // reserved size is not 0.
a61af66fc99e Initial load
duke
parents:
diff changeset
146 bool PSOldGen::is_allocated() {
a61af66fc99e Initial load
duke
parents:
diff changeset
147 return virtual_space()->reserved_size() != 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
148 }
a61af66fc99e Initial load
duke
parents:
diff changeset
149
a61af66fc99e Initial load
duke
parents:
diff changeset
150 void PSOldGen::precompact() {
a61af66fc99e Initial load
duke
parents:
diff changeset
151 ParallelScavengeHeap* heap = (ParallelScavengeHeap*)Universe::heap();
a61af66fc99e Initial load
duke
parents:
diff changeset
152 assert(heap->kind() == CollectedHeap::ParallelScavengeHeap, "Sanity");
a61af66fc99e Initial load
duke
parents:
diff changeset
153
a61af66fc99e Initial load
duke
parents:
diff changeset
154 // Reset start array first.
a61af66fc99e Initial load
duke
parents:
diff changeset
155 debug_only(if (!UseParallelOldGC || !VerifyParallelOldWithMarkSweep) {)
a61af66fc99e Initial load
duke
parents:
diff changeset
156 start_array()->reset();
a61af66fc99e Initial load
duke
parents:
diff changeset
157 debug_only(})
a61af66fc99e Initial load
duke
parents:
diff changeset
158
a61af66fc99e Initial load
duke
parents:
diff changeset
159 object_mark_sweep()->precompact();
a61af66fc99e Initial load
duke
parents:
diff changeset
160
a61af66fc99e Initial load
duke
parents:
diff changeset
161 // Now compact the young gen
a61af66fc99e Initial load
duke
parents:
diff changeset
162 heap->young_gen()->precompact();
a61af66fc99e Initial load
duke
parents:
diff changeset
163 }
a61af66fc99e Initial load
duke
parents:
diff changeset
164
a61af66fc99e Initial load
duke
parents:
diff changeset
165 void PSOldGen::adjust_pointers() {
a61af66fc99e Initial load
duke
parents:
diff changeset
166 object_mark_sweep()->adjust_pointers();
a61af66fc99e Initial load
duke
parents:
diff changeset
167 }
a61af66fc99e Initial load
duke
parents:
diff changeset
168
a61af66fc99e Initial load
duke
parents:
diff changeset
169 void PSOldGen::compact() {
a61af66fc99e Initial load
duke
parents:
diff changeset
170 object_mark_sweep()->compact(ZapUnusedHeapArea);
a61af66fc99e Initial load
duke
parents:
diff changeset
171 }
a61af66fc99e Initial load
duke
parents:
diff changeset
172
a61af66fc99e Initial load
duke
parents:
diff changeset
173 void PSOldGen::move_and_update(ParCompactionManager* cm) {
a61af66fc99e Initial load
duke
parents:
diff changeset
174 PSParallelCompact::move_and_update(cm, PSParallelCompact::old_space_id);
a61af66fc99e Initial load
duke
parents:
diff changeset
175 }
a61af66fc99e Initial load
duke
parents:
diff changeset
176
a61af66fc99e Initial load
duke
parents:
diff changeset
177 size_t PSOldGen::contiguous_available() const {
a61af66fc99e Initial load
duke
parents:
diff changeset
178 return object_space()->free_in_bytes() + virtual_space()->uncommitted_size();
a61af66fc99e Initial load
duke
parents:
diff changeset
179 }
a61af66fc99e Initial load
duke
parents:
diff changeset
180
a61af66fc99e Initial load
duke
parents:
diff changeset
181 // Allocation. We report all successful allocations to the size policy
a61af66fc99e Initial load
duke
parents:
diff changeset
182 // Note that the perm gen does not use this method, and should not!
a61af66fc99e Initial load
duke
parents:
diff changeset
183 HeapWord* PSOldGen::allocate(size_t word_size, bool is_tlab) {
a61af66fc99e Initial load
duke
parents:
diff changeset
184 assert_locked_or_safepoint(Heap_lock);
a61af66fc99e Initial load
duke
parents:
diff changeset
185 HeapWord* res = allocate_noexpand(word_size, is_tlab);
a61af66fc99e Initial load
duke
parents:
diff changeset
186
a61af66fc99e Initial load
duke
parents:
diff changeset
187 if (res == NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
188 res = expand_and_allocate(word_size, is_tlab);
a61af66fc99e Initial load
duke
parents:
diff changeset
189 }
a61af66fc99e Initial load
duke
parents:
diff changeset
190
a61af66fc99e Initial load
duke
parents:
diff changeset
191 // Allocations in the old generation need to be reported
a61af66fc99e Initial load
duke
parents:
diff changeset
192 if (res != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
193 ParallelScavengeHeap* heap = (ParallelScavengeHeap*)Universe::heap();
a61af66fc99e Initial load
duke
parents:
diff changeset
194 heap->size_policy()->tenured_allocation(word_size);
a61af66fc99e Initial load
duke
parents:
diff changeset
195 }
a61af66fc99e Initial load
duke
parents:
diff changeset
196
a61af66fc99e Initial load
duke
parents:
diff changeset
197 return res;
a61af66fc99e Initial load
duke
parents:
diff changeset
198 }
a61af66fc99e Initial load
duke
parents:
diff changeset
199
a61af66fc99e Initial load
duke
parents:
diff changeset
200 HeapWord* PSOldGen::expand_and_allocate(size_t word_size, bool is_tlab) {
a61af66fc99e Initial load
duke
parents:
diff changeset
201 assert(!is_tlab, "TLAB's are not supported in PSOldGen");
a61af66fc99e Initial load
duke
parents:
diff changeset
202 expand(word_size*HeapWordSize);
a61af66fc99e Initial load
duke
parents:
diff changeset
203 if (GCExpandToAllocateDelayMillis > 0) {
a61af66fc99e Initial load
duke
parents:
diff changeset
204 os::sleep(Thread::current(), GCExpandToAllocateDelayMillis, false);
a61af66fc99e Initial load
duke
parents:
diff changeset
205 }
a61af66fc99e Initial load
duke
parents:
diff changeset
206 return allocate_noexpand(word_size, is_tlab);
a61af66fc99e Initial load
duke
parents:
diff changeset
207 }
a61af66fc99e Initial load
duke
parents:
diff changeset
208
a61af66fc99e Initial load
duke
parents:
diff changeset
209 HeapWord* PSOldGen::expand_and_cas_allocate(size_t word_size) {
a61af66fc99e Initial load
duke
parents:
diff changeset
210 expand(word_size*HeapWordSize);
a61af66fc99e Initial load
duke
parents:
diff changeset
211 if (GCExpandToAllocateDelayMillis > 0) {
a61af66fc99e Initial load
duke
parents:
diff changeset
212 os::sleep(Thread::current(), GCExpandToAllocateDelayMillis, false);
a61af66fc99e Initial load
duke
parents:
diff changeset
213 }
a61af66fc99e Initial load
duke
parents:
diff changeset
214 return cas_allocate_noexpand(word_size);
a61af66fc99e Initial load
duke
parents:
diff changeset
215 }
a61af66fc99e Initial load
duke
parents:
diff changeset
216
a61af66fc99e Initial load
duke
parents:
diff changeset
217 void PSOldGen::expand(size_t bytes) {
271
818a18cd69a8 6730514: assertion failure in mangling code when expanding by 0 bytes
jmasa
parents: 263
diff changeset
218 if (bytes == 0) {
818a18cd69a8 6730514: assertion failure in mangling code when expanding by 0 bytes
jmasa
parents: 263
diff changeset
219 return;
818a18cd69a8 6730514: assertion failure in mangling code when expanding by 0 bytes
jmasa
parents: 263
diff changeset
220 }
0
a61af66fc99e Initial load
duke
parents:
diff changeset
221 MutexLocker x(ExpandHeap_lock);
a61af66fc99e Initial load
duke
parents:
diff changeset
222 const size_t alignment = virtual_space()->alignment();
a61af66fc99e Initial load
duke
parents:
diff changeset
223 size_t aligned_bytes = align_size_up(bytes, alignment);
a61af66fc99e Initial load
duke
parents:
diff changeset
224 size_t aligned_expand_bytes = align_size_up(MinHeapDeltaBytes, alignment);
271
818a18cd69a8 6730514: assertion failure in mangling code when expanding by 0 bytes
jmasa
parents: 263
diff changeset
225 if (aligned_bytes == 0){
818a18cd69a8 6730514: assertion failure in mangling code when expanding by 0 bytes
jmasa
parents: 263
diff changeset
226 // The alignment caused the number of bytes to wrap. An expand_by(0) will
818a18cd69a8 6730514: assertion failure in mangling code when expanding by 0 bytes
jmasa
parents: 263
diff changeset
227 // return true with the implication that and expansion was done when it
818a18cd69a8 6730514: assertion failure in mangling code when expanding by 0 bytes
jmasa
parents: 263
diff changeset
228 // was not. A call to expand implies a best effort to expand by "bytes"
818a18cd69a8 6730514: assertion failure in mangling code when expanding by 0 bytes
jmasa
parents: 263
diff changeset
229 // but not a guarantee. Align down to give a best effort. This is likely
818a18cd69a8 6730514: assertion failure in mangling code when expanding by 0 bytes
jmasa
parents: 263
diff changeset
230 // the most that the generation can expand since it has some capacity to
818a18cd69a8 6730514: assertion failure in mangling code when expanding by 0 bytes
jmasa
parents: 263
diff changeset
231 // start with.
818a18cd69a8 6730514: assertion failure in mangling code when expanding by 0 bytes
jmasa
parents: 263
diff changeset
232 aligned_bytes = align_size_down(bytes, alignment);
818a18cd69a8 6730514: assertion failure in mangling code when expanding by 0 bytes
jmasa
parents: 263
diff changeset
233 }
0
a61af66fc99e Initial load
duke
parents:
diff changeset
234
a61af66fc99e Initial load
duke
parents:
diff changeset
235 bool success = false;
a61af66fc99e Initial load
duke
parents:
diff changeset
236 if (aligned_expand_bytes > aligned_bytes) {
a61af66fc99e Initial load
duke
parents:
diff changeset
237 success = expand_by(aligned_expand_bytes);
a61af66fc99e Initial load
duke
parents:
diff changeset
238 }
a61af66fc99e Initial load
duke
parents:
diff changeset
239 if (!success) {
a61af66fc99e Initial load
duke
parents:
diff changeset
240 success = expand_by(aligned_bytes);
a61af66fc99e Initial load
duke
parents:
diff changeset
241 }
a61af66fc99e Initial load
duke
parents:
diff changeset
242 if (!success) {
a61af66fc99e Initial load
duke
parents:
diff changeset
243 success = expand_to_reserved();
a61af66fc99e Initial load
duke
parents:
diff changeset
244 }
a61af66fc99e Initial load
duke
parents:
diff changeset
245
271
818a18cd69a8 6730514: assertion failure in mangling code when expanding by 0 bytes
jmasa
parents: 263
diff changeset
246 if (PrintGC && Verbose) {
818a18cd69a8 6730514: assertion failure in mangling code when expanding by 0 bytes
jmasa
parents: 263
diff changeset
247 if (success && GC_locker::is_active()) {
0
a61af66fc99e Initial load
duke
parents:
diff changeset
248 gclog_or_tty->print_cr("Garbage collection disabled, expanded heap instead");
a61af66fc99e Initial load
duke
parents:
diff changeset
249 }
a61af66fc99e Initial load
duke
parents:
diff changeset
250 }
a61af66fc99e Initial load
duke
parents:
diff changeset
251 }
a61af66fc99e Initial load
duke
parents:
diff changeset
252
a61af66fc99e Initial load
duke
parents:
diff changeset
253 bool PSOldGen::expand_by(size_t bytes) {
a61af66fc99e Initial load
duke
parents:
diff changeset
254 assert_lock_strong(ExpandHeap_lock);
a61af66fc99e Initial load
duke
parents:
diff changeset
255 assert_locked_or_safepoint(Heap_lock);
271
818a18cd69a8 6730514: assertion failure in mangling code when expanding by 0 bytes
jmasa
parents: 263
diff changeset
256 if (bytes == 0) {
818a18cd69a8 6730514: assertion failure in mangling code when expanding by 0 bytes
jmasa
parents: 263
diff changeset
257 return true; // That's what virtual_space()->expand_by(0) would return
818a18cd69a8 6730514: assertion failure in mangling code when expanding by 0 bytes
jmasa
parents: 263
diff changeset
258 }
0
a61af66fc99e Initial load
duke
parents:
diff changeset
259 bool result = virtual_space()->expand_by(bytes);
a61af66fc99e Initial load
duke
parents:
diff changeset
260 if (result) {
263
12eea04c8b06 6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents: 0
diff changeset
261 if (ZapUnusedHeapArea) {
12eea04c8b06 6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents: 0
diff changeset
262 // We need to mangle the newly expanded area. The memregion spans
12eea04c8b06 6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents: 0
diff changeset
263 // end -> new_end, we assume that top -> end is already mangled.
12eea04c8b06 6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents: 0
diff changeset
264 // Do the mangling before post_resize() is called because
12eea04c8b06 6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents: 0
diff changeset
265 // the space is available for allocation after post_resize();
12eea04c8b06 6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents: 0
diff changeset
266 HeapWord* const virtual_space_high = (HeapWord*) virtual_space()->high();
12eea04c8b06 6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents: 0
diff changeset
267 assert(object_space()->end() < virtual_space_high,
12eea04c8b06 6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents: 0
diff changeset
268 "Should be true before post_resize()");
12eea04c8b06 6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents: 0
diff changeset
269 MemRegion mangle_region(object_space()->end(), virtual_space_high);
12eea04c8b06 6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents: 0
diff changeset
270 // Note that the object space has not yet been updated to
12eea04c8b06 6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents: 0
diff changeset
271 // coincede with the new underlying virtual space.
12eea04c8b06 6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents: 0
diff changeset
272 SpaceMangler::mangle_region(mangle_region);
12eea04c8b06 6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents: 0
diff changeset
273 }
0
a61af66fc99e Initial load
duke
parents:
diff changeset
274 post_resize();
a61af66fc99e Initial load
duke
parents:
diff changeset
275 if (UsePerfData) {
a61af66fc99e Initial load
duke
parents:
diff changeset
276 _space_counters->update_capacity();
a61af66fc99e Initial load
duke
parents:
diff changeset
277 _gen_counters->update_all();
a61af66fc99e Initial load
duke
parents:
diff changeset
278 }
a61af66fc99e Initial load
duke
parents:
diff changeset
279 }
a61af66fc99e Initial load
duke
parents:
diff changeset
280
a61af66fc99e Initial load
duke
parents:
diff changeset
281 if (result && Verbose && PrintGC) {
a61af66fc99e Initial load
duke
parents:
diff changeset
282 size_t new_mem_size = virtual_space()->committed_size();
a61af66fc99e Initial load
duke
parents:
diff changeset
283 size_t old_mem_size = new_mem_size - bytes;
a61af66fc99e Initial load
duke
parents:
diff changeset
284 gclog_or_tty->print_cr("Expanding %s from " SIZE_FORMAT "K by "
a61af66fc99e Initial load
duke
parents:
diff changeset
285 SIZE_FORMAT "K to "
a61af66fc99e Initial load
duke
parents:
diff changeset
286 SIZE_FORMAT "K",
a61af66fc99e Initial load
duke
parents:
diff changeset
287 name(), old_mem_size/K, bytes/K, new_mem_size/K);
a61af66fc99e Initial load
duke
parents:
diff changeset
288 }
a61af66fc99e Initial load
duke
parents:
diff changeset
289
a61af66fc99e Initial load
duke
parents:
diff changeset
290 return result;
a61af66fc99e Initial load
duke
parents:
diff changeset
291 }
a61af66fc99e Initial load
duke
parents:
diff changeset
292
a61af66fc99e Initial load
duke
parents:
diff changeset
293 bool PSOldGen::expand_to_reserved() {
a61af66fc99e Initial load
duke
parents:
diff changeset
294 assert_lock_strong(ExpandHeap_lock);
a61af66fc99e Initial load
duke
parents:
diff changeset
295 assert_locked_or_safepoint(Heap_lock);
a61af66fc99e Initial load
duke
parents:
diff changeset
296
a61af66fc99e Initial load
duke
parents:
diff changeset
297 bool result = true;
a61af66fc99e Initial load
duke
parents:
diff changeset
298 const size_t remaining_bytes = virtual_space()->uncommitted_size();
a61af66fc99e Initial load
duke
parents:
diff changeset
299 if (remaining_bytes > 0) {
a61af66fc99e Initial load
duke
parents:
diff changeset
300 result = expand_by(remaining_bytes);
a61af66fc99e Initial load
duke
parents:
diff changeset
301 DEBUG_ONLY(if (!result) warning("grow to reserve failed"));
a61af66fc99e Initial load
duke
parents:
diff changeset
302 }
a61af66fc99e Initial load
duke
parents:
diff changeset
303 return result;
a61af66fc99e Initial load
duke
parents:
diff changeset
304 }
a61af66fc99e Initial load
duke
parents:
diff changeset
305
a61af66fc99e Initial load
duke
parents:
diff changeset
306 void PSOldGen::shrink(size_t bytes) {
a61af66fc99e Initial load
duke
parents:
diff changeset
307 assert_lock_strong(ExpandHeap_lock);
a61af66fc99e Initial load
duke
parents:
diff changeset
308 assert_locked_or_safepoint(Heap_lock);
a61af66fc99e Initial load
duke
parents:
diff changeset
309
a61af66fc99e Initial load
duke
parents:
diff changeset
310 size_t size = align_size_down(bytes, virtual_space()->alignment());
a61af66fc99e Initial load
duke
parents:
diff changeset
311 if (size > 0) {
a61af66fc99e Initial load
duke
parents:
diff changeset
312 assert_lock_strong(ExpandHeap_lock);
a61af66fc99e Initial load
duke
parents:
diff changeset
313 virtual_space()->shrink_by(bytes);
a61af66fc99e Initial load
duke
parents:
diff changeset
314 post_resize();
a61af66fc99e Initial load
duke
parents:
diff changeset
315
a61af66fc99e Initial load
duke
parents:
diff changeset
316 if (Verbose && PrintGC) {
a61af66fc99e Initial load
duke
parents:
diff changeset
317 size_t new_mem_size = virtual_space()->committed_size();
a61af66fc99e Initial load
duke
parents:
diff changeset
318 size_t old_mem_size = new_mem_size + bytes;
a61af66fc99e Initial load
duke
parents:
diff changeset
319 gclog_or_tty->print_cr("Shrinking %s from " SIZE_FORMAT "K by "
a61af66fc99e Initial load
duke
parents:
diff changeset
320 SIZE_FORMAT "K to "
a61af66fc99e Initial load
duke
parents:
diff changeset
321 SIZE_FORMAT "K",
a61af66fc99e Initial load
duke
parents:
diff changeset
322 name(), old_mem_size/K, bytes/K, new_mem_size/K);
a61af66fc99e Initial load
duke
parents:
diff changeset
323 }
a61af66fc99e Initial load
duke
parents:
diff changeset
324 }
a61af66fc99e Initial load
duke
parents:
diff changeset
325 }
a61af66fc99e Initial load
duke
parents:
diff changeset
326
a61af66fc99e Initial load
duke
parents:
diff changeset
327 void PSOldGen::resize(size_t desired_free_space) {
a61af66fc99e Initial load
duke
parents:
diff changeset
328 const size_t alignment = virtual_space()->alignment();
a61af66fc99e Initial load
duke
parents:
diff changeset
329 const size_t size_before = virtual_space()->committed_size();
a61af66fc99e Initial load
duke
parents:
diff changeset
330 size_t new_size = used_in_bytes() + desired_free_space;
a61af66fc99e Initial load
duke
parents:
diff changeset
331 if (new_size < used_in_bytes()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
332 // Overflowed the addition.
a61af66fc99e Initial load
duke
parents:
diff changeset
333 new_size = gen_size_limit();
a61af66fc99e Initial load
duke
parents:
diff changeset
334 }
a61af66fc99e Initial load
duke
parents:
diff changeset
335 // Adjust according to our min and max
a61af66fc99e Initial load
duke
parents:
diff changeset
336 new_size = MAX2(MIN2(new_size, gen_size_limit()), min_gen_size());
a61af66fc99e Initial load
duke
parents:
diff changeset
337
a61af66fc99e Initial load
duke
parents:
diff changeset
338 assert(gen_size_limit() >= reserved().byte_size(), "max new size problem?");
a61af66fc99e Initial load
duke
parents:
diff changeset
339 new_size = align_size_up(new_size, alignment);
a61af66fc99e Initial load
duke
parents:
diff changeset
340
a61af66fc99e Initial load
duke
parents:
diff changeset
341 const size_t current_size = capacity_in_bytes();
a61af66fc99e Initial load
duke
parents:
diff changeset
342
a61af66fc99e Initial load
duke
parents:
diff changeset
343 if (PrintAdaptiveSizePolicy && Verbose) {
a61af66fc99e Initial load
duke
parents:
diff changeset
344 gclog_or_tty->print_cr("AdaptiveSizePolicy::old generation size: "
a61af66fc99e Initial load
duke
parents:
diff changeset
345 "desired free: " SIZE_FORMAT " used: " SIZE_FORMAT
a61af66fc99e Initial load
duke
parents:
diff changeset
346 " new size: " SIZE_FORMAT " current size " SIZE_FORMAT
a61af66fc99e Initial load
duke
parents:
diff changeset
347 " gen limits: " SIZE_FORMAT " / " SIZE_FORMAT,
a61af66fc99e Initial load
duke
parents:
diff changeset
348 desired_free_space, used_in_bytes(), new_size, current_size,
a61af66fc99e Initial load
duke
parents:
diff changeset
349 gen_size_limit(), min_gen_size());
a61af66fc99e Initial load
duke
parents:
diff changeset
350 }
a61af66fc99e Initial load
duke
parents:
diff changeset
351
a61af66fc99e Initial load
duke
parents:
diff changeset
352 if (new_size == current_size) {
a61af66fc99e Initial load
duke
parents:
diff changeset
353 // No change requested
a61af66fc99e Initial load
duke
parents:
diff changeset
354 return;
a61af66fc99e Initial load
duke
parents:
diff changeset
355 }
a61af66fc99e Initial load
duke
parents:
diff changeset
356 if (new_size > current_size) {
a61af66fc99e Initial load
duke
parents:
diff changeset
357 size_t change_bytes = new_size - current_size;
a61af66fc99e Initial load
duke
parents:
diff changeset
358 expand(change_bytes);
a61af66fc99e Initial load
duke
parents:
diff changeset
359 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
360 size_t change_bytes = current_size - new_size;
a61af66fc99e Initial load
duke
parents:
diff changeset
361 // shrink doesn't grab this lock, expand does. Is that right?
a61af66fc99e Initial load
duke
parents:
diff changeset
362 MutexLocker x(ExpandHeap_lock);
a61af66fc99e Initial load
duke
parents:
diff changeset
363 shrink(change_bytes);
a61af66fc99e Initial load
duke
parents:
diff changeset
364 }
a61af66fc99e Initial load
duke
parents:
diff changeset
365
a61af66fc99e Initial load
duke
parents:
diff changeset
366 if (PrintAdaptiveSizePolicy) {
a61af66fc99e Initial load
duke
parents:
diff changeset
367 ParallelScavengeHeap* heap = (ParallelScavengeHeap*)Universe::heap();
a61af66fc99e Initial load
duke
parents:
diff changeset
368 assert(heap->kind() == CollectedHeap::ParallelScavengeHeap, "Sanity");
a61af66fc99e Initial load
duke
parents:
diff changeset
369 gclog_or_tty->print_cr("AdaptiveSizePolicy::old generation size: "
a61af66fc99e Initial load
duke
parents:
diff changeset
370 "collection: %d "
a61af66fc99e Initial load
duke
parents:
diff changeset
371 "(" SIZE_FORMAT ") -> (" SIZE_FORMAT ") ",
a61af66fc99e Initial load
duke
parents:
diff changeset
372 heap->total_collections(),
a61af66fc99e Initial load
duke
parents:
diff changeset
373 size_before, virtual_space()->committed_size());
a61af66fc99e Initial load
duke
parents:
diff changeset
374 }
a61af66fc99e Initial load
duke
parents:
diff changeset
375 }
a61af66fc99e Initial load
duke
parents:
diff changeset
376
a61af66fc99e Initial load
duke
parents:
diff changeset
377 // NOTE! We need to be careful about resizing. During a GC, multiple
a61af66fc99e Initial load
duke
parents:
diff changeset
378 // allocators may be active during heap expansion. If we allow the
a61af66fc99e Initial load
duke
parents:
diff changeset
379 // heap resizing to become visible before we have correctly resized
a61af66fc99e Initial load
duke
parents:
diff changeset
380 // all heap related data structures, we may cause program failures.
a61af66fc99e Initial load
duke
parents:
diff changeset
381 void PSOldGen::post_resize() {
a61af66fc99e Initial load
duke
parents:
diff changeset
382 // First construct a memregion representing the new size
a61af66fc99e Initial load
duke
parents:
diff changeset
383 MemRegion new_memregion((HeapWord*)virtual_space()->low(),
a61af66fc99e Initial load
duke
parents:
diff changeset
384 (HeapWord*)virtual_space()->high());
a61af66fc99e Initial load
duke
parents:
diff changeset
385 size_t new_word_size = new_memregion.word_size();
a61af66fc99e Initial load
duke
parents:
diff changeset
386
a61af66fc99e Initial load
duke
parents:
diff changeset
387 start_array()->set_covered_region(new_memregion);
a61af66fc99e Initial load
duke
parents:
diff changeset
388 Universe::heap()->barrier_set()->resize_covered_region(new_memregion);
a61af66fc99e Initial load
duke
parents:
diff changeset
389
a61af66fc99e Initial load
duke
parents:
diff changeset
390 HeapWord* const virtual_space_high = (HeapWord*) virtual_space()->high();
a61af66fc99e Initial load
duke
parents:
diff changeset
391
a61af66fc99e Initial load
duke
parents:
diff changeset
392 // ALWAYS do this last!!
a61af66fc99e Initial load
duke
parents:
diff changeset
393 object_space()->set_end(virtual_space_high);
a61af66fc99e Initial load
duke
parents:
diff changeset
394
a61af66fc99e Initial load
duke
parents:
diff changeset
395 assert(new_word_size == heap_word_size(object_space()->capacity_in_bytes()),
a61af66fc99e Initial load
duke
parents:
diff changeset
396 "Sanity");
a61af66fc99e Initial load
duke
parents:
diff changeset
397 }
a61af66fc99e Initial load
duke
parents:
diff changeset
398
a61af66fc99e Initial load
duke
parents:
diff changeset
399 size_t PSOldGen::gen_size_limit() {
a61af66fc99e Initial load
duke
parents:
diff changeset
400 return _max_gen_size;
a61af66fc99e Initial load
duke
parents:
diff changeset
401 }
a61af66fc99e Initial load
duke
parents:
diff changeset
402
a61af66fc99e Initial load
duke
parents:
diff changeset
403 void PSOldGen::reset_after_change() {
a61af66fc99e Initial load
duke
parents:
diff changeset
404 ShouldNotReachHere();
a61af66fc99e Initial load
duke
parents:
diff changeset
405 return;
a61af66fc99e Initial load
duke
parents:
diff changeset
406 }
a61af66fc99e Initial load
duke
parents:
diff changeset
407
a61af66fc99e Initial load
duke
parents:
diff changeset
408 size_t PSOldGen::available_for_expansion() {
a61af66fc99e Initial load
duke
parents:
diff changeset
409 ShouldNotReachHere();
a61af66fc99e Initial load
duke
parents:
diff changeset
410 return 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
411 }
a61af66fc99e Initial load
duke
parents:
diff changeset
412
a61af66fc99e Initial load
duke
parents:
diff changeset
413 size_t PSOldGen::available_for_contraction() {
a61af66fc99e Initial load
duke
parents:
diff changeset
414 ShouldNotReachHere();
a61af66fc99e Initial load
duke
parents:
diff changeset
415 return 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
416 }
a61af66fc99e Initial load
duke
parents:
diff changeset
417
a61af66fc99e Initial load
duke
parents:
diff changeset
418 void PSOldGen::print() const { print_on(tty);}
a61af66fc99e Initial load
duke
parents:
diff changeset
419 void PSOldGen::print_on(outputStream* st) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
420 st->print(" %-15s", name());
a61af66fc99e Initial load
duke
parents:
diff changeset
421 if (PrintGCDetails && Verbose) {
a61af66fc99e Initial load
duke
parents:
diff changeset
422 st->print(" total " SIZE_FORMAT ", used " SIZE_FORMAT,
a61af66fc99e Initial load
duke
parents:
diff changeset
423 capacity_in_bytes(), used_in_bytes());
a61af66fc99e Initial load
duke
parents:
diff changeset
424 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
425 st->print(" total " SIZE_FORMAT "K, used " SIZE_FORMAT "K",
a61af66fc99e Initial load
duke
parents:
diff changeset
426 capacity_in_bytes()/K, used_in_bytes()/K);
a61af66fc99e Initial load
duke
parents:
diff changeset
427 }
a61af66fc99e Initial load
duke
parents:
diff changeset
428 st->print_cr(" [" INTPTR_FORMAT ", " INTPTR_FORMAT ", " INTPTR_FORMAT ")",
a61af66fc99e Initial load
duke
parents:
diff changeset
429 virtual_space()->low_boundary(),
a61af66fc99e Initial load
duke
parents:
diff changeset
430 virtual_space()->high(),
a61af66fc99e Initial load
duke
parents:
diff changeset
431 virtual_space()->high_boundary());
a61af66fc99e Initial load
duke
parents:
diff changeset
432
a61af66fc99e Initial load
duke
parents:
diff changeset
433 st->print(" object"); object_space()->print_on(st);
a61af66fc99e Initial load
duke
parents:
diff changeset
434 }
a61af66fc99e Initial load
duke
parents:
diff changeset
435
a61af66fc99e Initial load
duke
parents:
diff changeset
436 void PSOldGen::print_used_change(size_t prev_used) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
437 gclog_or_tty->print(" [%s:", name());
a61af66fc99e Initial load
duke
parents:
diff changeset
438 gclog_or_tty->print(" " SIZE_FORMAT "K"
a61af66fc99e Initial load
duke
parents:
diff changeset
439 "->" SIZE_FORMAT "K"
a61af66fc99e Initial load
duke
parents:
diff changeset
440 "(" SIZE_FORMAT "K)",
a61af66fc99e Initial load
duke
parents:
diff changeset
441 prev_used / K, used_in_bytes() / K,
a61af66fc99e Initial load
duke
parents:
diff changeset
442 capacity_in_bytes() / K);
a61af66fc99e Initial load
duke
parents:
diff changeset
443 gclog_or_tty->print("]");
a61af66fc99e Initial load
duke
parents:
diff changeset
444 }
a61af66fc99e Initial load
duke
parents:
diff changeset
445
a61af66fc99e Initial load
duke
parents:
diff changeset
446 void PSOldGen::update_counters() {
a61af66fc99e Initial load
duke
parents:
diff changeset
447 if (UsePerfData) {
a61af66fc99e Initial load
duke
parents:
diff changeset
448 _space_counters->update_all();
a61af66fc99e Initial load
duke
parents:
diff changeset
449 _gen_counters->update_all();
a61af66fc99e Initial load
duke
parents:
diff changeset
450 }
a61af66fc99e Initial load
duke
parents:
diff changeset
451 }
a61af66fc99e Initial load
duke
parents:
diff changeset
452
a61af66fc99e Initial load
duke
parents:
diff changeset
453 #ifndef PRODUCT
a61af66fc99e Initial load
duke
parents:
diff changeset
454
a61af66fc99e Initial load
duke
parents:
diff changeset
455 void PSOldGen::space_invariants() {
a61af66fc99e Initial load
duke
parents:
diff changeset
456 assert(object_space()->end() == (HeapWord*) virtual_space()->high(),
a61af66fc99e Initial load
duke
parents:
diff changeset
457 "Space invariant");
a61af66fc99e Initial load
duke
parents:
diff changeset
458 assert(object_space()->bottom() == (HeapWord*) virtual_space()->low(),
a61af66fc99e Initial load
duke
parents:
diff changeset
459 "Space invariant");
a61af66fc99e Initial load
duke
parents:
diff changeset
460 assert(virtual_space()->low_boundary() <= virtual_space()->low(),
a61af66fc99e Initial load
duke
parents:
diff changeset
461 "Space invariant");
a61af66fc99e Initial load
duke
parents:
diff changeset
462 assert(virtual_space()->high_boundary() >= virtual_space()->high(),
a61af66fc99e Initial load
duke
parents:
diff changeset
463 "Space invariant");
a61af66fc99e Initial load
duke
parents:
diff changeset
464 assert(virtual_space()->low_boundary() == (char*) _reserved.start(),
a61af66fc99e Initial load
duke
parents:
diff changeset
465 "Space invariant");
a61af66fc99e Initial load
duke
parents:
diff changeset
466 assert(virtual_space()->high_boundary() == (char*) _reserved.end(),
a61af66fc99e Initial load
duke
parents:
diff changeset
467 "Space invariant");
a61af66fc99e Initial load
duke
parents:
diff changeset
468 assert(virtual_space()->committed_size() <= virtual_space()->reserved_size(),
a61af66fc99e Initial load
duke
parents:
diff changeset
469 "Space invariant");
a61af66fc99e Initial load
duke
parents:
diff changeset
470 }
a61af66fc99e Initial load
duke
parents:
diff changeset
471 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
472
a61af66fc99e Initial load
duke
parents:
diff changeset
473 void PSOldGen::verify(bool allow_dirty) {
a61af66fc99e Initial load
duke
parents:
diff changeset
474 object_space()->verify(allow_dirty);
a61af66fc99e Initial load
duke
parents:
diff changeset
475 }
a61af66fc99e Initial load
duke
parents:
diff changeset
476 class VerifyObjectStartArrayClosure : public ObjectClosure {
a61af66fc99e Initial load
duke
parents:
diff changeset
477 PSOldGen* _gen;
a61af66fc99e Initial load
duke
parents:
diff changeset
478 ObjectStartArray* _start_array;
a61af66fc99e Initial load
duke
parents:
diff changeset
479
a61af66fc99e Initial load
duke
parents:
diff changeset
480 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
481 VerifyObjectStartArrayClosure(PSOldGen* gen, ObjectStartArray* start_array) :
a61af66fc99e Initial load
duke
parents:
diff changeset
482 _gen(gen), _start_array(start_array) { }
a61af66fc99e Initial load
duke
parents:
diff changeset
483
a61af66fc99e Initial load
duke
parents:
diff changeset
484 virtual void do_object(oop obj) {
a61af66fc99e Initial load
duke
parents:
diff changeset
485 HeapWord* test_addr = (HeapWord*)obj + 1;
a61af66fc99e Initial load
duke
parents:
diff changeset
486 guarantee(_start_array->object_start(test_addr) == (HeapWord*)obj, "ObjectStartArray cannot find start of object");
a61af66fc99e Initial load
duke
parents:
diff changeset
487 guarantee(_start_array->is_block_allocated((HeapWord*)obj), "ObjectStartArray missing block allocation");
a61af66fc99e Initial load
duke
parents:
diff changeset
488 }
a61af66fc99e Initial load
duke
parents:
diff changeset
489 };
a61af66fc99e Initial load
duke
parents:
diff changeset
490
a61af66fc99e Initial load
duke
parents:
diff changeset
491 void PSOldGen::verify_object_start_array() {
a61af66fc99e Initial load
duke
parents:
diff changeset
492 VerifyObjectStartArrayClosure check( this, &_start_array );
a61af66fc99e Initial load
duke
parents:
diff changeset
493 object_iterate(&check);
a61af66fc99e Initial load
duke
parents:
diff changeset
494 }
263
12eea04c8b06 6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents: 0
diff changeset
495
12eea04c8b06 6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents: 0
diff changeset
496 #ifndef PRODUCT
12eea04c8b06 6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents: 0
diff changeset
497 void PSOldGen::record_spaces_top() {
12eea04c8b06 6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents: 0
diff changeset
498 assert(ZapUnusedHeapArea, "Not mangling unused space");
12eea04c8b06 6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents: 0
diff changeset
499 object_space()->set_top_for_allocations();
12eea04c8b06 6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents: 0
diff changeset
500 }
12eea04c8b06 6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents: 0
diff changeset
501 #endif