hotspot/src/share/vm/runtime/virtualspace.cpp
author never
Thu, 25 Sep 2008 12:50:51 -0700
changeset 1402 ccb40ce62b79
parent 1129 ec4dfac10759
child 1217 5eb97f366a6a
child 1395 145f3dce244e
permissions -rw-r--r--
6744783: HotSpot segfaults if given -XX options with an empty string argument Reviewed-by: kamg, kvn Contributed-by: volker.simonis@gmail.com
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
     1
/*
489c9b5090e2 Initial load
duke
parents:
diff changeset
     2
 * Copyright 1997-2005 Sun Microsystems, Inc.  All Rights Reserved.
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;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   254
      char* extra_base = os::reserve_memory(extra_size, NULL, alignment);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   255
      if (extra_base == NULL) return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   256
      // Do manual alignement
489c9b5090e2 Initial load
duke
parents:
diff changeset
   257
      base = (char*) align_size_up((uintptr_t) extra_base, alignment);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   258
      assert(base >= extra_base, "just checking");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   259
      // Release unused areas
489c9b5090e2 Initial load
duke
parents:
diff changeset
   260
      size_t unused_bottom_size = base - extra_base;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   261
      size_t unused_top_size = extra_size - size - unused_bottom_size;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   262
      assert(unused_bottom_size % os::vm_allocation_granularity() == 0,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   263
             "size not allocation aligned");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   264
      assert(unused_top_size % os::vm_allocation_granularity() == 0,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   265
             "size not allocation aligned");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   266
      if (unused_bottom_size > 0) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   267
        os::release_memory(extra_base, unused_bottom_size);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   268
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   269
      if (unused_top_size > 0) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   270
        os::release_memory(base + size, unused_top_size);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   271
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   272
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   273
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   274
  // Done
489c9b5090e2 Initial load
duke
parents:
diff changeset
   275
  _base = base;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   276
  _size = size;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   277
  _alignment = MAX2(alignment, (size_t) os::vm_page_size());
823
9a5271881bc0 6716785: implicit null checks not triggering with CompressedOops
coleenp
parents: 1
diff changeset
   278
  _noaccess_prefix = noaccess_prefix;
9a5271881bc0 6716785: implicit null checks not triggering with CompressedOops
coleenp
parents: 1
diff changeset
   279
9a5271881bc0 6716785: implicit null checks not triggering with CompressedOops
coleenp
parents: 1
diff changeset
   280
  // 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
   281
  assert(noaccess_prefix == 0 ||
9a5271881bc0 6716785: implicit null checks not triggering with CompressedOops
coleenp
parents: 1
diff changeset
   282
         noaccess_prefix == _alignment, "noaccess prefix wrong");
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   283
489c9b5090e2 Initial load
duke
parents:
diff changeset
   284
  assert(markOopDesc::encode_pointer_as_mark(_base)->decode_pointer() == _base,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   285
         "area must be distinguisable from marks for mark-sweep");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   286
  assert(markOopDesc::encode_pointer_as_mark(&_base[size])->decode_pointer() == &_base[size],
489c9b5090e2 Initial load
duke
parents:
diff changeset
   287
         "area must be distinguisable from marks for mark-sweep");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   288
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   289
489c9b5090e2 Initial load
duke
parents:
diff changeset
   290
489c9b5090e2 Initial load
duke
parents:
diff changeset
   291
ReservedSpace::ReservedSpace(char* base, size_t size, size_t alignment,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   292
                             bool special) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   293
  assert((size % os::vm_allocation_granularity()) == 0,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   294
         "size not allocation aligned");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   295
  _base = base;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   296
  _size = size;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   297
  _alignment = alignment;
823
9a5271881bc0 6716785: implicit null checks not triggering with CompressedOops
coleenp
parents: 1
diff changeset
   298
  _noaccess_prefix = 0;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   299
  _special = special;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   300
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   301
489c9b5090e2 Initial load
duke
parents:
diff changeset
   302
489c9b5090e2 Initial load
duke
parents:
diff changeset
   303
ReservedSpace ReservedSpace::first_part(size_t partition_size, size_t alignment,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   304
                                        bool split, bool realloc) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   305
  assert(partition_size <= size(), "partition failed");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   306
  if (split) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   307
    os::split_reserved_memory(_base, _size, partition_size, realloc);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   308
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   309
  ReservedSpace result(base(), partition_size, alignment, special());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   310
  return result;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   311
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   312
489c9b5090e2 Initial load
duke
parents:
diff changeset
   313
489c9b5090e2 Initial load
duke
parents:
diff changeset
   314
ReservedSpace
489c9b5090e2 Initial load
duke
parents:
diff changeset
   315
ReservedSpace::last_part(size_t partition_size, size_t alignment) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   316
  assert(partition_size <= size(), "partition failed");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   317
  ReservedSpace result(base() + partition_size, size() - partition_size,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   318
                       alignment, special());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   319
  return result;
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_up(size_t size) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   324
  return align_size_up(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::page_align_size_down(size_t size) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   329
  return align_size_down(size, os::vm_page_size());
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_up(size_t size) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   334
  return align_size_up(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
size_t ReservedSpace::allocation_align_size_down(size_t size) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   339
  return align_size_down(size, os::vm_allocation_granularity());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   340
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   341
489c9b5090e2 Initial load
duke
parents:
diff changeset
   342
489c9b5090e2 Initial load
duke
parents:
diff changeset
   343
void ReservedSpace::release() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   344
  if (is_reserved()) {
823
9a5271881bc0 6716785: implicit null checks not triggering with CompressedOops
coleenp
parents: 1
diff changeset
   345
    char *real_base = _base - _noaccess_prefix;
9a5271881bc0 6716785: implicit null checks not triggering with CompressedOops
coleenp
parents: 1
diff changeset
   346
    const size_t real_size = _size + _noaccess_prefix;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   347
    if (special()) {
823
9a5271881bc0 6716785: implicit null checks not triggering with CompressedOops
coleenp
parents: 1
diff changeset
   348
      os::release_memory_special(real_base, real_size);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   349
    } else{
823
9a5271881bc0 6716785: implicit null checks not triggering with CompressedOops
coleenp
parents: 1
diff changeset
   350
      os::release_memory(real_base, real_size);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   351
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   352
    _base = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   353
    _size = 0;
823
9a5271881bc0 6716785: implicit null checks not triggering with CompressedOops
coleenp
parents: 1
diff changeset
   354
    _noaccess_prefix = 0;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   355
    _special = false;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   356
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   357
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   358
823
9a5271881bc0 6716785: implicit null checks not triggering with CompressedOops
coleenp
parents: 1
diff changeset
   359
void ReservedSpace::protect_noaccess_prefix(const size_t size) {
9a5271881bc0 6716785: implicit null checks not triggering with CompressedOops
coleenp
parents: 1
diff changeset
   360
  // If there is noaccess prefix, return.
9a5271881bc0 6716785: implicit null checks not triggering with CompressedOops
coleenp
parents: 1
diff changeset
   361
  if (_noaccess_prefix == 0) return;
9a5271881bc0 6716785: implicit null checks not triggering with CompressedOops
coleenp
parents: 1
diff changeset
   362
9a5271881bc0 6716785: implicit null checks not triggering with CompressedOops
coleenp
parents: 1
diff changeset
   363
  assert(_noaccess_prefix >= (size_t)os::vm_page_size(),
9a5271881bc0 6716785: implicit null checks not triggering with CompressedOops
coleenp
parents: 1
diff changeset
   364
         "must be at least page size big");
9a5271881bc0 6716785: implicit null checks not triggering with CompressedOops
coleenp
parents: 1
diff changeset
   365
9a5271881bc0 6716785: implicit null checks not triggering with CompressedOops
coleenp
parents: 1
diff changeset
   366
  // Protect memory at the base of the allocated region.
9a5271881bc0 6716785: implicit null checks not triggering with CompressedOops
coleenp
parents: 1
diff changeset
   367
  // If special, the page was committed (only matters on windows)
9a5271881bc0 6716785: implicit null checks not triggering with CompressedOops
coleenp
parents: 1
diff changeset
   368
  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
   369
                          _special)) {
9a5271881bc0 6716785: implicit null checks not triggering with CompressedOops
coleenp
parents: 1
diff changeset
   370
    fatal("cannot protect protection page");
9a5271881bc0 6716785: implicit null checks not triggering with CompressedOops
coleenp
parents: 1
diff changeset
   371
  }
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
  _base += _noaccess_prefix;
9a5271881bc0 6716785: implicit null checks not triggering with CompressedOops
coleenp
parents: 1
diff changeset
   374
  _size -= _noaccess_prefix;
9a5271881bc0 6716785: implicit null checks not triggering with CompressedOops
coleenp
parents: 1
diff changeset
   375
  assert((size == _size) && ((uintptr_t)_base % _alignment == 0),
9a5271881bc0 6716785: implicit null checks not triggering with CompressedOops
coleenp
parents: 1
diff changeset
   376
         "must be exactly of required size and alignment");
9a5271881bc0 6716785: implicit null checks not triggering with CompressedOops
coleenp
parents: 1
diff changeset
   377
}
9a5271881bc0 6716785: implicit null checks not triggering with CompressedOops
coleenp
parents: 1
diff changeset
   378
9a5271881bc0 6716785: implicit null checks not triggering with CompressedOops
coleenp
parents: 1
diff changeset
   379
ReservedHeapSpace::ReservedHeapSpace(size_t size, size_t alignment,
9a5271881bc0 6716785: implicit null checks not triggering with CompressedOops
coleenp
parents: 1
diff changeset
   380
                                     bool large, char* requested_address) :
9a5271881bc0 6716785: implicit null checks not triggering with CompressedOops
coleenp
parents: 1
diff changeset
   381
  ReservedSpace(size, alignment, large,
9a5271881bc0 6716785: implicit null checks not triggering with CompressedOops
coleenp
parents: 1
diff changeset
   382
                requested_address,
1129
ec4dfac10759 6741004: UseLargePages + UseCompressedOops breaks implicit null checking guard page
coleenp
parents: 823
diff changeset
   383
                UseCompressedOops && UseImplicitNullCheckForNarrowOop ?
ec4dfac10759 6741004: UseLargePages + UseCompressedOops breaks implicit null checking guard page
coleenp
parents: 823
diff changeset
   384
                  lcm(os::vm_page_size(), alignment) : 0) {
823
9a5271881bc0 6716785: implicit null checks not triggering with CompressedOops
coleenp
parents: 1
diff changeset
   385
  // 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
   386
  // if using compressed oops.
9a5271881bc0 6716785: implicit null checks not triggering with CompressedOops
coleenp
parents: 1
diff changeset
   387
  protect_noaccess_prefix(size);
9a5271881bc0 6716785: implicit null checks not triggering with CompressedOops
coleenp
parents: 1
diff changeset
   388
}
9a5271881bc0 6716785: implicit null checks not triggering with CompressedOops
coleenp
parents: 1
diff changeset
   389
9a5271881bc0 6716785: implicit null checks not triggering with CompressedOops
coleenp
parents: 1
diff changeset
   390
ReservedHeapSpace::ReservedHeapSpace(const size_t prefix_size,
9a5271881bc0 6716785: implicit null checks not triggering with CompressedOops
coleenp
parents: 1
diff changeset
   391
                                     const size_t prefix_align,
9a5271881bc0 6716785: implicit null checks not triggering with CompressedOops
coleenp
parents: 1
diff changeset
   392
                                     const size_t suffix_size,
9a5271881bc0 6716785: implicit null checks not triggering with CompressedOops
coleenp
parents: 1
diff changeset
   393
                                     const size_t suffix_align) :
9a5271881bc0 6716785: implicit null checks not triggering with CompressedOops
coleenp
parents: 1
diff changeset
   394
  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
   395
                UseCompressedOops && UseImplicitNullCheckForNarrowOop ?
ec4dfac10759 6741004: UseLargePages + UseCompressedOops breaks implicit null checking guard page
coleenp
parents: 823
diff changeset
   396
                  lcm(os::vm_page_size(), prefix_align) : 0) {
823
9a5271881bc0 6716785: implicit null checks not triggering with CompressedOops
coleenp
parents: 1
diff changeset
   397
  protect_noaccess_prefix(prefix_size+suffix_size);
9a5271881bc0 6716785: implicit null checks not triggering with CompressedOops
coleenp
parents: 1
diff changeset
   398
}
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   399
489c9b5090e2 Initial load
duke
parents:
diff changeset
   400
// VirtualSpace
489c9b5090e2 Initial load
duke
parents:
diff changeset
   401
489c9b5090e2 Initial load
duke
parents:
diff changeset
   402
VirtualSpace::VirtualSpace() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   403
  _low_boundary           = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   404
  _high_boundary          = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   405
  _low                    = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   406
  _high                   = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   407
  _lower_high             = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   408
  _middle_high            = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   409
  _upper_high             = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   410
  _lower_high_boundary    = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   411
  _middle_high_boundary   = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   412
  _upper_high_boundary    = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   413
  _lower_alignment        = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   414
  _middle_alignment       = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   415
  _upper_alignment        = 0;
823
9a5271881bc0 6716785: implicit null checks not triggering with CompressedOops
coleenp
parents: 1
diff changeset
   416
  _special                = false;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   417
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   418
489c9b5090e2 Initial load
duke
parents:
diff changeset
   419
489c9b5090e2 Initial load
duke
parents:
diff changeset
   420
bool VirtualSpace::initialize(ReservedSpace rs, size_t committed_size) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   421
  if(!rs.is_reserved()) return false;  // allocation failed.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   422
  assert(_low_boundary == NULL, "VirtualSpace already initialized");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   423
  _low_boundary  = rs.base();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   424
  _high_boundary = low_boundary() + rs.size();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   425
489c9b5090e2 Initial load
duke
parents:
diff changeset
   426
  _low = low_boundary();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   427
  _high = low();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   428
489c9b5090e2 Initial load
duke
parents:
diff changeset
   429
  _special = rs.special();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   430
489c9b5090e2 Initial load
duke
parents:
diff changeset
   431
  // When a VirtualSpace begins life at a large size, make all future expansion
489c9b5090e2 Initial load
duke
parents:
diff changeset
   432
  // and shrinking occur aligned to a granularity of large pages.  This avoids
489c9b5090e2 Initial load
duke
parents:
diff changeset
   433
  // fragmentation of physical addresses that inhibits the use of large pages
489c9b5090e2 Initial load
duke
parents:
diff changeset
   434
  // by the OS virtual memory system.  Empirically,  we see that with a 4MB
489c9b5090e2 Initial load
duke
parents:
diff changeset
   435
  // page size, the only spaces that get handled this way are codecache and
489c9b5090e2 Initial load
duke
parents:
diff changeset
   436
  // the heap itself, both of which provide a substantial performance
489c9b5090e2 Initial load
duke
parents:
diff changeset
   437
  // boost in many benchmarks when covered by large pages.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   438
  //
489c9b5090e2 Initial load
duke
parents:
diff changeset
   439
  // No attempt is made to force large page alignment at the very top and
489c9b5090e2 Initial load
duke
parents:
diff changeset
   440
  // bottom of the space if they are not aligned so already.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   441
  _lower_alignment  = os::vm_page_size();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   442
  _middle_alignment = os::page_size_for_region(rs.size(), rs.size(), 1);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   443
  _upper_alignment  = os::vm_page_size();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   444
489c9b5090e2 Initial load
duke
parents:
diff changeset
   445
  // End of each region
489c9b5090e2 Initial load
duke
parents:
diff changeset
   446
  _lower_high_boundary = (char*) round_to((intptr_t) low_boundary(), middle_alignment());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   447
  _middle_high_boundary = (char*) round_down((intptr_t) high_boundary(), middle_alignment());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   448
  _upper_high_boundary = high_boundary();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   449
489c9b5090e2 Initial load
duke
parents:
diff changeset
   450
  // High address of each region
489c9b5090e2 Initial load
duke
parents:
diff changeset
   451
  _lower_high = low_boundary();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   452
  _middle_high = lower_high_boundary();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   453
  _upper_high = middle_high_boundary();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   454
489c9b5090e2 Initial load
duke
parents:
diff changeset
   455
  // commit to initial size
489c9b5090e2 Initial load
duke
parents:
diff changeset
   456
  if (committed_size > 0) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   457
    if (!expand_by(committed_size)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   458
      return false;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   459
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   460
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   461
  return true;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   462
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   463
489c9b5090e2 Initial load
duke
parents:
diff changeset
   464
489c9b5090e2 Initial load
duke
parents:
diff changeset
   465
VirtualSpace::~VirtualSpace() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   466
  release();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   467
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   468
489c9b5090e2 Initial load
duke
parents:
diff changeset
   469
489c9b5090e2 Initial load
duke
parents:
diff changeset
   470
void VirtualSpace::release() {
823
9a5271881bc0 6716785: implicit null checks not triggering with CompressedOops
coleenp
parents: 1
diff changeset
   471
  // This does not release memory it never reserved.
9a5271881bc0 6716785: implicit null checks not triggering with CompressedOops
coleenp
parents: 1
diff changeset
   472
  // Caller must release via rs.release();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   473
  _low_boundary           = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   474
  _high_boundary          = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   475
  _low                    = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   476
  _high                   = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   477
  _lower_high             = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   478
  _middle_high            = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   479
  _upper_high             = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   480
  _lower_high_boundary    = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   481
  _middle_high_boundary   = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   482
  _upper_high_boundary    = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   483
  _lower_alignment        = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   484
  _middle_alignment       = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   485
  _upper_alignment        = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   486
  _special                = false;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   487
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   488
489c9b5090e2 Initial load
duke
parents:
diff changeset
   489
489c9b5090e2 Initial load
duke
parents:
diff changeset
   490
size_t VirtualSpace::committed_size() const {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   491
  return pointer_delta(high(), low(), sizeof(char));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   492
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   493
489c9b5090e2 Initial load
duke
parents:
diff changeset
   494
489c9b5090e2 Initial load
duke
parents:
diff changeset
   495
size_t VirtualSpace::reserved_size() const {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   496
  return pointer_delta(high_boundary(), low_boundary(), sizeof(char));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   497
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   498
489c9b5090e2 Initial load
duke
parents:
diff changeset
   499
489c9b5090e2 Initial load
duke
parents:
diff changeset
   500
size_t VirtualSpace::uncommitted_size()  const {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   501
  return reserved_size() - committed_size();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   502
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   503
489c9b5090e2 Initial load
duke
parents:
diff changeset
   504
489c9b5090e2 Initial load
duke
parents:
diff changeset
   505
bool VirtualSpace::contains(const void* p) const {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   506
  return low() <= (const char*) p && (const char*) p < high();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   507
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   508
489c9b5090e2 Initial load
duke
parents:
diff changeset
   509
/*
489c9b5090e2 Initial load
duke
parents:
diff changeset
   510
   First we need to determine if a particular virtual space is using large
489c9b5090e2 Initial load
duke
parents:
diff changeset
   511
   pages.  This is done at the initialize function and only virtual spaces
489c9b5090e2 Initial load
duke
parents:
diff changeset
   512
   that are larger than LargePageSizeInBytes use large pages.  Once we
489c9b5090e2 Initial load
duke
parents:
diff changeset
   513
   have determined this, all expand_by and shrink_by calls must grow and
489c9b5090e2 Initial load
duke
parents:
diff changeset
   514
   shrink by large page size chunks.  If a particular request
489c9b5090e2 Initial load
duke
parents:
diff changeset
   515
   is within the current large page, the call to commit and uncommit memory
489c9b5090e2 Initial load
duke
parents:
diff changeset
   516
   can be ignored.  In the case that the low and high boundaries of this
489c9b5090e2 Initial load
duke
parents:
diff changeset
   517
   space is not large page aligned, the pages leading to the first large
489c9b5090e2 Initial load
duke
parents:
diff changeset
   518
   page address and the pages after the last large page address must be
489c9b5090e2 Initial load
duke
parents:
diff changeset
   519
   allocated with default pages.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   520
*/
489c9b5090e2 Initial load
duke
parents:
diff changeset
   521
