author | hseigel |
Thu, 07 Mar 2013 11:49:38 -0500 | |
changeset 18055 | ba8c01e0d016 |
parent 14579 | 7f6ce6e3dd80 |
child 18060 | 7cfaa4558c12 |
permissions | -rw-r--r-- |
1 | 1 |
/* |
18055
ba8c01e0d016
7158805: Better rewriting of nested subroutine calls
hseigel
parents:
14579
diff
changeset
|
2 |
* Copyright (c) 1997, 2013, Oracle and/or its affiliates. All rights reserved. |
1 | 3 |
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
4 |
* |
|
5 |
* This code is free software; you can redistribute it and/or modify it |
|
6 |
* under the terms of the GNU General Public License version 2 only, as |
|
7 |
* published by the Free Software Foundation. |
|
8 |
* |
|
9 |
* This code is distributed in the hope that it will be useful, but WITHOUT |
|
10 |
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
|
11 |
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
|
12 |
* version 2 for more details (a copy is included in the LICENSE file that |
|
13 |
* accompanied this code). |
|
14 |
* |
|
15 |
* You should have received a copy of the GNU General Public License version |
|
16 |
* 2 along with this work; if not, write to the Free Software Foundation, |
|
17 |
* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
|
18 |
* |
|
5547
f4b087cbb361
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1
diff
changeset
|
19 |
* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
f4b087cbb361
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1
diff
changeset
|
20 |
* or visit www.oracle.com if you need additional information or have any |
f4b087cbb361
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1
diff
changeset
|
21 |
* questions. |
1 | 22 |
* |
23 |
*/ |
|
24 |
||
7397 | 25 |
#include "precompiled.hpp" |
26 |
#include "memory/allocation.hpp" |
|
27 |
#include "memory/allocation.inline.hpp" |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13195
diff
changeset
|
28 |
#include "memory/genCollectedHeap.hpp" |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13195
diff
changeset
|
29 |
#include "memory/metaspaceShared.hpp" |
7397 | 30 |
#include "memory/resourceArea.hpp" |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13195
diff
changeset
|
31 |
#include "memory/universe.hpp" |
13195 | 32 |
#include "runtime/atomic.hpp" |
7397 | 33 |
#include "runtime/os.hpp" |
34 |
#include "runtime/task.hpp" |
|
35 |
#include "runtime/threadCritical.hpp" |
|
13195 | 36 |
#include "services/memTracker.hpp" |
7397 | 37 |
#include "utilities/ostream.hpp" |
13195 | 38 |
|
7397 | 39 |
#ifdef TARGET_OS_FAMILY_linux |
40 |
# include "os_linux.inline.hpp" |
|
41 |
#endif |
|
42 |
#ifdef TARGET_OS_FAMILY_solaris |
|
43 |
# include "os_solaris.inline.hpp" |
|
44 |
#endif |
|
45 |
#ifdef TARGET_OS_FAMILY_windows |
|
46 |
# include "os_windows.inline.hpp" |
|
47 |
#endif |
|
10565 | 48 |
#ifdef TARGET_OS_FAMILY_bsd |
49 |
# include "os_bsd.inline.hpp" |
|
50 |
#endif |
|
1 | 51 |
|
52 |
void* StackObj::operator new(size_t size) { ShouldNotCallThis(); return 0; }; |
|
53 |
void StackObj::operator delete(void* p) { ShouldNotCallThis(); }; |
|
54 |
void* _ValueObj::operator new(size_t size) { ShouldNotCallThis(); return 0; }; |
|
55 |
void _ValueObj::operator delete(void* p) { ShouldNotCallThis(); }; |
|
56 |
||
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13195
diff
changeset
|
57 |
void* MetaspaceObj::operator new(size_t size, ClassLoaderData* loader_data, |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13195
diff
changeset
|
58 |
size_t word_size, bool read_only, TRAPS) { |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13195
diff
changeset
|
59 |
// Klass has it's own operator new |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13195
diff
changeset
|
60 |
return Metaspace::allocate(loader_data, word_size, read_only, |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13195
diff
changeset
|
61 |
Metaspace::NonClassType, CHECK_NULL); |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13195
diff
changeset
|
62 |
} |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13195
diff
changeset
|
63 |
|
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13195
diff
changeset
|
64 |
bool MetaspaceObj::is_shared() const { |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13195
diff
changeset
|
65 |
return MetaspaceShared::is_in_shared_space(this); |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13195
diff
changeset
|
66 |
} |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13195
diff
changeset
|
67 |
|
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13195
diff
changeset
|
68 |
bool MetaspaceObj::is_metadata() const { |
14579
7f6ce6e3dd80
8003635: NPG: AsynchGetCallTrace broken by Method* virtual call
coleenp
parents:
14120
diff
changeset
|
69 |
// GC Verify checks use this in guarantees. |
7f6ce6e3dd80
8003635: NPG: AsynchGetCallTrace broken by Method* virtual call
coleenp
parents:
14120
diff
changeset
|
70 |
// TODO: either replace them with is_metaspace_object() or remove them. |
7f6ce6e3dd80
8003635: NPG: AsynchGetCallTrace broken by Method* virtual call
coleenp
parents:
14120
diff
changeset
|
71 |
// is_metaspace_object() is slower than this test. This test doesn't |
7f6ce6e3dd80
8003635: NPG: AsynchGetCallTrace broken by Method* virtual call
coleenp
parents:
14120
diff
changeset
|
72 |
// seem very useful for metaspace objects anymore though. |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13195
diff
changeset
|
73 |
return !Universe::heap()->is_in_reserved(this); |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13195
diff
changeset
|
74 |
} |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13195
diff
changeset
|
75 |
|
14579
7f6ce6e3dd80
8003635: NPG: AsynchGetCallTrace broken by Method* virtual call
coleenp
parents:
14120
diff
changeset
|
76 |
bool MetaspaceObj::is_metaspace_object() const { |
7f6ce6e3dd80
8003635: NPG: AsynchGetCallTrace broken by Method* virtual call
coleenp
parents:
14120
diff
changeset
|
77 |
return Metaspace::contains((void*)this); |
7f6ce6e3dd80
8003635: NPG: AsynchGetCallTrace broken by Method* virtual call
coleenp
parents:
14120
diff
changeset
|
78 |
} |
7f6ce6e3dd80
8003635: NPG: AsynchGetCallTrace broken by Method* virtual call
coleenp
parents:
14120
diff
changeset
|
79 |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13195
diff
changeset
|
80 |
void MetaspaceObj::print_address_on(outputStream* st) const { |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13195
diff
changeset
|
81 |
st->print(" {"INTPTR_FORMAT"}", this); |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13195
diff
changeset
|
82 |
} |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13195
diff
changeset
|
83 |
|
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13195
diff
changeset
|
84 |
|
13195 | 85 |
void* ResourceObj::operator new(size_t size, allocation_type type, MEMFLAGS flags) { |
1 | 86 |
address res; |
87 |
switch (type) { |
|
88 |
case C_HEAP: |
|
13195 | 89 |
res = (address)AllocateHeap(size, flags, CALLER_PC); |
6180 | 90 |
DEBUG_ONLY(set_allocation_type(res, C_HEAP);) |
1 | 91 |
break; |
92 |
case RESOURCE_AREA: |
|
6183
4c74cfe14f20
6975078: assert(allocated_on_res_area() || allocated_on_C_heap() || allocated_on_arena()
kvn
parents:
6180
diff
changeset
|
93 |
// new(size) sets allocation type RESOURCE_AREA. |
1 | 94 |
res = (address)operator new(size); |
95 |
break; |
|
96 |
default: |
|
97 |
ShouldNotReachHere(); |
|
98 |
} |
|
99 |
return res; |
|
100 |
} |
|
101 |
||
14083
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13728
diff
changeset
|
102 |
void* ResourceObj::operator new(size_t size, const std::nothrow_t& nothrow_constant, |
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13728
diff
changeset
|
103 |
allocation_type type, MEMFLAGS flags) { |
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13728
diff
changeset
|
104 |
//should only call this with std::nothrow, use other operator new() otherwise |
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13728
diff
changeset
|
105 |
address res; |
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13728
diff
changeset
|
106 |
switch (type) { |
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13728
diff
changeset
|
107 |
case C_HEAP: |
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13728
diff
changeset
|
108 |
res = (address)AllocateHeap(size, flags, CALLER_PC, AllocFailStrategy::RETURN_NULL); |
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13728
diff
changeset
|
109 |
DEBUG_ONLY(if (res!= NULL) set_allocation_type(res, C_HEAP);) |
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13728
diff
changeset
|
110 |
break; |
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13728
diff
changeset
|
111 |
case RESOURCE_AREA: |
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13728
diff
changeset
|
112 |
// new(size) sets allocation type RESOURCE_AREA. |
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13728
diff
changeset
|
113 |
res = (address)operator new(size, std::nothrow); |
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13728
diff
changeset
|
114 |
break; |
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13728
diff
changeset
|
115 |
default: |
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13728
diff
changeset
|
116 |
ShouldNotReachHere(); |
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13728
diff
changeset
|
117 |
} |
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13728
diff
changeset
|
118 |
return res; |
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13728
diff
changeset
|
119 |
} |
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13728
diff
changeset
|
120 |
|
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13728
diff
changeset
|
121 |
|
1 | 122 |
void ResourceObj::operator delete(void* p) { |
123 |
assert(((ResourceObj *)p)->allocated_on_C_heap(), |
|
124 |
"delete only allowed for C_HEAP objects"); |
|
7440
eabaf35910a1
6993125: runThese crashes with assert(Thread::current()->on_local_stack((address)this))
kvn
parents:
7397
diff
changeset
|
125 |
DEBUG_ONLY(((ResourceObj *)p)->_allocation_t[0] = (uintptr_t)badHeapOopVal;) |
1 | 126 |
FreeHeap(p); |
127 |
} |
|
128 |
||
6180 | 129 |
#ifdef ASSERT |
130 |
void ResourceObj::set_allocation_type(address res, allocation_type type) { |
|
131 |
// Set allocation type in the resource object |
|
132 |
uintptr_t allocation = (uintptr_t)res; |
|
6183
4c74cfe14f20
6975078: assert(allocated_on_res_area() || allocated_on_C_heap() || allocated_on_arena()
kvn
parents:
6180
diff
changeset
|
133 |
assert((allocation & allocation_mask) == 0, "address should be aligned to 4 bytes at least"); |
6180 | 134 |
assert(type <= allocation_mask, "incorrect allocation type"); |
7440
eabaf35910a1
6993125: runThese crashes with assert(Thread::current()->on_local_stack((address)this))
kvn
parents:
7397
diff
changeset
|
135 |
ResourceObj* resobj = (ResourceObj *)res; |
eabaf35910a1
6993125: runThese crashes with assert(Thread::current()->on_local_stack((address)this))
kvn
parents:
7397
diff
changeset
|
136 |
resobj->_allocation_t[0] = ~(allocation + type); |
eabaf35910a1
6993125: runThese crashes with assert(Thread::current()->on_local_stack((address)this))
kvn
parents:
7397
diff
changeset
|
137 |
if (type != STACK_OR_EMBEDDED) { |
eabaf35910a1
6993125: runThese crashes with assert(Thread::current()->on_local_stack((address)this))
kvn
parents:
7397
diff
changeset
|
138 |
// Called from operator new() and CollectionSetChooser(), |
eabaf35910a1
6993125: runThese crashes with assert(Thread::current()->on_local_stack((address)this))
kvn
parents:
7397
diff
changeset
|
139 |
// set verification value. |
eabaf35910a1
6993125: runThese crashes with assert(Thread::current()->on_local_stack((address)this))
kvn
parents:
7397
diff
changeset
|
140 |
resobj->_allocation_t[1] = (uintptr_t)&(resobj->_allocation_t[1]) + type; |
eabaf35910a1
6993125: runThese crashes with assert(Thread::current()->on_local_stack((address)this))
kvn
parents:
7397
diff
changeset
|
141 |
} |
6180 | 142 |
} |
143 |
||
6183
4c74cfe14f20
6975078: assert(allocated_on_res_area() || allocated_on_C_heap() || allocated_on_arena()
kvn
parents:
6180
diff
changeset
|
144 |
ResourceObj::allocation_type ResourceObj::get_allocation_type() const { |
7440
eabaf35910a1
6993125: runThese crashes with assert(Thread::current()->on_local_stack((address)this))
kvn
parents:
7397
diff
changeset
|
145 |
assert(~(_allocation_t[0] | allocation_mask) == (uintptr_t)this, "lost resource object"); |
eabaf35910a1
6993125: runThese crashes with assert(Thread::current()->on_local_stack((address)this))
kvn
parents:
7397
diff
changeset
|
146 |
return (allocation_type)((~_allocation_t[0]) & allocation_mask); |
eabaf35910a1
6993125: runThese crashes with assert(Thread::current()->on_local_stack((address)this))
kvn
parents:
7397
diff
changeset
|
147 |
} |
eabaf35910a1
6993125: runThese crashes with assert(Thread::current()->on_local_stack((address)this))
kvn
parents:
7397
diff
changeset
|
148 |
|
eabaf35910a1
6993125: runThese crashes with assert(Thread::current()->on_local_stack((address)this))
kvn
parents:
7397
diff
changeset
|
149 |
bool ResourceObj::is_type_set() const { |
eabaf35910a1
6993125: runThese crashes with assert(Thread::current()->on_local_stack((address)this))
kvn
parents:
7397
diff
changeset
|
150 |
allocation_type type = (allocation_type)(_allocation_t[1] & allocation_mask); |
eabaf35910a1
6993125: runThese crashes with assert(Thread::current()->on_local_stack((address)this))
kvn
parents:
7397
diff
changeset
|
151 |
return get_allocation_type() == type && |
eabaf35910a1
6993125: runThese crashes with assert(Thread::current()->on_local_stack((address)this))
kvn
parents:
7397
diff
changeset
|
152 |
(_allocation_t[1] - type) == (uintptr_t)(&_allocation_t[1]); |
6180 | 153 |
} |
154 |
||
6183
4c74cfe14f20
6975078: assert(allocated_on_res_area() || allocated_on_C_heap() || allocated_on_arena()
kvn
parents:
6180
diff
changeset
|
155 |
ResourceObj::ResourceObj() { // default constructor |
7440
eabaf35910a1
6993125: runThese crashes with assert(Thread::current()->on_local_stack((address)this))
kvn
parents:
7397
diff
changeset
|
156 |
if (~(_allocation_t[0] | allocation_mask) != (uintptr_t)this) { |
eabaf35910a1
6993125: runThese crashes with assert(Thread::current()->on_local_stack((address)this))
kvn
parents:
7397
diff
changeset
|
157 |
// Operator new() is not called for allocations |
eabaf35910a1
6993125: runThese crashes with assert(Thread::current()->on_local_stack((address)this))
kvn
parents:
7397
diff
changeset
|
158 |
// on stack and for embedded objects. |
6180 | 159 |
set_allocation_type((address)this, STACK_OR_EMBEDDED); |
7440
eabaf35910a1
6993125: runThese crashes with assert(Thread::current()->on_local_stack((address)this))
kvn
parents:
7397
diff
changeset
|
160 |
} else if (allocated_on_stack()) { // STACK_OR_EMBEDDED |
eabaf35910a1
6993125: runThese crashes with assert(Thread::current()->on_local_stack((address)this))
kvn
parents:
7397
diff
changeset
|
161 |
// For some reason we got a value which resembles |
eabaf35910a1
6993125: runThese crashes with assert(Thread::current()->on_local_stack((address)this))
kvn
parents:
7397
diff
changeset
|
162 |
// an embedded or stack object (operator new() does not |
eabaf35910a1
6993125: runThese crashes with assert(Thread::current()->on_local_stack((address)this))
kvn
parents:
7397
diff
changeset
|
163 |
// set such type). Keep it since it is valid value |
eabaf35910a1
6993125: runThese crashes with assert(Thread::current()->on_local_stack((address)this))
kvn
parents:
7397
diff
changeset
|
164 |
// (even if it was garbage). |
eabaf35910a1
6993125: runThese crashes with assert(Thread::current()->on_local_stack((address)this))
kvn
parents:
7397
diff
changeset
|
165 |
// Ignore garbage in other fields. |
eabaf35910a1
6993125: runThese crashes with assert(Thread::current()->on_local_stack((address)this))
kvn
parents:
7397
diff
changeset
|
166 |
} else if (is_type_set()) { |
eabaf35910a1
6993125: runThese crashes with assert(Thread::current()->on_local_stack((address)this))
kvn
parents:
7397
diff
changeset
|
167 |
// Operator new() was called and type was set. |
eabaf35910a1
6993125: runThese crashes with assert(Thread::current()->on_local_stack((address)this))
kvn
parents:
7397
diff
changeset
|
168 |
assert(!allocated_on_stack(), |
eabaf35910a1
6993125: runThese crashes with assert(Thread::current()->on_local_stack((address)this))
kvn
parents:
7397
diff
changeset
|
169 |
err_msg("not embedded or stack, this(" PTR_FORMAT ") type %d a[0]=(" PTR_FORMAT ") a[1]=(" PTR_FORMAT ")", |
eabaf35910a1
6993125: runThese crashes with assert(Thread::current()->on_local_stack((address)this))
kvn
parents:
7397
diff
changeset
|
170 |
this, get_allocation_type(), _allocation_t[0], _allocation_t[1])); |
6180 | 171 |
} else { |
7440
eabaf35910a1
6993125: runThese crashes with assert(Thread::current()->on_local_stack((address)this))
kvn
parents:
7397
diff
changeset
|
172 |
// Operator new() was not called. |
eabaf35910a1
6993125: runThese crashes with assert(Thread::current()->on_local_stack((address)this))
kvn
parents:
7397
diff
changeset
|
173 |
// Assume that it is embedded or stack object. |
eabaf35910a1
6993125: runThese crashes with assert(Thread::current()->on_local_stack((address)this))
kvn
parents:
7397
diff
changeset
|
174 |
set_allocation_type((address)this, STACK_OR_EMBEDDED); |
6180 | 175 |
} |
7440
eabaf35910a1
6993125: runThese crashes with assert(Thread::current()->on_local_stack((address)this))
kvn
parents:
7397
diff
changeset
|
176 |
_allocation_t[1] = 0; // Zap verification value |
6180 | 177 |
} |
178 |
||
6183
4c74cfe14f20
6975078: assert(allocated_on_res_area() || allocated_on_C_heap() || allocated_on_arena()
kvn
parents:
6180
diff
changeset
|
179 |
ResourceObj::ResourceObj(const ResourceObj& r) { // default copy constructor |
6180 | 180 |
// Used in ClassFileParser::parse_constant_pool_entries() for ClassFileStream. |
7440
eabaf35910a1
6993125: runThese crashes with assert(Thread::current()->on_local_stack((address)this))
kvn
parents:
7397
diff
changeset
|
181 |
// Note: garbage may resembles valid value. |
eabaf35910a1
6993125: runThese crashes with assert(Thread::current()->on_local_stack((address)this))
kvn
parents:
7397
diff
changeset
|
182 |
assert(~(_allocation_t[0] | allocation_mask) != (uintptr_t)this || !is_type_set(), |
eabaf35910a1
6993125: runThese crashes with assert(Thread::current()->on_local_stack((address)this))
kvn
parents:
7397
diff
changeset
|
183 |
err_msg("embedded or stack only, this(" PTR_FORMAT ") type %d a[0]=(" PTR_FORMAT ") a[1]=(" PTR_FORMAT ")", |
eabaf35910a1
6993125: runThese crashes with assert(Thread::current()->on_local_stack((address)this))
kvn
parents:
7397
diff
changeset
|
184 |
this, get_allocation_type(), _allocation_t[0], _allocation_t[1])); |
6180 | 185 |
set_allocation_type((address)this, STACK_OR_EMBEDDED); |
7440
eabaf35910a1
6993125: runThese crashes with assert(Thread::current()->on_local_stack((address)this))
kvn
parents:
7397
diff
changeset
|
186 |
_allocation_t[1] = 0; // Zap verification value |
6180 | 187 |
} |
188 |
||
189 |
ResourceObj& ResourceObj::operator=(const ResourceObj& r) { // default copy assignment |
|
190 |
// Used in InlineTree::ok_to_inline() for WarmCallInfo. |
|
7440
eabaf35910a1
6993125: runThese crashes with assert(Thread::current()->on_local_stack((address)this))
kvn
parents:
7397
diff
changeset
|
191 |
assert(allocated_on_stack(), |
eabaf35910a1
6993125: runThese crashes with assert(Thread::current()->on_local_stack((address)this))
kvn
parents:
7397
diff
changeset
|
192 |
err_msg("copy only into local, this(" PTR_FORMAT ") type %d a[0]=(" PTR_FORMAT ") a[1]=(" PTR_FORMAT ")", |
eabaf35910a1
6993125: runThese crashes with assert(Thread::current()->on_local_stack((address)this))
kvn
parents:
7397
diff
changeset
|
193 |
this, get_allocation_type(), _allocation_t[0], _allocation_t[1])); |
eabaf35910a1
6993125: runThese crashes with assert(Thread::current()->on_local_stack((address)this))
kvn
parents:
7397
diff
changeset
|
194 |
// Keep current _allocation_t value; |
6180 | 195 |
return *this; |
196 |
} |
|
197 |
||
198 |
ResourceObj::~ResourceObj() { |
|
6183
4c74cfe14f20
6975078: assert(allocated_on_res_area() || allocated_on_C_heap() || allocated_on_arena()
kvn
parents:
6180
diff
changeset
|
199 |
// allocated_on_C_heap() also checks that encoded (in _allocation) address == this. |
7440
eabaf35910a1
6993125: runThese crashes with assert(Thread::current()->on_local_stack((address)this))
kvn
parents:
7397
diff
changeset
|
200 |
if (!allocated_on_C_heap()) { // ResourceObj::delete() will zap _allocation for C_heap. |
eabaf35910a1
6993125: runThese crashes with assert(Thread::current()->on_local_stack((address)this))
kvn
parents:
7397
diff
changeset
|
201 |
_allocation_t[0] = (uintptr_t)badHeapOopVal; // zap type |
6180 | 202 |
} |
203 |
} |
|
204 |
#endif // ASSERT |
|
205 |
||
206 |
||
1 | 207 |
void trace_heap_malloc(size_t size, const char* name, void* p) { |
208 |
// A lock is not needed here - tty uses a lock internally |
|
8320 | 209 |
tty->print_cr("Heap malloc " INTPTR_FORMAT " " SIZE_FORMAT " %s", p, size, name == NULL ? "" : name); |
1 | 210 |
} |
211 |
||
212 |
||
213 |
void trace_heap_free(void* p) { |
|
214 |
// A lock is not needed here - tty uses a lock internally |
|
215 |
tty->print_cr("Heap free " INTPTR_FORMAT, p); |
|
216 |
} |
|
217 |
||
218 |
bool warn_new_operator = false; // see vm_main |
|
219 |
||
220 |
//-------------------------------------------------------------------------------------- |
|
221 |
// ChunkPool implementation |
|
222 |
||
223 |
// MT-safe pool of chunks to reduce malloc/free thrashing |
|
224 |
// NB: not using Mutex because pools are used before Threads are initialized |
|
13195 | 225 |
class ChunkPool: public CHeapObj<mtInternal> { |
1 | 226 |
Chunk* _first; // first cached Chunk; its first word points to next chunk |
227 |
size_t _num_chunks; // number of unused chunks in pool |
|
228 |
size_t _num_used; // number of chunks currently checked out |
|
229 |
const size_t _size; // size of each chunk (must be uniform) |
|
230 |
||
231 |
// Our three static pools |
|
232 |
static ChunkPool* _large_pool; |
|
233 |
static ChunkPool* _medium_pool; |
|
234 |
static ChunkPool* _small_pool; |
|
235 |
||
236 |
// return first element or null |
|
237 |
void* get_first() { |
|
238 |
Chunk* c = _first; |
|
239 |
if (_first) { |
|
240 |
_first = _first->next(); |
|
241 |
_num_chunks--; |
|
242 |
} |
|
243 |
return c; |
|
244 |
} |
|
245 |
||
246 |
public: |
|
247 |
// All chunks in a ChunkPool has the same size |
|
248 |
ChunkPool(size_t size) : _size(size) { _first = NULL; _num_chunks = _num_used = 0; } |
|
249 |
||
250 |
// Allocate a new chunk from the pool (might expand the pool) |
|
18055
ba8c01e0d016
7158805: Better rewriting of nested subroutine calls
hseigel
parents:
14579
diff
changeset
|
251 |
_NOINLINE_ void* allocate(size_t bytes, AllocFailType alloc_failmode) { |
1 | 252 |
assert(bytes == _size, "bad size"); |
253 |
void* p = NULL; |
|
13195 | 254 |
// No VM lock can be taken inside ThreadCritical lock, so os::malloc |
255 |
// should be done outside ThreadCritical lock due to NMT |
|
1 | 256 |
{ ThreadCritical tc; |
257 |
_num_used++; |
|
258 |
p = get_first(); |
|
259 |
} |
|
13195 | 260 |
if (p == NULL) p = os::malloc(bytes, mtChunk, CURRENT_PC); |
18055
ba8c01e0d016
7158805: Better rewriting of nested subroutine calls
hseigel
parents:
14579
diff
changeset
|
261 |
if (p == NULL && alloc_failmode == AllocFailStrategy::EXIT_OOM) { |
1 | 262 |
vm_exit_out_of_memory(bytes, "ChunkPool::allocate"); |
18055
ba8c01e0d016
7158805: Better rewriting of nested subroutine calls
hseigel
parents:
14579
diff
changeset
|
263 |
} |
1 | 264 |
return p; |
265 |
} |
|
266 |
||
267 |
// Return a chunk to the pool |
|
268 |
void free(Chunk* chunk) { |
|
269 |
assert(chunk->length() + Chunk::aligned_overhead_size() == _size, "bad size"); |
|
270 |
ThreadCritical tc; |
|
271 |
_num_used--; |
|
272 |
||
273 |
// Add chunk to list |
|
274 |
chunk->set_next(_first); |
|
275 |
_first = chunk; |
|
276 |
_num_chunks++; |
|
277 |
} |
|
278 |
||
279 |
// Prune the pool |
|
280 |
void free_all_but(size_t n) { |
|
13195 | 281 |
Chunk* cur = NULL; |
282 |
Chunk* next; |
|
283 |
{ |
|
1 | 284 |
// if we have more than n chunks, free all of them |
285 |
ThreadCritical tc; |
|
286 |
if (_num_chunks > n) { |
|
287 |
// free chunks at end of queue, for better locality |
|
13195 | 288 |
cur = _first; |
1 | 289 |
for (size_t i = 0; i < (n - 1) && cur != NULL; i++) cur = cur->next(); |
290 |
||
291 |
if (cur != NULL) { |
|
13195 | 292 |
next = cur->next(); |
1 | 293 |
cur->set_next(NULL); |
294 |
cur = next; |
|
295 |
||
13195 | 296 |
_num_chunks = n; |
297 |
} |
|
298 |
} |
|
299 |
} |
|
300 |
||
301 |
// Free all remaining chunks, outside of ThreadCritical |
|
302 |
// to avoid deadlock with NMT |
|
1 | 303 |
while(cur != NULL) { |
304 |
next = cur->next(); |
|
13195 | 305 |
os::free(cur, mtChunk); |
1 | 306 |
cur = next; |
307 |
} |
|
308 |
} |
|
309 |
||
310 |
// Accessors to preallocated pool's |
|
311 |
static ChunkPool* large_pool() { assert(_large_pool != NULL, "must be initialized"); return _large_pool; } |
|
312 |
static ChunkPool* medium_pool() { assert(_medium_pool != NULL, "must be initialized"); return _medium_pool; } |
|
313 |
static ChunkPool* small_pool() { assert(_small_pool != NULL, "must be initialized"); return _small_pool; } |
|
314 |
||
315 |
static void initialize() { |
|
316 |
_large_pool = new ChunkPool(Chunk::size + Chunk::aligned_overhead_size()); |
|
317 |
_medium_pool = new ChunkPool(Chunk::medium_size + Chunk::aligned_overhead_size()); |
|
318 |
_small_pool = new ChunkPool(Chunk::init_size + Chunk::aligned_overhead_size()); |
|
319 |
} |
|
6176
4d9030fe341f
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
5547
diff
changeset
|
320 |
|
4d9030fe341f
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
5547
diff
changeset
|
321 |
static void clean() { |
4d9030fe341f
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
5547
diff
changeset
|
322 |
enum { BlocksToKeep = 5 }; |
4d9030fe341f
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
5547
diff
changeset
|
323 |
_small_pool->free_all_but(BlocksToKeep); |
4d9030fe341f
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
5547
diff
changeset
|
324 |
_medium_pool->free_all_but(BlocksToKeep); |
4d9030fe341f
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
5547
diff
changeset
|
325 |
_large_pool->free_all_but(BlocksToKeep); |
4d9030fe341f
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
5547
diff
changeset
|
326 |
} |
1 | 327 |
}; |
328 |
||
329 |
ChunkPool* ChunkPool::_large_pool = NULL; |
|
330 |
ChunkPool* ChunkPool::_medium_pool = NULL; |
|
331 |
ChunkPool* ChunkPool::_small_pool = NULL; |
|
332 |
||
333 |
void chunkpool_init() { |
|
334 |
ChunkPool::initialize(); |
|
335 |
} |
|
336 |
||
6176
4d9030fe341f
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
5547
diff
changeset
|
337 |
void |
4d9030fe341f
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
5547
diff
changeset
|
338 |
Chunk::clean_chunk_pool() { |
4d9030fe341f
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
5547
diff
changeset
|
339 |
ChunkPool::clean(); |
4d9030fe341f
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
5547
diff
changeset
|
340 |
} |
4d9030fe341f
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
5547
diff
changeset
|
341 |
|
1 | 342 |
|
343 |
//-------------------------------------------------------------------------------------- |
|
344 |
// ChunkPoolCleaner implementation |
|
6176
4d9030fe341f
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
5547
diff
changeset
|
345 |
// |
1 | 346 |
|
347 |
class ChunkPoolCleaner : public PeriodicTask { |
|
6176
4d9030fe341f
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
5547
diff
changeset
|
348 |
enum { CleaningInterval = 5000 }; // cleaning interval in ms |
1 | 349 |
|
350 |
public: |
|
351 |
ChunkPoolCleaner() : PeriodicTask(CleaningInterval) {} |
|
352 |
void task() { |
|
6176
4d9030fe341f
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
5547
diff
changeset
|
353 |
ChunkPool::clean(); |
1 | 354 |
} |
355 |
}; |
|
356 |
||
357 |
//-------------------------------------------------------------------------------------- |
|
358 |
// Chunk implementation |
|
359 |
||
18055
ba8c01e0d016
7158805: Better rewriting of nested subroutine calls
hseigel
parents:
14579
diff
changeset
|
360 |
void* Chunk::operator new (size_t requested_size, AllocFailType alloc_failmode, size_t length) { |
1 | 361 |
// requested_size is equal to sizeof(Chunk) but in order for the arena |
362 |
// allocations to come out aligned as expected the size must be aligned |
|
363 |
// to expected arean alignment. |
|
364 |
// expect requested_size but if sizeof(Chunk) doesn't match isn't proper size we must align it. |
|
365 |
assert(ARENA_ALIGN(requested_size) == aligned_overhead_size(), "Bad alignment"); |
|
366 |
size_t bytes = ARENA_ALIGN(requested_size) + length; |
|
367 |
switch (length) { |
|
18055
ba8c01e0d016
7158805: Better rewriting of nested subroutine calls
hseigel
parents:
14579
diff
changeset
|
368 |
case Chunk::size: return ChunkPool::large_pool()->allocate(bytes, alloc_failmode); |
ba8c01e0d016
7158805: Better rewriting of nested subroutine calls
hseigel
parents:
14579
diff
changeset
|
369 |
case Chunk::medium_size: return ChunkPool::medium_pool()->allocate(bytes, alloc_failmode); |
ba8c01e0d016
7158805: Better rewriting of nested subroutine calls
hseigel
parents:
14579
diff
changeset
|
370 |
case Chunk::init_size: return ChunkPool::small_pool()->allocate(bytes, alloc_failmode); |
1 | 371 |
default: { |
18055
ba8c01e0d016
7158805: Better rewriting of nested subroutine calls
hseigel
parents:
14579
diff
changeset
|
372 |
void* p = os::malloc(bytes, mtChunk, CALLER_PC); |
ba8c01e0d016
7158805: Better rewriting of nested subroutine calls
hseigel
parents:
14579
diff
changeset
|
373 |
if (p == NULL && alloc_failmode == AllocFailStrategy::EXIT_OOM) { |
1 | 374 |
vm_exit_out_of_memory(bytes, "Chunk::new"); |
18055
ba8c01e0d016
7158805: Better rewriting of nested subroutine calls
hseigel
parents:
14579
diff
changeset
|
375 |
} |
1 | 376 |
return p; |
377 |
} |
|
378 |
} |
|
379 |
} |
|
380 |
||
381 |
void Chunk::operator delete(void* p) { |
|
382 |
Chunk* c = (Chunk*)p; |
|
383 |
switch (c->length()) { |
|
384 |
case Chunk::size: ChunkPool::large_pool()->free(c); break; |
|
385 |
case Chunk::medium_size: ChunkPool::medium_pool()->free(c); break; |
|
386 |
case Chunk::init_size: ChunkPool::small_pool()->free(c); break; |
|
13195 | 387 |
default: os::free(c, mtChunk); |
1 | 388 |
} |
389 |
} |
|
390 |
||
391 |
Chunk::Chunk(size_t length) : _len(length) { |
|
392 |
_next = NULL; // Chain on the linked list |
|
393 |
} |
|
394 |
||
395 |
||
396 |
void Chunk::chop() { |
|
397 |
Chunk *k = this; |
|
398 |
while( k ) { |
|
399 |
Chunk *tmp = k->next(); |
|
400 |
// clear out this chunk (to detect allocation bugs) |
|
401 |
if (ZapResourceArea) memset(k->bottom(), badResourceValue, k->length()); |
|
402 |
delete k; // Free chunk (was malloc'd) |
|
403 |
k = tmp; |
|
404 |
} |
|
405 |
} |
|
406 |
||
407 |
void Chunk::next_chop() { |
|
408 |
_next->chop(); |
|
409 |
_next = NULL; |
|
410 |
} |
|
411 |
||
412 |
||
413 |
void Chunk::start_chunk_pool_cleaner_task() { |
|
414 |
#ifdef ASSERT |
|
415 |
static bool task_created = false; |
|
416 |
assert(!task_created, "should not start chuck pool cleaner twice"); |
|
417 |
task_created = true; |
|
418 |
#endif |
|
419 |
ChunkPoolCleaner* cleaner = new ChunkPoolCleaner(); |
|
420 |
cleaner->enroll(); |
|
421 |
} |
|
422 |
||
423 |
//------------------------------Arena------------------------------------------ |
|
13195 | 424 |
NOT_PRODUCT(volatile jint Arena::_instance_count = 0;) |
1 | 425 |
|
426 |
Arena::Arena(size_t init_size) { |
|
427 |
size_t round_size = (sizeof (char *)) - 1; |
|
428 |
init_size = (init_size+round_size) & ~round_size; |
|
18055
ba8c01e0d016
7158805: Better rewriting of nested subroutine calls
hseigel
parents:
14579
diff
changeset
|
429 |
_first = _chunk = new (AllocFailStrategy::EXIT_OOM, init_size) Chunk(init_size); |
1 | 430 |
_hwm = _chunk->bottom(); // Save the cached hwm, max |
431 |
_max = _chunk->top(); |
|
432 |
set_size_in_bytes(init_size); |
|
13195 | 433 |
NOT_PRODUCT(Atomic::inc(&_instance_count);) |
1 | 434 |
} |
435 |
||
436 |
Arena::Arena() { |
|
18055
ba8c01e0d016
7158805: Better rewriting of nested subroutine calls
hseigel
parents:
14579
diff
changeset
|
437 |
_first = _chunk = new (AllocFailStrategy::EXIT_OOM, Chunk::init_size) Chunk(Chunk::init_size); |
1 | 438 |
_hwm = _chunk->bottom(); // Save the cached hwm, max |
439 |
_max = _chunk->top(); |
|
440 |
set_size_in_bytes(Chunk::init_size); |
|
13195 | 441 |
NOT_PRODUCT(Atomic::inc(&_instance_count);) |
1 | 442 |
} |
443 |
||
444 |
Arena *Arena::move_contents(Arena *copy) { |
|
445 |
copy->destruct_contents(); |
|
446 |
copy->_chunk = _chunk; |
|
447 |
copy->_hwm = _hwm; |
|
448 |
copy->_max = _max; |
|
449 |
copy->_first = _first; |
|
14120
7d298141c258
7199092: NMT: NMT needs to deal overlapped virtual memory ranges
zgu
parents:
14083
diff
changeset
|
450 |
|
7d298141c258
7199092: NMT: NMT needs to deal overlapped virtual memory ranges
zgu
parents:
14083
diff
changeset
|
451 |
// workaround rare racing condition, which could double count |
7d298141c258
7199092: NMT: NMT needs to deal overlapped virtual memory ranges
zgu
parents:
14083
diff
changeset
|
452 |
// the arena size by native memory tracking |
7d298141c258
7199092: NMT: NMT needs to deal overlapped virtual memory ranges
zgu
parents:
14083
diff
changeset
|
453 |
size_t size = size_in_bytes(); |
7d298141c258
7199092: NMT: NMT needs to deal overlapped virtual memory ranges
zgu
parents:
14083
diff
changeset
|
454 |
set_size_in_bytes(0); |
7d298141c258
7199092: NMT: NMT needs to deal overlapped virtual memory ranges
zgu
parents:
14083
diff
changeset
|
455 |
copy->set_size_in_bytes(size); |
1 | 456 |
// Destroy original arena |
457 |
reset(); |
|
458 |
return copy; // Return Arena with contents |
|
459 |
} |
|
460 |
||
461 |
Arena::~Arena() { |
|
462 |
destruct_contents(); |
|
13195 | 463 |
NOT_PRODUCT(Atomic::dec(&_instance_count);) |
464 |
} |
|
465 |
||
466 |
void* Arena::operator new(size_t size) { |
|
467 |
assert(false, "Use dynamic memory type binding"); |
|
468 |
return NULL; |
|
469 |
} |
|
470 |
||
471 |
void* Arena::operator new (size_t size, const std::nothrow_t& nothrow_constant) { |
|
472 |
assert(false, "Use dynamic memory type binding"); |
|
473 |
return NULL; |
|
474 |
} |
|
475 |
||
476 |
// dynamic memory type binding |
|
477 |
void* Arena::operator new(size_t size, MEMFLAGS flags) { |
|
478 |
#ifdef ASSERT |
|
479 |
void* p = (void*)AllocateHeap(size, flags|otArena, CALLER_PC); |
|
480 |
if (PrintMallocFree) trace_heap_malloc(size, "Arena-new", p); |
|
481 |
return p; |
|
482 |
#else |
|
483 |
return (void *) AllocateHeap(size, flags|otArena, CALLER_PC); |
|
484 |
#endif |
|
485 |
} |
|
486 |
||
487 |
void* Arena::operator new(size_t size, const std::nothrow_t& nothrow_constant, MEMFLAGS flags) { |
|
488 |
#ifdef ASSERT |
|
489 |
void* p = os::malloc(size, flags|otArena, CALLER_PC); |
|
490 |
if (PrintMallocFree) trace_heap_malloc(size, "Arena-new", p); |
|
491 |
return p; |
|
492 |
#else |
|
493 |
return os::malloc(size, flags|otArena, CALLER_PC); |
|
494 |
#endif |
|
495 |
} |
|
496 |
||
497 |
void Arena::operator delete(void* p) { |
|
498 |
FreeHeap(p); |
|
1 | 499 |
} |
500 |
||
501 |
// Destroy this arenas contents and reset to empty |
|
502 |
void Arena::destruct_contents() { |
|
503 |
if (UseMallocOnly && _first != NULL) { |
|
504 |
char* end = _first->next() ? _first->top() : _hwm; |
|
505 |
free_malloced_objects(_first, _first->bottom(), end, _hwm); |
|
506 |
} |
|
14120
7d298141c258
7199092: NMT: NMT needs to deal overlapped virtual memory ranges
zgu
parents:
14083
diff
changeset
|
507 |
// reset size before chop to avoid a rare racing condition |
7d298141c258
7199092: NMT: NMT needs to deal overlapped virtual memory ranges
zgu
parents:
14083
diff
changeset
|
508 |
// that can have total arena memory exceed total chunk memory |
7d298141c258
7199092: NMT: NMT needs to deal overlapped virtual memory ranges
zgu
parents:
14083
diff
changeset
|
509 |
set_size_in_bytes(0); |
1 | 510 |
_first->chop(); |
511 |
reset(); |
|
512 |
} |
|
513 |
||
13195 | 514 |
// This is high traffic method, but many calls actually don't |
515 |
// change the size |
|
516 |
void Arena::set_size_in_bytes(size_t size) { |
|
517 |
if (_size_in_bytes != size) { |
|
518 |
_size_in_bytes = size; |
|
519 |
MemTracker::record_arena_size((address)this, size); |
|
520 |
} |
|
521 |
} |
|
1 | 522 |
|
523 |
// Total of all Chunks in arena |
|
524 |
size_t Arena::used() const { |
|
525 |
size_t sum = _chunk->length() - (_max-_hwm); // Size leftover in this Chunk |
|
526 |
register Chunk *k = _first; |
|
527 |
while( k != _chunk) { // Whilst have Chunks in a row |
|
528 |
sum += k->length(); // Total size of this Chunk |
|
529 |
k = k->next(); // Bump along to next Chunk |
|
530 |
} |
|
531 |
return sum; // Return total consumed space. |
|
532 |
} |
|
533 |
||
8481
42a79b703814
6878713: Verifier heap corruption, relating to backward jsrs
kamg
parents:
8320
diff
changeset
|
534 |
void Arena::signal_out_of_memory(size_t sz, const char* whence) const { |
42a79b703814
6878713: Verifier heap corruption, relating to backward jsrs
kamg
parents:
8320
diff
changeset
|
535 |
vm_exit_out_of_memory(sz, whence); |
42a79b703814
6878713: Verifier heap corruption, relating to backward jsrs
kamg
parents:
8320
diff
changeset
|
536 |
} |
1 | 537 |
|
538 |
// Grow a new Chunk |
|
14083
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13728
diff
changeset
|
539 |
void* Arena::grow(size_t x, AllocFailType alloc_failmode) { |
1 | 540 |
// Get minimal required size. Either real big, or even bigger for giant objs |
541 |
size_t len = MAX2(x, (size_t) Chunk::size); |
|
542 |
||
543 |
Chunk *k = _chunk; // Get filled-up chunk address |
|
18055
ba8c01e0d016
7158805: Better rewriting of nested subroutine calls
hseigel
parents:
14579
diff
changeset
|
544 |
_chunk = new (alloc_failmode, len) Chunk(len); |
1 | 545 |
|
8481
42a79b703814
6878713: Verifier heap corruption, relating to backward jsrs
kamg
parents:
8320
diff
changeset
|
546 |
if (_chunk == NULL) { |
14083
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13728
diff
changeset
|
547 |
return NULL; |
8481
42a79b703814
6878713: Verifier heap corruption, relating to backward jsrs
kamg
parents:
8320
diff
changeset
|
548 |
} |
1 | 549 |
if (k) k->set_next(_chunk); // Append new chunk to end of linked list |
550 |
else _first = _chunk; |
|
551 |
_hwm = _chunk->bottom(); // Save the cached hwm, max |
|
552 |
_max = _chunk->top(); |
|
553 |
set_size_in_bytes(size_in_bytes() + len); |
|
554 |
void* result = _hwm; |
|
555 |
_hwm += x; |
|
556 |
return result; |
|
557 |
} |
|
558 |
||
559 |
||
560 |
||
561 |
// Reallocate storage in Arena. |
|
14083
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13728
diff
changeset
|
562 |
void *Arena::Arealloc(void* old_ptr, size_t old_size, size_t new_size, AllocFailType alloc_failmode) { |
1 | 563 |
assert(new_size >= 0, "bad size"); |
564 |
if (new_size == 0) return NULL; |
|
565 |
#ifdef ASSERT |
|
566 |
if (UseMallocOnly) { |
|
567 |
// always allocate a new object (otherwise we'll free this one twice) |
|
14083
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13728
diff
changeset
|
568 |
char* copy = (char*)Amalloc(new_size, alloc_failmode); |
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13728
diff
changeset
|
569 |
if (copy == NULL) { |
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13728
diff
changeset
|
570 |
return NULL; |
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13728
diff
changeset
|
571 |
} |
1 | 572 |
size_t n = MIN2(old_size, new_size); |
573 |
if (n > 0) memcpy(copy, old_ptr, n); |
|
574 |
Afree(old_ptr,old_size); // Mostly done to keep stats accurate |
|
575 |
return copy; |
|
576 |
} |
|
577 |
#endif |
|
578 |
char *c_old = (char*)old_ptr; // Handy name |
|
579 |
// Stupid fast special case |
|
580 |
if( new_size <= old_size ) { // Shrink in-place |
|
581 |
if( c_old+old_size == _hwm) // Attempt to free the excess bytes |
|
582 |
_hwm = c_old+new_size; // Adjust hwm |
|
583 |
return c_old; |
|
584 |
} |
|
585 |
||
586 |
// make sure that new_size is legal |
|
587 |
size_t corrected_new_size = ARENA_ALIGN(new_size); |
|
588 |
||
589 |
// See if we can resize in-place |
|
590 |
if( (c_old+old_size == _hwm) && // Adjusting recent thing |
|
591 |
(c_old+corrected_new_size <= _max) ) { // Still fits where it sits |
|
592 |
_hwm = c_old+corrected_new_size; // Adjust hwm |
|
593 |
return c_old; // Return old pointer |
|
594 |
} |
|
595 |
||
596 |
// Oops, got to relocate guts |
|
14083
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13728
diff
changeset
|
597 |
void *new_ptr = Amalloc(new_size, alloc_failmode); |
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13728
diff
changeset
|
598 |
if (new_ptr == NULL) { |
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13728
diff
changeset
|
599 |
return NULL; |
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13728
diff
changeset
|
600 |
} |
1 | 601 |
memcpy( new_ptr, c_old, old_size ); |
602 |
Afree(c_old,old_size); // Mostly done to keep stats accurate |
|
603 |
return new_ptr; |
|
604 |
} |
|
605 |
||
606 |
||
607 |
// Determine if pointer belongs to this Arena or not. |
|
608 |
bool Arena::contains( const void *ptr ) const { |
|
609 |
#ifdef ASSERT |
|
610 |
if (UseMallocOnly) { |
|
611 |
// really slow, but not easy to make fast |
|
612 |
if (_chunk == NULL) return false; |
|
613 |
char** bottom = (char**)_chunk->bottom(); |
|
614 |
for (char** p = (char**)_hwm - 1; p >= bottom; p--) { |
|
615 |
if (*p == ptr) return true; |
|
616 |
} |
|
617 |
for (Chunk *c = _first; c != NULL; c = c->next()) { |
|
618 |
if (c == _chunk) continue; // current chunk has been processed |
|
619 |
char** bottom = (char**)c->bottom(); |
|
620 |
for (char** p = (char**)c->top() - 1; p >= bottom; p--) { |
|
621 |
if (*p == ptr) return true; |
|
622 |
} |
|
623 |
} |
|
624 |
return false; |
|
625 |
} |
|
626 |
#endif |
|
627 |
if( (void*)_chunk->bottom() <= ptr && ptr < (void*)_hwm ) |
|
628 |
return true; // Check for in this chunk |
|
629 |
for (Chunk *c = _first; c; c = c->next()) { |
|
630 |
if (c == _chunk) continue; // current chunk has been processed |
|
631 |
if ((void*)c->bottom() <= ptr && ptr < (void*)c->top()) { |
|
632 |
return true; // Check for every chunk in Arena |
|
633 |
} |
|
634 |
} |
|
635 |
return false; // Not in any Chunk, so not in Arena |
|
636 |
} |
|
637 |
||
638 |
||
639 |
#ifdef ASSERT |
|
640 |
void* Arena::malloc(size_t size) { |
|
641 |
assert(UseMallocOnly, "shouldn't call"); |
|
642 |
// use malloc, but save pointer in res. area for later freeing |
|
643 |
char** save = (char**)internal_malloc_4(sizeof(char*)); |
|
13195 | 644 |
return (*save = (char*)os::malloc(size, mtChunk)); |
1 | 645 |
} |
646 |
||
647 |
// for debugging with UseMallocOnly |
|
648 |
void* Arena::internal_malloc_4(size_t x) { |
|
649 |
assert( (x&(sizeof(char*)-1)) == 0, "misaligned size" ); |
|
8481
42a79b703814
6878713: Verifier heap corruption, relating to backward jsrs
kamg
parents:
8320
diff
changeset
|
650 |
check_for_overflow(x, "Arena::internal_malloc_4"); |
1 | 651 |
if (_hwm + x > _max) { |
652 |
return grow(x); |
|
653 |
} else { |
|
654 |
char *old = _hwm; |
|
655 |
_hwm += x; |
|
656 |
return old; |
|
657 |
} |
|
658 |
} |
|
659 |
#endif |
|
660 |
||
661 |
||
662 |
//-------------------------------------------------------------------------------------- |
|
663 |
// Non-product code |
|
664 |
||
665 |
#ifndef PRODUCT |
|
666 |
// The global operator new should never be called since it will usually indicate |
|
667 |
// a memory leak. Use CHeapObj as the base class of such objects to make it explicit |
|
668 |
// that they're allocated on the C heap. |
|
669 |
// Commented out in product version to avoid conflicts with third-party C++ native code. |
|
670 |
// %% note this is causing a problem on solaris debug build. the global |
|
671 |
// new is being called from jdk source and causing data corruption. |
|
672 |
// src/share/native/sun/awt/font/fontmanager/textcache/hsMemory.cpp::hsSoftNew |
|
673 |
// define CATCH_OPERATOR_NEW_USAGE if you want to use this. |
|
674 |
#ifdef CATCH_OPERATOR_NEW_USAGE |
|
675 |
void* operator new(size_t size){ |
|
676 |
static bool warned = false; |
|
677 |
if (!warned && warn_new_operator) |
|
678 |
warning("should not call global (default) operator new"); |
|
679 |
warned = true; |
|
680 |
return (void *) AllocateHeap(size, "global operator new"); |
|
681 |
} |
|
682 |
#endif |
|
683 |
||
684 |
void AllocatedObj::print() const { print_on(tty); } |
|
685 |
void AllocatedObj::print_value() const { print_value_on(tty); } |
|
686 |
||
687 |
void AllocatedObj::print_on(outputStream* st) const { |
|
688 |
st->print_cr("AllocatedObj(" INTPTR_FORMAT ")", this); |
|
689 |
} |
|
690 |
||
691 |
void AllocatedObj::print_value_on(outputStream* st) const { |
|
692 |
st->print("AllocatedObj(" INTPTR_FORMAT ")", this); |
|
693 |
} |
|
694 |
||
8320 | 695 |
julong Arena::_bytes_allocated = 0; |
696 |
||
697 |
void Arena::inc_bytes_allocated(size_t x) { inc_stat_counter(&_bytes_allocated, x); } |
|
1 | 698 |
|
699 |
AllocStats::AllocStats() { |
|
8320 | 700 |
start_mallocs = os::num_mallocs; |
701 |
start_frees = os::num_frees; |
|
1 | 702 |
start_malloc_bytes = os::alloc_bytes; |
8320 | 703 |
start_mfree_bytes = os::free_bytes; |
704 |
start_res_bytes = Arena::_bytes_allocated; |
|
1 | 705 |
} |
706 |
||
8320 | 707 |
julong AllocStats::num_mallocs() { return os::num_mallocs - start_mallocs; } |
708 |
julong AllocStats::alloc_bytes() { return os::alloc_bytes - start_malloc_bytes; } |
|
709 |
julong AllocStats::num_frees() { return os::num_frees - start_frees; } |
|
710 |
julong AllocStats::free_bytes() { return os::free_bytes - start_mfree_bytes; } |
|
711 |
julong AllocStats::resource_bytes() { return Arena::_bytes_allocated - start_res_bytes; } |
|
1 | 712 |
void AllocStats::print() { |
8320 | 713 |
tty->print_cr(UINT64_FORMAT " mallocs (" UINT64_FORMAT "MB), " |
714 |
UINT64_FORMAT" frees (" UINT64_FORMAT "MB), " UINT64_FORMAT "MB resrc", |
|
715 |
num_mallocs(), alloc_bytes()/M, num_frees(), free_bytes()/M, resource_bytes()/M); |
|
1 | 716 |
} |
717 |
||
718 |
||
719 |
// debugging code |
|
720 |
inline void Arena::free_all(char** start, char** end) { |
|
721 |
for (char** p = start; p < end; p++) if (*p) os::free(*p); |
|
722 |
} |
|
723 |
||
724 |
void Arena::free_malloced_objects(Chunk* chunk, char* hwm, char* max, char* hwm2) { |
|
725 |
assert(UseMallocOnly, "should not call"); |
|
726 |
// free all objects malloced since resource mark was created; resource area |
|
727 |
// contains their addresses |
|
728 |
if (chunk->next()) { |
|
729 |
// this chunk is full, and some others too |
|
730 |
for (Chunk* c = chunk->next(); c != NULL; c = c->next()) { |
|
731 |
char* top = c->top(); |
|
732 |
if (c->next() == NULL) { |
|
733 |
top = hwm2; // last junk is only used up to hwm2 |
|
734 |
assert(c->contains(hwm2), "bad hwm2"); |
|
735 |
} |
|
736 |
free_all((char**)c->bottom(), (char**)top); |
|
737 |
} |
|
738 |
assert(chunk->contains(hwm), "bad hwm"); |
|
739 |
assert(chunk->contains(max), "bad max"); |
|
740 |
free_all((char**)hwm, (char**)max); |
|
741 |
} else { |
|
742 |
// this chunk was partially used |
|
743 |
assert(chunk->contains(hwm), "bad hwm"); |
|
744 |
assert(chunk->contains(hwm2), "bad hwm2"); |
|
745 |
free_all((char**)hwm, (char**)hwm2); |
|
746 |
} |
|
747 |
} |
|
748 |
||
749 |
||
750 |
ReallocMark::ReallocMark() { |
|
751 |
#ifdef ASSERT |
|
752 |
Thread *thread = ThreadLocalStorage::get_thread_slow(); |
|
753 |
_nesting = thread->resource_area()->nesting(); |
|
754 |
#endif |
|
755 |
} |
|
756 |
||
757 |
void ReallocMark::check() { |
|
758 |
#ifdef ASSERT |
|
759 |
if (_nesting != Thread::current()->resource_area()->nesting()) { |
|
760 |
fatal("allocation bug: array could grow within nested ResourceMark"); |
|
761 |
} |
|
762 |
#endif |
|
763 |
} |
|
764 |
||
765 |
#endif // Non-product |