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