Mercurial > hg > graal-compiler
annotate src/share/vm/runtime/virtualspace.cpp @ 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 | 2b8e28fdf503 |
children | 8a9bb7821e28 78bbf4d43a14 |
rev | line source |
---|---|
0 | 1 /* |
7623
203f64878aab
7102489: RFE: cleanup jlong typedef on __APPLE__and _LLP64 systems.
hseigel
parents:
7433
diff
changeset
|
2 * Copyright (c) 1997, 2013, 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:
844
diff
changeset
|
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
844
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:
844
diff
changeset
|
21 * questions. |
0 | 22 * |
23 */ | |
24 | |
1972 | 25 #include "precompiled.hpp" |
26 #include "oops/markOop.hpp" | |
27 #include "oops/oop.inline.hpp" | |
28 #include "runtime/virtualspace.hpp" | |
6197 | 29 #include "services/memTracker.hpp" |
1972 | 30 #ifdef TARGET_OS_FAMILY_linux |
31 # include "os_linux.inline.hpp" | |
32 #endif | |
33 #ifdef TARGET_OS_FAMILY_solaris | |
34 # include "os_solaris.inline.hpp" | |
35 #endif | |
36 #ifdef TARGET_OS_FAMILY_windows | |
37 # include "os_windows.inline.hpp" | |
38 #endif | |
14411 | 39 #ifdef TARGET_OS_FAMILY_aix |
40 # include "os_aix.inline.hpp" | |
41 #endif | |
3960 | 42 #ifdef TARGET_OS_FAMILY_bsd |
43 # include "os_bsd.inline.hpp" | |
44 #endif | |
0 | 45 |
46 | |
47 // ReservedSpace | |
12110
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
48 |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
49 // Dummy constructor |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
50 ReservedSpace::ReservedSpace() : _base(NULL), _size(0), _noaccess_prefix(0), |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
51 _alignment(0), _special(false), _executable(false) { |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
52 } |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
53 |
0 | 54 ReservedSpace::ReservedSpace(size_t size) { |
12110
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
55 size_t page_size = os::page_size_for_region(size, size, 1); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
56 bool large_pages = page_size != (size_t)os::vm_page_size(); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
57 // Don't force the alignment to be large page aligned, |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
58 // since that will waste memory. |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
59 size_t alignment = os::vm_allocation_granularity(); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
60 initialize(size, alignment, large_pages, NULL, 0, false); |
0 | 61 } |
62 | |
63 ReservedSpace::ReservedSpace(size_t size, size_t alignment, | |
237
1fdb98a17101
6716785: implicit null checks not triggering with CompressedOops
coleenp
parents:
0
diff
changeset
|
64 bool large, |
1fdb98a17101
6716785: implicit null checks not triggering with CompressedOops
coleenp
parents:
0
diff
changeset
|
65 char* requested_address, |
1fdb98a17101
6716785: implicit null checks not triggering with CompressedOops
coleenp
parents:
0
diff
changeset
|
66 const size_t noaccess_prefix) { |
1fdb98a17101
6716785: implicit null checks not triggering with CompressedOops
coleenp
parents:
0
diff
changeset
|
67 initialize(size+noaccess_prefix, alignment, large, requested_address, |
656 | 68 noaccess_prefix, false); |
69 } | |
70 | |
71 ReservedSpace::ReservedSpace(size_t size, size_t alignment, | |
72 bool large, | |
73 bool executable) { | |
74 initialize(size, alignment, large, NULL, 0, executable); | |
0 | 75 } |
76 | |
1618 | 77 // Helper method. |
78 static bool failed_to_reserve_as_requested(char* base, char* requested_address, | |
79 const size_t size, bool special) | |
80 { | |
81 if (base == requested_address || requested_address == NULL) | |
82 return false; // did not fail | |
83 | |
84 if (base != NULL) { | |
85 // Different reserve address may be acceptable in other cases | |
86 // but for compressed oops heap should be at requested address. | |
87 assert(UseCompressedOops, "currently requested address used only for compressed oops"); | |
88 if (PrintCompressedOopsMode) { | |
89 tty->cr(); | |
3824
6aa4feb8a366
7069863: G1: SIGSEGV running SPECjbb2011 and -UseBiasedLocking
johnc
parents:
1972
diff
changeset
|
90 tty->print_cr("Reserved memory not at requested address: " PTR_FORMAT " vs " PTR_FORMAT, base, requested_address); |
1618 | 91 } |
92 // OS ignored requested address. Try different address. | |
93 if (special) { | |
94 if (!os::release_memory_special(base, size)) { | |
95 fatal("os::release_memory_special failed"); | |
96 } | |
97 } else { | |
98 if (!os::release_memory(base, size)) { | |
99 fatal("os::release_memory failed"); | |
100 } | |
101 } | |
102 } | |
103 return true; | |
104 } | |
105 | |
0 | 106 void ReservedSpace::initialize(size_t size, size_t alignment, bool large, |
237
1fdb98a17101
6716785: implicit null checks not triggering with CompressedOops
coleenp
parents:
0
diff
changeset
|
107 char* requested_address, |
656 | 108 const size_t noaccess_prefix, |
109 bool executable) { | |
0 | 110 const size_t granularity = os::vm_allocation_granularity(); |
3824
6aa4feb8a366
7069863: G1: SIGSEGV running SPECjbb2011 and -UseBiasedLocking
johnc
parents:
1972
diff
changeset
|
111 assert((size & (granularity - 1)) == 0, |
0 | 112 "size not aligned to os::vm_allocation_granularity()"); |
3824
6aa4feb8a366
7069863: G1: SIGSEGV running SPECjbb2011 and -UseBiasedLocking
johnc
parents:
1972
diff
changeset
|
113 assert((alignment & (granularity - 1)) == 0, |
0 | 114 "alignment not aligned to os::vm_allocation_granularity()"); |
115 assert(alignment == 0 || is_power_of_2((intptr_t)alignment), | |
116 "not a power of 2"); | |
117 | |
3824
6aa4feb8a366
7069863: G1: SIGSEGV running SPECjbb2011 and -UseBiasedLocking
johnc
parents:
1972
diff
changeset
|
118 alignment = MAX2(alignment, (size_t)os::vm_page_size()); |
6aa4feb8a366
7069863: G1: SIGSEGV running SPECjbb2011 and -UseBiasedLocking
johnc
parents:
1972
diff
changeset
|
119 |
6aa4feb8a366
7069863: G1: SIGSEGV running SPECjbb2011 and -UseBiasedLocking
johnc
parents:
1972
diff
changeset
|
120 // Assert that if noaccess_prefix is used, it is the same as alignment. |
6aa4feb8a366
7069863: G1: SIGSEGV running SPECjbb2011 and -UseBiasedLocking
johnc
parents:
1972
diff
changeset
|
121 assert(noaccess_prefix == 0 || |
6aa4feb8a366
7069863: G1: SIGSEGV running SPECjbb2011 and -UseBiasedLocking
johnc
parents:
1972
diff
changeset
|
122 noaccess_prefix == alignment, "noaccess prefix wrong"); |
6aa4feb8a366
7069863: G1: SIGSEGV running SPECjbb2011 and -UseBiasedLocking
johnc
parents:
1972
diff
changeset
|
123 |
0 | 124 _base = NULL; |
125 _size = 0; | |
126 _special = false; | |
656 | 127 _executable = executable; |
0 | 128 _alignment = 0; |
237
1fdb98a17101
6716785: implicit null checks not triggering with CompressedOops
coleenp
parents:
0
diff
changeset
|
129 _noaccess_prefix = 0; |
0 | 130 if (size == 0) { |
131 return; | |
132 } | |
133 | |
134 // If OS doesn't support demand paging for large page memory, we need | |
135 // to use reserve_memory_special() to reserve and pin the entire region. | |
136 bool special = large && !os::can_commit_large_page_memory(); | |
137 char* base = NULL; | |
138 | |
1618 | 139 if (requested_address != 0) { |
140 requested_address -= noaccess_prefix; // adjust requested address | |
141 assert(requested_address != NULL, "huge noaccess prefix?"); | |
142 } | |
143 | |
0 | 144 if (special) { |
145 | |
12110
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
146 base = os::reserve_memory_special(size, alignment, requested_address, executable); |
0 | 147 |
148 if (base != NULL) { | |
1618 | 149 if (failed_to_reserve_as_requested(base, requested_address, size, true)) { |
150 // OS ignored requested address. Try different address. | |
151 return; | |
152 } | |
12110
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
153 // Check alignment constraints. |
3824
6aa4feb8a366
7069863: G1: SIGSEGV running SPECjbb2011 and -UseBiasedLocking
johnc
parents:
1972
diff
changeset
|
154 assert((uintptr_t) base % alignment == 0, |
12110
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
155 err_msg("Large pages returned a non-aligned address, base: " |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
156 PTR_FORMAT " alignment: " PTR_FORMAT, |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
157 base, (void*)(uintptr_t)alignment)); |
0 | 158 _special = true; |
159 } else { | |
160 // failed; try to reserve regular memory below | |
1618 | 161 if (UseLargePages && (!FLAG_IS_DEFAULT(UseLargePages) || |
162 !FLAG_IS_DEFAULT(LargePageSizeInBytes))) { | |
163 if (PrintCompressedOopsMode) { | |
164 tty->cr(); | |
165 tty->print_cr("Reserve regular memory without large pages."); | |
166 } | |
167 } | |
0 | 168 } |
169 } | |
170 | |
171 if (base == NULL) { | |
172 // Optimistically assume that the OSes returns an aligned base pointer. | |
173 // When reserving a large address range, most OSes seem to align to at | |
174 // least 64K. | |
175 | |
176 // If the memory was requested at a particular address, use | |
177 // os::attempt_reserve_memory_at() to avoid over mapping something | |
178 // important. If available space is not detected, return NULL. | |
179 | |
180 if (requested_address != 0) { | |
1618 | 181 base = os::attempt_reserve_memory_at(size, requested_address); |
182 if (failed_to_reserve_as_requested(base, requested_address, size, false)) { | |
183 // OS ignored requested address. Try different address. | |
184 base = NULL; | |
185 } | |
0 | 186 } else { |
187 base = os::reserve_memory(size, NULL, alignment); | |
188 } | |
189 | |
190 if (base == NULL) return; | |
191 | |
192 // Check alignment constraints | |
3824
6aa4feb8a366
7069863: G1: SIGSEGV running SPECjbb2011 and -UseBiasedLocking
johnc
parents:
1972
diff
changeset
|
193 if ((((size_t)base + noaccess_prefix) & (alignment - 1)) != 0) { |
0 | 194 // Base not aligned, retry |
195 if (!os::release_memory(base, size)) fatal("os::release_memory failed"); | |
7433
730cc4ddd550
7173959: Jvm crashed during coherence exabus (tmb) testing
brutisso
parents:
6725
diff
changeset
|
196 // Make sure that size is aligned |
0 | 197 size = align_size_up(size, alignment); |
7433
730cc4ddd550
7173959: Jvm crashed during coherence exabus (tmb) testing
brutisso
parents:
6725
diff
changeset
|
198 base = os::reserve_memory_aligned(size, alignment); |
3824
6aa4feb8a366
7069863: G1: SIGSEGV running SPECjbb2011 and -UseBiasedLocking
johnc
parents:
1972
diff
changeset
|
199 |
6aa4feb8a366
7069863: G1: SIGSEGV running SPECjbb2011 and -UseBiasedLocking
johnc
parents:
1972
diff
changeset
|
200 if (requested_address != 0 && |
6aa4feb8a366
7069863: G1: SIGSEGV running SPECjbb2011 and -UseBiasedLocking
johnc
parents:
1972
diff
changeset
|
201 failed_to_reserve_as_requested(base, requested_address, size, false)) { |
6aa4feb8a366
7069863: G1: SIGSEGV running SPECjbb2011 and -UseBiasedLocking
johnc
parents:
1972
diff
changeset
|
202 // As a result of the alignment constraints, the allocated base differs |
6aa4feb8a366
7069863: G1: SIGSEGV running SPECjbb2011 and -UseBiasedLocking
johnc
parents:
1972
diff
changeset
|
203 // from the requested address. Return back to the caller who can |
6aa4feb8a366
7069863: G1: SIGSEGV running SPECjbb2011 and -UseBiasedLocking
johnc
parents:
1972
diff
changeset
|
204 // take remedial action (like try again without a requested address). |
6aa4feb8a366
7069863: G1: SIGSEGV running SPECjbb2011 and -UseBiasedLocking
johnc
parents:
1972
diff
changeset
|
205 assert(_base == NULL, "should be"); |
6aa4feb8a366
7069863: G1: SIGSEGV running SPECjbb2011 and -UseBiasedLocking
johnc
parents:
1972
diff
changeset
|
206 return; |
6aa4feb8a366
7069863: G1: SIGSEGV running SPECjbb2011 and -UseBiasedLocking
johnc
parents:
1972
diff
changeset
|
207 } |
0 | 208 } |
209 } | |
210 // Done | |
211 _base = base; | |
212 _size = size; | |
3824
6aa4feb8a366
7069863: G1: SIGSEGV running SPECjbb2011 and -UseBiasedLocking
johnc
parents:
1972
diff
changeset
|
213 _alignment = alignment; |
237
1fdb98a17101
6716785: implicit null checks not triggering with CompressedOops
coleenp
parents:
0
diff
changeset
|
214 _noaccess_prefix = noaccess_prefix; |
1fdb98a17101
6716785: implicit null checks not triggering with CompressedOops
coleenp
parents:
0
diff
changeset
|
215 |
1fdb98a17101
6716785: implicit null checks not triggering with CompressedOops
coleenp
parents:
0
diff
changeset
|
216 // Assert that if noaccess_prefix is used, it is the same as alignment. |
1fdb98a17101
6716785: implicit null checks not triggering with CompressedOops
coleenp
parents:
0
diff
changeset
|
217 assert(noaccess_prefix == 0 || |
1fdb98a17101
6716785: implicit null checks not triggering with CompressedOops
coleenp
parents:
0
diff
changeset
|
218 noaccess_prefix == _alignment, "noaccess prefix wrong"); |
0 | 219 |
220 assert(markOopDesc::encode_pointer_as_mark(_base)->decode_pointer() == _base, | |
221 "area must be distinguisable from marks for mark-sweep"); | |
222 assert(markOopDesc::encode_pointer_as_mark(&_base[size])->decode_pointer() == &_base[size], | |
223 "area must be distinguisable from marks for mark-sweep"); | |
224 } | |
225 | |
226 | |
227 ReservedSpace::ReservedSpace(char* base, size_t size, size_t alignment, | |
656 | 228 bool special, bool executable) { |
0 | 229 assert((size % os::vm_allocation_granularity()) == 0, |
230 "size not allocation aligned"); | |
231 _base = base; | |
232 _size = size; | |
233 _alignment = alignment; | |
237
1fdb98a17101
6716785: implicit null checks not triggering with CompressedOops
coleenp
parents:
0
diff
changeset
|
234 _noaccess_prefix = 0; |
0 | 235 _special = special; |
656 | 236 _executable = executable; |
0 | 237 } |
238 | |
239 | |
240 ReservedSpace ReservedSpace::first_part(size_t partition_size, size_t alignment, | |
241 bool split, bool realloc) { | |
242 assert(partition_size <= size(), "partition failed"); | |
243 if (split) { | |
656 | 244 os::split_reserved_memory(base(), size(), partition_size, realloc); |
0 | 245 } |
656 | 246 ReservedSpace result(base(), partition_size, alignment, special(), |
247 executable()); | |
0 | 248 return result; |
249 } | |
250 | |
251 | |
252 ReservedSpace | |
253 ReservedSpace::last_part(size_t partition_size, size_t alignment) { | |
254 assert(partition_size <= size(), "partition failed"); | |
255 ReservedSpace result(base() + partition_size, size() - partition_size, | |
656 | 256 alignment, special(), executable()); |
0 | 257 return result; |
258 } | |
259 | |
260 | |
261 size_t ReservedSpace::page_align_size_up(size_t size) { | |
262 return align_size_up(size, os::vm_page_size()); | |
263 } | |
264 | |
265 | |
266 size_t ReservedSpace::page_align_size_down(size_t size) { | |
267 return align_size_down(size, os::vm_page_size()); | |
268 } | |
269 | |
270 | |
271 size_t ReservedSpace::allocation_align_size_up(size_t size) { | |
272 return align_size_up(size, os::vm_allocation_granularity()); | |
273 } | |
274 | |
275 | |
276 size_t ReservedSpace::allocation_align_size_down(size_t size) { | |
277 return align_size_down(size, os::vm_allocation_granularity()); | |
278 } | |
279 | |
280 | |
281 void ReservedSpace::release() { | |
282 if (is_reserved()) { | |
237
1fdb98a17101
6716785: implicit null checks not triggering with CompressedOops
coleenp
parents:
0
diff
changeset
|
283 char *real_base = _base - _noaccess_prefix; |
1fdb98a17101
6716785: implicit null checks not triggering with CompressedOops
coleenp
parents:
0
diff
changeset
|
284 const size_t real_size = _size + _noaccess_prefix; |
0 | 285 if (special()) { |
237
1fdb98a17101
6716785: implicit null checks not triggering with CompressedOops
coleenp
parents:
0
diff
changeset
|
286 os::release_memory_special(real_base, real_size); |
0 | 287 } else{ |
237
1fdb98a17101
6716785: implicit null checks not triggering with CompressedOops
coleenp
parents:
0
diff
changeset
|
288 os::release_memory(real_base, real_size); |
0 | 289 } |
290 _base = NULL; | |
291 _size = 0; | |
237
1fdb98a17101
6716785: implicit null checks not triggering with CompressedOops
coleenp
parents:
0
diff
changeset
|
292 _noaccess_prefix = 0; |
0 | 293 _special = false; |
656 | 294 _executable = false; |
0 | 295 } |
296 } | |
297 | |
237
1fdb98a17101
6716785: implicit null checks not triggering with CompressedOops
coleenp
parents:
0
diff
changeset
|
298 void ReservedSpace::protect_noaccess_prefix(const size_t size) { |
1618 | 299 assert( (_noaccess_prefix != 0) == (UseCompressedOops && _base != NULL && |
4934
7df3125953cb
7146354: Re-enable Compressed OOPs after 7118647 is resolved
coleenp
parents:
3960
diff
changeset
|
300 (Universe::narrow_oop_base() != NULL) && |
1618 | 301 Universe::narrow_oop_use_implicit_null_checks()), |
302 "noaccess_prefix should be used only with non zero based compressed oops"); | |
303 | |
304 // If there is no noaccess prefix, return. | |
237
1fdb98a17101
6716785: implicit null checks not triggering with CompressedOops
coleenp
parents:
0
diff
changeset
|
305 if (_noaccess_prefix == 0) return; |
1fdb98a17101
6716785: implicit null checks not triggering with CompressedOops
coleenp
parents:
0
diff
changeset
|
306 |
1fdb98a17101
6716785: implicit null checks not triggering with CompressedOops
coleenp
parents:
0
diff
changeset
|
307 assert(_noaccess_prefix >= (size_t)os::vm_page_size(), |
1fdb98a17101
6716785: implicit null checks not triggering with CompressedOops
coleenp
parents:
0
diff
changeset
|
308 "must be at least page size big"); |
1fdb98a17101
6716785: implicit null checks not triggering with CompressedOops
coleenp
parents:
0
diff
changeset
|
309 |
1fdb98a17101
6716785: implicit null checks not triggering with CompressedOops
coleenp
parents:
0
diff
changeset
|
310 // Protect memory at the base of the allocated region. |
1fdb98a17101
6716785: implicit null checks not triggering with CompressedOops
coleenp
parents:
0
diff
changeset
|
311 // If special, the page was committed (only matters on windows) |
1fdb98a17101
6716785: implicit null checks not triggering with CompressedOops
coleenp
parents:
0
diff
changeset
|
312 if (!os::protect_memory(_base, _noaccess_prefix, os::MEM_PROT_NONE, |
1fdb98a17101
6716785: implicit null checks not triggering with CompressedOops
coleenp
parents:
0
diff
changeset
|
313 _special)) { |
1fdb98a17101
6716785: implicit null checks not triggering with CompressedOops
coleenp
parents:
0
diff
changeset
|
314 fatal("cannot protect protection page"); |
1fdb98a17101
6716785: implicit null checks not triggering with CompressedOops
coleenp
parents:
0
diff
changeset
|
315 } |
1618 | 316 if (PrintCompressedOopsMode) { |
317 tty->cr(); | |
318 tty->print_cr("Protected page at the reserved heap base: " PTR_FORMAT " / " INTX_FORMAT " bytes", _base, _noaccess_prefix); | |
319 } | |
237
1fdb98a17101
6716785: implicit null checks not triggering with CompressedOops
coleenp
parents:
0
diff
changeset
|
320 |
1fdb98a17101
6716785: implicit null checks not triggering with CompressedOops
coleenp
parents:
0
diff
changeset
|
321 _base += _noaccess_prefix; |
1fdb98a17101
6716785: implicit null checks not triggering with CompressedOops
coleenp
parents:
0
diff
changeset
|
322 _size -= _noaccess_prefix; |
1fdb98a17101
6716785: implicit null checks not triggering with CompressedOops
coleenp
parents:
0
diff
changeset
|
323 assert((size == _size) && ((uintptr_t)_base % _alignment == 0), |
1fdb98a17101
6716785: implicit null checks not triggering with CompressedOops
coleenp
parents:
0
diff
changeset
|
324 "must be exactly of required size and alignment"); |
1fdb98a17101
6716785: implicit null checks not triggering with CompressedOops
coleenp
parents:
0
diff
changeset
|
325 } |
1fdb98a17101
6716785: implicit null checks not triggering with CompressedOops
coleenp
parents:
0
diff
changeset
|
326 |
1fdb98a17101
6716785: implicit null checks not triggering with CompressedOops
coleenp
parents:
0
diff
changeset
|
327 ReservedHeapSpace::ReservedHeapSpace(size_t size, size_t alignment, |
1fdb98a17101
6716785: implicit null checks not triggering with CompressedOops
coleenp
parents:
0
diff
changeset
|
328 bool large, char* requested_address) : |
1fdb98a17101
6716785: implicit null checks not triggering with CompressedOops
coleenp
parents:
0
diff
changeset
|
329 ReservedSpace(size, alignment, large, |
1fdb98a17101
6716785: implicit null checks not triggering with CompressedOops
coleenp
parents:
0
diff
changeset
|
330 requested_address, |
642
660978a2a31a
6791178: Specialize for zero as the compressed oop vm heap base
kvn
parents:
380
diff
changeset
|
331 (UseCompressedOops && (Universe::narrow_oop_base() != NULL) && |
660978a2a31a
6791178: Specialize for zero as the compressed oop vm heap base
kvn
parents:
380
diff
changeset
|
332 Universe::narrow_oop_use_implicit_null_checks()) ? |
325
93befa083681
6741004: UseLargePages + UseCompressedOops breaks implicit null checking guard page
coleenp
parents:
237
diff
changeset
|
333 lcm(os::vm_page_size(), alignment) : 0) { |
6197 | 334 if (base() > 0) { |
335 MemTracker::record_virtual_memory_type((address)base(), mtJavaHeap); | |
336 } | |
337 | |
237
1fdb98a17101
6716785: implicit null checks not triggering with CompressedOops
coleenp
parents:
0
diff
changeset
|
338 // Only reserved space for the java heap should have a noaccess_prefix |
1fdb98a17101
6716785: implicit null checks not triggering with CompressedOops
coleenp
parents:
0
diff
changeset
|
339 // if using compressed oops. |
1fdb98a17101
6716785: implicit null checks not triggering with CompressedOops
coleenp
parents:
0
diff
changeset
|
340 protect_noaccess_prefix(size); |
1fdb98a17101
6716785: implicit null checks not triggering with CompressedOops
coleenp
parents:
0
diff
changeset
|
341 } |
1fdb98a17101
6716785: implicit null checks not triggering with CompressedOops
coleenp
parents:
0
diff
changeset
|
342 |
656 | 343 // Reserve space for code segment. Same as Java heap only we mark this as |
344 // executable. | |
345 ReservedCodeSpace::ReservedCodeSpace(size_t r_size, | |
346 size_t rs_align, | |
347 bool large) : | |
348 ReservedSpace(r_size, rs_align, large, /*executable*/ true) { | |
6197 | 349 MemTracker::record_virtual_memory_type((address)base(), mtCode); |
656 | 350 } |
351 | |
0 | 352 // VirtualSpace |
353 | |
354 VirtualSpace::VirtualSpace() { | |
355 _low_boundary = NULL; | |
356 _high_boundary = NULL; | |
357 _low = NULL; | |
358 _high = NULL; | |
359 _lower_high = NULL; | |
360 _middle_high = NULL; | |
361 _upper_high = NULL; | |
362 _lower_high_boundary = NULL; | |
363 _middle_high_boundary = NULL; | |
364 _upper_high_boundary = NULL; | |
365 _lower_alignment = 0; | |
366 _middle_alignment = 0; | |
367 _upper_alignment = 0; | |
237
1fdb98a17101
6716785: implicit null checks not triggering with CompressedOops
coleenp
parents:
0
diff
changeset
|
368 _special = false; |
656 | 369 _executable = false; |
0 | 370 } |
371 | |
372 | |
373 bool VirtualSpace::initialize(ReservedSpace rs, size_t committed_size) { | |
12834
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
374 const size_t max_commit_granularity = os::page_size_for_region(rs.size(), rs.size(), 1); |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
375 return initialize_with_granularity(rs, committed_size, max_commit_granularity); |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
376 } |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
377 |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
378 bool VirtualSpace::initialize_with_granularity(ReservedSpace rs, size_t committed_size, size_t max_commit_granularity) { |
0 | 379 if(!rs.is_reserved()) return false; // allocation failed. |
380 assert(_low_boundary == NULL, "VirtualSpace already initialized"); | |
12834
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
381 assert(max_commit_granularity > 0, "Granularity must be non-zero."); |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
382 |
0 | 383 _low_boundary = rs.base(); |
384 _high_boundary = low_boundary() + rs.size(); | |
385 | |
386 _low = low_boundary(); | |
387 _high = low(); | |
388 | |
389 _special = rs.special(); | |
656 | 390 _executable = rs.executable(); |
0 | 391 |
392 // When a VirtualSpace begins life at a large size, make all future expansion | |
393 // and shrinking occur aligned to a granularity of large pages. This avoids | |
394 // fragmentation of physical addresses that inhibits the use of large pages | |
395 // by the OS virtual memory system. Empirically, we see that with a 4MB | |
396 // page size, the only spaces that get handled this way are codecache and | |
397 // the heap itself, both of which provide a substantial performance | |
398 // boost in many benchmarks when covered by large pages. | |
399 // | |
400 // No attempt is made to force large page alignment at the very top and | |
401 // bottom of the space if they are not aligned so already. | |
402 _lower_alignment = os::vm_page_size(); | |
12834
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
403 _middle_alignment = max_commit_granularity; |
0 | 404 _upper_alignment = os::vm_page_size(); |
405 | |
406 // End of each region | |
407 _lower_high_boundary = (char*) round_to((intptr_t) low_boundary(), middle_alignment()); | |
408 _middle_high_boundary = (char*) round_down((intptr_t) high_boundary(), middle_alignment()); | |
409 _upper_high_boundary = high_boundary(); | |
410 | |
411 // High address of each region | |
412 _lower_high = low_boundary(); | |
413 _middle_high = lower_high_boundary(); | |
414 _upper_high = middle_high_boundary(); | |
415 | |
416 // commit to initial size | |
417 if (committed_size > 0) { | |
418 if (!expand_by(committed_size)) { | |
419 return false; | |
420 } | |
421 } | |
422 return true; | |
423 } | |
424 | |
425 | |
426 VirtualSpace::~VirtualSpace() { | |
427 release(); | |
428 } | |
429 | |
430 | |
431 void VirtualSpace::release() { | |
237
1fdb98a17101
6716785: implicit null checks not triggering with CompressedOops
coleenp
parents:
0
diff
changeset
|
432 // This does not release memory it never reserved. |
1fdb98a17101
6716785: implicit null checks not triggering with CompressedOops
coleenp
parents:
0
diff
changeset
|
433 // Caller must release via rs.release(); |
0 | 434 _low_boundary = NULL; |
435 _high_boundary = NULL; | |
436 _low = NULL; | |
437 _high = NULL; | |
438 _lower_high = NULL; | |
439 _middle_high = NULL; | |
440 _upper_high = NULL; | |
441 _lower_high_boundary = NULL; | |
442 _middle_high_boundary = NULL; | |
443 _upper_high_boundary = NULL; | |
444 _lower_alignment = 0; | |
445 _middle_alignment = 0; | |
446 _upper_alignment = 0; | |
447 _special = false; | |
656 | 448 _executable = false; |
0 | 449 } |
450 | |
451 | |
452 size_t VirtualSpace::committed_size() const { | |
453 return pointer_delta(high(), low(), sizeof(char)); | |
454 } | |
455 | |
456 | |
457 size_t VirtualSpace::reserved_size() const { | |
458 return pointer_delta(high_boundary(), low_boundary(), sizeof(char)); | |
459 } | |
460 | |
461 | |
462 size_t VirtualSpace::uncommitted_size() const { | |
463 return reserved_size() - committed_size(); | |
464 } | |
465 | |
12236
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
466 size_t VirtualSpace::actual_committed_size() const { |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
467 // Special VirtualSpaces commit all reserved space up front. |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
468 if (special()) { |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
469 return reserved_size(); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
470 } |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
471 |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
472 size_t committed_low = pointer_delta(_lower_high, _low_boundary, sizeof(char)); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
473 size_t committed_middle = pointer_delta(_middle_high, _lower_high_boundary, sizeof(char)); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
474 size_t committed_high = pointer_delta(_upper_high, _middle_high_boundary, sizeof(char)); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
475 |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
476 #ifdef ASSERT |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
477 size_t lower = pointer_delta(_lower_high_boundary, _low_boundary, sizeof(char)); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
478 size_t middle = pointer_delta(_middle_high_boundary, _lower_high_boundary, sizeof(char)); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
479 size_t upper = pointer_delta(_upper_high_boundary, _middle_high_boundary, sizeof(char)); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
480 |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
481 if (committed_high > 0) { |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
482 assert(committed_low == lower, "Must be"); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
483 assert(committed_middle == middle, "Must be"); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
484 } |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
485 |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
486 if (committed_middle > 0) { |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
487 assert(committed_low == lower, "Must be"); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
488 } |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
489 if (committed_middle < middle) { |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
490 assert(committed_high == 0, "Must be"); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
491 } |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
492 |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
493 if (committed_low < lower) { |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
494 assert(committed_high == 0, "Must be"); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
495 assert(committed_middle == 0, "Must be"); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
496 } |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
497 #endif |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
498 |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
499 return committed_low + committed_middle + committed_high; |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
500 } |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
501 |
0 | 502 |
503 bool VirtualSpace::contains(const void* p) const { | |
504 return low() <= (const char*) p && (const char*) p < high(); | |
505 } | |
506 | |
507 /* | |
508 First we need to determine if a particular virtual space is using large | |
509 pages. This is done at the initialize function and only virtual spaces | |
510 that are larger than LargePageSizeInBytes use large pages. Once we | |
511 have determined this, all expand_by and shrink_by calls must grow and | |
512 shrink by large page size chunks. If a particular request | |
513 is within the current large page, the call to commit and uncommit memory | |
514 can be ignored. In the case that the low and high boundaries of this | |
515 space is not large page aligned, the pages leading to the first large | |
516 page address and the pages after the last large page address must be | |
517 allocated with default pages. | |
518 */ | |
519 bool VirtualSpace::expand_by(size_t bytes, bool pre_touch) { | |
520 if (uncommitted_size() < bytes) return false; | |
521 | |
522 if (special()) { | |
523 // don't commit memory if the entire space is pinned in memory | |
524 _high += bytes; | |
525 return true; | |
526 } | |
527 | |
528 char* previous_high = high(); | |
529 char* unaligned_new_high = high() + bytes; | |
530 assert(unaligned_new_high <= high_boundary(), | |
531 "cannot expand by more than upper boundary"); | |
532 | |
533 // Calculate where the new high for each of the regions should be. If | |
534 // the low_boundary() and high_boundary() are LargePageSizeInBytes aligned | |
535 // then the unaligned lower and upper new highs would be the | |
536 // lower_high() and upper_high() respectively. | |
537 char* unaligned_lower_new_high = | |
538 MIN2(unaligned_new_high, lower_high_boundary()); | |
539 char* unaligned_middle_new_high = | |
540 MIN2(unaligned_new_high, middle_high_boundary()); | |
541 char* unaligned_upper_new_high = | |
542 MIN2(unaligned_new_high, upper_high_boundary()); | |
543 | |
544 // Align the new highs based on the regions alignment. lower and upper | |
545 // alignment will always be default page size. middle alignment will be | |
546 // LargePageSizeInBytes if the actual size of the virtual space is in | |
547 // fact larger than LargePageSizeInBytes. | |
548 char* aligned_lower_new_high = | |
549 (char*) round_to((intptr_t) unaligned_lower_new_high, lower_alignment()); | |
550 char* aligned_middle_new_high = | |
551 (char*) round_to((intptr_t) unaligned_middle_new_high, middle_alignment()); | |
552 char* aligned_upper_new_high = | |
553 (char*) round_to((intptr_t) unaligned_upper_new_high, upper_alignment()); | |
554 | |
555 // Determine which regions need to grow in this expand_by call. | |
556 // If you are growing in the lower region, high() must be in that | |
557 // region so calcuate the size based on high(). For the middle and | |
558 // upper regions, determine the starting point of growth based on the | |
559 // location of high(). By getting the MAX of the region's low address | |
560 // (or the prevoius region's high address) and high(), we can tell if it | |
561 // is an intra or inter region growth. | |
562 size_t lower_needs = 0; | |
563 if (aligned_lower_new_high > lower_high()) { | |
564 lower_needs = | |
565 pointer_delta(aligned_lower_new_high, lower_high(), sizeof(char)); | |
566 } | |
567 size_t middle_needs = 0; | |
568 if (aligned_middle_new_high > middle_high()) { | |
569 middle_needs = | |
570 pointer_delta(aligned_middle_new_high, middle_high(), sizeof(char)); | |
571 } | |
572 size_t upper_needs = 0; | |
573 if (aligned_upper_new_high > upper_high()) { | |
574 upper_needs = | |
575 pointer_delta(aligned_upper_new_high, upper_high(), sizeof(char)); | |
576 } | |
577 | |
578 // Check contiguity. | |
579 assert(low_boundary() <= lower_high() && | |
580 lower_high() <= lower_high_boundary(), | |
581 "high address must be contained within the region"); | |
582 assert(lower_high_boundary() <= middle_high() && | |
583 middle_high() <= middle_high_boundary(), | |
584 "high address must be contained within the region"); | |
585 assert(middle_high_boundary() <= upper_high() && | |
586 upper_high() <= upper_high_boundary(), | |
587 "high address must be contained within the region"); | |
588 | |
589 // Commit regions | |
590 if (lower_needs > 0) { | |
591 assert(low_boundary() <= lower_high() && | |
592 lower_high() + lower_needs <= lower_high_boundary(), | |
593 "must not expand beyond region"); | |
656 | 594 if (!os::commit_memory(lower_high(), lower_needs, _executable)) { |
10969
a837fa3d3f86
8013057: assert(_needs_gc || SafepointSynchronize::is_at_safepoint()) failed: only read at safepoint
dcubed
parents:
10187
diff
changeset
|
595 debug_only(warning("INFO: os::commit_memory(" PTR_FORMAT |
a837fa3d3f86
8013057: assert(_needs_gc || SafepointSynchronize::is_at_safepoint()) failed: only read at safepoint
dcubed
parents:
10187
diff
changeset
|
596 ", lower_needs=" SIZE_FORMAT ", %d) failed", |
a837fa3d3f86
8013057: assert(_needs_gc || SafepointSynchronize::is_at_safepoint()) failed: only read at safepoint
dcubed
parents:
10187
diff
changeset
|
597 lower_high(), lower_needs, _executable);) |
0 | 598 return false; |
599 } else { | |
600 _lower_high += lower_needs; | |
10969
a837fa3d3f86
8013057: assert(_needs_gc || SafepointSynchronize::is_at_safepoint()) failed: only read at safepoint
dcubed
parents:
10187
diff
changeset
|
601 } |
0 | 602 } |
603 if (middle_needs > 0) { | |
604 assert(lower_high_boundary() <= middle_high() && | |
605 middle_high() + middle_needs <= middle_high_boundary(), | |
606 "must not expand beyond region"); | |
656 | 607 if (!os::commit_memory(middle_high(), middle_needs, middle_alignment(), |
608 _executable)) { | |
10969
a837fa3d3f86
8013057: assert(_needs_gc || SafepointSynchronize::is_at_safepoint()) failed: only read at safepoint
dcubed
parents:
10187
diff
changeset
|
609 debug_only(warning("INFO: os::commit_memory(" PTR_FORMAT |
a837fa3d3f86
8013057: assert(_needs_gc || SafepointSynchronize::is_at_safepoint()) failed: only read at safepoint
dcubed
parents:
10187
diff
changeset
|
610 ", middle_needs=" SIZE_FORMAT ", " SIZE_FORMAT |
a837fa3d3f86
8013057: assert(_needs_gc || SafepointSynchronize::is_at_safepoint()) failed: only read at safepoint
dcubed
parents:
10187
diff
changeset
|
611 ", %d) failed", middle_high(), middle_needs, |
a837fa3d3f86
8013057: assert(_needs_gc || SafepointSynchronize::is_at_safepoint()) failed: only read at safepoint
dcubed
parents:
10187
diff
changeset
|
612 middle_alignment(), _executable);) |
0 | 613 return false; |
614 } | |
615 _middle_high += middle_needs; | |
616 } | |
617 if (upper_needs > 0) { | |
618 assert(middle_high_boundary() <= upper_high() && | |
619 upper_high() + upper_needs <= upper_high_boundary(), | |
620 "must not expand beyond region"); | |
656 | 621 if (!os::commit_memory(upper_high(), upper_needs, _executable)) { |
10969
a837fa3d3f86
8013057: assert(_needs_gc || SafepointSynchronize::is_at_safepoint()) failed: only read at safepoint
dcubed
parents:
10187
diff
changeset
|
622 debug_only(warning("INFO: os::commit_memory(" PTR_FORMAT |
a837fa3d3f86
8013057: assert(_needs_gc || SafepointSynchronize::is_at_safepoint()) failed: only read at safepoint
dcubed
parents:
10187
diff
changeset
|
623 ", upper_needs=" SIZE_FORMAT ", %d) failed", |
a837fa3d3f86
8013057: assert(_needs_gc || SafepointSynchronize::is_at_safepoint()) failed: only read at safepoint
dcubed
parents:
10187
diff
changeset
|
624 upper_high(), upper_needs, _executable);) |
0 | 625 return false; |
626 } else { | |
627 _upper_high += upper_needs; | |
628 } | |
629 } | |
630 | |
631 if (pre_touch || AlwaysPreTouch) { | |
632 int vm_ps = os::vm_page_size(); | |
633 for (char* curr = previous_high; | |
634 curr < unaligned_new_high; | |
635 curr += vm_ps) { | |
636 // Note the use of a write here; originally we tried just a read, but | |
637 // since the value read was unused, the optimizer removed the read. | |
638 // If we ever have a concurrent touchahead thread, we'll want to use | |
639 // a read, to avoid the potential of overwriting data (if a mutator | |
640 // thread beats the touchahead thread to a page). There are various | |
641 // ways of making sure this read is not optimized away: for example, | |
642 // generating the code for a read procedure at runtime. | |
643 *curr = 0; | |
644 } | |
645 } | |
646 | |
647 _high += bytes; | |
648 return true; | |
649 } | |
650 | |
651 // A page is uncommitted if the contents of the entire page is deemed unusable. | |
652 // Continue to decrement the high() pointer until it reaches a page boundary | |
653 // in which case that particular page can now be uncommitted. | |
654 void VirtualSpace::shrink_by(size_t size) { | |
655 if (committed_size() < size) | |
656 fatal("Cannot shrink virtual space to negative size"); | |
657 | |
658 if (special()) { | |
659 // don't uncommit if the entire space is pinned in memory | |
660 _high -= size; | |
661 return; | |
662 } | |
663 | |
664 char* unaligned_new_high = high() - size; | |
665 assert(unaligned_new_high >= low_boundary(), "cannot shrink past lower boundary"); | |
666 | |
667 // Calculate new unaligned address | |
668 char* unaligned_upper_new_high = | |
669 MAX2(unaligned_new_high, middle_high_boundary()); | |
670 char* unaligned_middle_new_high = | |
671 MAX2(unaligned_new_high, lower_high_boundary()); | |
672 char* unaligned_lower_new_high = | |
673 MAX2(unaligned_new_high, low_boundary()); | |
674 | |
675 // Align address to region's alignment | |
676 char* aligned_upper_new_high = | |
677 (char*) round_to((intptr_t) unaligned_upper_new_high, upper_alignment()); | |
678 char* aligned_middle_new_high = | |
679 (char*) round_to((intptr_t) unaligned_middle_new_high, middle_alignment()); | |
680 char* aligned_lower_new_high = | |
681 (char*) round_to((intptr_t) unaligned_lower_new_high, lower_alignment()); | |
682 | |
683 // Determine which regions need to shrink | |
684 size_t upper_needs = 0; | |
685 if (aligned_upper_new_high < upper_high()) { | |
686 upper_needs = | |
687 pointer_delta(upper_high(), aligned_upper_new_high, sizeof(char)); | |
688 } | |
689 size_t middle_needs = 0; | |
690 if (aligned_middle_new_high < middle_high()) { | |
691 middle_needs = | |
692 pointer_delta(middle_high(), aligned_middle_new_high, sizeof(char)); | |
693 } | |
694 size_t lower_needs = 0; | |
695 if (aligned_lower_new_high < lower_high()) { | |
696 lower_needs = | |
697 pointer_delta(lower_high(), aligned_lower_new_high, sizeof(char)); | |
698 } | |
699 | |
700 // Check contiguity. | |
701 assert(middle_high_boundary() <= upper_high() && | |
702 upper_high() <= upper_high_boundary(), | |
703 "high address must be contained within the region"); | |
704 assert(lower_high_boundary() <= middle_high() && | |
705 middle_high() <= middle_high_boundary(), | |
706 "high address must be contained within the region"); | |
707 assert(low_boundary() <= lower_high() && | |
708 lower_high() <= lower_high_boundary(), | |
709 "high address must be contained within the region"); | |
710 | |
711 // Uncommit | |
712 if (upper_needs > 0) { | |
713 assert(middle_high_boundary() <= aligned_upper_new_high && | |
714 aligned_upper_new_high + upper_needs <= upper_high_boundary(), | |
715 "must not shrink beyond region"); | |
716 if (!os::uncommit_memory(aligned_upper_new_high, upper_needs)) { | |
717 debug_only(warning("os::uncommit_memory failed")); | |
718 return; | |
719 } else { | |
720 _upper_high -= upper_needs; | |
721 } | |
722 } | |
723 if (middle_needs > 0) { | |
724 assert(lower_high_boundary() <= aligned_middle_new_high && | |
725 aligned_middle_new_high + middle_needs <= middle_high_boundary(), | |
726 "must not shrink beyond region"); | |
727 if (!os::uncommit_memory(aligned_middle_new_high, middle_needs)) { | |
728 debug_only(warning("os::uncommit_memory failed")); | |
729 return; | |
730 } else { | |
731 _middle_high -= middle_needs; | |
732 } | |
733 } | |
734 if (lower_needs > 0) { | |
735 assert(low_boundary() <= aligned_lower_new_high && | |
736 aligned_lower_new_high + lower_needs <= lower_high_boundary(), | |
737 "must not shrink beyond region"); | |
738 if (!os::uncommit_memory(aligned_lower_new_high, lower_needs)) { | |
739 debug_only(warning("os::uncommit_memory failed")); | |
740 return; | |
741 } else { | |
742 _lower_high -= lower_needs; | |
743 } | |
744 } | |
745 | |
746 _high -= size; | |
747 } | |
748 | |
749 #ifndef PRODUCT | |
750 void VirtualSpace::check_for_contiguity() { | |
751 // Check contiguity. | |
752 assert(low_boundary() <= lower_high() && | |
753 lower_high() <= lower_high_boundary(), | |
754 "high address must be contained within the region"); | |
755 assert(lower_high_boundary() <= middle_high() && | |
756 middle_high() <= middle_high_boundary(), | |
757 "high address must be contained within the region"); | |
758 assert(middle_high_boundary() <= upper_high() && | |
759 upper_high() <= upper_high_boundary(), | |
760 "high address must be contained within the region"); | |
761 assert(low() >= low_boundary(), "low"); | |
762 assert(low_boundary() <= lower_high_boundary(), "lower high boundary"); | |
763 assert(upper_high_boundary() <= high_boundary(), "upper high boundary"); | |
764 assert(high() <= upper_high(), "upper high"); | |
765 } | |
766 | |
12240
8c5e6482cbfc
8024752: Log TraceMetadata* output to gclog_or_tty instead of tty
stefank
parents:
12236
diff
changeset
|
767 void VirtualSpace::print_on(outputStream* out) { |
8c5e6482cbfc
8024752: Log TraceMetadata* output to gclog_or_tty instead of tty
stefank
parents:
12236
diff
changeset
|
768 out->print ("Virtual space:"); |
8c5e6482cbfc
8024752: Log TraceMetadata* output to gclog_or_tty instead of tty
stefank
parents:
12236
diff
changeset
|
769 if (special()) out->print(" (pinned in memory)"); |
8c5e6482cbfc
8024752: Log TraceMetadata* output to gclog_or_tty instead of tty
stefank
parents:
12236
diff
changeset
|
770 out->cr(); |
8c5e6482cbfc
8024752: Log TraceMetadata* output to gclog_or_tty instead of tty
stefank
parents:
12236
diff
changeset
|
771 out->print_cr(" - committed: " SIZE_FORMAT, committed_size()); |
8c5e6482cbfc
8024752: Log TraceMetadata* output to gclog_or_tty instead of tty
stefank
parents:
12236
diff
changeset
|
772 out->print_cr(" - reserved: " SIZE_FORMAT, reserved_size()); |
8c5e6482cbfc
8024752: Log TraceMetadata* output to gclog_or_tty instead of tty
stefank
parents:
12236
diff
changeset
|
773 out->print_cr(" - [low, high]: [" INTPTR_FORMAT ", " INTPTR_FORMAT "]", low(), high()); |
8c5e6482cbfc
8024752: Log TraceMetadata* output to gclog_or_tty instead of tty
stefank
parents:
12236
diff
changeset
|
774 out->print_cr(" - [low_b, high_b]: [" INTPTR_FORMAT ", " INTPTR_FORMAT "]", low_boundary(), high_boundary()); |
0 | 775 } |
776 | |
12240
8c5e6482cbfc
8024752: Log TraceMetadata* output to gclog_or_tty instead of tty
stefank
parents:
12236
diff
changeset
|
777 void VirtualSpace::print() { |
8c5e6482cbfc
8024752: Log TraceMetadata* output to gclog_or_tty instead of tty
stefank
parents:
12236
diff
changeset
|
778 print_on(tty); |
8c5e6482cbfc
8024752: Log TraceMetadata* output to gclog_or_tty instead of tty
stefank
parents:
12236
diff
changeset
|
779 } |
12110
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
780 |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
781 /////////////// Unit tests /////////////// |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
782 |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
783 #ifndef PRODUCT |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
784 |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
785 #define test_log(...) \ |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
786 do {\ |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
787 if (VerboseInternalVMTests) { \ |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
788 tty->print_cr(__VA_ARGS__); \ |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
789 tty->flush(); \ |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
790 }\ |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
791 } while (false) |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
792 |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
793 class TestReservedSpace : AllStatic { |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
794 public: |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
795 static void small_page_write(void* addr, size_t size) { |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
796 size_t page_size = os::vm_page_size(); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
797 |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
798 char* end = (char*)addr + size; |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
799 for (char* p = (char*)addr; p < end; p += page_size) { |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
800 *p = 1; |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
801 } |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
802 } |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
803 |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
804 static void release_memory_for_test(ReservedSpace rs) { |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
805 if (rs.special()) { |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
806 guarantee(os::release_memory_special(rs.base(), rs.size()), "Shouldn't fail"); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
807 } else { |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
808 guarantee(os::release_memory(rs.base(), rs.size()), "Shouldn't fail"); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
809 } |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
810 } |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
811 |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
812 static void test_reserved_space1(size_t size, size_t alignment) { |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
813 test_log("test_reserved_space1(%p)", (void*) (uintptr_t) size); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
814 |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
815 assert(is_size_aligned(size, alignment), "Incorrect input parameters"); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
816 |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
817 ReservedSpace rs(size, // size |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
818 alignment, // alignment |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
819 UseLargePages, // large |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
820 NULL, // requested_address |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
821 0); // noacces_prefix |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
822 |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
823 test_log(" rs.special() == %d", rs.special()); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
824 |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
825 assert(rs.base() != NULL, "Must be"); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
826 assert(rs.size() == size, "Must be"); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
827 |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
828 assert(is_ptr_aligned(rs.base(), alignment), "aligned sizes should always give aligned addresses"); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
829 assert(is_size_aligned(rs.size(), alignment), "aligned sizes should always give aligned addresses"); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
830 |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
831 if (rs.special()) { |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
832 small_page_write(rs.base(), size); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
833 } |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
834 |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
835 release_memory_for_test(rs); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
836 } |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
837 |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
838 static void test_reserved_space2(size_t size) { |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
839 test_log("test_reserved_space2(%p)", (void*)(uintptr_t)size); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
840 |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
841 assert(is_size_aligned(size, os::vm_allocation_granularity()), "Must be at least AG aligned"); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
842 |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
843 ReservedSpace rs(size); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
844 |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
845 test_log(" rs.special() == %d", rs.special()); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
846 |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
847 assert(rs.base() != NULL, "Must be"); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
848 assert(rs.size() == size, "Must be"); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
849 |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
850 if (rs.special()) { |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
851 small_page_write(rs.base(), size); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
852 } |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
853 |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
854 release_memory_for_test(rs); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
855 } |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
856 |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
857 static void test_reserved_space3(size_t size, size_t alignment, bool maybe_large) { |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
858 test_log("test_reserved_space3(%p, %p, %d)", |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
859 (void*)(uintptr_t)size, (void*)(uintptr_t)alignment, maybe_large); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
860 |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
861 assert(is_size_aligned(size, os::vm_allocation_granularity()), "Must be at least AG aligned"); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
862 assert(is_size_aligned(size, alignment), "Must be at least aligned against alignment"); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
863 |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
864 bool large = maybe_large && UseLargePages && size >= os::large_page_size(); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
865 |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
866 ReservedSpace rs(size, alignment, large, false); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
867 |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
868 test_log(" rs.special() == %d", rs.special()); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
869 |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
870 assert(rs.base() != NULL, "Must be"); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
871 assert(rs.size() == size, "Must be"); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
872 |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
873 if (rs.special()) { |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
874 small_page_write(rs.base(), size); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
875 } |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
876 |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
877 release_memory_for_test(rs); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
878 } |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
879 |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
880 |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
881 static void test_reserved_space1() { |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
882 size_t size = 2 * 1024 * 1024; |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
883 size_t ag = os::vm_allocation_granularity(); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
884 |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
885 test_reserved_space1(size, ag); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
886 test_reserved_space1(size * 2, ag); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
887 test_reserved_space1(size * 10, ag); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
888 } |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
889 |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
890 static void test_reserved_space2() { |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
891 size_t size = 2 * 1024 * 1024; |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
892 size_t ag = os::vm_allocation_granularity(); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
893 |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
894 test_reserved_space2(size * 1); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
895 test_reserved_space2(size * 2); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
896 test_reserved_space2(size * 10); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
897 test_reserved_space2(ag); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
898 test_reserved_space2(size - ag); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
899 test_reserved_space2(size); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
900 test_reserved_space2(size + ag); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
901 test_reserved_space2(size * 2); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
902 test_reserved_space2(size * 2 - ag); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
903 test_reserved_space2(size * 2 + ag); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
904 test_reserved_space2(size * 3); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
905 test_reserved_space2(size * 3 - ag); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
906 test_reserved_space2(size * 3 + ag); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
907 test_reserved_space2(size * 10); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
908 test_reserved_space2(size * 10 + size / 2); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
909 } |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
910 |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
911 static void test_reserved_space3() { |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
912 size_t ag = os::vm_allocation_granularity(); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
913 |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
914 test_reserved_space3(ag, ag , false); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
915 test_reserved_space3(ag * 2, ag , false); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
916 test_reserved_space3(ag * 3, ag , false); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
917 test_reserved_space3(ag * 2, ag * 2, false); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
918 test_reserved_space3(ag * 4, ag * 2, false); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
919 test_reserved_space3(ag * 8, ag * 2, false); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
920 test_reserved_space3(ag * 4, ag * 4, false); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
921 test_reserved_space3(ag * 8, ag * 4, false); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
922 test_reserved_space3(ag * 16, ag * 4, false); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
923 |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
924 if (UseLargePages) { |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
925 size_t lp = os::large_page_size(); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
926 |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
927 // Without large pages |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
928 test_reserved_space3(lp, ag * 4, false); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
929 test_reserved_space3(lp * 2, ag * 4, false); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
930 test_reserved_space3(lp * 4, ag * 4, false); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
931 test_reserved_space3(lp, lp , false); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
932 test_reserved_space3(lp * 2, lp , false); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
933 test_reserved_space3(lp * 3, lp , false); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
934 test_reserved_space3(lp * 2, lp * 2, false); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
935 test_reserved_space3(lp * 4, lp * 2, false); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
936 test_reserved_space3(lp * 8, lp * 2, false); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
937 |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
938 // With large pages |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
939 test_reserved_space3(lp, ag * 4 , true); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
940 test_reserved_space3(lp * 2, ag * 4, true); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
941 test_reserved_space3(lp * 4, ag * 4, true); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
942 test_reserved_space3(lp, lp , true); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
943 test_reserved_space3(lp * 2, lp , true); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
944 test_reserved_space3(lp * 3, lp , true); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
945 test_reserved_space3(lp * 2, lp * 2, true); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
946 test_reserved_space3(lp * 4, lp * 2, true); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
947 test_reserved_space3(lp * 8, lp * 2, true); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
948 } |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
949 } |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
950 |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
951 static void test_reserved_space() { |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
952 test_reserved_space1(); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
953 test_reserved_space2(); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
954 test_reserved_space3(); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
955 } |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
956 }; |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
957 |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
958 void TestReservedSpace_test() { |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
959 TestReservedSpace::test_reserved_space(); |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
960 } |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
961 |
12236
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
962 #define assert_equals(actual, expected) \ |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
963 assert(actual == expected, \ |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
964 err_msg("Got " SIZE_FORMAT " expected " \ |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
965 SIZE_FORMAT, actual, expected)); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
966 |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
967 #define assert_ge(value1, value2) \ |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
968 assert(value1 >= value2, \ |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
969 err_msg("'" #value1 "': " SIZE_FORMAT " '" \ |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
970 #value2 "': " SIZE_FORMAT, value1, value2)); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
971 |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
972 #define assert_lt(value1, value2) \ |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
973 assert(value1 < value2, \ |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
974 err_msg("'" #value1 "': " SIZE_FORMAT " '" \ |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
975 #value2 "': " SIZE_FORMAT, value1, value2)); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
976 |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
977 |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
978 class TestVirtualSpace : AllStatic { |
12834
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
979 enum TestLargePages { |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
980 Default, |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
981 Disable, |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
982 Reserve, |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
983 Commit |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
984 }; |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
985 |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
986 static ReservedSpace reserve_memory(size_t reserve_size_aligned, TestLargePages mode) { |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
987 switch(mode) { |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
988 default: |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
989 case Default: |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
990 case Reserve: |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
991 return ReservedSpace(reserve_size_aligned); |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
992 case Disable: |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
993 case Commit: |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
994 return ReservedSpace(reserve_size_aligned, |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
995 os::vm_allocation_granularity(), |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
996 /* large */ false, /* exec */ false); |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
997 } |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
998 } |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
999 |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
1000 static bool initialize_virtual_space(VirtualSpace& vs, ReservedSpace rs, TestLargePages mode) { |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
1001 switch(mode) { |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
1002 default: |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
1003 case Default: |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
1004 case Reserve: |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
1005 return vs.initialize(rs, 0); |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
1006 case Disable: |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
1007 return vs.initialize_with_granularity(rs, 0, os::vm_page_size()); |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
1008 case Commit: |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
1009 return vs.initialize_with_granularity(rs, 0, os::page_size_for_region(rs.size(), rs.size(), 1)); |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
1010 } |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
1011 } |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
1012 |
12236
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1013 public: |
12834
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
1014 static void test_virtual_space_actual_committed_space(size_t reserve_size, size_t commit_size, |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
1015 TestLargePages mode = Default) { |
12236
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1016 size_t granularity = os::vm_allocation_granularity(); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1017 size_t reserve_size_aligned = align_size_up(reserve_size, granularity); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1018 |
12834
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
1019 ReservedSpace reserved = reserve_memory(reserve_size_aligned, mode); |
12236
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1020 |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1021 assert(reserved.is_reserved(), "Must be"); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1022 |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1023 VirtualSpace vs; |
12834
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
1024 bool initialized = initialize_virtual_space(vs, reserved, mode); |
12236
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1025 assert(initialized, "Failed to initialize VirtualSpace"); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1026 |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1027 vs.expand_by(commit_size, false); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1028 |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1029 if (vs.special()) { |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1030 assert_equals(vs.actual_committed_size(), reserve_size_aligned); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1031 } else { |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1032 assert_ge(vs.actual_committed_size(), commit_size); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1033 // Approximate the commit granularity. |
12834
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
1034 // Make sure that we don't commit using large pages |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
1035 // if large pages has been disabled for this VirtualSpace. |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
1036 size_t commit_granularity = (mode == Disable || !UseLargePages) ? |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
1037 os::vm_page_size() : os::large_page_size(); |
12236
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1038 assert_lt(vs.actual_committed_size(), commit_size + commit_granularity); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1039 } |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1040 |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1041 reserved.release(); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1042 } |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1043 |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1044 static void test_virtual_space_actual_committed_space_one_large_page() { |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1045 if (!UseLargePages) { |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1046 return; |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1047 } |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1048 |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1049 size_t large_page_size = os::large_page_size(); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1050 |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1051 ReservedSpace reserved(large_page_size, large_page_size, true, false); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1052 |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1053 assert(reserved.is_reserved(), "Must be"); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1054 |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1055 VirtualSpace vs; |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1056 bool initialized = vs.initialize(reserved, 0); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1057 assert(initialized, "Failed to initialize VirtualSpace"); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1058 |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1059 vs.expand_by(large_page_size, false); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1060 |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1061 assert_equals(vs.actual_committed_size(), large_page_size); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1062 |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1063 reserved.release(); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1064 } |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1065 |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1066 static void test_virtual_space_actual_committed_space() { |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1067 test_virtual_space_actual_committed_space(4 * K, 0); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1068 test_virtual_space_actual_committed_space(4 * K, 4 * K); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1069 test_virtual_space_actual_committed_space(8 * K, 0); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1070 test_virtual_space_actual_committed_space(8 * K, 4 * K); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1071 test_virtual_space_actual_committed_space(8 * K, 8 * K); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1072 test_virtual_space_actual_committed_space(12 * K, 0); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1073 test_virtual_space_actual_committed_space(12 * K, 4 * K); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1074 test_virtual_space_actual_committed_space(12 * K, 8 * K); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1075 test_virtual_space_actual_committed_space(12 * K, 12 * K); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1076 test_virtual_space_actual_committed_space(64 * K, 0); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1077 test_virtual_space_actual_committed_space(64 * K, 32 * K); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1078 test_virtual_space_actual_committed_space(64 * K, 64 * K); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1079 test_virtual_space_actual_committed_space(2 * M, 0); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1080 test_virtual_space_actual_committed_space(2 * M, 4 * K); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1081 test_virtual_space_actual_committed_space(2 * M, 64 * K); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1082 test_virtual_space_actual_committed_space(2 * M, 1 * M); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1083 test_virtual_space_actual_committed_space(2 * M, 2 * M); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1084 test_virtual_space_actual_committed_space(10 * M, 0); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1085 test_virtual_space_actual_committed_space(10 * M, 4 * K); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1086 test_virtual_space_actual_committed_space(10 * M, 8 * K); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1087 test_virtual_space_actual_committed_space(10 * M, 1 * M); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1088 test_virtual_space_actual_committed_space(10 * M, 2 * M); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1089 test_virtual_space_actual_committed_space(10 * M, 5 * M); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1090 test_virtual_space_actual_committed_space(10 * M, 10 * M); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1091 } |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1092 |
12834
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
1093 static void test_virtual_space_disable_large_pages() { |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
1094 if (!UseLargePages) { |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
1095 return; |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
1096 } |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
1097 // These test cases verify that if we force VirtualSpace to disable large pages |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
1098 test_virtual_space_actual_committed_space(10 * M, 0, Disable); |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
1099 test_virtual_space_actual_committed_space(10 * M, 4 * K, Disable); |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
1100 test_virtual_space_actual_committed_space(10 * M, 8 * K, Disable); |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
1101 test_virtual_space_actual_committed_space(10 * M, 1 * M, Disable); |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
1102 test_virtual_space_actual_committed_space(10 * M, 2 * M, Disable); |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
1103 test_virtual_space_actual_committed_space(10 * M, 5 * M, Disable); |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
1104 test_virtual_space_actual_committed_space(10 * M, 10 * M, Disable); |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
1105 |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
1106 test_virtual_space_actual_committed_space(10 * M, 0, Reserve); |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
1107 test_virtual_space_actual_committed_space(10 * M, 4 * K, Reserve); |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
1108 test_virtual_space_actual_committed_space(10 * M, 8 * K, Reserve); |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
1109 test_virtual_space_actual_committed_space(10 * M, 1 * M, Reserve); |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
1110 test_virtual_space_actual_committed_space(10 * M, 2 * M, Reserve); |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
1111 test_virtual_space_actual_committed_space(10 * M, 5 * M, Reserve); |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
1112 test_virtual_space_actual_committed_space(10 * M, 10 * M, Reserve); |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
1113 |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
1114 test_virtual_space_actual_committed_space(10 * M, 0, Commit); |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
1115 test_virtual_space_actual_committed_space(10 * M, 4 * K, Commit); |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
1116 test_virtual_space_actual_committed_space(10 * M, 8 * K, Commit); |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
1117 test_virtual_space_actual_committed_space(10 * M, 1 * M, Commit); |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
1118 test_virtual_space_actual_committed_space(10 * M, 2 * M, Commit); |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
1119 test_virtual_space_actual_committed_space(10 * M, 5 * M, Commit); |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
1120 test_virtual_space_actual_committed_space(10 * M, 10 * M, Commit); |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
1121 } |
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
1122 |
12236
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1123 static void test_virtual_space() { |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1124 test_virtual_space_actual_committed_space(); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1125 test_virtual_space_actual_committed_space_one_large_page(); |
12834
04b18a42c2f3
8025526: VirtualSpace should support per-instance disabling of large pages
mgerdin
parents:
12240
diff
changeset
|
1126 test_virtual_space_disable_large_pages(); |
12236
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1127 } |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1128 }; |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1129 |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1130 void TestVirtualSpace_test() { |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1131 TestVirtualSpace::test_virtual_space(); |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1132 } |
c4c768305a8f
8024638: Count and expose the amount of committed memory in the metaspaces
stefank
parents:
12110
diff
changeset
|
1133 |
12110
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
1134 #endif // PRODUCT |
4c84d351cca9
8007074: SIGSEGV at ParMarkBitMap::verify_clear()
stefank
parents:
10969
diff
changeset
|
1135 |
0 | 1136 #endif |