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