Sat, 28 Mar 2009 15:47:29 -0700
6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
Summary: When using compressed oops, rather than chaining the overflowed grey objects' pre-images through their klass words, we use GC-worker thread-local overflow stacks.
Reviewed-by: jcoomes, jmasa
duke@435 | 1 | /* |
xdono@772 | 2 | * Copyright 1997-2008 Sun Microsystems, Inc. All Rights Reserved. |
duke@435 | 3 | * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
duke@435 | 4 | * |
duke@435 | 5 | * This code is free software; you can redistribute it and/or modify it |
duke@435 | 6 | * under the terms of the GNU General Public License version 2 only, as |
duke@435 | 7 | * published by the Free Software Foundation. |
duke@435 | 8 | * |
duke@435 | 9 | * This code is distributed in the hope that it will be useful, but WITHOUT |
duke@435 | 10 | * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
duke@435 | 11 | * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
duke@435 | 12 | * version 2 for more details (a copy is included in the LICENSE file that |
duke@435 | 13 | * accompanied this code). |
duke@435 | 14 | * |
duke@435 | 15 | * You should have received a copy of the GNU General Public License version |
duke@435 | 16 | * 2 along with this work; if not, write to the Free Software Foundation, |
duke@435 | 17 | * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
duke@435 | 18 | * |
duke@435 | 19 | * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara, |
duke@435 | 20 | * CA 95054 USA or visit www.sun.com if you need additional information or |
duke@435 | 21 | * have any questions. |
duke@435 | 22 | * |
duke@435 | 23 | */ |
duke@435 | 24 | |
duke@435 | 25 | #include "incls/_precompiled.incl" |
duke@435 | 26 | #include "incls/_virtualspace.cpp.incl" |
duke@435 | 27 | |
duke@435 | 28 | |
duke@435 | 29 | // ReservedSpace |
duke@435 | 30 | ReservedSpace::ReservedSpace(size_t size) { |
coleenp@672 | 31 | initialize(size, 0, false, NULL, 0); |
duke@435 | 32 | } |
duke@435 | 33 | |
duke@435 | 34 | ReservedSpace::ReservedSpace(size_t size, size_t alignment, |
coleenp@672 | 35 | bool large, |
coleenp@672 | 36 | char* requested_address, |
coleenp@672 | 37 | const size_t noaccess_prefix) { |
coleenp@672 | 38 | initialize(size+noaccess_prefix, alignment, large, requested_address, |
coleenp@672 | 39 | noaccess_prefix); |
duke@435 | 40 | } |
duke@435 | 41 | |
duke@435 | 42 | char * |
duke@435 | 43 | ReservedSpace::align_reserved_region(char* addr, const size_t len, |
duke@435 | 44 | const size_t prefix_size, |
duke@435 | 45 | const size_t prefix_align, |
duke@435 | 46 | const size_t suffix_size, |
duke@435 | 47 | const size_t suffix_align) |
duke@435 | 48 | { |
duke@435 | 49 | assert(addr != NULL, "sanity"); |
duke@435 | 50 | const size_t required_size = prefix_size + suffix_size; |
duke@435 | 51 | assert(len >= required_size, "len too small"); |
duke@435 | 52 | |
duke@435 | 53 | const size_t s = size_t(addr); |
duke@435 | 54 | const size_t beg_ofs = s + prefix_size & suffix_align - 1; |
duke@435 | 55 | const size_t beg_delta = beg_ofs == 0 ? 0 : suffix_align - beg_ofs; |
duke@435 | 56 | |
duke@435 | 57 | if (len < beg_delta + required_size) { |
duke@435 | 58 | return NULL; // Cannot do proper alignment. |
duke@435 | 59 | } |
duke@435 | 60 | const size_t end_delta = len - (beg_delta + required_size); |
duke@435 | 61 | |
duke@435 | 62 | if (beg_delta != 0) { |
duke@435 | 63 | os::release_memory(addr, beg_delta); |
duke@435 | 64 | } |
duke@435 | 65 | |
duke@435 | 66 | if (end_delta != 0) { |
duke@435 | 67 | char* release_addr = (char*) (s + beg_delta + required_size); |
duke@435 | 68 | os::release_memory(release_addr, end_delta); |
duke@435 | 69 | } |
duke@435 | 70 | |
duke@435 | 71 | return (char*) (s + beg_delta); |
duke@435 | 72 | } |
duke@435 | 73 | |
duke@435 | 74 | char* ReservedSpace::reserve_and_align(const size_t reserve_size, |
duke@435 | 75 | const size_t prefix_size, |
duke@435 | 76 | const size_t prefix_align, |
duke@435 | 77 | const size_t suffix_size, |
duke@435 | 78 | const size_t suffix_align) |
duke@435 | 79 | { |
duke@435 | 80 | assert(reserve_size > prefix_size + suffix_size, "should not be here"); |
duke@435 | 81 | |
duke@435 | 82 | char* raw_addr = os::reserve_memory(reserve_size, NULL, prefix_align); |
duke@435 | 83 | if (raw_addr == NULL) return NULL; |
duke@435 | 84 | |
duke@435 | 85 | char* result = align_reserved_region(raw_addr, reserve_size, prefix_size, |
duke@435 | 86 | prefix_align, suffix_size, |
duke@435 | 87 | suffix_align); |
duke@435 | 88 | if (result == NULL && !os::release_memory(raw_addr, reserve_size)) { |
duke@435 | 89 | fatal("os::release_memory failed"); |
duke@435 | 90 | } |
duke@435 | 91 | |
duke@435 | 92 | #ifdef ASSERT |
duke@435 | 93 | if (result != NULL) { |
duke@435 | 94 | const size_t raw = size_t(raw_addr); |
duke@435 | 95 | const size_t res = size_t(result); |
duke@435 | 96 | assert(res >= raw, "alignment decreased start addr"); |
duke@435 | 97 | assert(res + prefix_size + suffix_size <= raw + reserve_size, |
duke@435 | 98 | "alignment increased end addr"); |
duke@435 | 99 | assert((res & prefix_align - 1) == 0, "bad alignment of prefix"); |
duke@435 | 100 | assert((res + prefix_size & suffix_align - 1) == 0, |
duke@435 | 101 | "bad alignment of suffix"); |
duke@435 | 102 | } |
duke@435 | 103 | #endif |
duke@435 | 104 | |
duke@435 | 105 | return result; |
duke@435 | 106 | } |
duke@435 | 107 | |
duke@435 | 108 | ReservedSpace::ReservedSpace(const size_t prefix_size, |
duke@435 | 109 | const size_t prefix_align, |
duke@435 | 110 | const size_t suffix_size, |
coleenp@672 | 111 | const size_t suffix_align, |
kvn@1077 | 112 | char* requested_address, |
coleenp@672 | 113 | const size_t noaccess_prefix) |
duke@435 | 114 | { |
duke@435 | 115 | assert(prefix_size != 0, "sanity"); |
duke@435 | 116 | assert(prefix_align != 0, "sanity"); |
duke@435 | 117 | assert(suffix_size != 0, "sanity"); |
duke@435 | 118 | assert(suffix_align != 0, "sanity"); |
duke@435 | 119 | assert((prefix_size & prefix_align - 1) == 0, |
duke@435 | 120 | "prefix_size not divisible by prefix_align"); |
duke@435 | 121 | assert((suffix_size & suffix_align - 1) == 0, |
duke@435 | 122 | "suffix_size not divisible by suffix_align"); |
duke@435 | 123 | assert((suffix_align & prefix_align - 1) == 0, |
duke@435 | 124 | "suffix_align not divisible by prefix_align"); |
duke@435 | 125 | |
coleenp@672 | 126 | // Add in noaccess_prefix to prefix_size; |
coleenp@672 | 127 | const size_t adjusted_prefix_size = prefix_size + noaccess_prefix; |
coleenp@672 | 128 | const size_t size = adjusted_prefix_size + suffix_size; |
coleenp@672 | 129 | |
duke@435 | 130 | // On systems where the entire region has to be reserved and committed up |
duke@435 | 131 | // front, the compound alignment normally done by this method is unnecessary. |
duke@435 | 132 | const bool try_reserve_special = UseLargePages && |
duke@435 | 133 | prefix_align == os::large_page_size(); |
duke@435 | 134 | if (!os::can_commit_large_page_memory() && try_reserve_special) { |
kvn@1077 | 135 | initialize(size, prefix_align, true, requested_address, noaccess_prefix); |
duke@435 | 136 | return; |
duke@435 | 137 | } |
duke@435 | 138 | |
duke@435 | 139 | _base = NULL; |
duke@435 | 140 | _size = 0; |
duke@435 | 141 | _alignment = 0; |
duke@435 | 142 | _special = false; |
coleenp@672 | 143 | _noaccess_prefix = 0; |
coleenp@672 | 144 | |
coleenp@672 | 145 | // Assert that if noaccess_prefix is used, it is the same as prefix_align. |
coleenp@672 | 146 | assert(noaccess_prefix == 0 || |
coleenp@672 | 147 | noaccess_prefix == prefix_align, "noaccess prefix wrong"); |
duke@435 | 148 | |
duke@435 | 149 | // Optimistically try to reserve the exact size needed. |
kvn@1077 | 150 | char* addr; |
kvn@1077 | 151 | if (requested_address != 0) { |
kvn@1077 | 152 | addr = os::attempt_reserve_memory_at(size, |
kvn@1077 | 153 | requested_address-noaccess_prefix); |
kvn@1077 | 154 | } else { |
kvn@1077 | 155 | addr = os::reserve_memory(size, NULL, prefix_align); |
kvn@1077 | 156 | } |
duke@435 | 157 | if (addr == NULL) return; |
duke@435 | 158 | |
duke@435 | 159 | // Check whether the result has the needed alignment (unlikely unless |
duke@435 | 160 | // prefix_align == suffix_align). |
coleenp@672 | 161 | const size_t ofs = size_t(addr) + adjusted_prefix_size & suffix_align - 1; |
duke@435 | 162 | if (ofs != 0) { |
duke@435 | 163 | // Wrong alignment. Release, allocate more space and do manual alignment. |
duke@435 | 164 | // |
duke@435 | 165 | // On most operating systems, another allocation with a somewhat larger size |
duke@435 | 166 | // will return an address "close to" that of the previous allocation. The |
duke@435 | 167 | // result is often the same address (if the kernel hands out virtual |
duke@435 | 168 | // addresses from low to high), or an address that is offset by the increase |
duke@435 | 169 | // in size. Exploit that to minimize the amount of extra space requested. |
duke@435 | 170 | if (!os::release_memory(addr, size)) { |
duke@435 | 171 | fatal("os::release_memory failed"); |
duke@435 | 172 | } |
duke@435 | 173 | |
duke@435 | 174 | const size_t extra = MAX2(ofs, suffix_align - ofs); |
coleenp@672 | 175 | addr = reserve_and_align(size + extra, adjusted_prefix_size, prefix_align, |
duke@435 | 176 | suffix_size, suffix_align); |
duke@435 | 177 | if (addr == NULL) { |
duke@435 | 178 | // Try an even larger region. If this fails, address space is exhausted. |
coleenp@672 | 179 | addr = reserve_and_align(size + suffix_align, adjusted_prefix_size, |
duke@435 | 180 | prefix_align, suffix_size, suffix_align); |
duke@435 | 181 | } |
duke@435 | 182 | } |
duke@435 | 183 | |
duke@435 | 184 | _base = addr; |
duke@435 | 185 | _size = size; |
duke@435 | 186 | _alignment = prefix_align; |
coleenp@672 | 187 | _noaccess_prefix = noaccess_prefix; |
duke@435 | 188 | } |
duke@435 | 189 | |
duke@435 | 190 | void ReservedSpace::initialize(size_t size, size_t alignment, bool large, |
coleenp@672 | 191 | char* requested_address, |
coleenp@672 | 192 | const size_t noaccess_prefix) { |
duke@435 | 193 | const size_t granularity = os::vm_allocation_granularity(); |
duke@435 | 194 | assert((size & granularity - 1) == 0, |
duke@435 | 195 | "size not aligned to os::vm_allocation_granularity()"); |
duke@435 | 196 | assert((alignment & granularity - 1) == 0, |
duke@435 | 197 | "alignment not aligned to os::vm_allocation_granularity()"); |
duke@435 | 198 | assert(alignment == 0 || is_power_of_2((intptr_t)alignment), |
duke@435 | 199 | "not a power of 2"); |
duke@435 | 200 | |
duke@435 | 201 | _base = NULL; |
duke@435 | 202 | _size = 0; |
duke@435 | 203 | _special = false; |
duke@435 | 204 | _alignment = 0; |
coleenp@672 | 205 | _noaccess_prefix = 0; |
duke@435 | 206 | if (size == 0) { |
duke@435 | 207 | return; |
duke@435 | 208 | } |
duke@435 | 209 | |
duke@435 | 210 | // If OS doesn't support demand paging for large page memory, we need |
duke@435 | 211 | // to use reserve_memory_special() to reserve and pin the entire region. |
duke@435 | 212 | bool special = large && !os::can_commit_large_page_memory(); |
duke@435 | 213 | char* base = NULL; |
duke@435 | 214 | |
duke@435 | 215 | if (special) { |
duke@435 | 216 | |
kvn@1077 | 217 | base = os::reserve_memory_special(size, requested_address); |
duke@435 | 218 | |
duke@435 | 219 | if (base != NULL) { |
duke@435 | 220 | // Check alignment constraints |
duke@435 | 221 | if (alignment > 0) { |
duke@435 | 222 | assert((uintptr_t) base % alignment == 0, |
duke@435 | 223 | "Large pages returned a non-aligned address"); |
duke@435 | 224 | } |
duke@435 | 225 | _special = true; |
duke@435 | 226 | } else { |
duke@435 | 227 | // failed; try to reserve regular memory below |
duke@435 | 228 | } |
duke@435 | 229 | } |
duke@435 | 230 | |
duke@435 | 231 | if (base == NULL) { |
duke@435 | 232 | // Optimistically assume that the OSes returns an aligned base pointer. |
duke@435 | 233 | // When reserving a large address range, most OSes seem to align to at |
duke@435 | 234 | // least 64K. |
duke@435 | 235 | |
duke@435 | 236 | // If the memory was requested at a particular address, use |
duke@435 | 237 | // os::attempt_reserve_memory_at() to avoid over mapping something |
duke@435 | 238 | // important. If available space is not detected, return NULL. |
duke@435 | 239 | |
duke@435 | 240 | if (requested_address != 0) { |
coleenp@672 | 241 | base = os::attempt_reserve_memory_at(size, |
coleenp@672 | 242 | requested_address-noaccess_prefix); |
duke@435 | 243 | } else { |
duke@435 | 244 | base = os::reserve_memory(size, NULL, alignment); |
duke@435 | 245 | } |
duke@435 | 246 | |
duke@435 | 247 | if (base == NULL) return; |
duke@435 | 248 | |
duke@435 | 249 | // Check alignment constraints |
duke@435 | 250 | if (alignment > 0 && ((size_t)base & alignment - 1) != 0) { |
duke@435 | 251 | // Base not aligned, retry |
duke@435 | 252 | if (!os::release_memory(base, size)) fatal("os::release_memory failed"); |
duke@435 | 253 | // Reserve size large enough to do manual alignment and |
duke@435 | 254 | // increase size to a multiple of the desired alignment |
duke@435 | 255 | size = align_size_up(size, alignment); |
duke@435 | 256 | size_t extra_size = size + alignment; |
ysr@777 | 257 | do { |
ysr@777 | 258 | char* extra_base = os::reserve_memory(extra_size, NULL, alignment); |
ysr@777 | 259 | if (extra_base == NULL) return; |
ysr@777 | 260 | // Do manual alignement |
ysr@777 | 261 | base = (char*) align_size_up((uintptr_t) extra_base, alignment); |
ysr@777 | 262 | assert(base >= extra_base, "just checking"); |
ysr@777 | 263 | // Re-reserve the region at the aligned base address. |
ysr@777 | 264 | os::release_memory(extra_base, extra_size); |
ysr@777 | 265 | base = os::reserve_memory(size, base); |
ysr@777 | 266 | } while (base == NULL); |
duke@435 | 267 | } |
duke@435 | 268 | } |
duke@435 | 269 | // Done |
duke@435 | 270 | _base = base; |
duke@435 | 271 | _size = size; |
duke@435 | 272 | _alignment = MAX2(alignment, (size_t) os::vm_page_size()); |
coleenp@672 | 273 | _noaccess_prefix = noaccess_prefix; |
coleenp@672 | 274 | |
coleenp@672 | 275 | // Assert that if noaccess_prefix is used, it is the same as alignment. |
coleenp@672 | 276 | assert(noaccess_prefix == 0 || |
coleenp@672 | 277 | noaccess_prefix == _alignment, "noaccess prefix wrong"); |
duke@435 | 278 | |
duke@435 | 279 | assert(markOopDesc::encode_pointer_as_mark(_base)->decode_pointer() == _base, |
duke@435 | 280 | "area must be distinguisable from marks for mark-sweep"); |
duke@435 | 281 | assert(markOopDesc::encode_pointer_as_mark(&_base[size])->decode_pointer() == &_base[size], |
duke@435 | 282 | "area must be distinguisable from marks for mark-sweep"); |
duke@435 | 283 | } |
duke@435 | 284 | |
duke@435 | 285 | |
duke@435 | 286 | ReservedSpace::ReservedSpace(char* base, size_t size, size_t alignment, |
duke@435 | 287 | bool special) { |
duke@435 | 288 | assert((size % os::vm_allocation_granularity()) == 0, |
duke@435 | 289 | "size not allocation aligned"); |
duke@435 | 290 | _base = base; |
duke@435 | 291 | _size = size; |
duke@435 | 292 | _alignment = alignment; |
coleenp@672 | 293 | _noaccess_prefix = 0; |
duke@435 | 294 | _special = special; |
duke@435 | 295 | } |
duke@435 | 296 | |
duke@435 | 297 | |
duke@435 | 298 | ReservedSpace ReservedSpace::first_part(size_t partition_size, size_t alignment, |
duke@435 | 299 | bool split, bool realloc) { |
duke@435 | 300 | assert(partition_size <= size(), "partition failed"); |
duke@435 | 301 | if (split) { |
duke@435 | 302 | os::split_reserved_memory(_base, _size, partition_size, realloc); |
duke@435 | 303 | } |
duke@435 | 304 | ReservedSpace result(base(), partition_size, alignment, special()); |
duke@435 | 305 | return result; |
duke@435 | 306 | } |
duke@435 | 307 | |
duke@435 | 308 | |
duke@435 | 309 | ReservedSpace |
duke@435 | 310 | ReservedSpace::last_part(size_t partition_size, size_t alignment) { |
duke@435 | 311 | assert(partition_size <= size(), "partition failed"); |
duke@435 | 312 | ReservedSpace result(base() + partition_size, size() - partition_size, |
duke@435 | 313 | alignment, special()); |
duke@435 | 314 | return result; |
duke@435 | 315 | } |
duke@435 | 316 | |
duke@435 | 317 | |
duke@435 | 318 | size_t ReservedSpace::page_align_size_up(size_t size) { |
duke@435 | 319 | return align_size_up(size, os::vm_page_size()); |
duke@435 | 320 | } |
duke@435 | 321 | |
duke@435 | 322 | |
duke@435 | 323 | size_t ReservedSpace::page_align_size_down(size_t size) { |
duke@435 | 324 | return align_size_down(size, os::vm_page_size()); |
duke@435 | 325 | } |
duke@435 | 326 | |
duke@435 | 327 | |
duke@435 | 328 | size_t ReservedSpace::allocation_align_size_up(size_t size) { |
duke@435 | 329 | return align_size_up(size, os::vm_allocation_granularity()); |
duke@435 | 330 | } |
duke@435 | 331 | |
duke@435 | 332 | |
duke@435 | 333 | size_t ReservedSpace::allocation_align_size_down(size_t size) { |
duke@435 | 334 | return align_size_down(size, os::vm_allocation_granularity()); |
duke@435 | 335 | } |
duke@435 | 336 | |
duke@435 | 337 | |
duke@435 | 338 | void ReservedSpace::release() { |
duke@435 | 339 | if (is_reserved()) { |
coleenp@672 | 340 | char *real_base = _base - _noaccess_prefix; |
coleenp@672 | 341 | const size_t real_size = _size + _noaccess_prefix; |
duke@435 | 342 | if (special()) { |
coleenp@672 | 343 | os::release_memory_special(real_base, real_size); |
duke@435 | 344 | } else{ |
coleenp@672 | 345 | os::release_memory(real_base, real_size); |
duke@435 | 346 | } |
duke@435 | 347 | _base = NULL; |
duke@435 | 348 | _size = 0; |
coleenp@672 | 349 | _noaccess_prefix = 0; |
duke@435 | 350 | _special = false; |
duke@435 | 351 | } |
duke@435 | 352 | } |
duke@435 | 353 | |
coleenp@672 | 354 | void ReservedSpace::protect_noaccess_prefix(const size_t size) { |
coleenp@672 | 355 | // If there is noaccess prefix, return. |
coleenp@672 | 356 | if (_noaccess_prefix == 0) return; |
coleenp@672 | 357 | |
coleenp@672 | 358 | assert(_noaccess_prefix >= (size_t)os::vm_page_size(), |
coleenp@672 | 359 | "must be at least page size big"); |
coleenp@672 | 360 | |
coleenp@672 | 361 | // Protect memory at the base of the allocated region. |
coleenp@672 | 362 | // If special, the page was committed (only matters on windows) |
coleenp@672 | 363 | if (!os::protect_memory(_base, _noaccess_prefix, os::MEM_PROT_NONE, |
coleenp@672 | 364 | _special)) { |
coleenp@672 | 365 | fatal("cannot protect protection page"); |
coleenp@672 | 366 | } |
coleenp@672 | 367 | |
coleenp@672 | 368 | _base += _noaccess_prefix; |
coleenp@672 | 369 | _size -= _noaccess_prefix; |
coleenp@672 | 370 | assert((size == _size) && ((uintptr_t)_base % _alignment == 0), |
coleenp@672 | 371 | "must be exactly of required size and alignment"); |
coleenp@672 | 372 | } |
coleenp@672 | 373 | |
coleenp@672 | 374 | ReservedHeapSpace::ReservedHeapSpace(size_t size, size_t alignment, |
coleenp@672 | 375 | bool large, char* requested_address) : |
coleenp@672 | 376 | ReservedSpace(size, alignment, large, |
coleenp@672 | 377 | requested_address, |
kvn@1077 | 378 | (UseCompressedOops && (Universe::narrow_oop_base() != NULL) && |
kvn@1077 | 379 | Universe::narrow_oop_use_implicit_null_checks()) ? |
coleenp@760 | 380 | lcm(os::vm_page_size(), alignment) : 0) { |
coleenp@672 | 381 | // Only reserved space for the java heap should have a noaccess_prefix |
coleenp@672 | 382 | // if using compressed oops. |
coleenp@672 | 383 | protect_noaccess_prefix(size); |
coleenp@672 | 384 | } |
coleenp@672 | 385 | |
coleenp@672 | 386 | ReservedHeapSpace::ReservedHeapSpace(const size_t prefix_size, |
coleenp@672 | 387 | const size_t prefix_align, |
coleenp@672 | 388 | const size_t suffix_size, |
kvn@1077 | 389 | const size_t suffix_align, |
kvn@1077 | 390 | char* requested_address) : |
coleenp@672 | 391 | ReservedSpace(prefix_size, prefix_align, suffix_size, suffix_align, |
kvn@1077 | 392 | requested_address, |
kvn@1077 | 393 | (UseCompressedOops && (Universe::narrow_oop_base() != NULL) && |
kvn@1077 | 394 | Universe::narrow_oop_use_implicit_null_checks()) ? |
coleenp@760 | 395 | lcm(os::vm_page_size(), prefix_align) : 0) { |
coleenp@672 | 396 | protect_noaccess_prefix(prefix_size+suffix_size); |
coleenp@672 | 397 | } |
duke@435 | 398 | |
duke@435 | 399 | // VirtualSpace |
duke@435 | 400 | |
duke@435 | 401 | VirtualSpace::VirtualSpace() { |
duke@435 | 402 | _low_boundary = NULL; |
duke@435 | 403 | _high_boundary = NULL; |
duke@435 | 404 | _low = NULL; |
duke@435 | 405 | _high = NULL; |
duke@435 | 406 | _lower_high = NULL; |
duke@435 | 407 | _middle_high = NULL; |
duke@435 | 408 | _upper_high = NULL; |
duke@435 | 409 | _lower_high_boundary = NULL; |
duke@435 | 410 | _middle_high_boundary = NULL; |
duke@435 | 411 | _upper_high_boundary = NULL; |
duke@435 | 412 | _lower_alignment = 0; |
duke@435 | 413 | _middle_alignment = 0; |
duke@435 | 414 | _upper_alignment = 0; |
coleenp@672 | 415 | _special = false; |
duke@435 | 416 | } |
duke@435 | 417 | |
duke@435 | 418 | |
duke@435 | 419 | bool VirtualSpace::initialize(ReservedSpace rs, size_t committed_size) { |
duke@435 | 420 | if(!rs.is_reserved()) return false; // allocation failed. |
duke@435 | 421 | assert(_low_boundary == NULL, "VirtualSpace already initialized"); |
duke@435 | 422 | _low_boundary = rs.base(); |
duke@435 | 423 | _high_boundary = low_boundary() + rs.size(); |
duke@435 | 424 | |
duke@435 | 425 | _low = low_boundary(); |
duke@435 | 426 | _high = low(); |
duke@435 | 427 | |
duke@435 | 428 | _special = rs.special(); |
duke@435 | 429 | |
duke@435 | 430 | // When a VirtualSpace begins life at a large size, make all future expansion |
duke@435 | 431 | // and shrinking occur aligned to a granularity of large pages. This avoids |
duke@435 | 432 | // fragmentation of physical addresses that inhibits the use of large pages |
duke@435 | 433 | // by the OS virtual memory system. Empirically, we see that with a 4MB |
duke@435 | 434 | // page size, the only spaces that get handled this way are codecache and |
duke@435 | 435 | // the heap itself, both of which provide a substantial performance |
duke@435 | 436 | // boost in many benchmarks when covered by large pages. |
duke@435 | 437 | // |
duke@435 | 438 | // No attempt is made to force large page alignment at the very top and |
duke@435 | 439 | // bottom of the space if they are not aligned so already. |
duke@435 | 440 | _lower_alignment = os::vm_page_size(); |
duke@435 | 441 | _middle_alignment = os::page_size_for_region(rs.size(), rs.size(), 1); |
duke@435 | 442 | _upper_alignment = os::vm_page_size(); |
duke@435 | 443 | |
duke@435 | 444 | // End of each region |
duke@435 | 445 | _lower_high_boundary = (char*) round_to((intptr_t) low_boundary(), middle_alignment()); |
duke@435 | 446 | _middle_high_boundary = (char*) round_down((intptr_t) high_boundary(), middle_alignment()); |
duke@435 | 447 | _upper_high_boundary = high_boundary(); |
duke@435 | 448 | |
duke@435 | 449 | // High address of each region |
duke@435 | 450 | _lower_high = low_boundary(); |
duke@435 | 451 | _middle_high = lower_high_boundary(); |
duke@435 | 452 | _upper_high = middle_high_boundary(); |
duke@435 | 453 | |
duke@435 | 454 | // commit to initial size |
duke@435 | 455 | if (committed_size > 0) { |
duke@435 | 456 | if (!expand_by(committed_size)) { |
duke@435 | 457 | return false; |
duke@435 | 458 | } |
duke@435 | 459 | } |
duke@435 | 460 | return true; |
duke@435 | 461 | } |
duke@435 | 462 | |
duke@435 | 463 | |
duke@435 | 464 | VirtualSpace::~VirtualSpace() { |
duke@435 | 465 | release(); |
duke@435 | 466 | } |
duke@435 | 467 | |
duke@435 | 468 | |
duke@435 | 469 | void VirtualSpace::release() { |
coleenp@672 | 470 | // This does not release memory it never reserved. |
coleenp@672 | 471 | // Caller must release via rs.release(); |
duke@435 | 472 | _low_boundary = NULL; |
duke@435 | 473 | _high_boundary = NULL; |
duke@435 | 474 | _low = NULL; |
duke@435 | 475 | _high = NULL; |
duke@435 | 476 | _lower_high = NULL; |
duke@435 | 477 | _middle_high = NULL; |
duke@435 | 478 | _upper_high = NULL; |
duke@435 | 479 | _lower_high_boundary = NULL; |
duke@435 | 480 | _middle_high_boundary = NULL; |
duke@435 | 481 | _upper_high_boundary = NULL; |
duke@435 | 482 | _lower_alignment = 0; |
duke@435 | 483 | _middle_alignment = 0; |
duke@435 | 484 | _upper_alignment = 0; |
duke@435 | 485 | _special = false; |
duke@435 | 486 | } |
duke@435 | 487 | |
duke@435 | 488 | |
duke@435 | 489 | size_t VirtualSpace::committed_size() const { |
duke@435 | 490 | return pointer_delta(high(), low(), sizeof(char)); |
duke@435 | 491 | } |
duke@435 | 492 | |
duke@435 | 493 | |
duke@435 | 494 | size_t VirtualSpace::reserved_size() const { |
duke@435 | 495 | return pointer_delta(high_boundary(), low_boundary(), sizeof(char)); |
duke@435 | 496 | } |
duke@435 | 497 | |
duke@435 | 498 | |
duke@435 | 499 | size_t VirtualSpace::uncommitted_size() const { |
duke@435 | 500 | return reserved_size() - committed_size(); |
duke@435 | 501 | } |
duke@435 | 502 | |
duke@435 | 503 | |
duke@435 | 504 | bool VirtualSpace::contains(const void* p) const { |
duke@435 | 505 | return low() <= (const char*) p && (const char*) p < high(); |
duke@435 | 506 | } |
duke@435 | 507 | |
duke@435 | 508 | /* |
duke@435 | 509 | First we need to determine if a particular virtual space is using large |
duke@435 | 510 | pages. This is done at the initialize function and only virtual spaces |
duke@435 | 511 | that are larger than LargePageSizeInBytes use large pages. Once we |
duke@435 | 512 | have determined this, all expand_by and shrink_by calls must grow and |
duke@435 | 513 | shrink by large page size chunks. If a particular request |
duke@435 | 514 | is within the current large page, the call to commit and uncommit memory |
duke@435 | 515 | can be ignored. In the case that the low and high boundaries of this |
duke@435 | 516 | space is not large page aligned, the pages leading to the first large |
duke@435 | 517 | page address and the pages after the last large page address must be |
duke@435 | 518 | allocated with default pages. |
duke@435 | 519 | */ |
duke@435 | 520 | bool VirtualSpace::expand_by(size_t bytes, bool pre_touch) { |
duke@435 | 521 | if (uncommitted_size() < bytes) return false; |
duke@435 | 522 | |
duke@435 | 523 | if (special()) { |
duke@435 | 524 | // don't commit memory if the entire space is pinned in memory |
duke@435 | 525 | _high += bytes; |
duke@435 | 526 | return true; |
duke@435 | 527 | } |
duke@435 | 528 | |
duke@435 | 529 | char* previous_high = high(); |
duke@435 | 530 | char* unaligned_new_high = high() + bytes; |
duke@435 | 531 | assert(unaligned_new_high <= high_boundary(), |
duke@435 | 532 | "cannot expand by more than upper boundary"); |
duke@435 | 533 | |
duke@435 | 534 | // Calculate where the new high for each of the regions should be. If |
duke@435 | 535 | // the low_boundary() and high_boundary() are LargePageSizeInBytes aligned |
duke@435 | 536 | // then the unaligned lower and upper new highs would be the |
duke@435 | 537 | // lower_high() and upper_high() respectively. |
duke@435 | 538 | char* unaligned_lower_new_high = |
duke@435 | 539 | MIN2(unaligned_new_high, lower_high_boundary()); |
duke@435 | 540 | char* unaligned_middle_new_high = |
duke@435 | 541 | MIN2(unaligned_new_high, middle_high_boundary()); |
duke@435 | 542 | char* unaligned_upper_new_high = |
duke@435 | 543 | MIN2(unaligned_new_high, upper_high_boundary()); |
duke@435 | 544 | |
duke@435 | 545 | // Align the new highs based on the regions alignment. lower and upper |
duke@435 | 546 | // alignment will always be default page size. middle alignment will be |
duke@435 | 547 | // LargePageSizeInBytes if the actual size of the virtual space is in |
duke@435 | 548 | // fact larger than LargePageSizeInBytes. |
duke@435 | 549 | char* aligned_lower_new_high = |
duke@435 | 550 | (char*) round_to((intptr_t) unaligned_lower_new_high, lower_alignment()); |
duke@435 | 551 | char* aligned_middle_new_high = |
duke@435 | 552 | (char*) round_to((intptr_t) unaligned_middle_new_high, middle_alignment()); |
duke@435 | 553 | char* aligned_upper_new_high = |
duke@435 | 554 | (char*) round_to((intptr_t) unaligned_upper_new_high, upper_alignment()); |
duke@435 | 555 | |
duke@435 | 556 | // Determine which regions need to grow in this expand_by call. |
duke@435 | 557 | // If you are growing in the lower region, high() must be in that |
duke@435 | 558 | // region so calcuate the size based on high(). For the middle and |
duke@435 | 559 | // upper regions, determine the starting point of growth based on the |
duke@435 | 560 | // location of high(). By getting the MAX of the region's low address |
duke@435 | 561 | // (or the prevoius region's high address) and high(), we can tell if it |
duke@435 | 562 | // is an intra or inter region growth. |
duke@435 | 563 | size_t lower_needs = 0; |
duke@435 | 564 | if (aligned_lower_new_high > lower_high()) { |
duke@435 | 565 | lower_needs = |
duke@435 | 566 | pointer_delta(aligned_lower_new_high, lower_high(), sizeof(char)); |
duke@435 | 567 | } |
duke@435 | 568 | size_t middle_needs = 0; |
duke@435 | 569 | if (aligned_middle_new_high > middle_high()) { |
duke@435 | 570 | middle_needs = |
duke@435 | 571 | pointer_delta(aligned_middle_new_high, middle_high(), sizeof(char)); |
duke@435 | 572 | } |
duke@435 | 573 | size_t upper_needs = 0; |
duke@435 | 574 | if (aligned_upper_new_high > upper_high()) { |
duke@435 | 575 | upper_needs = |
duke@435 | 576 | pointer_delta(aligned_upper_new_high, upper_high(), sizeof(char)); |
duke@435 | 577 | } |
duke@435 | 578 | |
duke@435 | 579 | // Check contiguity. |
duke@435 | 580 | assert(low_boundary() <= lower_high() && |
duke@435 | 581 | lower_high() <= lower_high_boundary(), |
duke@435 | 582 | "high address must be contained within the region"); |
duke@435 | 583 | assert(lower_high_boundary() <= middle_high() && |
duke@435 | 584 | middle_high() <= middle_high_boundary(), |
duke@435 | 585 | "high address must be contained within the region"); |
duke@435 | 586 | assert(middle_high_boundary() <= upper_high() && |
duke@435 | 587 | upper_high() <= upper_high_boundary(), |
duke@435 | 588 | "high address must be contained within the region"); |
duke@435 | 589 | |
duke@435 | 590 | // Commit regions |
duke@435 | 591 | if (lower_needs > 0) { |
duke@435 | 592 | assert(low_boundary() <= lower_high() && |
duke@435 | 593 | lower_high() + lower_needs <= lower_high_boundary(), |
duke@435 | 594 | "must not expand beyond region"); |
duke@435 | 595 | if (!os::commit_memory(lower_high(), lower_needs)) { |
duke@435 | 596 | debug_only(warning("os::commit_memory failed")); |
duke@435 | 597 | return false; |
duke@435 | 598 | } else { |
duke@435 | 599 | _lower_high += lower_needs; |
duke@435 | 600 | } |
duke@435 | 601 | } |
duke@435 | 602 | if (middle_needs > 0) { |
duke@435 | 603 | assert(lower_high_boundary() <= middle_high() && |
duke@435 | 604 | middle_high() + middle_needs <= middle_high_boundary(), |
duke@435 | 605 | "must not expand beyond region"); |
duke@435 | 606 | if (!os::commit_memory(middle_high(), middle_needs, middle_alignment())) { |
duke@435 | 607 | debug_only(warning("os::commit_memory failed")); |
duke@435 | 608 | return false; |
duke@435 | 609 | } |
duke@435 | 610 | _middle_high += middle_needs; |
duke@435 | 611 | } |
duke@435 | 612 | if (upper_needs > 0) { |
duke@435 | 613 | assert(middle_high_boundary() <= upper_high() && |
duke@435 | 614 | upper_high() + upper_needs <= upper_high_boundary(), |
duke@435 | 615 | "must not expand beyond region"); |
duke@435 | 616 | if (!os::commit_memory(upper_high(), upper_needs)) { |
duke@435 | 617 | debug_only(warning("os::commit_memory failed")); |
duke@435 | 618 | return false; |
duke@435 | 619 | } else { |
duke@435 | 620 | _upper_high += upper_needs; |
duke@435 | 621 | } |
duke@435 | 622 | } |
duke@435 | 623 | |
duke@435 | 624 | if (pre_touch || AlwaysPreTouch) { |
duke@435 | 625 | int vm_ps = os::vm_page_size(); |
duke@435 | 626 | for (char* curr = previous_high; |
duke@435 | 627 | curr < unaligned_new_high; |
duke@435 | 628 | curr += vm_ps) { |
duke@435 | 629 | // Note the use of a write here; originally we tried just a read, but |
duke@435 | 630 | // since the value read was unused, the optimizer removed the read. |
duke@435 | 631 | // If we ever have a concurrent touchahead thread, we'll want to use |
duke@435 | 632 | // a read, to avoid the potential of overwriting data (if a mutator |
duke@435 | 633 | // thread beats the touchahead thread to a page). There are various |
duke@435 | 634 | // ways of making sure this read is not optimized away: for example, |
duke@435 | 635 | // generating the code for a read procedure at runtime. |
duke@435 | 636 | *curr = 0; |
duke@435 | 637 | } |
duke@435 | 638 | } |
duke@435 | 639 | |
duke@435 | 640 | _high += bytes; |
duke@435 | 641 | return true; |
duke@435 | 642 | } |
duke@435 | 643 | |
duke@435 | 644 | // A page is uncommitted if the contents of the entire page is deemed unusable. |
duke@435 | 645 | // Continue to decrement the high() pointer until it reaches a page boundary |
duke@435 | 646 | // in which case that particular page can now be uncommitted. |
duke@435 | 647 | void VirtualSpace::shrink_by(size_t size) { |
duke@435 | 648 | if (committed_size() < size) |
duke@435 | 649 | fatal("Cannot shrink virtual space to negative size"); |
duke@435 | 650 | |
duke@435 | 651 | if (special()) { |
duke@435 | 652 | // don't uncommit if the entire space is pinned in memory |
duke@435 | 653 | _high -= size; |
duke@435 | 654 | return; |
duke@435 | 655 | } |
duke@435 | 656 | |
duke@435 | 657 | char* unaligned_new_high = high() - size; |
duke@435 | 658 | assert(unaligned_new_high >= low_boundary(), "cannot shrink past lower boundary"); |
duke@435 | 659 | |
duke@435 | 660 | // Calculate new unaligned address |
duke@435 | 661 | char* unaligned_upper_new_high = |
duke@435 | 662 | MAX2(unaligned_new_high, middle_high_boundary()); |
duke@435 | 663 | char* unaligned_middle_new_high = |
duke@435 | 664 | MAX2(unaligned_new_high, lower_high_boundary()); |
duke@435 | 665 | char* unaligned_lower_new_high = |
duke@435 | 666 | MAX2(unaligned_new_high, low_boundary()); |
duke@435 | 667 | |
duke@435 | 668 | // Align address to region's alignment |
duke@435 | 669 | char* aligned_upper_new_high = |
duke@435 | 670 | (char*) round_to((intptr_t) unaligned_upper_new_high, upper_alignment()); |
duke@435 | 671 | char* aligned_middle_new_high = |
duke@435 | 672 | (char*) round_to((intptr_t) unaligned_middle_new_high, middle_alignment()); |
duke@435 | 673 | char* aligned_lower_new_high = |
duke@435 | 674 | (char*) round_to((intptr_t) unaligned_lower_new_high, lower_alignment()); |
duke@435 | 675 | |
duke@435 | 676 | // Determine which regions need to shrink |
duke@435 | 677 | size_t upper_needs = 0; |
duke@435 | 678 | if (aligned_upper_new_high < upper_high()) { |
duke@435 | 679 | upper_needs = |
duke@435 | 680 | pointer_delta(upper_high(), aligned_upper_new_high, sizeof(char)); |
duke@435 | 681 | } |
duke@435 | 682 | size_t middle_needs = 0; |
duke@435 | 683 | if (aligned_middle_new_high < middle_high()) { |
duke@435 | 684 | middle_needs = |
duke@435 | 685 | pointer_delta(middle_high(), aligned_middle_new_high, sizeof(char)); |
duke@435 | 686 | } |
duke@435 | 687 | size_t lower_needs = 0; |
duke@435 | 688 | if (aligned_lower_new_high < lower_high()) { |
duke@435 | 689 | lower_needs = |
duke@435 | 690 | pointer_delta(lower_high(), aligned_lower_new_high, sizeof(char)); |
duke@435 | 691 | } |
duke@435 | 692 | |
duke@435 | 693 | // Check contiguity. |
duke@435 | 694 | assert(middle_high_boundary() <= upper_high() && |
duke@435 | 695 | upper_high() <= upper_high_boundary(), |
duke@435 | 696 | "high address must be contained within the region"); |
duke@435 | 697 | assert(lower_high_boundary() <= middle_high() && |
duke@435 | 698 | middle_high() <= middle_high_boundary(), |
duke@435 | 699 | "high address must be contained within the region"); |
duke@435 | 700 | assert(low_boundary() <= lower_high() && |
duke@435 | 701 | lower_high() <= lower_high_boundary(), |
duke@435 | 702 | "high address must be contained within the region"); |
duke@435 | 703 | |
duke@435 | 704 | // Uncommit |
duke@435 | 705 | if (upper_needs > 0) { |
duke@435 | 706 | assert(middle_high_boundary() <= aligned_upper_new_high && |
duke@435 | 707 | aligned_upper_new_high + upper_needs <= upper_high_boundary(), |
duke@435 | 708 | "must not shrink beyond region"); |
duke@435 | 709 | if (!os::uncommit_memory(aligned_upper_new_high, upper_needs)) { |
duke@435 | 710 | debug_only(warning("os::uncommit_memory failed")); |
duke@435 | 711 | return; |
duke@435 | 712 | } else { |
duke@435 | 713 | _upper_high -= upper_needs; |
duke@435 | 714 | } |
duke@435 | 715 | } |
duke@435 | 716 | if (middle_needs > 0) { |
duke@435 | 717 | assert(lower_high_boundary() <= aligned_middle_new_high && |
duke@435 | 718 | aligned_middle_new_high + middle_needs <= middle_high_boundary(), |
duke@435 | 719 | "must not shrink beyond region"); |
duke@435 | 720 | if (!os::uncommit_memory(aligned_middle_new_high, middle_needs)) { |
duke@435 | 721 | debug_only(warning("os::uncommit_memory failed")); |
duke@435 | 722 | return; |
duke@435 | 723 | } else { |
duke@435 | 724 | _middle_high -= middle_needs; |
duke@435 | 725 | } |
duke@435 | 726 | } |
duke@435 | 727 | if (lower_needs > 0) { |
duke@435 | 728 | assert(low_boundary() <= aligned_lower_new_high && |
duke@435 | 729 | aligned_lower_new_high + lower_needs <= lower_high_boundary(), |
duke@435 | 730 | "must not shrink beyond region"); |
duke@435 | 731 | if (!os::uncommit_memory(aligned_lower_new_high, lower_needs)) { |
duke@435 | 732 | debug_only(warning("os::uncommit_memory failed")); |
duke@435 | 733 | return; |
duke@435 | 734 | } else { |
duke@435 | 735 | _lower_high -= lower_needs; |
duke@435 | 736 | } |
duke@435 | 737 | } |
duke@435 | 738 | |
duke@435 | 739 | _high -= size; |
duke@435 | 740 | } |
duke@435 | 741 | |
duke@435 | 742 | #ifndef PRODUCT |
duke@435 | 743 | void VirtualSpace::check_for_contiguity() { |
duke@435 | 744 | // Check contiguity. |
duke@435 | 745 | assert(low_boundary() <= lower_high() && |
duke@435 | 746 | lower_high() <= lower_high_boundary(), |
duke@435 | 747 | "high address must be contained within the region"); |
duke@435 | 748 | assert(lower_high_boundary() <= middle_high() && |
duke@435 | 749 | middle_high() <= middle_high_boundary(), |
duke@435 | 750 | "high address must be contained within the region"); |
duke@435 | 751 | assert(middle_high_boundary() <= upper_high() && |
duke@435 | 752 | upper_high() <= upper_high_boundary(), |
duke@435 | 753 | "high address must be contained within the region"); |
duke@435 | 754 | assert(low() >= low_boundary(), "low"); |
duke@435 | 755 | assert(low_boundary() <= lower_high_boundary(), "lower high boundary"); |
duke@435 | 756 | assert(upper_high_boundary() <= high_boundary(), "upper high boundary"); |
duke@435 | 757 | assert(high() <= upper_high(), "upper high"); |
duke@435 | 758 | } |
duke@435 | 759 | |
duke@435 | 760 | void VirtualSpace::print() { |
duke@435 | 761 | tty->print ("Virtual space:"); |
duke@435 | 762 | if (special()) tty->print(" (pinned in memory)"); |
duke@435 | 763 | tty->cr(); |
duke@435 | 764 | tty->print_cr(" - committed: %ld", committed_size()); |
duke@435 | 765 | tty->print_cr(" - reserved: %ld", reserved_size()); |
duke@435 | 766 | tty->print_cr(" - [low, high]: [" INTPTR_FORMAT ", " INTPTR_FORMAT "]", low(), high()); |
duke@435 | 767 | tty->print_cr(" - [low_b, high_b]: [" INTPTR_FORMAT ", " INTPTR_FORMAT "]", low_boundary(), high_boundary()); |
duke@435 | 768 | } |
duke@435 | 769 | |
duke@435 | 770 | #endif |