src/share/vm/memory/allocation.cpp

Thu, 29 Aug 2013 18:56:29 -0400

author
coleenp
date
Thu, 29 Aug 2013 18:56:29 -0400
changeset 5614
9758d9f36299
parent 5368
cf9d71d3e474
child 6217
849eb7bfceac
child 6472
2b8e28fdf503
permissions
-rw-r--r--

8021954: VM SIGSEGV during classloading on MacOS; hs_err_pid file produced
Summary: declare all user-defined operator new()s within Hotspot code with the empty throw() exception specification
Reviewed-by: coleenp, twisti, dholmes, hseigel, dcubed, kvn, ccheung
Contributed-by: lois.foltan@oracle.com

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

mercurial