Mercurial > hg > graal-jvmci-8
annotate src/share/vm/gc_implementation/g1/concurrentMarkThread.hpp @ 3772:6747fd0512e0
7004681: G1: Extend marking verification to Full GCs
Summary: Perform a heap verification after the first phase of G1's full GC using objects' mark words to determine liveness. The third parameter of the heap verification routines, which was used in G1 to determine which marking bitmap to use in liveness calculations, has been changed from a boolean to an enum with values defined for using the mark word, and the 'prev' and 'next' bitmaps.
Reviewed-by: tonyp, ysr
author | johnc |
---|---|
date | Tue, 14 Jun 2011 11:01:10 -0700 |
parents | f95d63e2154a |
children | d30fa85f9994 |
rev | line source |
---|---|
342 | 1 /* |
1972 | 2 * Copyright (c) 2001, 2010, Oracle and/or its affiliates. All rights reserved. |
342 | 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:
1359
diff
changeset
|
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1359
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:
1359
diff
changeset
|
21 * questions. |
342 | 22 * |
23 */ | |
24 | |
1972 | 25 #ifndef SHARE_VM_GC_IMPLEMENTATION_G1_CONCURRENTMARKTHREAD_HPP |
26 #define SHARE_VM_GC_IMPLEMENTATION_G1_CONCURRENTMARKTHREAD_HPP | |
27 | |
28 #include "gc_implementation/shared/concurrentGCThread.hpp" | |
29 | |
342 | 30 // The Concurrent Mark GC Thread (could be several in the future). |
31 // This is copied from the Concurrent Mark Sweep GC Thread | |
32 // Still under construction. | |
33 | |
34 class ConcurrentMark; | |
35 | |
36 class ConcurrentMarkThread: public ConcurrentGCThread { | |
37 friend class VMStructs; | |
38 | |
39 double _vtime_start; // Initial virtual time. | |
40 double _vtime_accum; // Accumulated virtual time. | |
41 | |
42 double _vtime_mark_accum; | |
43 double _vtime_count_accum; | |
44 | |
45 public: | |
46 virtual void run(); | |
47 | |
48 private: | |
49 ConcurrentMark* _cm; | |
1359
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1019
diff
changeset
|
50 volatile bool _started; |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1019
diff
changeset
|
51 volatile bool _in_progress; |
342 | 52 |
53 void sleepBeforeNextCycle(); | |
54 | |
55 static SurrogateLockerThread* _slt; | |
56 | |
57 public: | |
58 // Constructor | |
59 ConcurrentMarkThread(ConcurrentMark* cm); | |
60 | |
61 static void makeSurrogateLockerThread(TRAPS); | |
62 static SurrogateLockerThread* slt() { return _slt; } | |
63 | |
64 // Printing | |
1019 | 65 void print_on(outputStream* st) const; |
66 void print() const; | |
342 | 67 |
68 // Total virtual time so far. | |
69 double vtime_accum(); | |
70 // Marking virtual time so far | |
71 double vtime_mark_accum(); | |
72 // Counting virtual time so far. | |
73 double vtime_count_accum() { return _vtime_count_accum; } | |
74 | |
1359
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1019
diff
changeset
|
75 ConcurrentMark* cm() { return _cm; } |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1019
diff
changeset
|
76 |
1840
4e0094bc41fa
6983311: G1: LoopTest hangs when run with -XX:+ExplicitInvokesConcurrent
johnc
parents:
1552
diff
changeset
|
77 void set_started() { assert(!_in_progress, "cycle in progress"); _started = true; } |
4e0094bc41fa
6983311: G1: LoopTest hangs when run with -XX:+ExplicitInvokesConcurrent
johnc
parents:
1552
diff
changeset
|
78 void clear_started() { assert(_in_progress, "must be starting a cycle"); _started = false; } |
1359
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1019
diff
changeset
|
79 bool started() { return _started; } |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1019
diff
changeset
|
80 |
1840
4e0094bc41fa
6983311: G1: LoopTest hangs when run with -XX:+ExplicitInvokesConcurrent
johnc
parents:
1552
diff
changeset
|
81 void set_in_progress() { assert(_started, "must be starting a cycle"); _in_progress = true; } |
4e0094bc41fa
6983311: G1: LoopTest hangs when run with -XX:+ExplicitInvokesConcurrent
johnc
parents:
1552
diff
changeset
|
82 void clear_in_progress() { assert(!_started, "must not be starting a new cycle"); _in_progress = false; } |
1359
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1019
diff
changeset
|
83 bool in_progress() { return _in_progress; } |
342 | 84 |
1359
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1019
diff
changeset
|
85 // This flag returns true from the moment a marking cycle is |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1019
diff
changeset
|
86 // initiated (during the initial-mark pause when started() is set) |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1019
diff
changeset
|
87 // to the moment when the cycle completes (just after the next |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1019
diff
changeset
|
88 // marking bitmap has been cleared and in_progress() is |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1019
diff
changeset
|
89 // cleared). While this flag is true we will not start another cycle |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1019
diff
changeset
|
90 // so that cycles do not overlap. We cannot use just in_progress() |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1019
diff
changeset
|
91 // as the CM thread might take some time to wake up before noticing |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1019
diff
changeset
|
92 // that started() is set and set in_progress(). |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1019
diff
changeset
|
93 bool during_cycle() { return started() || in_progress(); } |
342 | 94 |
95 // Yield for GC | |
96 void yield(); | |
97 | |
98 // shutdown | |
794 | 99 void stop(); |
342 | 100 }; |
1972 | 101 |
102 #endif // SHARE_VM_GC_IMPLEMENTATION_G1_CONCURRENTMARKTHREAD_HPP |