• file
• revisions
• annotate
• diff
• comparison
• raw

src/share/vm/gc_implementation/concurrentMarkSweep/freeChunk.cpp@4947ee68d19c (annotated)

src/share/vm/gc_implementation/concurrentMarkSweep/freeChunk.cpp

Thu, 06 Jan 2011 23:50:02 -0800

author

ysr

date

Thu, 06 Jan 2011 23:50:02 -0800

changeset 2452

4947ee68d19c

parent 2314

f95d63e2154a

child 3730

9f059abe8cf2

permissions

-rw-r--r--

7008136: CMS: assert((HeapWord*)nextChunk <= _limit) failed: sweep invariant
Summary: The recorded _sweep_limit may not necessarily remain a block boundary as the old generation expands during a concurrent cycle. Terminal actions inside the sweep closure need to be aware of this as they cross over the limit.
Reviewed-by: johnc, minqi

duke@435	1	/*
stefank@2314	2	* Copyright (c) 2001, 2010, 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 "gc_implementation/concurrentMarkSweep/freeBlockDictionary.hpp"
stefank@2314	27	#include "utilities/copy.hpp"
duke@435	28
duke@435	29	#ifndef PRODUCT
duke@435	30
duke@435	31	#define baadbabeHeapWord badHeapWordVal
duke@435	32	#define deadbeefHeapWord 0xdeadbeef
duke@435	33
duke@435	34	size_t const FreeChunk::header_size() {
duke@435	35	return sizeof(FreeChunk)/HeapWordSize;
duke@435	36	}
duke@435	37
duke@435	38	void FreeChunk::mangleAllocated(size_t size) {
duke@435	39	// mangle all but the header of a just-allocated block
duke@435	40	// of storage
duke@435	41	assert(size >= MinChunkSize, "smallest size of object");
duke@435	42	// we can't assert that _size == size because this may be an
duke@435	43	// allocation out of a linear allocation block
duke@435	44	assert(sizeof(FreeChunk) % HeapWordSize == 0,
duke@435	45	"shouldn't write beyond chunk");
duke@435	46	HeapWord* addr = (HeapWord*)this;
duke@435	47	size_t hdr = header_size();
duke@435	48	Copy::fill_to_words(addr + hdr, size - hdr, baadbabeHeapWord);
duke@435	49	}
duke@435	50
coleenp@622	51	void FreeChunk::mangleFreed(size_t sz) {
duke@435	52	assert(baadbabeHeapWord != deadbeefHeapWord, "Need distinct patterns");
duke@435	53	// mangle all but the header of a just-freed block of storage
duke@435	54	// just prior to passing it to the storage dictionary
coleenp@622	55	assert(sz >= MinChunkSize, "smallest size of object");
coleenp@622	56	assert(sz == size(), "just checking");
duke@435	57	HeapWord* addr = (HeapWord*)this;
duke@435	58	size_t hdr = header_size();
coleenp@622	59	Copy::fill_to_words(addr + hdr, sz - hdr, deadbeefHeapWord);
duke@435	60	}
duke@435	61
duke@435	62	void FreeChunk::verifyList() const {
duke@435	63	FreeChunk* nextFC = next();
duke@435	64	if (nextFC != NULL) {
duke@435	65	assert(this == nextFC->prev(), "broken chain");
duke@435	66	assert(size() == nextFC->size(), "wrong size");
duke@435	67	nextFC->verifyList();
duke@435	68	}
duke@435	69	}
duke@435	70	#endif
ysr@1580	71
ysr@1580	72	void FreeChunk::print_on(outputStream* st) {
ysr@1580	73	st->print_cr("Next: " PTR_FORMAT " Prev: " PTR_FORMAT " %s",
ysr@1580	74	next(), prev(), cantCoalesce() ? "[can't coalesce]" : "");
ysr@1580	75	}