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