Mercurial > hg > truffle
annotate src/share/vm/gc_implementation/g1/satbQueue.cpp @ 3759:cfcf2ba8f3eb
Merge
author | never |
---|---|
date | Wed, 15 Jun 2011 10:20:03 -0700 |
parents | 7e37af9d69ef |
children | 4dfb2df418f2 |
rev | line source |
---|---|
342 | 1 /* |
2149 | 2 * Copyright (c) 2001, 2011, 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 #include "precompiled.hpp" |
2149 | 26 #include "gc_implementation/g1/g1CollectedHeap.inline.hpp" |
1972 | 27 #include "gc_implementation/g1/satbQueue.hpp" |
28 #include "memory/allocation.inline.hpp" | |
29 #include "memory/sharedHeap.hpp" | |
30 #include "runtime/mutexLocker.hpp" | |
31 #include "runtime/thread.hpp" | |
342 | 32 |
2149 | 33 // This method removes entries from an SATB buffer that will not be |
34 // useful to the concurrent marking threads. An entry is removed if it | |
35 // satisfies one of the following conditions: | |
36 // | |
37 // * it points to an object outside the G1 heap (G1's concurrent | |
38 // marking only visits objects inside the G1 heap), | |
39 // * it points to an object that has been allocated since marking | |
40 // started (according to SATB those objects do not need to be | |
41 // visited during marking), or | |
42 // * it points to an object that has already been marked (no need to | |
43 // process it again). | |
44 // | |
45 // The rest of the entries will be retained and are compacted towards | |
46 // the top of the buffer. If with this filtering we clear a large | |
47 // enough chunk of the buffer we can re-use it (instead of enqueueing | |
48 // it) and we can just allow the mutator to carry on executing. | |
49 | |
50 bool ObjPtrQueue::should_enqueue_buffer() { | |
51 assert(_lock == NULL || _lock->owned_by_self(), | |
52 "we should have taken the lock before calling this"); | |
53 | |
54 // A value of 0 means "don't filter SATB buffers". | |
55 if (G1SATBBufferEnqueueingThresholdPercent == 0) { | |
56 return true; | |
57 } | |
58 | |
59 G1CollectedHeap* g1h = G1CollectedHeap::heap(); | |
60 | |
61 // This method should only be called if there is a non-NULL buffer | |
62 // that is full. | |
63 assert(_index == 0, "pre-condition"); | |
64 assert(_buf != NULL, "pre-condition"); | |
65 | |
66 void** buf = _buf; | |
67 size_t sz = _sz; | |
68 | |
69 // Used for sanity checking at the end of the loop. | |
70 debug_only(size_t entries = 0; size_t retained = 0;) | |
71 | |
72 size_t i = sz; | |
73 size_t new_index = sz; | |
74 | |
75 // Given that we are expecting _index == 0, we could have changed | |
76 // the loop condition to (i > 0). But we are using _index for | |
77 // generality. | |
78 while (i > _index) { | |
79 assert(i > 0, "we should have at least one more entry to process"); | |
80 i -= oopSize; | |
81 debug_only(entries += 1;) | |
82 oop* p = (oop*) &buf[byte_index_to_index((int) i)]; | |
83 oop obj = *p; | |
84 // NULL the entry so that unused parts of the buffer contain NULLs | |
85 // at the end. If we are going to retain it we will copy it to its | |
86 // final place. If we have retained all entries we have visited so | |
87 // far, we'll just end up copying it to the same place. | |
88 *p = NULL; | |
89 | |
90 bool retain = g1h->is_obj_ill(obj); | |
91 if (retain) { | |
92 assert(new_index > 0, "we should not have already filled up the buffer"); | |
93 new_index -= oopSize; | |
94 assert(new_index >= i, | |
95 "new_index should never be below i, as we alwaysr compact 'up'"); | |
96 oop* new_p = (oop*) &buf[byte_index_to_index((int) new_index)]; | |
97 assert(new_p >= p, "the destination location should never be below " | |
98 "the source as we always compact 'up'"); | |
99 assert(*new_p == NULL, | |
100 "we should have already cleared the destination location"); | |
101 *new_p = obj; | |
102 debug_only(retained += 1;) | |
103 } | |
104 } | |
105 size_t entries_calc = (sz - _index) / oopSize; | |
106 assert(entries == entries_calc, "the number of entries we counted " | |
107 "should match the number of entries we calculated"); | |
108 size_t retained_calc = (sz - new_index) / oopSize; | |
109 assert(retained == retained_calc, "the number of retained entries we counted " | |
110 "should match the number of retained entries we calculated"); | |
111 size_t perc = retained_calc * 100 / entries_calc; | |
112 bool should_enqueue = perc > (size_t) G1SATBBufferEnqueueingThresholdPercent; | |
113 _index = new_index; | |
114 | |
115 return should_enqueue; | |
116 } | |
117 | |
342 | 118 void ObjPtrQueue::apply_closure(ObjectClosure* cl) { |
119 if (_buf != NULL) { | |
120 apply_closure_to_buffer(cl, _buf, _index, _sz); | |
121 _index = _sz; | |
122 } | |
123 } | |
124 | |
125 void ObjPtrQueue::apply_closure_to_buffer(ObjectClosure* cl, | |
126 void** buf, size_t index, size_t sz) { | |
127 if (cl == NULL) return; | |
128 for (size_t i = index; i < sz; i += oopSize) { | |
129 oop obj = (oop)buf[byte_index_to_index((int)i)]; | |
130 // There can be NULL entries because of destructors. | |
131 if (obj != NULL) { | |
132 cl->do_object(obj); | |
133 } | |
134 } | |
135 } | |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
136 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
137 #ifdef ASSERT |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
138 void ObjPtrQueue::verify_oops_in_buffer() { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
139 if (_buf == NULL) return; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
140 for (size_t i = _index; i < _sz; i += oopSize) { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
141 oop obj = (oop)_buf[byte_index_to_index((int)i)]; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
142 assert(obj != NULL && obj->is_oop(true /* ignore mark word */), |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
143 "Not an oop"); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
144 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
145 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
146 #endif |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
147 |
342 | 148 #ifdef _MSC_VER // the use of 'this' below gets a warning, make it go away |
149 #pragma warning( disable:4355 ) // 'this' : used in base member initializer list | |
150 #endif // _MSC_VER | |
151 | |
152 | |
153 SATBMarkQueueSet::SATBMarkQueueSet() : | |
154 PtrQueueSet(), | |
155 _closure(NULL), _par_closures(NULL), | |
156 _shared_satb_queue(this, true /*perm*/) | |
157 {} | |
158 | |
159 void SATBMarkQueueSet::initialize(Monitor* cbl_mon, Mutex* fl_lock, | |
1111 | 160 int process_completed_threshold, |
342 | 161 Mutex* lock) { |
1111 | 162 PtrQueueSet::initialize(cbl_mon, fl_lock, process_completed_threshold, -1); |
342 | 163 _shared_satb_queue.set_lock(lock); |
164 if (ParallelGCThreads > 0) { | |
165 _par_closures = NEW_C_HEAP_ARRAY(ObjectClosure*, ParallelGCThreads); | |
166 } | |
167 } | |
168 | |
169 | |
170 void SATBMarkQueueSet::handle_zero_index_for_thread(JavaThread* t) { | |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
171 DEBUG_ONLY(t->satb_mark_queue().verify_oops_in_buffer();) |
342 | 172 t->satb_mark_queue().handle_zero_index(); |
173 } | |
174 | |
1317
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
175 #ifdef ASSERT |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
176 void SATBMarkQueueSet::dump_active_values(JavaThread* first, |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
177 bool expected_active) { |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
178 gclog_or_tty->print_cr("SATB queue active values for Java Threads"); |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
179 gclog_or_tty->print_cr(" SATB queue set: active is %s", |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
180 (is_active()) ? "TRUE" : "FALSE"); |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
181 gclog_or_tty->print_cr(" expected_active is %s", |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
182 (expected_active) ? "TRUE" : "FALSE"); |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
183 for (JavaThread* t = first; t; t = t->next()) { |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
184 bool active = t->satb_mark_queue().is_active(); |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
185 gclog_or_tty->print_cr(" thread %s, active is %s", |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
186 t->name(), (active) ? "TRUE" : "FALSE"); |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
187 } |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
188 } |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
189 #endif // ASSERT |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
190 |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
191 void SATBMarkQueueSet::set_active_all_threads(bool b, |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
192 bool expected_active) { |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
193 assert(SafepointSynchronize::is_at_safepoint(), "Must be at safepoint."); |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
194 JavaThread* first = Threads::first(); |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
195 |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
196 #ifdef ASSERT |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
197 if (_all_active != expected_active) { |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
198 dump_active_values(first, expected_active); |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
199 |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
200 // I leave this here as a guarantee, instead of an assert, so |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
201 // that it will still be compiled in if we choose to uncomment |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
202 // the #ifdef ASSERT in a product build. The whole block is |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
203 // within an #ifdef ASSERT so the guarantee will not be compiled |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
204 // in a product build anyway. |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
205 guarantee(false, |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
206 "SATB queue set has an unexpected active value"); |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
207 } |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
208 #endif // ASSERT |
342 | 209 _all_active = b; |
1317
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
210 |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
211 for (JavaThread* t = first; t; t = t->next()) { |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
212 #ifdef ASSERT |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
213 bool active = t->satb_mark_queue().is_active(); |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
214 if (active != expected_active) { |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
215 dump_active_values(first, expected_active); |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
216 |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
217 // I leave this here as a guarantee, instead of an assert, so |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
218 // that it will still be compiled in if we choose to uncomment |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
219 // the #ifdef ASSERT in a product build. The whole block is |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
220 // within an #ifdef ASSERT so the guarantee will not be compiled |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
221 // in a product build anyway. |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
222 guarantee(false, |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
223 "thread has an unexpected active value in its SATB queue"); |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
224 } |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
225 #endif // ASSERT |
342 | 226 t->satb_mark_queue().set_active(b); |
227 } | |
228 } | |
229 | |
230 void SATBMarkQueueSet::set_closure(ObjectClosure* closure) { | |
231 _closure = closure; | |
232 } | |
233 | |
234 void SATBMarkQueueSet::set_par_closure(int i, ObjectClosure* par_closure) { | |
235 assert(ParallelGCThreads > 0 && _par_closures != NULL, "Precondition"); | |
236 _par_closures[i] = par_closure; | |
237 } | |
238 | |
239 void SATBMarkQueueSet::iterate_closure_all_threads() { | |
240 for(JavaThread* t = Threads::first(); t; t = t->next()) { | |
241 t->satb_mark_queue().apply_closure(_closure); | |
242 } | |
243 shared_satb_queue()->apply_closure(_closure); | |
244 } | |
245 | |
246 void SATBMarkQueueSet::par_iterate_closure_all_threads(int worker) { | |
247 SharedHeap* sh = SharedHeap::heap(); | |
248 int parity = sh->strong_roots_parity(); | |
249 | |
250 for(JavaThread* t = Threads::first(); t; t = t->next()) { | |
251 if (t->claim_oops_do(true, parity)) { | |
252 t->satb_mark_queue().apply_closure(_par_closures[worker]); | |
253 } | |
254 } | |
255 // We'll have worker 0 do this one. | |
256 if (worker == 0) { | |
257 shared_satb_queue()->apply_closure(_par_closures[0]); | |
258 } | |
259 } | |
260 | |
261 bool SATBMarkQueueSet::apply_closure_to_completed_buffer_work(bool par, | |
262 int worker) { | |
1111 | 263 BufferNode* nd = NULL; |
342 | 264 { |
265 MutexLockerEx x(_cbl_mon, Mutex::_no_safepoint_check_flag); | |
266 if (_completed_buffers_head != NULL) { | |
267 nd = _completed_buffers_head; | |
1111 | 268 _completed_buffers_head = nd->next(); |
342 | 269 if (_completed_buffers_head == NULL) _completed_buffers_tail = NULL; |
270 _n_completed_buffers--; | |
271 if (_n_completed_buffers == 0) _process_completed = false; | |
272 } | |
273 } | |
274 ObjectClosure* cl = (par ? _par_closures[worker] : _closure); | |
275 if (nd != NULL) { | |
1111 | 276 void **buf = BufferNode::make_buffer_from_node(nd); |
277 ObjPtrQueue::apply_closure_to_buffer(cl, buf, 0, _sz); | |
278 deallocate_buffer(buf); | |
342 | 279 return true; |
280 } else { | |
281 return false; | |
282 } | |
283 } | |
284 | |
285 void SATBMarkQueueSet::abandon_partial_marking() { | |
1111 | 286 BufferNode* buffers_to_delete = NULL; |
342 | 287 { |
288 MutexLockerEx x(_cbl_mon, Mutex::_no_safepoint_check_flag); | |
289 while (_completed_buffers_head != NULL) { | |
1111 | 290 BufferNode* nd = _completed_buffers_head; |
291 _completed_buffers_head = nd->next(); | |
292 nd->set_next(buffers_to_delete); | |
342 | 293 buffers_to_delete = nd; |
294 } | |
295 _completed_buffers_tail = NULL; | |
296 _n_completed_buffers = 0; | |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
297 DEBUG_ONLY(assert_completed_buffer_list_len_correct_locked()); |
342 | 298 } |
299 while (buffers_to_delete != NULL) { | |
1111 | 300 BufferNode* nd = buffers_to_delete; |
301 buffers_to_delete = nd->next(); | |
302 deallocate_buffer(BufferNode::make_buffer_from_node(nd)); | |
342 | 303 } |
304 assert(SafepointSynchronize::is_at_safepoint(), "Must be at safepoint."); | |
305 // So we can safely manipulate these queues. | |
306 for (JavaThread* t = Threads::first(); t; t = t->next()) { | |
307 t->satb_mark_queue().reset(); | |
308 } | |
309 shared_satb_queue()->reset(); | |
310 } |