src/share/vm/memory/heap.cpp

Tue, 24 Jun 2014 15:50:50 +0200

author
ehelin
date
Tue, 24 Jun 2014 15:50:50 +0200
changeset 7778
c2ce24504334
parent 5528
740e263c80c6
child 7780
5788dbd1f2d6
permissions
-rw-r--r--

8049864: TestParallelHeapSizeFlags fails with unexpected heap size
Reviewed-by: sjohanss, jmasa

duke@435 1 /*
hseigel@5528 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/heap.hpp"
stefank@2314 27 #include "oops/oop.inline.hpp"
stefank@2314 28 #include "runtime/os.hpp"
zgu@3900 29 #include "services/memTracker.hpp"
duke@435 30
duke@435 31 size_t CodeHeap::header_size() {
duke@435 32 return sizeof(HeapBlock);
duke@435 33 }
duke@435 34
duke@435 35
duke@435 36 // Implementation of Heap
duke@435 37
duke@435 38 CodeHeap::CodeHeap() {
duke@435 39 _number_of_committed_segments = 0;
duke@435 40 _number_of_reserved_segments = 0;
duke@435 41 _segment_size = 0;
duke@435 42 _log2_segment_size = 0;
duke@435 43 _next_segment = 0;
duke@435 44 _freelist = NULL;
neliasso@4952 45 _freelist_segments = 0;
duke@435 46 }
duke@435 47
duke@435 48
duke@435 49 void CodeHeap::mark_segmap_as_free(size_t beg, size_t end) {
duke@435 50 assert(0 <= beg && beg < _number_of_committed_segments, "interval begin out of bounds");
duke@435 51 assert(beg < end && end <= _number_of_committed_segments, "interval end out of bounds");
duke@435 52 // setup _segmap pointers for faster indexing
duke@435 53 address p = (address)_segmap.low() + beg;
duke@435 54 address q = (address)_segmap.low() + end;
duke@435 55 // initialize interval
duke@435 56 while (p < q) *p++ = 0xFF;
duke@435 57 }
duke@435 58
duke@435 59
duke@435 60 void CodeHeap::mark_segmap_as_used(size_t beg, size_t end) {
duke@435 61 assert(0 <= beg && beg < _number_of_committed_segments, "interval begin out of bounds");
duke@435 62 assert(beg < end && end <= _number_of_committed_segments, "interval end out of bounds");
duke@435 63 // setup _segmap pointers for faster indexing
duke@435 64 address p = (address)_segmap.low() + beg;
duke@435 65 address q = (address)_segmap.low() + end;
duke@435 66 // initialize interval
duke@435 67 int i = 0;
duke@435 68 while (p < q) {
duke@435 69 *p++ = i++;
duke@435 70 if (i == 0xFF) i = 1;
duke@435 71 }
duke@435 72 }
duke@435 73
duke@435 74
duke@435 75 static size_t align_to_page_size(size_t size) {
duke@435 76 const size_t alignment = (size_t)os::vm_page_size();
duke@435 77 assert(is_power_of_2(alignment), "no kidding ???");
duke@435 78 return (size + alignment - 1) & ~(alignment - 1);
duke@435 79 }
duke@435 80
duke@435 81
duke@435 82 void CodeHeap::on_code_mapping(char* base, size_t size) {
duke@435 83 #ifdef LINUX
duke@435 84 extern void linux_wrap_code(char* base, size_t size);
duke@435 85 linux_wrap_code(base, size);
duke@435 86 #endif
duke@435 87 }
duke@435 88
duke@435 89
duke@435 90 bool CodeHeap::reserve(size_t reserved_size, size_t committed_size,
duke@435 91 size_t segment_size) {
duke@435 92 assert(reserved_size >= committed_size, "reserved < committed");
duke@435 93 assert(segment_size >= sizeof(FreeBlock), "segment size is too small");
duke@435 94 assert(is_power_of_2(segment_size), "segment_size must be a power of 2");
duke@435 95
duke@435 96 _segment_size = segment_size;
duke@435 97 _log2_segment_size = exact_log2(segment_size);
duke@435 98
duke@435 99 // Reserve and initialize space for _memory.
ehelin@7778 100 size_t page_size = os::vm_page_size();
ehelin@7778 101 if (os::can_execute_large_page_memory()) {
ehelin@7778 102 const size_t min_pages = 8;
ehelin@7778 103 page_size = MIN2(os::page_size_for_region(committed_size, min_pages),
ehelin@7778 104 os::page_size_for_region(reserved_size, min_pages));
ehelin@7778 105 }
ehelin@7778 106
duke@435 107 const size_t granularity = os::vm_allocation_granularity();
duke@435 108 const size_t r_align = MAX2(page_size, granularity);
duke@435 109 const size_t r_size = align_size_up(reserved_size, r_align);
duke@435 110 const size_t c_size = align_size_up(committed_size, page_size);
duke@435 111
duke@435 112 const size_t rs_align = page_size == (size_t) os::vm_page_size() ? 0 :
duke@435 113 MAX2(page_size, granularity);
coleenp@1091 114 ReservedCodeSpace rs(r_size, rs_align, rs_align > 0);
duke@435 115 os::trace_page_sizes("code heap", committed_size, reserved_size, page_size,
duke@435 116 rs.base(), rs.size());
duke@435 117 if (!_memory.initialize(rs, c_size)) {
duke@435 118 return false;
duke@435 119 }
duke@435 120
duke@435 121 on_code_mapping(_memory.low(), _memory.committed_size());
neliasso@4952 122 _number_of_committed_segments = size_to_segments(_memory.committed_size());
neliasso@4952 123 _number_of_reserved_segments = size_to_segments(_memory.reserved_size());
duke@435 124 assert(_number_of_reserved_segments >= _number_of_committed_segments, "just checking");
hseigel@5528 125 const size_t reserved_segments_alignment = MAX2((size_t)os::vm_page_size(), granularity);
hseigel@5528 126 const size_t reserved_segments_size = align_size_up(_number_of_reserved_segments, reserved_segments_alignment);
hseigel@5528 127 const size_t committed_segments_size = align_to_page_size(_number_of_committed_segments);
duke@435 128
duke@435 129 // reserve space for _segmap
hseigel@5528 130 if (!_segmap.initialize(reserved_segments_size, committed_segments_size)) {
duke@435 131 return false;
duke@435 132 }
zgu@3900 133
zgu@3900 134 MemTracker::record_virtual_memory_type((address)_segmap.low_boundary(), mtCode);
zgu@3900 135
duke@435 136 assert(_segmap.committed_size() >= (size_t) _number_of_committed_segments, "could not commit enough space for segment map");
duke@435 137 assert(_segmap.reserved_size() >= (size_t) _number_of_reserved_segments , "could not reserve enough space for segment map");
duke@435 138 assert(_segmap.reserved_size() >= _segmap.committed_size() , "just checking");
duke@435 139
duke@435 140 // initialize remaining instance variables
duke@435 141 clear();
duke@435 142 return true;
duke@435 143 }
duke@435 144
duke@435 145
duke@435 146 void CodeHeap::release() {
duke@435 147 Unimplemented();
duke@435 148 }
duke@435 149
duke@435 150
duke@435 151 bool CodeHeap::expand_by(size_t size) {
duke@435 152 // expand _memory space
duke@435 153 size_t dm = align_to_page_size(_memory.committed_size() + size) - _memory.committed_size();
duke@435 154 if (dm > 0) {
duke@435 155 char* base = _memory.low() + _memory.committed_size();
duke@435 156 if (!_memory.expand_by(dm)) return false;
duke@435 157 on_code_mapping(base, dm);
duke@435 158 size_t i = _number_of_committed_segments;
neliasso@4952 159 _number_of_committed_segments = size_to_segments(_memory.committed_size());
neliasso@4952 160 assert(_number_of_reserved_segments == size_to_segments(_memory.reserved_size()), "number of reserved segments should not change");
duke@435 161 assert(_number_of_reserved_segments >= _number_of_committed_segments, "just checking");
duke@435 162 // expand _segmap space
duke@435 163 size_t ds = align_to_page_size(_number_of_committed_segments) - _segmap.committed_size();
duke@435 164 if (ds > 0) {
duke@435 165 if (!_segmap.expand_by(ds)) return false;
duke@435 166 }
duke@435 167 assert(_segmap.committed_size() >= (size_t) _number_of_committed_segments, "just checking");
duke@435 168 // initialize additional segmap entries
duke@435 169 mark_segmap_as_free(i, _number_of_committed_segments);
duke@435 170 }
duke@435 171 return true;
duke@435 172 }
duke@435 173
duke@435 174
duke@435 175 void CodeHeap::shrink_by(size_t size) {
duke@435 176 Unimplemented();
duke@435 177 }
duke@435 178
duke@435 179
duke@435 180 void CodeHeap::clear() {
duke@435 181 _next_segment = 0;
duke@435 182 mark_segmap_as_free(0, _number_of_committed_segments);
duke@435 183 }
duke@435 184
duke@435 185
neliasso@4952 186 void* CodeHeap::allocate(size_t instance_size, bool is_critical) {
neliasso@4952 187 size_t number_of_segments = size_to_segments(instance_size + sizeof(HeapBlock));
neliasso@4952 188 assert(segments_to_size(number_of_segments) >= sizeof(FreeBlock), "not enough room for FreeList");
duke@435 189
duke@435 190 // First check if we can satify request from freelist
duke@435 191 debug_only(verify());
neliasso@4952 192 HeapBlock* block = search_freelist(number_of_segments, is_critical);
duke@435 193 debug_only(if (VerifyCodeCacheOften) verify());
duke@435 194 if (block != NULL) {
neliasso@4952 195 assert(block->length() >= number_of_segments && block->length() < number_of_segments + CodeCacheMinBlockLength, "sanity check");
duke@435 196 assert(!block->free(), "must be marked free");
duke@435 197 #ifdef ASSERT
neliasso@4952 198 memset((void *)block->allocated_space(), badCodeHeapNewVal, instance_size);
duke@435 199 #endif
duke@435 200 return block->allocated_space();
duke@435 201 }
duke@435 202
neliasso@4952 203 // Ensure minimum size for allocation to the heap.
neliasso@4952 204 if (number_of_segments < CodeCacheMinBlockLength) {
neliasso@4952 205 number_of_segments = CodeCacheMinBlockLength;
duke@435 206 }
neliasso@4952 207
neliasso@4952 208 if (!is_critical) {
neliasso@4952 209 // Make sure the allocation fits in the unallocated heap without using
neliasso@4952 210 // the CodeCacheMimimumFreeSpace that is reserved for critical allocations.
neliasso@4952 211 if (segments_to_size(number_of_segments) > (heap_unallocated_capacity() - CodeCacheMinimumFreeSpace)) {
neliasso@4952 212 // Fail allocation
neliasso@4952 213 return NULL;
neliasso@4952 214 }
neliasso@4952 215 }
neliasso@4952 216
neliasso@4952 217 if (_next_segment + number_of_segments <= _number_of_committed_segments) {
neliasso@4952 218 mark_segmap_as_used(_next_segment, _next_segment + number_of_segments);
duke@435 219 HeapBlock* b = block_at(_next_segment);
neliasso@4952 220 b->initialize(number_of_segments);
neliasso@4952 221 _next_segment += number_of_segments;
duke@435 222 #ifdef ASSERT
neliasso@4952 223 memset((void *)b->allocated_space(), badCodeHeapNewVal, instance_size);
duke@435 224 #endif
duke@435 225 return b->allocated_space();
duke@435 226 } else {
duke@435 227 return NULL;
duke@435 228 }
duke@435 229 }
duke@435 230
duke@435 231
duke@435 232 void CodeHeap::deallocate(void* p) {
duke@435 233 assert(p == find_start(p), "illegal deallocation");
duke@435 234 // Find start of HeapBlock
duke@435 235 HeapBlock* b = (((HeapBlock *)p) - 1);
duke@435 236 assert(b->allocated_space() == p, "sanity check");
duke@435 237 #ifdef ASSERT
duke@435 238 memset((void *)b->allocated_space(),
duke@435 239 badCodeHeapFreeVal,
neliasso@4952 240 segments_to_size(b->length()) - sizeof(HeapBlock));
duke@435 241 #endif
duke@435 242 add_to_freelist(b);
duke@435 243
duke@435 244 debug_only(if (VerifyCodeCacheOften) verify());
duke@435 245 }
duke@435 246
duke@435 247
duke@435 248 void* CodeHeap::find_start(void* p) const {
duke@435 249 if (!contains(p)) {
duke@435 250 return NULL;
duke@435 251 }
duke@435 252 size_t i = segment_for(p);
duke@435 253 address b = (address)_segmap.low();
duke@435 254 if (b[i] == 0xFF) {
duke@435 255 return NULL;
duke@435 256 }
duke@435 257 while (b[i] > 0) i -= (int)b[i];
duke@435 258 HeapBlock* h = block_at(i);
duke@435 259 if (h->free()) {
duke@435 260 return NULL;
duke@435 261 }
duke@435 262 return h->allocated_space();
duke@435 263 }
duke@435 264
duke@435 265
duke@435 266 size_t CodeHeap::alignment_unit() const {
duke@435 267 // this will be a power of two
duke@435 268 return _segment_size;
duke@435 269 }
duke@435 270
duke@435 271
duke@435 272 size_t CodeHeap::alignment_offset() const {
duke@435 273 // The lowest address in any allocated block will be
duke@435 274 // equal to alignment_offset (mod alignment_unit).
duke@435 275 return sizeof(HeapBlock) & (_segment_size - 1);
duke@435 276 }
duke@435 277
duke@435 278 // Finds the next free heapblock. If the current one is free, that it returned
duke@435 279 void* CodeHeap::next_free(HeapBlock *b) const {
duke@435 280 // Since free blocks are merged, there is max. on free block
duke@435 281 // between two used ones
duke@435 282 if (b != NULL && b->free()) b = next_block(b);
duke@435 283 assert(b == NULL || !b->free(), "must be in use or at end of heap");
duke@435 284 return (b == NULL) ? NULL : b->allocated_space();
duke@435 285 }
duke@435 286
duke@435 287 // Returns the first used HeapBlock
duke@435 288 HeapBlock* CodeHeap::first_block() const {
duke@435 289 if (_next_segment > 0)
duke@435 290 return block_at(0);
duke@435 291 return NULL;
duke@435 292 }
duke@435 293
duke@435 294 HeapBlock *CodeHeap::block_start(void *q) const {
duke@435 295 HeapBlock* b = (HeapBlock*)find_start(q);
duke@435 296 if (b == NULL) return NULL;
duke@435 297 return b - 1;
duke@435 298 }
duke@435 299
duke@435 300 // Returns the next Heap block an offset into one
duke@435 301 HeapBlock* CodeHeap::next_block(HeapBlock *b) const {
duke@435 302 if (b == NULL) return NULL;
duke@435 303 size_t i = segment_for(b) + b->length();
duke@435 304 if (i < _next_segment)
duke@435 305 return block_at(i);
duke@435 306 return NULL;
duke@435 307 }
duke@435 308
duke@435 309
duke@435 310 // Returns current capacity
duke@435 311 size_t CodeHeap::capacity() const {
duke@435 312 return _memory.committed_size();
duke@435 313 }
duke@435 314
duke@435 315 size_t CodeHeap::max_capacity() const {
duke@435 316 return _memory.reserved_size();
duke@435 317 }
duke@435 318
duke@435 319 size_t CodeHeap::allocated_capacity() const {
neliasso@4952 320 // size of used heap - size on freelist
neliasso@4952 321 return segments_to_size(_next_segment - _freelist_segments);
duke@435 322 }
duke@435 323
neliasso@4952 324 // Returns size of the unallocated heap block
neliasso@4952 325 size_t CodeHeap::heap_unallocated_capacity() const {
neliasso@4952 326 // Total number of segments - number currently used
neliasso@4952 327 return segments_to_size(_number_of_reserved_segments - _next_segment);
kvn@2414 328 }
kvn@2414 329
duke@435 330 // Free list management
duke@435 331
duke@435 332 FreeBlock *CodeHeap::following_block(FreeBlock *b) {
duke@435 333 return (FreeBlock*)(((address)b) + _segment_size * b->length());
duke@435 334 }
duke@435 335
duke@435 336 // Inserts block b after a
duke@435 337 void CodeHeap::insert_after(FreeBlock* a, FreeBlock* b) {
duke@435 338 assert(a != NULL && b != NULL, "must be real pointers");
duke@435 339
duke@435 340 // Link b into the list after a
duke@435 341 b->set_link(a->link());
duke@435 342 a->set_link(b);
duke@435 343
duke@435 344 // See if we can merge blocks
duke@435 345 merge_right(b); // Try to make b bigger
duke@435 346 merge_right(a); // Try to make a include b
duke@435 347 }
duke@435 348
duke@435 349 // Try to merge this block with the following block
duke@435 350 void CodeHeap::merge_right(FreeBlock *a) {
duke@435 351 assert(a->free(), "must be a free block");
duke@435 352 if (following_block(a) == a->link()) {
duke@435 353 assert(a->link() != NULL && a->link()->free(), "must be free too");
duke@435 354 // Update block a to include the following block
duke@435 355 a->set_length(a->length() + a->link()->length());
duke@435 356 a->set_link(a->link()->link());
duke@435 357 // Update find_start map
duke@435 358 size_t beg = segment_for(a);
duke@435 359 mark_segmap_as_used(beg, beg + a->length());
duke@435 360 }
duke@435 361 }
duke@435 362
duke@435 363 void CodeHeap::add_to_freelist(HeapBlock *a) {
duke@435 364 FreeBlock* b = (FreeBlock*)a;
duke@435 365 assert(b != _freelist, "cannot be removed twice");
duke@435 366
duke@435 367 // Mark as free and update free space count
neliasso@4952 368 _freelist_segments += b->length();
duke@435 369 b->set_free();
duke@435 370
duke@435 371 // First element in list?
duke@435 372 if (_freelist == NULL) {
duke@435 373 _freelist = b;
duke@435 374 b->set_link(NULL);
duke@435 375 return;
duke@435 376 }
duke@435 377
duke@435 378 // Scan for right place to put into list. List
duke@435 379 // is sorted by increasing addresseses
duke@435 380 FreeBlock* prev = NULL;
duke@435 381 FreeBlock* cur = _freelist;
duke@435 382 while(cur != NULL && cur < b) {
duke@435 383 assert(prev == NULL || prev < cur, "must be ordered");
duke@435 384 prev = cur;
duke@435 385 cur = cur->link();
duke@435 386 }
duke@435 387
duke@435 388 assert( (prev == NULL && b < _freelist) ||
duke@435 389 (prev < b && (cur == NULL || b < cur)), "list must be ordered");
duke@435 390
duke@435 391 if (prev == NULL) {
duke@435 392 // Insert first in list
duke@435 393 b->set_link(_freelist);
duke@435 394 _freelist = b;
duke@435 395 merge_right(_freelist);
duke@435 396 } else {
duke@435 397 insert_after(prev, b);
duke@435 398 }
duke@435 399 }
duke@435 400
duke@435 401 // Search freelist for an entry on the list with the best fit
duke@435 402 // Return NULL if no one was found
neliasso@4952 403 FreeBlock* CodeHeap::search_freelist(size_t length, bool is_critical) {
duke@435 404 FreeBlock *best_block = NULL;
duke@435 405 FreeBlock *best_prev = NULL;
duke@435 406 size_t best_length = 0;
duke@435 407
duke@435 408 // Search for smallest block which is bigger than length
duke@435 409 FreeBlock *prev = NULL;
duke@435 410 FreeBlock *cur = _freelist;
duke@435 411 while(cur != NULL) {
duke@435 412 size_t l = cur->length();
duke@435 413 if (l >= length && (best_block == NULL || best_length > l)) {
neliasso@4952 414
neliasso@4952 415 // Non critical allocations are not allowed to use the last part of the code heap.
neliasso@4952 416 if (!is_critical) {
neliasso@4952 417 // Make sure the end of the allocation doesn't cross into the last part of the code heap
neliasso@4952 418 if (((size_t)cur + length) > ((size_t)high_boundary() - CodeCacheMinimumFreeSpace)) {
neliasso@4952 419 // the freelist is sorted by address - if one fails, all consecutive will also fail.
neliasso@4952 420 break;
neliasso@4952 421 }
neliasso@4952 422 }
neliasso@4952 423
duke@435 424 // Remember best block, its previous element, and its length
duke@435 425 best_block = cur;
duke@435 426 best_prev = prev;
duke@435 427 best_length = best_block->length();
duke@435 428 }
duke@435 429
duke@435 430 // Next element in list
duke@435 431 prev = cur;
duke@435 432 cur = cur->link();
duke@435 433 }
duke@435 434
duke@435 435 if (best_block == NULL) {
duke@435 436 // None found
duke@435 437 return NULL;
duke@435 438 }
duke@435 439
duke@435 440 assert((best_prev == NULL && _freelist == best_block ) ||
duke@435 441 (best_prev != NULL && best_prev->link() == best_block), "sanity check");
duke@435 442
duke@435 443 // Exact (or at least good enough) fit. Remove from list.
duke@435 444 // Don't leave anything on the freelist smaller than CodeCacheMinBlockLength.
duke@435 445 if (best_length < length + CodeCacheMinBlockLength) {
duke@435 446 length = best_length;
duke@435 447 if (best_prev == NULL) {
duke@435 448 assert(_freelist == best_block, "sanity check");
duke@435 449 _freelist = _freelist->link();
duke@435 450 } else {
duke@435 451 // Unmap element
duke@435 452 best_prev->set_link(best_block->link());
duke@435 453 }
duke@435 454 } else {
duke@435 455 // Truncate block and return a pointer to the following block
duke@435 456 best_block->set_length(best_length - length);
duke@435 457 best_block = following_block(best_block);
duke@435 458 // Set used bit and length on new block
duke@435 459 size_t beg = segment_for(best_block);
duke@435 460 mark_segmap_as_used(beg, beg + length);
duke@435 461 best_block->set_length(length);
duke@435 462 }
duke@435 463
duke@435 464 best_block->set_used();
neliasso@4952 465 _freelist_segments -= length;
duke@435 466 return best_block;
duke@435 467 }
duke@435 468
duke@435 469 //----------------------------------------------------------------------------
duke@435 470 // Non-product code
duke@435 471
duke@435 472 #ifndef PRODUCT
duke@435 473
duke@435 474 void CodeHeap::print() {
duke@435 475 tty->print_cr("The Heap");
duke@435 476 }
duke@435 477
duke@435 478 #endif
duke@435 479
duke@435 480 void CodeHeap::verify() {
duke@435 481 // Count the number of blocks on the freelist, and the amount of space
duke@435 482 // represented.
duke@435 483 int count = 0;
duke@435 484 size_t len = 0;
duke@435 485 for(FreeBlock* b = _freelist; b != NULL; b = b->link()) {
duke@435 486 len += b->length();
duke@435 487 count++;
duke@435 488 }
duke@435 489
duke@435 490 // Verify that freelist contains the right amount of free space
neliasso@4952 491 // guarantee(len == _freelist_segments, "wrong freelist");
duke@435 492
duke@435 493 // Verify that the number of free blocks is not out of hand.
duke@435 494 static int free_block_threshold = 10000;
duke@435 495 if (count > free_block_threshold) {
duke@435 496 warning("CodeHeap: # of free blocks > %d", free_block_threshold);
duke@435 497 // Double the warning limit
duke@435 498 free_block_threshold *= 2;
duke@435 499 }
duke@435 500
duke@435 501 // Verify that the freelist contains the same number of free blocks that is
duke@435 502 // found on the full list.
duke@435 503 for(HeapBlock *h = first_block(); h != NULL; h = next_block(h)) {
duke@435 504 if (h->free()) count--;
duke@435 505 }
phh@1558 506 // guarantee(count == 0, "missing free blocks");
duke@435 507 }

mercurial