Mercurial > hg > graal-compiler
annotate src/share/vm/gc_interface/collectedHeap.inline.hpp @ 17936:968a17f18337
8042786: Proper fix for 8032566
Summary: Check for overflow cases in range checks and collapse it if we can.
Reviewed-by: jrose, iveresov
author | kvn |
---|---|
date | Fri, 16 May 2014 12:05:14 -0700 |
parents | cf9f24de0b93 |
children | 52b4284cb496 ee019285a52c |
rev | line source |
---|---|
0 | 1 /* |
17884
cf9f24de0b93
8039904: dtrace/hotspot/Monitors/Monitors001 fails with "assert(s > 0) failed: Bad size calculated"
coleenp
parents:
17467
diff
changeset
|
2 * Copyright (c) 2001, 2014, Oracle and/or its affiliates. All rights reserved. |
0 | 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 * | |
1552
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
579
diff
changeset
|
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
579
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:
579
diff
changeset
|
21 * questions. |
0 | 22 * |
23 */ | |
24 | |
1972 | 25 #ifndef SHARE_VM_GC_INTERFACE_COLLECTEDHEAP_INLINE_HPP |
26 #define SHARE_VM_GC_INTERFACE_COLLECTEDHEAP_INLINE_HPP | |
27 | |
10405 | 28 #include "gc_interface/allocTracer.hpp" |
1972 | 29 #include "gc_interface/collectedHeap.hpp" |
30 #include "memory/threadLocalAllocBuffer.inline.hpp" | |
31 #include "memory/universe.hpp" | |
32 #include "oops/arrayOop.hpp" | |
33 #include "prims/jvmtiExport.hpp" | |
34 #include "runtime/sharedRuntime.hpp" | |
7180
f34d701e952e
8003935: Simplify the needed includes for using Thread::current()
stefank
parents:
6725
diff
changeset
|
35 #include "runtime/thread.inline.hpp" |
1972 | 36 #include "services/lowMemoryDetector.hpp" |
37 #include "utilities/copy.hpp" | |
38 | |
0 | 39 // Inline allocation implementations. |
40 | |
41 void CollectedHeap::post_allocation_setup_common(KlassHandle klass, | |
5972
9a9bb0010c91
7156764: Remove unused size parameter from some CollectedHeap methods
brutisso
parents:
3961
diff
changeset
|
42 HeapWord* obj) { |
9a9bb0010c91
7156764: Remove unused size parameter from some CollectedHeap methods
brutisso
parents:
3961
diff
changeset
|
43 post_allocation_setup_no_klass_install(klass, obj); |
9a9bb0010c91
7156764: Remove unused size parameter from some CollectedHeap methods
brutisso
parents:
3961
diff
changeset
|
44 post_allocation_install_obj_klass(klass, oop(obj)); |
0 | 45 } |
46 | |
47 void CollectedHeap::post_allocation_setup_no_klass_install(KlassHandle klass, | |
5972
9a9bb0010c91
7156764: Remove unused size parameter from some CollectedHeap methods
brutisso
parents:
3961
diff
changeset
|
48 HeapWord* objPtr) { |
0 | 49 oop obj = (oop)objPtr; |
50 | |
51 assert(obj != NULL, "NULL object pointer"); | |
52 if (UseBiasedLocking && (klass() != NULL)) { | |
53 obj->set_mark(klass->prototype_header()); | |
54 } else { | |
55 // May be bootstrapping | |
56 obj->set_mark(markOopDesc::prototype()); | |
57 } | |
58 } | |
59 | |
60 void CollectedHeap::post_allocation_install_obj_klass(KlassHandle klass, | |
5972
9a9bb0010c91
7156764: Remove unused size parameter from some CollectedHeap methods
brutisso
parents:
3961
diff
changeset
|
61 oop obj) { |
0 | 62 // These asserts are kind of complicated because of klassKlass |
63 // and the beginning of the world. | |
64 assert(klass() != NULL || !Universe::is_fully_initialized(), "NULL klass"); | |
65 assert(klass() == NULL || klass()->is_klass(), "not a klass"); | |
66 assert(obj != NULL, "NULL object pointer"); | |
67 obj->set_klass(klass()); | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
5972
diff
changeset
|
68 assert(!Universe::is_fully_initialized() || obj->klass() != NULL, |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
5972
diff
changeset
|
69 "missing klass"); |
113
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
0
diff
changeset
|
70 } |
0 | 71 |
113
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
0
diff
changeset
|
72 // Support for jvmti and dtrace |
17884
cf9f24de0b93
8039904: dtrace/hotspot/Monitors/Monitors001 fails with "assert(s > 0) failed: Bad size calculated"
coleenp
parents:
17467
diff
changeset
|
73 inline void post_allocation_notify(KlassHandle klass, oop obj, int size) { |
481
7d7a7c599c17
6578152: fill_region_with_object has usability and safety issues
jcoomes
parents:
356
diff
changeset
|
74 // support low memory notifications (no-op if not enabled) |
7d7a7c599c17
6578152: fill_region_with_object has usability and safety issues
jcoomes
parents:
356
diff
changeset
|
75 LowMemoryDetector::detect_low_memory_for_collected_pools(); |
7d7a7c599c17
6578152: fill_region_with_object has usability and safety issues
jcoomes
parents:
356
diff
changeset
|
76 |
0 | 77 // support for JVMTI VMObjectAlloc event (no-op if not enabled) |
78 JvmtiExport::vm_object_alloc_event_collector(obj); | |
79 | |
80 if (DTraceAllocProbes) { | |
81 // support for Dtrace object alloc event (no-op most of the time) | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
5972
diff
changeset
|
82 if (klass() != NULL && klass()->name() != NULL) { |
17884
cf9f24de0b93
8039904: dtrace/hotspot/Monitors/Monitors001 fails with "assert(s > 0) failed: Bad size calculated"
coleenp
parents:
17467
diff
changeset
|
83 SharedRuntime::dtrace_object_alloc(obj, size); |
0 | 84 } |
85 } | |
86 } | |
87 | |
88 void CollectedHeap::post_allocation_setup_obj(KlassHandle klass, | |
17884
cf9f24de0b93
8039904: dtrace/hotspot/Monitors/Monitors001 fails with "assert(s > 0) failed: Bad size calculated"
coleenp
parents:
17467
diff
changeset
|
89 HeapWord* obj, |
cf9f24de0b93
8039904: dtrace/hotspot/Monitors/Monitors001 fails with "assert(s > 0) failed: Bad size calculated"
coleenp
parents:
17467
diff
changeset
|
90 int size) { |
5972
9a9bb0010c91
7156764: Remove unused size parameter from some CollectedHeap methods
brutisso
parents:
3961
diff
changeset
|
91 post_allocation_setup_common(klass, obj); |
0 | 92 assert(Universe::is_bootstrapping() || |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
5972
diff
changeset
|
93 !((oop)obj)->is_array(), "must not be an array"); |
113
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
0
diff
changeset
|
94 // notify jvmti and dtrace |
17884
cf9f24de0b93
8039904: dtrace/hotspot/Monitors/Monitors001 fails with "assert(s > 0) failed: Bad size calculated"
coleenp
parents:
17467
diff
changeset
|
95 post_allocation_notify(klass, (oop)obj, size); |
0 | 96 } |
97 | |
98 void CollectedHeap::post_allocation_setup_array(KlassHandle klass, | |
99 HeapWord* obj, | |
100 int length) { | |
167
feeb96a45707
6696264: assert("narrow oop can never be zero") for GCBasher & ParNewGC
coleenp
parents:
113
diff
changeset
|
101 // Set array length before setting the _klass field |
feeb96a45707
6696264: assert("narrow oop can never be zero") for GCBasher & ParNewGC
coleenp
parents:
113
diff
changeset
|
102 // in post_allocation_setup_common() because the klass field |
feeb96a45707
6696264: assert("narrow oop can never be zero") for GCBasher & ParNewGC
coleenp
parents:
113
diff
changeset
|
103 // indicates that the object is parsable by concurrent GC. |
0 | 104 assert(length >= 0, "length should be non-negative"); |
167
feeb96a45707
6696264: assert("narrow oop can never be zero") for GCBasher & ParNewGC
coleenp
parents:
113
diff
changeset
|
105 ((arrayOop)obj)->set_length(length); |
5972
9a9bb0010c91
7156764: Remove unused size parameter from some CollectedHeap methods
brutisso
parents:
3961
diff
changeset
|
106 post_allocation_setup_common(klass, obj); |
17884
cf9f24de0b93
8039904: dtrace/hotspot/Monitors/Monitors001 fails with "assert(s > 0) failed: Bad size calculated"
coleenp
parents:
17467
diff
changeset
|
107 oop new_obj = (oop)obj; |
cf9f24de0b93
8039904: dtrace/hotspot/Monitors/Monitors001 fails with "assert(s > 0) failed: Bad size calculated"
coleenp
parents:
17467
diff
changeset
|
108 assert(new_obj->is_array(), "must be an array"); |
113
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
0
diff
changeset
|
109 // notify jvmti and dtrace (must be after length is set for dtrace) |
17884
cf9f24de0b93
8039904: dtrace/hotspot/Monitors/Monitors001 fails with "assert(s > 0) failed: Bad size calculated"
coleenp
parents:
17467
diff
changeset
|
110 post_allocation_notify(klass, new_obj, new_obj->size()); |
0 | 111 } |
112 | |
10405 | 113 HeapWord* CollectedHeap::common_mem_allocate_noinit(KlassHandle klass, size_t size, TRAPS) { |
0 | 114 |
115 // Clear unhandled oops for memory allocation. Memory allocation might | |
116 // not take out a lock if from tlab, so clear here. | |
117 CHECK_UNHANDLED_OOPS_ONLY(THREAD->clear_unhandled_oops();) | |
118 | |
119 if (HAS_PENDING_EXCEPTION) { | |
120 NOT_PRODUCT(guarantee(false, "Should not allocate with exception pending")); | |
121 return NULL; // caller does a CHECK_0 too | |
122 } | |
123 | |
124 HeapWord* result = NULL; | |
125 if (UseTLAB) { | |
10405 | 126 result = allocate_from_tlab(klass, THREAD, size); |
0 | 127 if (result != NULL) { |
128 assert(!HAS_PENDING_EXCEPTION, | |
129 "Unexpected exception, will result in uninitialized storage"); | |
130 return result; | |
131 } | |
132 } | |
342
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
113
diff
changeset
|
133 bool gc_overhead_limit_was_exceeded = false; |
0 | 134 result = Universe::heap()->mem_allocate(size, |
135 &gc_overhead_limit_was_exceeded); | |
136 if (result != NULL) { | |
137 NOT_PRODUCT(Universe::heap()-> | |
138 check_for_non_bad_heap_word_value(result, size)); | |
139 assert(!HAS_PENDING_EXCEPTION, | |
140 "Unexpected exception, will result in uninitialized storage"); | |
2100
b1a2afa37ec4
7003271: Hotspot should track cumulative Java heap bytes allocated on a per-thread basis
phh
parents:
1972
diff
changeset
|
141 THREAD->incr_allocated_bytes(size * HeapWordSize); |
10405 | 142 |
143 AllocTracer::send_allocation_outside_tlab_event(klass, size * HeapWordSize); | |
144 | |
0 | 145 return result; |
146 } | |
147 | |
148 | |
149 if (!gc_overhead_limit_was_exceeded) { | |
150 // -XX:+HeapDumpOnOutOfMemoryError and -XX:OnOutOfMemoryError support | |
151 report_java_out_of_memory("Java heap space"); | |
152 | |
153 if (JvmtiExport::should_post_resource_exhausted()) { | |
154 JvmtiExport::post_resource_exhausted( | |
155 JVMTI_RESOURCE_EXHAUSTED_OOM_ERROR | JVMTI_RESOURCE_EXHAUSTED_JAVA_HEAP, | |
156 "Java heap space"); | |
157 } | |
158 | |
159 THROW_OOP_0(Universe::out_of_memory_error_java_heap()); | |
160 } else { | |
161 // -XX:+HeapDumpOnOutOfMemoryError and -XX:OnOutOfMemoryError support | |
162 report_java_out_of_memory("GC overhead limit exceeded"); | |
163 | |
164 if (JvmtiExport::should_post_resource_exhausted()) { | |
165 JvmtiExport::post_resource_exhausted( | |
166 JVMTI_RESOURCE_EXHAUSTED_OOM_ERROR | JVMTI_RESOURCE_EXHAUSTED_JAVA_HEAP, | |
167 "GC overhead limit exceeded"); | |
168 } | |
169 | |
170 THROW_OOP_0(Universe::out_of_memory_error_gc_overhead_limit()); | |
171 } | |
172 } | |
173 | |
10405 | 174 HeapWord* CollectedHeap::common_mem_allocate_init(KlassHandle klass, size_t size, TRAPS) { |
175 HeapWord* obj = common_mem_allocate_noinit(klass, size, CHECK_NULL); | |
0 | 176 init_obj(obj, size); |
177 return obj; | |
178 } | |
179 | |
10405 | 180 HeapWord* CollectedHeap::allocate_from_tlab(KlassHandle klass, Thread* thread, size_t size) { |
0 | 181 assert(UseTLAB, "should use UseTLAB"); |
182 | |
183 HeapWord* obj = thread->tlab().allocate(size); | |
184 if (obj != NULL) { | |
185 return obj; | |
186 } | |
187 // Otherwise... | |
10405 | 188 return allocate_from_tlab_slow(klass, thread, size); |
0 | 189 } |
190 | |
191 void CollectedHeap::init_obj(HeapWord* obj, size_t size) { | |
192 assert(obj != NULL, "cannot initialize NULL object"); | |
193 const size_t hs = oopDesc::header_size(); | |
194 assert(size >= hs, "unexpected object size"); | |
167
feeb96a45707
6696264: assert("narrow oop can never be zero") for GCBasher & ParNewGC
coleenp
parents:
113
diff
changeset
|
195 ((oop)obj)->set_klass_gap(0); |
0 | 196 Copy::fill_to_aligned_words(obj + hs, size - hs); |
197 } | |
198 | |
199 oop CollectedHeap::obj_allocate(KlassHandle klass, int size, TRAPS) { | |
200 debug_only(check_for_valid_allocation_state()); | |
201 assert(!Universe::heap()->is_gc_active(), "Allocation during gc not allowed"); | |
202 assert(size >= 0, "int won't convert to size_t"); | |
10405 | 203 HeapWord* obj = common_mem_allocate_init(klass, size, CHECK_NULL); |
17884
cf9f24de0b93
8039904: dtrace/hotspot/Monitors/Monitors001 fails with "assert(s > 0) failed: Bad size calculated"
coleenp
parents:
17467
diff
changeset
|
204 post_allocation_setup_obj(klass, obj, size); |
0 | 205 NOT_PRODUCT(Universe::heap()->check_for_bad_heap_word_value(obj, size)); |
206 return (oop)obj; | |
207 } | |
208 | |
209 oop CollectedHeap::array_allocate(KlassHandle klass, | |
210 int size, | |
211 int length, | |
212 TRAPS) { | |
213 debug_only(check_for_valid_allocation_state()); | |
214 assert(!Universe::heap()->is_gc_active(), "Allocation during gc not allowed"); | |
215 assert(size >= 0, "int won't convert to size_t"); | |
10405 | 216 HeapWord* obj = common_mem_allocate_init(klass, size, CHECK_NULL); |
5972
9a9bb0010c91
7156764: Remove unused size parameter from some CollectedHeap methods
brutisso
parents:
3961
diff
changeset
|
217 post_allocation_setup_array(klass, obj, length); |
0 | 218 NOT_PRODUCT(Universe::heap()->check_for_bad_heap_word_value(obj, size)); |
219 return (oop)obj; | |
220 } | |
221 | |
3961
a92cdbac8b9e
7081933: Use zeroing elimination optimization for large array
kvn
parents:
3960
diff
changeset
|
222 oop CollectedHeap::array_allocate_nozero(KlassHandle klass, |
a92cdbac8b9e
7081933: Use zeroing elimination optimization for large array
kvn
parents:
3960
diff
changeset
|
223 int size, |
a92cdbac8b9e
7081933: Use zeroing elimination optimization for large array
kvn
parents:
3960
diff
changeset
|
224 int length, |
a92cdbac8b9e
7081933: Use zeroing elimination optimization for large array
kvn
parents:
3960
diff
changeset
|
225 TRAPS) { |
a92cdbac8b9e
7081933: Use zeroing elimination optimization for large array
kvn
parents:
3960
diff
changeset
|
226 debug_only(check_for_valid_allocation_state()); |
a92cdbac8b9e
7081933: Use zeroing elimination optimization for large array
kvn
parents:
3960
diff
changeset
|
227 assert(!Universe::heap()->is_gc_active(), "Allocation during gc not allowed"); |
a92cdbac8b9e
7081933: Use zeroing elimination optimization for large array
kvn
parents:
3960
diff
changeset
|
228 assert(size >= 0, "int won't convert to size_t"); |
10405 | 229 HeapWord* obj = common_mem_allocate_noinit(klass, size, CHECK_NULL); |
3961
a92cdbac8b9e
7081933: Use zeroing elimination optimization for large array
kvn
parents:
3960
diff
changeset
|
230 ((oop)obj)->set_klass_gap(0); |
5972
9a9bb0010c91
7156764: Remove unused size parameter from some CollectedHeap methods
brutisso
parents:
3961
diff
changeset
|
231 post_allocation_setup_array(klass, obj, length); |
3961
a92cdbac8b9e
7081933: Use zeroing elimination optimization for large array
kvn
parents:
3960
diff
changeset
|
232 #ifndef PRODUCT |
a92cdbac8b9e
7081933: Use zeroing elimination optimization for large array
kvn
parents:
3960
diff
changeset
|
233 const size_t hs = oopDesc::header_size()+1; |
a92cdbac8b9e
7081933: Use zeroing elimination optimization for large array
kvn
parents:
3960
diff
changeset
|
234 Universe::heap()->check_for_non_bad_heap_word_value(obj+hs, size-hs); |
a92cdbac8b9e
7081933: Use zeroing elimination optimization for large array
kvn
parents:
3960
diff
changeset
|
235 #endif |
a92cdbac8b9e
7081933: Use zeroing elimination optimization for large array
kvn
parents:
3960
diff
changeset
|
236 return (oop)obj; |
a92cdbac8b9e
7081933: Use zeroing elimination optimization for large array
kvn
parents:
3960
diff
changeset
|
237 } |
a92cdbac8b9e
7081933: Use zeroing elimination optimization for large array
kvn
parents:
3960
diff
changeset
|
238 |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
5972
diff
changeset
|
239 inline void CollectedHeap::oop_iterate_no_header(OopClosure* cl) { |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
5972
diff
changeset
|
240 NoHeaderExtendedOopClosure no_header_cl(cl); |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
5972
diff
changeset
|
241 oop_iterate(&no_header_cl); |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
5972
diff
changeset
|
242 } |
0 | 243 |
244 #ifndef PRODUCT | |
245 | |
246 inline bool | |
247 CollectedHeap::promotion_should_fail(volatile size_t* count) { | |
248 // Access to count is not atomic; the value does not have to be exact. | |
249 if (PromotionFailureALot) { | |
250 const size_t gc_num = total_collections(); | |
251 const size_t elapsed_gcs = gc_num - _promotion_failure_alot_gc_number; | |
252 if (elapsed_gcs >= PromotionFailureALotInterval) { | |
253 // Test for unsigned arithmetic wrap-around. | |
254 if (++*count >= PromotionFailureALotCount) { | |
255 *count = 0; | |
256 return true; | |
257 } | |
258 } | |
259 } | |
260 return false; | |
261 } | |
262 | |
263 inline bool CollectedHeap::promotion_should_fail() { | |
264 return promotion_should_fail(&_promotion_failure_alot_count); | |
265 } | |
266 | |
267 inline void CollectedHeap::reset_promotion_should_fail(volatile size_t* count) { | |
268 if (PromotionFailureALot) { | |
269 _promotion_failure_alot_gc_number = total_collections(); | |
270 *count = 0; | |
271 } | |
272 } | |
273 | |
274 inline void CollectedHeap::reset_promotion_should_fail() { | |
275 reset_promotion_should_fail(&_promotion_failure_alot_count); | |
276 } | |
277 #endif // #ifndef PRODUCT | |
1972 | 278 |
279 #endif // SHARE_VM_GC_INTERFACE_COLLECTEDHEAP_INLINE_HPP |