bool VirtualSpace::expand_by(size_t bytes, bool pre_touch) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   522
  if (uncommitted_size() < bytes) return false;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   523
489c9b5090e2 Initial load
duke
parents:
diff changeset
   524
  if (special()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   525
    // don't commit memory if the entire space is pinned in memory
489c9b5090e2 Initial load
duke
parents:
diff changeset
   526
    _high += bytes;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   527
    return true;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   528
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   529
489c9b5090e2 Initial load
duke
parents:
diff changeset
   530
  char* previous_high = high();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   531
  char* unaligned_new_high = high() + bytes;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   532
  assert(unaligned_new_high <= high_boundary(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   533
         "cannot expand by more than upper boundary");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   534
489c9b5090e2 Initial load
duke
parents:
diff changeset
   535
  // Calculate where the new high for each of the regions should be.  If
489c9b5090e2 Initial load
duke
parents:
diff changeset
   536
  // the low_boundary() and high_boundary() are LargePageSizeInBytes aligned
489c9b5090e2 Initial load
duke
parents:
diff changeset
   537
  // then the unaligned lower and upper new highs would be the
489c9b5090e2 Initial load
duke
parents:
diff changeset
   538
  // lower_high() and upper_high() respectively.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   539
  char* unaligned_lower_new_high =
489c9b5090e2 Initial load
duke
parents:
diff changeset
   540
    MIN2(unaligned_new_high, lower_high_boundary());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   541
  char* unaligned_middle_new_high =
489c9b5090e2 Initial load
duke
parents:
diff changeset
   542
    MIN2(unaligned_new_high, middle_high_boundary());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   543
  char* unaligned_upper_new_high =
489c9b5090e2 Initial load
duke
parents:
diff changeset
   544
    MIN2(unaligned_new_high, upper_high_boundary());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   545
489c9b5090e2 Initial load
duke
parents:
diff changeset
   546
  // Align the new highs based on the regions alignment.  lower and upper
489c9b5090e2 Initial load
duke
parents:
diff changeset
   547
  // alignment will always be default page size.  middle alignment will be
489c9b5090e2 Initial load
duke
parents:
diff changeset
   548
  // LargePageSizeInBytes if the actual size of the virtual space is in
489c9b5090e2 Initial load
duke
parents:
diff changeset
   549
  // fact larger than LargePageSizeInBytes.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   550
  char* aligned_lower_new_high =
489c9b5090e2 Initial load
duke
parents:
diff changeset
   551
    (char*) round_to((intptr_t) unaligned_lower_new_high, lower_alignment());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   552
  char* aligned_middle_new_high =
489c9b5090e2 Initial load
duke
parents:
diff changeset
   553
    (char*) round_to((intptr_t) unaligned_middle_new_high, middle_alignment());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   554
  char* aligned_upper_new_high =
489c9b5090e2 Initial load
duke
parents:
diff changeset
   555
    (char*) round_to((intptr_t) unaligned_upper_new_high, upper_alignment());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   556
489c9b5090e2 Initial load
duke
parents:
diff changeset
   557
  // Determine which regions need to grow in this expand_by call.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   558
  // If you are growing in the lower region, high() must be in that
489c9b5090e2 Initial load
duke
parents:
diff changeset
   559
  // region so calcuate the size based on high().  For the middle and
489c9b5090e2 Initial load
duke
parents:
diff changeset
   560
  // upper regions, determine the starting point of growth based on the
489c9b5090e2 Initial load
duke
parents:
diff changeset
   561
  // location of high().  By getting the MAX of the region's low address
489c9b5090e2 Initial load
duke
parents:
diff changeset
   562
  // (or the prevoius region's high address) and high(), we can tell if it
489c9b5090e2 Initial load
duke
parents:
diff changeset
   563
  // is an intra or inter region growth.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   564
  size_t lower_needs = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   565
  if (aligned_lower_new_high > lower_high()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   566
    lower_needs =
489c9b5090e2 Initial load
duke
parents:
diff changeset
   567
      pointer_delta(aligned_lower_new_high, lower_high(), sizeof(char));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   568
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   569
  size_t middle_needs = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   570
  if (aligned_middle_new_high > middle_high()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   571
    middle_needs =
489c9b5090e2 Initial load
duke
parents:
diff changeset
   572
      pointer_delta(aligned_middle_new_high, middle_high(), sizeof(char));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   573
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   574
  size_t upper_needs = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   575
  if (aligned_upper_new_high > upper_high()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   576
    upper_needs =
489c9b5090e2 Initial load
duke
parents:
diff changeset
   577
      pointer_delta(aligned_upper_new_high, upper_high(), sizeof(char));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   578
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   579
489c9b5090e2 Initial load
duke
parents:
diff changeset
   580
  // Check contiguity.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   581
  assert(low_boundary() <= lower_high() &&
489c9b5090e2 Initial load
duke
parents:
diff changeset
   582
         lower_high() <= lower_high_boundary(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   583
         "high address must be contained within the region");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   584
  assert(lower_high_boundary() <= middle_high() &&
489c9b5090e2 Initial load
duke
parents:
diff changeset
   585
         middle_high() <= middle_high_boundary(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   586
         "high address must be contained within the region");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   587
  assert(middle_high_boundary() <= upper_high() &&
489c9b5090e2 Initial load
duke
parents:
diff changeset
   588
         upper_high() <= upper_high_boundary(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   589
         "high address must be contained within the region");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   590
489c9b5090e2 Initial load
duke
parents:
diff changeset
   591
  // Commit regions
489c9b5090e2 Initial load
duke
parents:
diff changeset
   592
  if (lower_needs > 0) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   593
    assert(low_boundary() <= lower_high() &&
489c9b5090e2 Initial load
duke
parents:
diff changeset
   594
           lower_high() + lower_needs <= lower_high_boundary(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   595
           "must not expand beyond region");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   596
    if (!os::commit_memory(lower_high(), lower_needs)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   597
      debug_only(warning("os::commit_memory failed"));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   598
      return false;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   599
    } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   600
      _lower_high += lower_needs;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   601
     }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   602
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   603
  if (middle_needs > 0) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   604
    assert(lower_high_boundary() <= middle_high() &&
489c9b5090e2 Initial load
duke
parents:
diff changeset
   605
           middle_high() + middle_needs <= middle_high_boundary(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   606
           "must not expand beyond region");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   607
    if (!os::commit_memory(middle_high(), middle_needs, middle_alignment())) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   608
      debug_only(warning("os::commit_memory failed"));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   609
      return false;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   610
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   611
    _middle_high += middle_needs;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   612
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   613
  if (upper_needs > 0) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   614
    assert(middle_high_boundary() <= upper_high() &&
489c9b5090e2 Initial load
duke
parents:
diff changeset
   615
           upper_high() + upper_needs <= upper_high_boundary(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   616
           "must not expand beyond region");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   617
    if (!os::commit_memory(upper_high(), upper_needs)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   618
      debug_only(warning("os::commit_memory failed"));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   619
      return false;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   620
    } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   621
      _upper_high += upper_needs;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   622
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   623
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   624
489c9b5090e2 Initial load
duke
parents:
diff changeset
   625
  if (pre_touch || AlwaysPreTouch) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   626
    int vm_ps = os::vm_page_size();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   627
    for (char* curr = previous_high;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   628
         curr < unaligned_new_high;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   629
         curr += vm_ps) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   630
      // Note the use of a write here; originally we tried just a read, but
489c9b5090e2 Initial load
duke
parents:
diff changeset
   631
      // since the value read was unused, the optimizer removed the read.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   632
      // If we ever have a concurrent touchahead thread, we'll want to use
489c9b5090e2 Initial load
duke
parents:
diff changeset
   633
      // a read, to avoid the potential of overwriting data (if a mutator
489c9b5090e2 Initial load
duke
parents:
diff changeset
   634
      // thread beats the touchahead thread to a page).  There are various
489c9b5090e2 Initial load
duke
parents:
diff changeset
   635
      // ways of making sure this read is not optimized away: for example,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   636
      // generating the code for a read procedure at runtime.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   637
      *curr = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   638
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   639
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   640
489c9b5090e2 Initial load
duke
parents:
diff changeset
   641
  _high += bytes;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   642
  return true;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   643
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   644
489c9b5090e2 Initial load
duke
parents:
diff changeset
   645
// A page is uncommitted if the contents of the entire page is deemed unusable.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   646
// Continue to decrement the high() pointer until it reaches a page boundary
489c9b5090e2 Initial load
duke
parents:
diff changeset
   647
// in which case that particular page can now be uncommitted.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   648
void VirtualSpace::shrink_by(size_t size) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   649
  if (committed_size() < size)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   650
    fatal("Cannot shrink virtual space to negative size");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   651
489c9b5090e2 Initial load
duke
parents:
diff changeset
   652
  if (special()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   653
    // don't uncommit if the entire space is pinned in memory
489c9b5090e2 Initial load
duke
parents:
diff changeset
   654
    _high -= size;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   655
    return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   656
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   657
489c9b5090e2 Initial load
duke
parents:
diff changeset
   658
  char* unaligned_new_high = high() - size;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   659
  assert(unaligned_new_high >= low_boundary(), "cannot shrink past lower boundary");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   660
489c9b5090e2 Initial load
duke
parents:
diff changeset
   661
  // Calculate new unaligned address
489c9b5090e2 Initial load
duke
parents:
diff changeset
   662
  char* unaligned_upper_new_high =
489c9b5090e2 Initial load
duke
parents:
diff changeset
   663
    MAX2(unaligned_new_high, middle_high_boundary());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   664
  char* unaligned_middle_new_high =
489c9b5090e2 Initial load
duke
parents:
diff changeset
   665
    MAX2(unaligned_new_high, lower_high_boundary());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   666
  char* unaligned_lower_new_high =
489c9b5090e2 Initial load
duke
parents:
diff changeset
   667
    MAX2(unaligned_new_high, low_boundary());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   668
489c9b5090e2 Initial load
duke
parents:
diff changeset
   669
  // Align address to region's alignment
489c9b5090e2 Initial load
duke
parents:
diff changeset
   670
  char* aligned_upper_new_high =
489c9b5090e2 Initial load
duke
parents:
diff changeset
   671
    (char*) round_to((intptr_t) unaligned_upper_new_high, upper_alignment());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   672
  char* aligned_middle_new_high =
489c9b5090e2 Initial load
duke
parents:
diff changeset
   673
    (char*) round_to((intptr_t) unaligned_middle_new_high, middle_alignment());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   674
  char* aligned_lower_new_high =
489c9b5090e2 Initial load
duke
parents:
diff changeset
   675
    (char*) round_to((intptr_t) unaligned_lower_new_high, lower_alignment());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   676
489c9b5090e2 Initial load
duke
parents:
diff changeset
   677
  // Determine which regions need to shrink
489c9b5090e2 Initial load
duke
parents:
diff changeset
   678
  size_t upper_needs = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   679
  if (aligned_upper_new_high < upper_high()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   680
    upper_needs =
489c9b5090e2 Initial load
duke
parents:
diff changeset
   681
      pointer_delta(upper_high(), aligned_upper_new_high, sizeof(char));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   682
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   683
  size_t middle_needs = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   684
  if (aligned_middle_new_high < middle_high()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   685
    middle_needs =
489c9b5090e2 Initial load
duke
parents:
diff changeset
   686
      pointer_delta(middle_high(), aligned_middle_new_high, sizeof(char));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   687
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   688
  size_t lower_needs = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   689
  if (aligned_lower_new_high < lower_high()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   690
    lower_needs =
489c9b5090e2 Initial load
duke
parents:
diff changeset
   691
      pointer_delta(lower_high(), aligned_lower_new_high, sizeof(char));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   692
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   693
489c9b5090e2 Initial load
duke
parents:
diff changeset
   694
  // Check contiguity.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   695
  assert(middle_high_boundary() <= upper_high() &&
489c9b5090e2 Initial load
duke
parents:
diff changeset
   696
         upper_high() <= upper_high_boundary(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   697
         "high address must be contained within the region");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   698
  assert(lower_high_boundary() <= middle_high() &&
489c9b5090e2 Initial load
duke
parents:
diff changeset
   699
         middle_high() <= middle_high_boundary(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   700
         "high address must be contained within the region");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   701
  assert(low_boundary() <= lower_high() &&
489c9b5090e2 Initial load
duke
parents:
diff changeset
   702
         lower_high() <= lower_high_boundary(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   703
         "high address must be contained within the region");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   704
489c9b5090e2 Initial load
duke
parents:
diff changeset
   705
  // Uncommit
489c9b5090e2 Initial load
duke
parents:
diff changeset
   706
  if (upper_needs > 0) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   707
    assert(middle_high_boundary() <= aligned_upper_new_high &&
489c9b5090e2 Initial load
duke
parents:
diff changeset
   708
           aligned_upper_new_high + upper_needs <= upper_high_boundary(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   709
           "must not shrink beyond region");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   710
    if (!os::uncommit_memory(aligned_upper_new_high, upper_needs)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   711
      debug_only(warning("os::uncommit_memory failed"));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   712
      return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   713
    } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   714
      _upper_high -= upper_needs;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   715
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   716
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   717
  if (middle_needs > 0) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   718
    assert(lower_high_boundary() <= aligned_middle_new_high &&
489c9b5090e2 Initial load
duke
parents:
diff changeset
   719
           aligned_middle_new_high + middle_needs <= middle_high_boundary(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   720
           "must not shrink beyond region");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   721
    if (!os::uncommit_memory(aligned_middle_new_high, middle_needs)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   722
      debug_only(warning("os::uncommit_memory failed"));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   723
      return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   724
    } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   725
      _middle_high -= middle_needs;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   726
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   727
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   728
  if (lower_needs > 0) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   729
    assert(low_boundary() <= aligned_lower_new_high &&
489c9b5090e2 Initial load
duke
parents:
diff changeset
   730
           aligned_lower_new_high + lower_needs <= lower_high_boundary(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   731
           "must not shrink beyond region");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   732
    if (!os::uncommit_memory(aligned_lower_new_high, lower_needs)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   733
      debug_only(warning("os::uncommit_memory failed"));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   734
      return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   735
    } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   736
      _lower_high -= lower_needs;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   737
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   738
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   739
489c9b5090e2 Initial load
duke
parents:
diff changeset
   740
  _high -= size;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   741
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   742
489c9b5090e2 Initial load
duke
parents:
diff changeset
   743
#ifndef PRODUCT
489c9b5090e2 Initial load
duke
parents:
diff changeset
   744
void VirtualSpace::check_for_contiguity() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   745
  // Check contiguity.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   746
  assert(low_boundary() <= lower_high() &&
489c9b5090e2 Initial load
duke
parents:
diff changeset
   747
         lower_high() <= lower_high_boundary(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   748
         "high address must be contained within the region");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   749
  assert(lower_high_boundary() <= middle_high() &&
489c9b5090e2 Initial load
duke
parents:
diff changeset
   750
         middle_high() <= middle_high_boundary(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   751
         "high address must be contained within the region");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   752
  assert(middle_high_boundary() <= upper_high() &&
489c9b5090e2 Initial load
duke
parents:
diff changeset
   753
         upper_high() <= upper_high_boundary(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   754
         "high address must be contained within the region");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   755
  assert(low() >= low_boundary(), "low");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   756
  assert(low_boundary() <= lower_high_boundary(), "lower high boundary");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   757
  assert(upper_high_boundary() <= high_boundary(), "upper high boundary");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   758
  assert(high() <= upper_high(), "upper high");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   759
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   760
489c9b5090e2 Initial load
duke
parents:
diff changeset
   761
void VirtualSpace::print() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   762
  tty->print   ("Virtual space:");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   763
  if (special()) tty->print(" (pinned in memory)");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   764
  tty->cr();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   765
  tty->print_cr(" - committed: %ld", committed_size());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   766
  tty->print_cr(" - reserved:  %ld", reserved_size());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   767
  tty->print_cr(" - [low, high]:     [" INTPTR_FORMAT ", " INTPTR_FORMAT "]",  low(), high());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   768
  tty->print_cr(" - [low_b, high_b]: [" INTPTR_FORMAT ", " INTPTR_FORMAT "]",  low_boundary(), high_boundary());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   769
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   770
489c9b5090e2 Initial load
duke
parents:
diff changeset
   771
#endif