Mercurial > hg > graal-jvmci-8
annotate src/share/vm/gc_implementation/g1/satbQueue.hpp @ 20331:18bf0b66de52
8044406: JVM crash with JDK8 (build 1.8.0-b132) with G1 GC
Summary: Fill the last card that has been allocated into with a dummy object
Reviewed-by: tschatzl, mgerdin
author | poonam |
---|---|
date | Tue, 19 Aug 2014 02:05:49 -0700 |
parents | 2c6ef90f030a |
children | c2844108a708 |
rev | line source |
---|---|
342 | 1 /* |
4787
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
2 * Copyright (c) 2001, 2012, 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:
1317
diff
changeset
|
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1317
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:
1317
diff
changeset
|
21 * questions. |
342 | 22 * |
23 */ | |
24 | |
1972 | 25 #ifndef SHARE_VM_GC_IMPLEMENTATION_G1_SATBQUEUE_HPP |
26 #define SHARE_VM_GC_IMPLEMENTATION_G1_SATBQUEUE_HPP | |
27 | |
28 #include "gc_implementation/g1/ptrQueue.hpp" | |
29 | |
342 | 30 class ObjectClosure; |
31 class JavaThread; | |
4787
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
32 class SATBMarkQueueSet; |
342 | 33 |
34 // A ptrQueue whose elements are "oops", pointers to object heads. | |
35 class ObjPtrQueue: public PtrQueue { | |
20278
2c6ef90f030a
8049421: G1 Class Unloading after completing a concurrent mark cycle
stefank
parents:
17844
diff
changeset
|
36 friend class Threads; |
4787
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
37 friend class SATBMarkQueueSet; |
20278
2c6ef90f030a
8049421: G1 Class Unloading after completing a concurrent mark cycle
stefank
parents:
17844
diff
changeset
|
38 friend class G1RemarkThreadsClosure; |
4787
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
39 |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
40 private: |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
41 // Filter out unwanted entries from the buffer. |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
42 void filter(); |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
43 |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
44 // Apply the closure to all elements. |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
45 void apply_closure(ObjectClosure* cl); |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
46 |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
47 // Apply the closure to all elements and empty the buffer; |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
48 void apply_closure_and_empty(ObjectClosure* cl); |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
49 |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
50 // Apply the closure to all elements of "buf", down to "index" (inclusive.) |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
51 static void apply_closure_to_buffer(ObjectClosure* cl, |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
52 void** buf, size_t index, size_t sz); |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
53 |
342 | 54 public: |
2149 | 55 ObjPtrQueue(PtrQueueSet* qset, bool perm = false) : |
1842
6e0aac35bfa9
6980838: G1: guarantee(false) failed: thread has an unexpected active value in its SATB queue
tonyp
parents:
1552
diff
changeset
|
56 // SATB queues are only active during marking cycles. We create |
6e0aac35bfa9
6980838: G1: guarantee(false) failed: thread has an unexpected active value in its SATB queue
tonyp
parents:
1552
diff
changeset
|
57 // them with their active field set to false. If a thread is |
6e0aac35bfa9
6980838: G1: guarantee(false) failed: thread has an unexpected active value in its SATB queue
tonyp
parents:
1552
diff
changeset
|
58 // created during a cycle and its SATB queue needs to be activated |
6e0aac35bfa9
6980838: G1: guarantee(false) failed: thread has an unexpected active value in its SATB queue
tonyp
parents:
1552
diff
changeset
|
59 // before the thread starts running, we'll need to set its active |
6e0aac35bfa9
6980838: G1: guarantee(false) failed: thread has an unexpected active value in its SATB queue
tonyp
parents:
1552
diff
changeset
|
60 // field to true. This is done in JavaThread::initialize_queues(). |
2149 | 61 PtrQueue(qset, perm, false /* active */) { } |
62 | |
4787
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
63 // Overrides PtrQueue::flush() so that it can filter the buffer |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
64 // before it is flushed. |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
65 virtual void flush(); |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
66 |
2149 | 67 // Overrides PtrQueue::should_enqueue_buffer(). See the method's |
68 // definition for more information. | |
69 virtual bool should_enqueue_buffer(); | |
70 | |
4787
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
71 #ifndef PRODUCT |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
72 // Helpful for debugging |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
73 void print(const char* name); |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
74 static void print(const char* name, void** buf, size_t index, size_t sz); |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
75 #endif // PRODUCT |
342 | 76 |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
77 void verify_oops_in_buffer() NOT_DEBUG_RETURN; |
342 | 78 }; |
79 | |
80 class SATBMarkQueueSet: public PtrQueueSet { | |
81 ObjectClosure* _closure; | |
82 ObjectClosure** _par_closures; // One per ParGCThread. | |
83 | |
84 ObjPtrQueue _shared_satb_queue; | |
85 | |
86 // Utility function to support sequential and parallel versions. If | |
87 // "par" is true, then "worker" is the par thread id; if "false", worker | |
88 // is ignored. | |
17844
8847586c9037
8016302: Change type of the number of GC workers to unsigned int (2)
vkempik
parents:
17747
diff
changeset
|
89 bool apply_closure_to_completed_buffer_work(bool par, uint worker); |
342 | 90 |
1317
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
91 #ifdef ASSERT |
17747 | 92 void dump_active_states(bool expected_active); |
93 void verify_active_states(bool expected_active); | |
1317
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
94 #endif // ASSERT |
342 | 95 |
96 public: | |
97 SATBMarkQueueSet(); | |
98 | |
99 void initialize(Monitor* cbl_mon, Mutex* fl_lock, | |
1111 | 100 int process_completed_threshold, |
101 Mutex* lock); | |
342 | 102 |
103 static void handle_zero_index_for_thread(JavaThread* t); | |
104 | |
17747 | 105 // Apply "set_active(active)" to all SATB queues in the set. It should be |
1317
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
106 // called only with the world stopped. The method will assert that the |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
107 // SATB queues of all threads it visits, as well as the SATB queue |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
108 // set itself, has an active value same as expected_active. |
17747 | 109 void set_active_all_threads(bool active, bool expected_active); |
342 | 110 |
4787
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
111 // Filter all the currently-active SATB buffers. |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
112 void filter_thread_buffers(); |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
113 |
342 | 114 // Register "blk" as "the closure" for all queues. Only one such closure |
115 // is allowed. The "apply_closure_to_completed_buffer" method will apply | |
116 // this closure to a completed buffer, and "iterate_closure_all_threads" | |
117 // applies it to partially-filled buffers (the latter should only be done | |
118 // with the world stopped). | |
119 void set_closure(ObjectClosure* closure); | |
120 // Set the parallel closures: pointer is an array of pointers to | |
121 // closures, one for each parallel GC thread. | |
122 void set_par_closure(int i, ObjectClosure* closure); | |
123 | |
124 // If there exists some completed buffer, pop it, then apply the | |
125 // registered closure to all its elements, and return true. If no | |
126 // completed buffers exist, return false. | |
127 bool apply_closure_to_completed_buffer() { | |
128 return apply_closure_to_completed_buffer_work(false, 0); | |
129 } | |
130 // Parallel version of the above. | |
17844
8847586c9037
8016302: Change type of the number of GC workers to unsigned int (2)
vkempik
parents:
17747
diff
changeset
|
131 bool par_apply_closure_to_completed_buffer(uint worker) { |
342 | 132 return apply_closure_to_completed_buffer_work(true, worker); |
133 } | |
134 | |
4787
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
135 // Apply the given closure on enqueued and currently-active buffers |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
136 // respectively. Both methods are read-only, i.e., they do not |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
137 // modify any of the buffers. |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
138 void iterate_completed_buffers_read_only(ObjectClosure* cl); |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
139 void iterate_thread_buffers_read_only(ObjectClosure* cl); |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
140 |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
141 #ifndef PRODUCT |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
142 // Helpful for debugging |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
143 void print_all(const char* msg); |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
144 #endif // PRODUCT |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
145 |
342 | 146 ObjPtrQueue* shared_satb_queue() { return &_shared_satb_queue; } |
147 | |
148 // If a marking is being abandoned, reset any unprocessed log buffers. | |
149 void abandon_partial_marking(); | |
150 }; | |
1972 | 151 |
152 #endif // SHARE_VM_GC_IMPLEMENTATION_G1_SATBQUEUE_HPP |