annotate src/share/vm/gc_implementation/concurrentMarkSweep/freeBlockDictionary.hpp @ 452:00b023ae2d78

6722113: CMS: Incorrect overflow handling during precleaning of Reference lists Summary: When we encounter marking stack overflow during precleaning of Reference lists, we were using the overflow list mechanism, which can cause problems on account of mutating the mark word of the header because of conflicts with mutator accesses and updates of that field. Instead we should use the usual mechanism for overflow handling in concurrent phases, namely dirtying of the card on which the overflowed object lies. Since precleaning effectively does a form of discovered list processing, albeit with discovery enabled, we needed to adjust some code to be correct in the face of interleaved processing and discovery. Reviewed-by: apetrusenko, jcoomes
author ysr
date Thu, 20 Nov 2008 12:27:41 -0800
parents 850fdf70db2b
children e018e6884bd8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
196
d1605aabd0a1 6719955: Update copyright year
xdono
parents: 187
diff changeset
2 * Copyright 2001-2008 Sun Microsystems, Inc. All Rights Reserved.
0
a61af66fc99e Initial load
duke
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
a61af66fc99e Initial load
duke
parents:
diff changeset
4 *
a61af66fc99e Initial load
duke
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
a61af66fc99e Initial load
duke
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
a61af66fc99e Initial load
duke
parents:
diff changeset
7 * published by the Free Software Foundation.
a61af66fc99e Initial load
duke
parents:
diff changeset
8 *
a61af66fc99e Initial load
duke
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
a61af66fc99e Initial load
duke
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
a61af66fc99e Initial load
duke
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
a61af66fc99e Initial load
duke
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
a61af66fc99e Initial load
duke
parents:
diff changeset
13 * accompanied this code).
a61af66fc99e Initial load
duke
parents:
diff changeset
14 *
a61af66fc99e Initial load
duke
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
a61af66fc99e Initial load
duke
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
a61af66fc99e Initial load
duke
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
a61af66fc99e Initial load
duke
parents:
diff changeset
18 *
a61af66fc99e Initial load
duke
parents:
diff changeset
19 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
a61af66fc99e Initial load
duke
parents:
diff changeset
20 * CA 95054 USA or visit www.sun.com if you need additional information or
a61af66fc99e Initial load
duke
parents:
diff changeset
21 * have any questions.
a61af66fc99e Initial load
duke
parents:
diff changeset
22 *
a61af66fc99e Initial load
duke
parents:
diff changeset
23 */
a61af66fc99e Initial load
duke
parents:
diff changeset
24
a61af66fc99e Initial load
duke
parents:
diff changeset
25 // A FreeBlockDictionary is an abstract superclass that will allow
a61af66fc99e Initial load
duke
parents:
diff changeset
26 // a number of alternative implementations in the future.
a61af66fc99e Initial load
duke
parents:
diff changeset
27 class FreeBlockDictionary: public CHeapObj {
a61af66fc99e Initial load
duke
parents:
diff changeset
28 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
29 enum Dither {
a61af66fc99e Initial load
duke
parents:
diff changeset
30 atLeast,
a61af66fc99e Initial load
duke
parents:
diff changeset
31 exactly,
a61af66fc99e Initial load
duke
parents:
diff changeset
32 roughly
a61af66fc99e Initial load
duke
parents:
diff changeset
33 };
a61af66fc99e Initial load
duke
parents:
diff changeset
34 enum DictionaryChoice {
a61af66fc99e Initial load
duke
parents:
diff changeset
35 dictionaryBinaryTree = 0,
a61af66fc99e Initial load
duke
parents:
diff changeset
36 dictionarySplayTree = 1,
a61af66fc99e Initial load
duke
parents:
diff changeset
37 dictionarySkipList = 2
a61af66fc99e Initial load
duke
parents:
diff changeset
38 };
a61af66fc99e Initial load
duke
parents:
diff changeset
39
a61af66fc99e Initial load
duke
parents:
diff changeset
40 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
41 NOT_PRODUCT(Mutex* _lock;)
a61af66fc99e Initial load
duke
parents:
diff changeset
42
a61af66fc99e Initial load
duke
parents:
diff changeset
43 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
44 virtual void removeChunk(FreeChunk* fc) = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
45 virtual FreeChunk* getChunk(size_t size, Dither dither = atLeast) = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
46 virtual void returnChunk(FreeChunk* chunk) = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
47 virtual size_t totalChunkSize(debug_only(const Mutex* lock)) const = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
48 virtual size_t maxChunkSize() const = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
49 virtual size_t minSize() const = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
50 // Reset the dictionary to the initial conditions for a single
a61af66fc99e Initial load
duke
parents:
diff changeset
51 // block.
a61af66fc99e Initial load
duke
parents:
diff changeset
52 virtual void reset(HeapWord* addr, size_t size) = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
53 virtual void reset() = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
54
a61af66fc99e Initial load
duke
parents:
diff changeset
55 virtual void dictCensusUpdate(size_t size, bool split, bool birth) = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
56 virtual bool coalDictOverPopulated(size_t size) = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
57 virtual void beginSweepDictCensus(double coalSurplusPercent,
a61af66fc99e Initial load
duke
parents:
diff changeset
58 float sweep_current, float sweep_ewstimate) = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
59 virtual void endSweepDictCensus(double splitSurplusPercent) = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
60 virtual FreeChunk* findLargestDict() const = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
61 // verify that the given chunk is in the dictionary.
a61af66fc99e Initial load
duke
parents:
diff changeset
62 virtual bool verifyChunkInFreeLists(FreeChunk* tc) const = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
63
a61af66fc99e Initial load
duke
parents:
diff changeset
64 // Sigma_{all_free_blocks} (block_size^2)
a61af66fc99e Initial load
duke
parents:
diff changeset
65 virtual double sum_of_squared_block_sizes() const = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
66
a61af66fc99e Initial load
duke
parents:
diff changeset
67 virtual FreeChunk* find_chunk_ends_at(HeapWord* target) const = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
68 virtual void inc_totalSize(size_t v) = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
69 virtual void dec_totalSize(size_t v) = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
70
a61af66fc99e Initial load
duke
parents:
diff changeset
71 NOT_PRODUCT (
a61af66fc99e Initial load
duke
parents:
diff changeset
72 virtual size_t sumDictReturnedBytes() = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
73 virtual void initializeDictReturnedBytes() = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
74 virtual size_t totalCount() = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
75 )
a61af66fc99e Initial load
duke
parents:
diff changeset
76
a61af66fc99e Initial load
duke
parents:
diff changeset
77 virtual void reportStatistics() const {
a61af66fc99e Initial load
duke
parents:
diff changeset
78 gclog_or_tty->print("No statistics available");
a61af66fc99e Initial load
duke
parents:
diff changeset
79 }
a61af66fc99e Initial load
duke
parents:
diff changeset
80
a61af66fc99e Initial load
duke
parents:
diff changeset
81 virtual void printDictCensus() const = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
82
a61af66fc99e Initial load
duke
parents:
diff changeset
83 virtual void verify() const = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
84
a61af66fc99e Initial load
duke
parents:
diff changeset
85 Mutex* par_lock() const PRODUCT_RETURN0;
a61af66fc99e Initial load
duke
parents:
diff changeset
86 void set_par_lock(Mutex* lock) PRODUCT_RETURN;
a61af66fc99e Initial load
duke
parents:
diff changeset
87 void verify_par_locked() const PRODUCT_RETURN;
a61af66fc99e Initial load
duke
parents:
diff changeset
88 };