author | stefank |
Tue, 27 Nov 2012 14:20:21 +0100 | |
changeset 14583 | d70ee55535f4 |
parent 14120 | 7d298141c258 |
child 14579 | 7f6ce6e3dd80 |
permissions | -rw-r--r-- |
1 | 1 |
/* |
13195 | 2 |
* Copyright (c) 1997, 2012, 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:
1374
diff
changeset
|
19 |
* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
f4b087cbb361
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1374
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:
1374
diff
changeset
|
21 |
* questions. |
1 | 22 |
* |
23 |
*/ |
|
24 |
||
7397 | 25 |
#ifndef SHARE_VM_MEMORY_ALLOCATION_HPP |
26 |
#define SHARE_VM_MEMORY_ALLOCATION_HPP |
|
27 |
||
28 |
#include "runtime/globals.hpp" |
|
29 |
#include "utilities/globalDefinitions.hpp" |
|
13975
2f7431485cfa
7189254: Change makefiles for more flexibility to override defaults
jprovino
parents:
13728
diff
changeset
|
30 |
#include "utilities/macros.hpp" |
7397 | 31 |
#ifdef COMPILER1 |
32 |
#include "c1/c1_globals.hpp" |
|
33 |
#endif |
|
34 |
#ifdef COMPILER2 |
|
35 |
#include "opto/c2_globals.hpp" |
|
36 |
#endif |
|
37 |
||
9403
6f3c6231c20a
7036747: 7017009 reappeared, problem with ElfStringTable
zgu
parents:
8481
diff
changeset
|
38 |
#include <new> |
6f3c6231c20a
7036747: 7017009 reappeared, problem with ElfStringTable
zgu
parents:
8481
diff
changeset
|
39 |
|
1 | 40 |
#define ARENA_ALIGN_M1 (((size_t)(ARENA_AMALLOC_ALIGNMENT)) - 1) |
41 |
#define ARENA_ALIGN_MASK (~((size_t)ARENA_ALIGN_M1)) |
|
42 |
#define ARENA_ALIGN(x) ((((size_t)(x)) + ARENA_ALIGN_M1) & ARENA_ALIGN_MASK) |
|
43 |
||
13195 | 44 |
|
45 |
// noinline attribute |
|
46 |
#ifdef _WINDOWS |
|
47 |
#define _NOINLINE_ __declspec(noinline) |
|
48 |
#else |
|
49 |
#if __GNUC__ < 3 // gcc 2.x does not support noinline attribute |
|
50 |
#define _NOINLINE_ |
|
51 |
#else |
|
52 |
#define _NOINLINE_ __attribute__ ((noinline)) |
|
53 |
#endif |
|
54 |
#endif |
|
55 |
||
14083
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13975
diff
changeset
|
56 |
class AllocFailStrategy { |
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13975
diff
changeset
|
57 |
public: |
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13975
diff
changeset
|
58 |
enum AllocFailEnum { EXIT_OOM, RETURN_NULL }; |
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13975
diff
changeset
|
59 |
}; |
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13975
diff
changeset
|
60 |
typedef AllocFailStrategy::AllocFailEnum AllocFailType; |
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13975
diff
changeset
|
61 |
|
1 | 62 |
// All classes in the virtual machine must be subclassed |
63 |
// by one of the following allocation classes: |
|
64 |
// |
|
65 |
// For objects allocated in the resource area (see resourceArea.hpp). |
|
66 |
// - ResourceObj |
|
67 |
// |
|
68 |
// For objects allocated in the C-heap (managed by: free & malloc). |
|
69 |
// - CHeapObj |
|
70 |
// |
|
71 |
// For objects allocated on the stack. |
|
72 |
// - StackObj |
|
73 |
// |
|
74 |
// For embedded objects. |
|
75 |
// - ValueObj |
|
76 |
// |
|
77 |
// For classes used as name spaces. |
|
78 |
// - AllStatic |
|
79 |
// |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13195
diff
changeset
|
80 |
// For classes in Metaspace (class data) |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13195
diff
changeset
|
81 |
// - MetaspaceObj |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13195
diff
changeset
|
82 |
// |
1 | 83 |
// The printable subclasses are used for debugging and define virtual |
84 |
// member functions for printing. Classes that avoid allocating the |
|
85 |
// vtbl entries in the objects should therefore not be the printable |
|
86 |
// subclasses. |
|
87 |
// |
|
88 |
// The following macros and function should be used to allocate memory |
|
89 |
// directly in the resource area or in the C-heap: |
|
90 |
// |
|
91 |
// NEW_RESOURCE_ARRAY(type,size) |
|
92 |
// NEW_RESOURCE_OBJ(type) |
|
93 |
// NEW_C_HEAP_ARRAY(type,size) |
|
94 |
// NEW_C_HEAP_OBJ(type) |
|
95 |
// char* AllocateHeap(size_t size, const char* name); |
|
96 |
// void FreeHeap(void* p); |
|
97 |
// |
|
98 |
// C-heap allocation can be traced using +PrintHeapAllocation. |
|
99 |
// malloc and free should therefore never called directly. |
|
100 |
||
101 |
// Base class for objects allocated in the C-heap. |
|
102 |
||
103 |
// In non product mode we introduce a super class for all allocation classes |
|
104 |
// that supports printing. |
|
105 |
// We avoid the superclass in product mode since some C++ compilers add |
|
106 |
// a word overhead for empty super classes. |
|
107 |
||
108 |
#ifdef PRODUCT |
|
109 |
#define ALLOCATION_SUPER_CLASS_SPEC |
|
110 |
#else |
|
111 |
#define ALLOCATION_SUPER_CLASS_SPEC : public AllocatedObj |
|
112 |
class AllocatedObj { |
|
113 |
public: |
|
114 |
// Printing support |
|
115 |
void print() const; |
|
116 |
void print_value() const; |
|
117 |
||
118 |
virtual void print_on(outputStream* st) const; |
|
119 |
virtual void print_value_on(outputStream* st) const; |
|
120 |
}; |
|
121 |
#endif |
|
122 |
||
13195 | 123 |
|
124 |
/* |
|
125 |
* MemoryType bitmap layout: |
|
126 |
* | 16 15 14 13 12 11 10 09 | 08 07 06 05 | 04 03 02 01 | |
|
127 |
* | memory type | object | reserved | |
|
128 |
* | | type | | |
|
129 |
*/ |
|
130 |
enum MemoryType { |
|
131 |
// Memory type by sub systems. It occupies lower byte. |
|
132 |
mtNone = 0x0000, // undefined |
|
133 |
mtClass = 0x0100, // memory class for Java classes |
|
134 |
mtThread = 0x0200, // memory for thread objects |
|
135 |
mtThreadStack = 0x0300, |
|
136 |
mtCode = 0x0400, // memory for generated code |
|
137 |
mtGC = 0x0500, // memory for GC |
|
138 |
mtCompiler = 0x0600, // memory for compiler |
|
139 |
mtInternal = 0x0700, // memory used by VM, but does not belong to |
|
140 |
// any of above categories, and not used for |
|
141 |
// native memory tracking |
|
142 |
mtOther = 0x0800, // memory not used by VM |
|
143 |
mtSymbol = 0x0900, // symbol |
|
144 |
mtNMT = 0x0A00, // memory used by native memory tracking |
|
145 |
mtChunk = 0x0B00, // chunk that holds content of arenas |
|
146 |
mtJavaHeap = 0x0C00, // Java heap |
|
14120
7d298141c258
7199092: NMT: NMT needs to deal overlapped virtual memory ranges
zgu
parents:
14083
diff
changeset
|
147 |
mtClassShared = 0x0D00, // class data sharing |
7d298141c258
7199092: NMT: NMT needs to deal overlapped virtual memory ranges
zgu
parents:
14083
diff
changeset
|
148 |
mt_number_of_types = 0x000D, // number of memory types (mtDontTrack |
7d298141c258
7199092: NMT: NMT needs to deal overlapped virtual memory ranges
zgu
parents:
14083
diff
changeset
|
149 |
// is not included as validate type) |
7d298141c258
7199092: NMT: NMT needs to deal overlapped virtual memory ranges
zgu
parents:
14083
diff
changeset
|
150 |
mtDontTrack = 0x0E00, // memory we do not or cannot track |
13195 | 151 |
mt_masks = 0x7F00, |
152 |
||
153 |
// object type mask |
|
154 |
otArena = 0x0010, // an arena object |
|
155 |
otNMTRecorder = 0x0020, // memory recorder object |
|
156 |
ot_masks = 0x00F0 |
|
157 |
}; |
|
158 |
||
159 |
#define IS_MEMORY_TYPE(flags, type) ((flags & mt_masks) == type) |
|
160 |
#define HAS_VALID_MEMORY_TYPE(flags)((flags & mt_masks) != mtNone) |
|
161 |
#define FLAGS_TO_MEMORY_TYPE(flags) (flags & mt_masks) |
|
162 |
||
163 |
#define IS_ARENA_OBJ(flags) ((flags & ot_masks) == otArena) |
|
164 |
#define IS_NMT_RECORDER(flags) ((flags & ot_masks) == otNMTRecorder) |
|
165 |
#define NMT_CAN_TRACK(flags) (!IS_NMT_RECORDER(flags) && !(IS_MEMORY_TYPE(flags, mtDontTrack))) |
|
166 |
||
167 |
typedef unsigned short MEMFLAGS; |
|
168 |
||
13975
2f7431485cfa
7189254: Change makefiles for more flexibility to override defaults
jprovino
parents:
13728
diff
changeset
|
169 |
#if INCLUDE_NMT |
2f7431485cfa
7189254: Change makefiles for more flexibility to override defaults
jprovino
parents:
13728
diff
changeset
|
170 |
|
13195 | 171 |
extern bool NMT_track_callsite; |
172 |
||
13975
2f7431485cfa
7189254: Change makefiles for more flexibility to override defaults
jprovino
parents:
13728
diff
changeset
|
173 |
#else |
2f7431485cfa
7189254: Change makefiles for more flexibility to override defaults
jprovino
parents:
13728
diff
changeset
|
174 |
|
2f7431485cfa
7189254: Change makefiles for more flexibility to override defaults
jprovino
parents:
13728
diff
changeset
|
175 |
const bool NMT_track_callsite = false; |
2f7431485cfa
7189254: Change makefiles for more flexibility to override defaults
jprovino
parents:
13728
diff
changeset
|
176 |
|
2f7431485cfa
7189254: Change makefiles for more flexibility to override defaults
jprovino
parents:
13728
diff
changeset
|
177 |
#endif // INCLUDE_NMT |
2f7431485cfa
7189254: Change makefiles for more flexibility to override defaults
jprovino
parents:
13728
diff
changeset
|
178 |
|
13195 | 179 |
// debug build does not inline |
180 |
#if defined(_DEBUG_) |
|
181 |
#define CURRENT_PC (NMT_track_callsite ? os::get_caller_pc(1) : 0) |
|
182 |
#define CALLER_PC (NMT_track_callsite ? os::get_caller_pc(2) : 0) |
|
183 |
#define CALLER_CALLER_PC (NMT_track_callsite ? os::get_caller_pc(3) : 0) |
|
184 |
#else |
|
185 |
#define CURRENT_PC (NMT_track_callsite? os::get_caller_pc(0) : 0) |
|
186 |
#define CALLER_PC (NMT_track_callsite ? os::get_caller_pc(1) : 0) |
|
187 |
#define CALLER_CALLER_PC (NMT_track_callsite ? os::get_caller_pc(2) : 0) |
|
188 |
#endif |
|
189 |
||
190 |
||
191 |
||
192 |
template <MEMFLAGS F> class CHeapObj ALLOCATION_SUPER_CLASS_SPEC { |
|
1 | 193 |
public: |
13195 | 194 |
_NOINLINE_ void* operator new(size_t size, address caller_pc = 0); |
195 |
_NOINLINE_ void* operator new (size_t size, const std::nothrow_t& nothrow_constant, |
|
196 |
address caller_pc = 0); |
|
197 |
||
1 | 198 |
void operator delete(void* p); |
199 |
}; |
|
200 |
||
201 |
// Base class for objects allocated on the stack only. |
|
202 |
// Calling new or delete will result in fatal error. |
|
203 |
||
204 |
class StackObj ALLOCATION_SUPER_CLASS_SPEC { |
|
205 |
public: |
|
206 |
void* operator new(size_t size); |
|
207 |
void operator delete(void* p); |
|
208 |
}; |
|
209 |
||
210 |
// Base class for objects used as value objects. |
|
211 |
// Calling new or delete will result in fatal error. |
|
212 |
// |
|
213 |
// Portability note: Certain compilers (e.g. gcc) will |
|
214 |
// always make classes bigger if it has a superclass, even |
|
215 |
// if the superclass does not have any virtual methods or |
|
216 |
// instance fields. The HotSpot implementation relies on this |
|
217 |
// not to happen. So never make a ValueObj class a direct subclass |
|
218 |
// of this object, but use the VALUE_OBJ_CLASS_SPEC class instead, e.g., |
|
219 |
// like this: |
|
220 |
// |
|
221 |
// class A VALUE_OBJ_CLASS_SPEC { |
|
222 |
// ... |
|
223 |
// } |
|
224 |
// |
|
225 |
// With gcc and possible other compilers the VALUE_OBJ_CLASS_SPEC can |
|
226 |
// be defined as a an empty string "". |
|
227 |
// |
|
228 |
class _ValueObj { |
|
229 |
public: |
|
230 |
void* operator new(size_t size); |
|
231 |
void operator delete(void* p); |
|
232 |
}; |
|
233 |
||
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13195
diff
changeset
|
234 |
|
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13195
diff
changeset
|
235 |
// Base class for objects stored in Metaspace. |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13195
diff
changeset
|
236 |
// Calling delete will result in fatal error. |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13195
diff
changeset
|
237 |
// |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13195
diff
changeset
|
238 |
// Do not inherit from something with a vptr because this class does |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13195
diff
changeset
|
239 |
// not introduce one. This class is used to allocate both shared read-only |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13195
diff
changeset
|
240 |
// and shared read-write classes. |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13195
diff
changeset
|
241 |
// |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13195
diff
changeset
|
242 |
|
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13195
diff
changeset
|
243 |
class ClassLoaderData; |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13195
diff
changeset
|
244 |
|
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13195
diff
changeset
|
245 |
class MetaspaceObj { |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13195
diff
changeset
|
246 |
public: |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13195
diff
changeset
|
247 |
bool is_metadata() const; |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13195
diff
changeset
|
248 |
bool is_shared() const; |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13195
diff
changeset
|
249 |
void print_address_on(outputStream* st) const; // nonvirtual address printing |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13195
diff
changeset
|
250 |
|
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13195
diff
changeset
|
251 |
void* operator new(size_t size, ClassLoaderData* loader_data, |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13195
diff
changeset
|
252 |
size_t word_size, bool read_only, Thread* thread); |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13195
diff
changeset
|
253 |
// can't use TRAPS from this header file. |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13195
diff
changeset
|
254 |
void operator delete(void* p) { ShouldNotCallThis(); } |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13195
diff
changeset
|
255 |
}; |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13195
diff
changeset
|
256 |
|
1 | 257 |
// Base class for classes that constitute name spaces. |
258 |
||
259 |
class AllStatic { |
|
260 |
public: |
|
261 |
AllStatic() { ShouldNotCallThis(); } |
|
262 |
~AllStatic() { ShouldNotCallThis(); } |
|
263 |
}; |
|
264 |
||
265 |
||
266 |
//------------------------------Chunk------------------------------------------ |
|
267 |
// Linked list of raw memory chunks |
|
13195 | 268 |
class Chunk: CHeapObj<mtChunk> { |
10547 | 269 |
friend class VMStructs; |
270 |
||
1 | 271 |
protected: |
272 |
Chunk* _next; // Next Chunk in list |
|
273 |
const size_t _len; // Size of this Chunk |
|
274 |
public: |
|
275 |
void* operator new(size_t size, size_t length); |
|
276 |
void operator delete(void* p); |
|
277 |
Chunk(size_t length); |
|
278 |
||
279 |
enum { |
|
280 |
// default sizes; make them slightly smaller than 2**k to guard against |
|
281 |
// buddy-system style malloc implementations |
|
282 |
#ifdef _LP64 |
|
283 |
slack = 40, // [RGV] Not sure if this is right, but make it |
|
284 |
// a multiple of 8. |
|
285 |
#else |
|
286 |
slack = 20, // suspected sizeof(Chunk) + internal malloc headers |
|
287 |
#endif |
|
288 |
||
289 |
init_size = 1*K - slack, // Size of first chunk |
|
290 |
medium_size= 10*K - slack, // Size of medium-sized chunk |
|
291 |
size = 32*K - slack, // Default size of an Arena chunk (following the first) |
|
292 |
non_pool_size = init_size + 32 // An initial size which is not one of above |
|
293 |
}; |
|
294 |
||
295 |
void chop(); // Chop this chunk |
|
296 |
void next_chop(); // Chop next chunk |
|
297 |
static size_t aligned_overhead_size(void) { return ARENA_ALIGN(sizeof(Chunk)); } |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13195
diff
changeset
|
298 |
static size_t aligned_overhead_size(size_t byte_size) { return ARENA_ALIGN(byte_size); } |
1 | 299 |
|
300 |
size_t length() const { return _len; } |
|
301 |
Chunk* next() const { return _next; } |
|
302 |
void set_next(Chunk* n) { _next = n; } |
|
303 |
// Boundaries of data area (possibly unused) |
|
304 |
char* bottom() const { return ((char*) this) + aligned_overhead_size(); } |
|
305 |
char* top() const { return bottom() + _len; } |
|
306 |
bool contains(char* p) const { return bottom() <= p && p <= top(); } |
|
307 |
||
308 |
// Start the chunk_pool cleaner task |
|
309 |
static void start_chunk_pool_cleaner_task(); |
|
6176
4d9030fe341f
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
5547
diff
changeset
|
310 |
|
4d9030fe341f
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
5547
diff
changeset
|
311 |
static void clean_chunk_pool(); |
1 | 312 |
}; |
313 |
||
314 |
//------------------------------Arena------------------------------------------ |
|
315 |
// Fast allocation of memory |
|
13195 | 316 |
class Arena : public CHeapObj<mtNone|otArena> { |
1 | 317 |
protected: |
318 |
friend class ResourceMark; |
|
319 |
friend class HandleMark; |
|
320 |
friend class NoHandleMark; |
|
10547 | 321 |
friend class VMStructs; |
322 |
||
1 | 323 |
Chunk *_first; // First chunk |
324 |
Chunk *_chunk; // current chunk |
|
325 |
char *_hwm, *_max; // High water mark and max in current chunk |
|
14083
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13975
diff
changeset
|
326 |
// Get a new Chunk of at least size x |
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13975
diff
changeset
|
327 |
void* grow(size_t x, AllocFailType alloc_failmode = AllocFailStrategy::EXIT_OOM); |
13195 | 328 |
size_t _size_in_bytes; // Size of arena (used for native memory tracking) |
329 |
||
8320 | 330 |
NOT_PRODUCT(static julong _bytes_allocated;) // total #bytes allocated since start |
1 | 331 |
friend class AllocStats; |
332 |
debug_only(void* malloc(size_t size);) |
|
333 |
debug_only(void* internal_malloc_4(size_t x);) |
|
8320 | 334 |
NOT_PRODUCT(void inc_bytes_allocated(size_t x);) |
8481
42a79b703814
6878713: Verifier heap corruption, relating to backward jsrs
kamg
parents:
8320
diff
changeset
|
335 |
|
42a79b703814
6878713: Verifier heap corruption, relating to backward jsrs
kamg
parents:
8320
diff
changeset
|
336 |
void signal_out_of_memory(size_t request, const char* whence) const; |
42a79b703814
6878713: Verifier heap corruption, relating to backward jsrs
kamg
parents:
8320
diff
changeset
|
337 |
|
42a79b703814
6878713: Verifier heap corruption, relating to backward jsrs
kamg
parents:
8320
diff
changeset
|
338 |
void check_for_overflow(size_t request, const char* whence) const { |
42a79b703814
6878713: Verifier heap corruption, relating to backward jsrs
kamg
parents:
8320
diff
changeset
|
339 |
if (UINTPTR_MAX - request < (uintptr_t)_hwm) { |
42a79b703814
6878713: Verifier heap corruption, relating to backward jsrs
kamg
parents:
8320
diff
changeset
|
340 |
signal_out_of_memory(request, whence); |
42a79b703814
6878713: Verifier heap corruption, relating to backward jsrs
kamg
parents:
8320
diff
changeset
|
341 |
} |
42a79b703814
6878713: Verifier heap corruption, relating to backward jsrs
kamg
parents:
8320
diff
changeset
|
342 |
} |
42a79b703814
6878713: Verifier heap corruption, relating to backward jsrs
kamg
parents:
8320
diff
changeset
|
343 |
|
1 | 344 |
public: |
345 |
Arena(); |
|
346 |
Arena(size_t init_size); |
|
347 |
~Arena(); |
|
348 |
void destruct_contents(); |
|
349 |
char* hwm() const { return _hwm; } |
|
350 |
||
13195 | 351 |
// new operators |
352 |
void* operator new (size_t size); |
|
353 |
void* operator new (size_t size, const std::nothrow_t& nothrow_constant); |
|
354 |
||
355 |
// dynamic memory type tagging |
|
356 |
void* operator new(size_t size, MEMFLAGS flags); |
|
357 |
void* operator new(size_t size, const std::nothrow_t& nothrow_constant, MEMFLAGS flags); |
|
358 |
void operator delete(void* p); |
|
359 |
||
1 | 360 |
// Fast allocate in the arena. Common case is: pointer test + increment. |
14083
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13975
diff
changeset
|
361 |
void* Amalloc(size_t x, AllocFailType alloc_failmode = AllocFailStrategy::EXIT_OOM) { |
1 | 362 |
assert(is_power_of_2(ARENA_AMALLOC_ALIGNMENT) , "should be a power of 2"); |
363 |
x = ARENA_ALIGN(x); |
|
364 |
debug_only(if (UseMallocOnly) return malloc(x);) |
|
8481
42a79b703814
6878713: Verifier heap corruption, relating to backward jsrs
kamg
parents:
8320
diff
changeset
|
365 |
check_for_overflow(x, "Arena::Amalloc"); |
8320 | 366 |
NOT_PRODUCT(inc_bytes_allocated(x);) |
1 | 367 |
if (_hwm + x > _max) { |
14083
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13975
diff
changeset
|
368 |
return grow(x, alloc_failmode); |
1 | 369 |
} else { |
370 |
char *old = _hwm; |
|
371 |
_hwm += x; |
|
372 |
return old; |
|
373 |
} |
|
374 |
} |
|
375 |
// Further assume size is padded out to words |
|
14083
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13975
diff
changeset
|
376 |
void *Amalloc_4(size_t x, AllocFailType alloc_failmode = AllocFailStrategy::EXIT_OOM) { |
1 | 377 |
assert( (x&(sizeof(char*)-1)) == 0, "misaligned size" ); |
378 |
debug_only(if (UseMallocOnly) return malloc(x);) |
|
8481
42a79b703814
6878713: Verifier heap corruption, relating to backward jsrs
kamg
parents:
8320
diff
changeset
|
379 |
check_for_overflow(x, "Arena::Amalloc_4"); |
8320 | 380 |
NOT_PRODUCT(inc_bytes_allocated(x);) |
1 | 381 |
if (_hwm + x > _max) { |
14083
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13975
diff
changeset
|
382 |
return grow(x, alloc_failmode); |
1 | 383 |
} else { |
384 |
char *old = _hwm; |
|
385 |
_hwm += x; |
|
386 |
return old; |
|
387 |
} |
|
388 |
} |
|
389 |
||
390 |
// Allocate with 'double' alignment. It is 8 bytes on sparc. |
|
391 |
// In other cases Amalloc_D() should be the same as Amalloc_4(). |
|
14083
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13975
diff
changeset
|
392 |
void* Amalloc_D(size_t x, AllocFailType alloc_failmode = AllocFailStrategy::EXIT_OOM) { |
1 | 393 |
assert( (x&(sizeof(char*)-1)) == 0, "misaligned size" ); |
394 |
debug_only(if (UseMallocOnly) return malloc(x);) |
|
395 |
#if defined(SPARC) && !defined(_LP64) |
|
396 |
#define DALIGN_M1 7 |
|
397 |
size_t delta = (((size_t)_hwm + DALIGN_M1) & ~DALIGN_M1) - (size_t)_hwm; |
|
398 |
x += delta; |
|
399 |
#endif |
|
8481
42a79b703814
6878713: Verifier heap corruption, relating to backward jsrs
kamg
parents:
8320
diff
changeset
|
400 |
check_for_overflow(x, "Arena::Amalloc_D"); |
8320 | 401 |
NOT_PRODUCT(inc_bytes_allocated(x);) |
1 | 402 |
if (_hwm + x > _max) { |
14083
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13975
diff
changeset
|
403 |
return grow(x, alloc_failmode); // grow() returns a result aligned >= 8 bytes. |
1 | 404 |
} else { |
405 |
char *old = _hwm; |
|
406 |
_hwm += x; |
|
407 |
#if defined(SPARC) && !defined(_LP64) |
|
408 |
old += delta; // align to 8-bytes |
|
409 |
#endif |
|
410 |
return old; |
|
411 |
} |
|
412 |
} |
|
413 |
||
414 |
// Fast delete in area. Common case is: NOP (except for storage reclaimed) |
|
415 |
void Afree(void *ptr, size_t size) { |
|
416 |
#ifdef ASSERT |
|
417 |
if (ZapResourceArea) memset(ptr, badResourceValue, size); // zap freed memory |
|
418 |
if (UseMallocOnly) return; |
|
419 |
#endif |
|
420 |
if (((char*)ptr) + size == _hwm) _hwm = (char*)ptr; |
|
421 |
} |
|
422 |
||
14083
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13975
diff
changeset
|
423 |
void *Arealloc( void *old_ptr, size_t old_size, size_t new_size, |
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13975
diff
changeset
|
424 |
AllocFailType alloc_failmode = AllocFailStrategy::EXIT_OOM); |
1 | 425 |
|
426 |
// Move contents of this arena into an empty arena |
|
427 |
Arena *move_contents(Arena *empty_arena); |
|
428 |
||
429 |
// Determine if pointer belongs to this Arena or not. |
|
430 |
bool contains( const void *ptr ) const; |
|
431 |
||
432 |
// Total of all chunks in use (not thread-safe) |
|
433 |
size_t used() const; |
|
434 |
||
435 |
// Total # of bytes used |
|
13195 | 436 |
size_t size_in_bytes() const { return _size_in_bytes; }; |
437 |
void set_size_in_bytes(size_t size); |
|
438 |
||
1 | 439 |
static void free_malloced_objects(Chunk* chunk, char* hwm, char* max, char* hwm2) PRODUCT_RETURN; |
440 |
static void free_all(char** start, char** end) PRODUCT_RETURN; |
|
441 |
||
13195 | 442 |
// how many arena instances |
443 |
NOT_PRODUCT(static volatile jint _instance_count;) |
|
1 | 444 |
private: |
445 |
// Reset this Arena to empty, access will trigger grow if necessary |
|
446 |
void reset(void) { |
|
447 |
_first = _chunk = NULL; |
|
448 |
_hwm = _max = NULL; |
|
13195 | 449 |
set_size_in_bytes(0); |
1 | 450 |
} |
451 |
}; |
|
452 |
||
453 |
// One of the following macros must be used when allocating |
|
454 |
// an array or object from an arena |
|
6762
f8d1b560700e
6423256: GC stacks should use a better data structure
jcoomes
parents:
6184
diff
changeset
|
455 |
#define NEW_ARENA_ARRAY(arena, type, size) \ |
f8d1b560700e
6423256: GC stacks should use a better data structure
jcoomes
parents:
6184
diff
changeset
|
456 |
(type*) (arena)->Amalloc((size) * sizeof(type)) |
1 | 457 |
|
6762
f8d1b560700e
6423256: GC stacks should use a better data structure
jcoomes
parents:
6184
diff
changeset
|
458 |
#define REALLOC_ARENA_ARRAY(arena, type, old, old_size, new_size) \ |
f8d1b560700e
6423256: GC stacks should use a better data structure
jcoomes
parents:
6184
diff
changeset
|
459 |
(type*) (arena)->Arealloc((char*)(old), (old_size) * sizeof(type), \ |
f8d1b560700e
6423256: GC stacks should use a better data structure
jcoomes
parents:
6184
diff
changeset
|
460 |
(new_size) * sizeof(type) ) |
1 | 461 |
|
6762
f8d1b560700e
6423256: GC stacks should use a better data structure
jcoomes
parents:
6184
diff
changeset
|
462 |
#define FREE_ARENA_ARRAY(arena, type, old, size) \ |
f8d1b560700e
6423256: GC stacks should use a better data structure
jcoomes
parents:
6184
diff
changeset
|
463 |
(arena)->Afree((char*)(old), (size) * sizeof(type)) |
1 | 464 |
|
6762
f8d1b560700e
6423256: GC stacks should use a better data structure
jcoomes
parents:
6184
diff
changeset
|
465 |
#define NEW_ARENA_OBJ(arena, type) \ |
1 | 466 |
NEW_ARENA_ARRAY(arena, type, 1) |
467 |
||
468 |
||
469 |
//%note allocation_1 |
|
14083
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13975
diff
changeset
|
470 |
extern char* resource_allocate_bytes(size_t size, |
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13975
diff
changeset
|
471 |
AllocFailType alloc_failmode = AllocFailStrategy::EXIT_OOM); |
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13975
diff
changeset
|
472 |
extern char* resource_allocate_bytes(Thread* thread, size_t size, |
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13975
diff
changeset
|
473 |
AllocFailType alloc_failmode = AllocFailStrategy::EXIT_OOM); |
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13975
diff
changeset
|
474 |
extern char* resource_reallocate_bytes( char *old, size_t old_size, size_t new_size, |
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13975
diff
changeset
|
475 |
AllocFailType alloc_failmode = AllocFailStrategy::EXIT_OOM); |
1 | 476 |
extern void resource_free_bytes( char *old, size_t size ); |
477 |
||
478 |
//---------------------------------------------------------------------- |
|
479 |
// Base class for objects allocated in the resource area per default. |
|
480 |
// Optionally, objects may be allocated on the C heap with |
|
481 |
// new(ResourceObj::C_HEAP) Foo(...) or in an Arena with new (&arena) |
|
482 |
// ResourceObj's can be allocated within other objects, but don't use |
|
483 |
// new or delete (allocation_type is unknown). If new is used to allocate, |
|
484 |
// use delete to deallocate. |
|
485 |
class ResourceObj ALLOCATION_SUPER_CLASS_SPEC { |
|
486 |
public: |
|
6180 | 487 |
enum allocation_type { STACK_OR_EMBEDDED = 0, RESOURCE_AREA, C_HEAP, ARENA, allocation_mask = 0x3 }; |
6183
4c74cfe14f20
6975078: assert(allocated_on_res_area() || allocated_on_C_heap() || allocated_on_arena()
kvn
parents:
6180
diff
changeset
|
488 |
static void set_allocation_type(address res, allocation_type type) NOT_DEBUG_RETURN; |
1 | 489 |
#ifdef ASSERT |
490 |
private: |
|
6180 | 491 |
// When this object is allocated on stack the new() operator is not |
492 |
// called but garbage on stack may look like a valid allocation_type. |
|
493 |
// Store negated 'this' pointer when new() is called to distinguish cases. |
|
7440
eabaf35910a1
6993125: runThese crashes with assert(Thread::current()->on_local_stack((address)this))
kvn
parents:
7397
diff
changeset
|
494 |
// Use second array's element for verification value to distinguish garbage. |
eabaf35910a1
6993125: runThese crashes with assert(Thread::current()->on_local_stack((address)this))
kvn
parents:
7397
diff
changeset
|
495 |
uintptr_t _allocation_t[2]; |
eabaf35910a1
6993125: runThese crashes with assert(Thread::current()->on_local_stack((address)this))
kvn
parents:
7397
diff
changeset
|
496 |
bool is_type_set() const; |
1 | 497 |
public: |
6183
4c74cfe14f20
6975078: assert(allocated_on_res_area() || allocated_on_C_heap() || allocated_on_arena()
kvn
parents:
6180
diff
changeset
|
498 |
allocation_type get_allocation_type() const; |
4c74cfe14f20
6975078: assert(allocated_on_res_area() || allocated_on_C_heap() || allocated_on_arena()
kvn
parents:
6180
diff
changeset
|
499 |
bool allocated_on_stack() const { return get_allocation_type() == STACK_OR_EMBEDDED; } |
4c74cfe14f20
6975078: assert(allocated_on_res_area() || allocated_on_C_heap() || allocated_on_arena()
kvn
parents:
6180
diff
changeset
|
500 |
bool allocated_on_res_area() const { return get_allocation_type() == RESOURCE_AREA; } |
4c74cfe14f20
6975078: assert(allocated_on_res_area() || allocated_on_C_heap() || allocated_on_arena()
kvn
parents:
6180
diff
changeset
|
501 |
bool allocated_on_C_heap() const { return get_allocation_type() == C_HEAP; } |
4c74cfe14f20
6975078: assert(allocated_on_res_area() || allocated_on_C_heap() || allocated_on_arena()
kvn
parents:
6180
diff
changeset
|
502 |
bool allocated_on_arena() const { return get_allocation_type() == ARENA; } |
6180 | 503 |
ResourceObj(); // default construtor |
504 |
ResourceObj(const ResourceObj& r); // default copy construtor |
|
505 |
ResourceObj& operator=(const ResourceObj& r); // default copy assignment |
|
506 |
~ResourceObj(); |
|
1 | 507 |
#endif // ASSERT |
508 |
||
509 |
public: |
|
13195 | 510 |
void* operator new(size_t size, allocation_type type, MEMFLAGS flags); |
14083
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13975
diff
changeset
|
511 |
void* 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:
13975
diff
changeset
|
512 |
allocation_type type, MEMFLAGS flags); |
1 | 513 |
void* operator new(size_t size, Arena *arena) { |
514 |
address res = (address)arena->Amalloc(size); |
|
6180 | 515 |
DEBUG_ONLY(set_allocation_type(res, ARENA);) |
1 | 516 |
return res; |
517 |
} |
|
518 |
void* operator new(size_t size) { |
|
519 |
address res = (address)resource_allocate_bytes(size); |
|
6180 | 520 |
DEBUG_ONLY(set_allocation_type(res, RESOURCE_AREA);) |
1 | 521 |
return res; |
522 |
} |
|
14083
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13975
diff
changeset
|
523 |
|
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13975
diff
changeset
|
524 |
void* 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:
13975
diff
changeset
|
525 |
address res = (address)resource_allocate_bytes(size, AllocFailStrategy::RETURN_NULL); |
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13975
diff
changeset
|
526 |
DEBUG_ONLY(if (res != NULL) set_allocation_type(res, RESOURCE_AREA);) |
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13975
diff
changeset
|
527 |
return res; |
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13975
diff
changeset
|
528 |
} |
103054a71a30
8000617: It should be possible to allocate memory without the VM dying.
nloodin
parents:
13975
diff
changeset
|
529 |
|
1 | 530 |
void operator delete(void* p); |
531 |
}; |
|
532 |
||
533 |
// One of the following macros must be used when allocating an array |
|
534 |
// or object to determine whether it should reside in the C heap on in |
|
535 |
// the resource area. |
|
536 |
||
537 |
#define NEW_RESOURCE_ARRAY(type, size)\ |
|
538 |
(type*) resource_allocate_bytes((size) * sizeof(type)) |
|
539 |
||
540 |
#define NEW_RESOURCE_ARRAY_IN_THREAD(thread, type, size)\ |
|
541 |
(type*) resource_allocate_bytes(thread, (size) * sizeof(type)) |
|
542 |
||
543 |
#define REALLOC_RESOURCE_ARRAY(type, old, old_size, new_size)\ |
|
544 |
(type*) resource_reallocate_bytes((char*)(old), (old_size) * sizeof(type), (new_size) * sizeof(type) ) |
|
545 |
||
546 |
#define FREE_RESOURCE_ARRAY(type, old, size)\ |
|
547 |
resource_free_bytes((char*)(old), (size) * sizeof(type)) |
|
548 |
||
549 |
#define FREE_FAST(old)\ |
|
550 |
/* nop */ |
|
551 |
||
552 |
#define NEW_RESOURCE_OBJ(type)\ |
|
553 |
NEW_RESOURCE_ARRAY(type, 1) |
|
554 |
||
13195 | 555 |
#define NEW_C_HEAP_ARRAY(type, size, memflags)\ |
556 |
(type*) (AllocateHeap((size) * sizeof(type), memflags)) |
|
1 | 557 |
|
13195 | 558 |
#define REALLOC_C_HEAP_ARRAY(type, old, size, memflags)\ |
559 |
(type*) (ReallocateHeap((char*)old, (size) * sizeof(type), memflags)) |
|
560 |
||
561 |
#define FREE_C_HEAP_ARRAY(type,old,memflags) \ |
|
562 |
FreeHeap((char*)(old), memflags) |
|
1 | 563 |
|
13195 | 564 |
#define NEW_C_HEAP_OBJ(type, memflags)\ |
565 |
NEW_C_HEAP_ARRAY(type, 1, memflags) |
|
566 |
||
567 |
||
568 |
#define NEW_C_HEAP_ARRAY2(type, size, memflags, pc)\ |
|
569 |
(type*) (AllocateHeap((size) * sizeof(type), memflags, pc)) |
|
1 | 570 |
|
13195 | 571 |
#define REALLOC_C_HEAP_ARRAY2(type, old, size, memflags, pc)\ |
572 |
(type*) (ReallocateHeap((char*)old, (size) * sizeof(type), memflags, pc)) |
|
573 |
||
574 |
#define NEW_C_HEAP_OBJ2(type, memflags, pc)\ |
|
575 |
NEW_C_HEAP_ARRAY2(type, 1, memflags, pc) |
|
576 |
||
1 | 577 |
|
578 |
extern bool warn_new_operator; |
|
579 |
||
580 |
// for statistics |
|
581 |
#ifndef PRODUCT |
|
582 |
class AllocStats : StackObj { |
|
8320 | 583 |
julong start_mallocs, start_frees; |
584 |
julong start_malloc_bytes, start_mfree_bytes, start_res_bytes; |
|
1 | 585 |
public: |
586 |
AllocStats(); |
|
587 |
||
8320 | 588 |
julong num_mallocs(); // since creation of receiver |
589 |
julong alloc_bytes(); |
|
590 |
julong num_frees(); |
|
591 |
julong free_bytes(); |
|
592 |
julong resource_bytes(); |
|
1 | 593 |
void print(); |
594 |
}; |
|
595 |
#endif |
|
596 |
||
597 |
||
598 |
//------------------------------ReallocMark--------------------------------- |
|
599 |
// Code which uses REALLOC_RESOURCE_ARRAY should check an associated |
|
600 |
// ReallocMark, which is declared in the same scope as the reallocated |
|
601 |
// pointer. Any operation that could __potentially__ cause a reallocation |
|
602 |
// should check the ReallocMark. |
|
603 |
class ReallocMark: public StackObj { |
|
604 |
protected: |
|
605 |
NOT_PRODUCT(int _nesting;) |
|
606 |
||
607 |
public: |
|
608 |
ReallocMark() PRODUCT_RETURN; |
|
609 |
void check() PRODUCT_RETURN; |
|
610 |
}; |
|
7397 | 611 |
|
612 |
#endif // SHARE_VM_MEMORY_ALLOCATION_HPP |