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