1 /*
2 * Copyright (c) 2019, 2020, Red Hat, Inc. All rights reserved.
3 * Copyright Amazon.com Inc. or its affiliates. All Rights Reserved.
4 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
5 *
6 * This code is free software; you can redistribute it and/or modify it
7 * under the terms of the GNU General Public License version 2 only, as
8 * published by the Free Software Foundation.
9 *
10 * This code is distributed in the hope that it will be useful, but WITHOUT
11 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
12 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
13 * version 2 for more details (a copy is included in the LICENSE file that
14 * accompanied this code).
15 *
16 * You should have received a copy of the GNU General Public License version
17 * 2 along with this work; if not, write to the Free Software Foundation,
18 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
19 *
20 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
21 * or visit www.oracle.com if you need additional information or have any
22 * questions.
23 *
24 */
25 #ifndef SHARE_GC_SHENANDOAH_SHENANDOAHCLOSURES_INLINE_HPP
26 #define SHARE_GC_SHENANDOAH_SHENANDOAHCLOSURES_INLINE_HPP
27
28 #include "gc/shenandoah/shenandoahClosures.hpp"
29
30 #include "gc/shared/barrierSetNMethod.hpp"
31 #include "gc/shenandoah/shenandoahAsserts.hpp"
32 #include "gc/shenandoah/shenandoahBarrierSet.hpp"
33 #include "gc/shenandoah/shenandoahForwarding.inline.hpp"
34 #include "gc/shenandoah/shenandoahHeap.inline.hpp"
35 #include "gc/shenandoah/shenandoahMark.inline.hpp"
36 #include "gc/shenandoah/shenandoahMarkingContext.inline.hpp"
37 #include "gc/shenandoah/shenandoahNMethod.inline.hpp"
38 #include "gc/shenandoah/shenandoahReferenceProcessor.hpp"
39 #include "gc/shenandoah/shenandoahTaskqueue.inline.hpp"
40 #include "memory/iterator.inline.hpp"
41 #include "oops/compressedOops.inline.hpp"
42 #include "runtime/atomicAccess.hpp"
43 #include "runtime/javaThread.hpp"
44
45 //
46 // ========= Super
47 //
48
49 ShenandoahSuperClosure::ShenandoahSuperClosure() :
50 MetadataVisitingOopIterateClosure(), _heap(ShenandoahHeap::heap()) {}
51
52 ShenandoahSuperClosure::ShenandoahSuperClosure(ShenandoahReferenceProcessor* rp) :
53 MetadataVisitingOopIterateClosure(rp), _heap(ShenandoahHeap::heap()) {}
54
55 void ShenandoahSuperClosure::do_nmethod(nmethod* nm) {
56 nm->run_nmethod_entry_barrier();
57 }
58
59 //
60 // ========= Marking
61 //
62 ShenandoahFlushSATBHandshakeClosure::ShenandoahFlushSATBHandshakeClosure(SATBMarkQueueSet& qset) :
63 HandshakeClosure("Shenandoah Flush SATB"),
64 _qset(qset) {}
65
66 void ShenandoahFlushSATBHandshakeClosure::do_thread(Thread* thread) {
67 _qset.flush_queue(ShenandoahThreadLocalData::satb_mark_queue(thread));
68 }
69
70 ShenandoahMarkRefsSuperClosure::ShenandoahMarkRefsSuperClosure(ShenandoahObjToScanQueue* q,
71 ShenandoahReferenceProcessor* rp,
72 ShenandoahObjToScanQueue* old_q) :
73 ShenandoahSuperClosure(rp),
74 _queue(q),
75 _old_queue(old_q),
76 _mark_context(ShenandoahHeap::heap()->marking_context()),
77 _weak(false) {}
78
79 template<class T, ShenandoahGenerationType GENERATION>
80 ALWAYSINLINE
81 void ShenandoahMarkRefsSuperClosure::work(T* p) {
82 ShenandoahMark::mark_through_ref<T, GENERATION>(p, _queue, _old_queue, _mark_context, _weak);
83 }
84
85 ShenandoahForwardedIsAliveClosure::ShenandoahForwardedIsAliveClosure() :
86 _mark_context(ShenandoahHeap::heap()->marking_context()) {}
87
88 bool ShenandoahForwardedIsAliveClosure::do_object_b(oop obj) {
89 if (CompressedOops::is_null(obj)) {
90 return false;
91 }
92 obj = ShenandoahForwarding::get_forwardee(obj);
93 shenandoah_assert_not_forwarded_if(nullptr, obj, ShenandoahHeap::heap()->is_concurrent_mark_in_progress());
94 return _mark_context->is_marked_or_old(obj);
95 }
96
97 ShenandoahIsAliveClosure::ShenandoahIsAliveClosure() :
98 _mark_context(ShenandoahHeap::heap()->marking_context()) {}
99
100 bool ShenandoahIsAliveClosure::do_object_b(oop obj) {
101 if (CompressedOops::is_null(obj)) {
102 return false;
103 }
104 shenandoah_assert_not_forwarded(nullptr, obj);
105 return _mark_context->is_marked_or_old(obj);
106 }
107
108 BoolObjectClosure* ShenandoahIsAliveSelector::is_alive_closure() {
109 return ShenandoahHeap::heap()->has_forwarded_objects() ?
110 reinterpret_cast<BoolObjectClosure*>(&_fwd_alive_cl) :
111 reinterpret_cast<BoolObjectClosure*>(&_alive_cl);
112 }
113
114 ShenandoahKeepAliveClosure::ShenandoahKeepAliveClosure() :
115 _bs(ShenandoahBarrierSet::barrier_set()) {}
116
117 template <typename T>
118 void ShenandoahKeepAliveClosure::do_oop_work(T* p) {
119 assert(ShenandoahHeap::heap()->is_concurrent_mark_in_progress(), "Only for concurrent marking phase");
120 assert(ShenandoahHeap::heap()->is_concurrent_old_mark_in_progress() || !ShenandoahHeap::heap()->has_forwarded_objects(), "Not expected");
121
122 T o = RawAccess<>::oop_load(p);
123 if (!CompressedOops::is_null(o)) {
124 oop obj = CompressedOops::decode_not_null(o);
125 _bs->enqueue(obj);
126 }
127 }
128
129
130 //
131 // ========= Evacuating + Roots
132 //
133
134 template <bool CONCURRENT, bool STABLE_THREAD>
135 void ShenandoahEvacuateUpdateRootClosureBase<CONCURRENT, STABLE_THREAD>::do_oop(oop* p) {
136 do_oop_work(p);
137 }
138
139 template <bool CONCURRENT, bool STABLE_THREAD>
140 void ShenandoahEvacuateUpdateRootClosureBase<CONCURRENT, STABLE_THREAD>::do_oop(narrowOop* p) {
141 do_oop_work(p);
142 }
143
144 template <bool CONCURRENT, bool STABLE_THREAD>
145 template <class T>
146 void ShenandoahEvacuateUpdateRootClosureBase<CONCURRENT, STABLE_THREAD>::do_oop_work(T* p) {
147 assert((_heap->is_concurrent_weak_root_in_progress() && _heap->is_evacuation_in_progress()) ||
148 _heap->is_concurrent_strong_root_in_progress(),
149 "Only do this in root processing phase");
150
151 T o = RawAccess<>::oop_load(p);
152 if (!CompressedOops::is_null(o)) {
153 oop obj = CompressedOops::decode_not_null(o);
154 if (_heap->in_collection_set(obj)) {
155 assert(_heap->is_evacuation_in_progress(), "Only do this when evacuation is in progress");
156 shenandoah_assert_marked(p, obj);
157 oop resolved = ShenandoahForwarding::get_forwardee(obj);
158 if (resolved == obj) {
159 Thread* thr = STABLE_THREAD ? _thread : Thread::current();
160 assert(thr == Thread::current(), "Wrong thread");
161
162 resolved = _heap->evacuate_object(obj, thr);
163 }
164 if (CONCURRENT) {
165 ShenandoahHeap::atomic_update_oop(resolved, p, o);
166 } else {
167 RawAccess<IS_NOT_NULL | MO_UNORDERED>::oop_store(p, resolved);
168 }
169 }
170 }
171 }
172
173 template <bool CONCURRENT, typename IsAlive, typename KeepAlive>
174 ShenandoahCleanUpdateWeakOopsClosure<CONCURRENT, IsAlive, KeepAlive>::ShenandoahCleanUpdateWeakOopsClosure(IsAlive* is_alive, KeepAlive* keep_alive) :
175 _is_alive(is_alive), _keep_alive(keep_alive) {
176 if (!CONCURRENT) {
177 assert(SafepointSynchronize::is_at_safepoint(), "Must be at a safepoint");
178 }
179 }
180
181 template <bool CONCURRENT, typename IsAlive, typename KeepAlive>
182 void ShenandoahCleanUpdateWeakOopsClosure<CONCURRENT, IsAlive, KeepAlive>::do_oop(oop* p) {
183 oop obj = RawAccess<>::oop_load(p);
184 if (!CompressedOops::is_null(obj)) {
185 if (_is_alive->do_object_b(obj)) {
186 _keep_alive->do_oop(p);
187 } else {
188 if (CONCURRENT) {
189 ShenandoahHeap::atomic_clear_oop(p, obj);
190 } else {
191 RawAccess<IS_NOT_NULL>::oop_store(p, oop());
192 }
193 }
194 }
195 }
196
197 template <bool CONCURRENT, typename IsAlive, typename KeepAlive>
198 void ShenandoahCleanUpdateWeakOopsClosure<CONCURRENT, IsAlive, KeepAlive>::do_oop(narrowOop* p) {
199 ShouldNotReachHere();
200 }
201
202 ShenandoahNMethodAndDisarmClosure::ShenandoahNMethodAndDisarmClosure(OopClosure* cl) :
203 NMethodToOopClosure(cl, true /* fix_relocations */) {}
204
205 void ShenandoahNMethodAndDisarmClosure::do_nmethod(nmethod* nm) {
206 assert(nm != nullptr, "Sanity");
207 assert(!ShenandoahNMethod::gc_data(nm)->is_unregistered(), "Should not be here");
208 NMethodToOopClosure::do_nmethod(nm);
209 ShenandoahNMethod::disarm_nmethod(nm);
210 }
211
212
213 //
214 // ========= Update References
215 //
216
217 template <ShenandoahGenerationType GENERATION>
218 ShenandoahMarkUpdateRefsClosure<GENERATION>::ShenandoahMarkUpdateRefsClosure(ShenandoahObjToScanQueue* q,
219 ShenandoahReferenceProcessor* rp,
220 ShenandoahObjToScanQueue* old_q) :
221 ShenandoahMarkRefsSuperClosure(q, rp, old_q) {
222 assert(_heap->is_stw_gc_in_progress(), "Can only be used for STW GC");
223 }
224
225 template<ShenandoahGenerationType GENERATION>
226 template<class T>
227 inline void ShenandoahMarkUpdateRefsClosure<GENERATION>::work(T* p) {
228 // Update the location
229 _heap->non_conc_update_with_forwarded(p);
230
231 // ...then do the usual thing
232 ShenandoahMarkRefsSuperClosure::work<T, GENERATION>(p);
233 }
234
235 template<class T>
236 inline void ShenandoahNonConcUpdateRefsClosure::work(T* p) {
237 _heap->non_conc_update_with_forwarded(p);
238 }
239
240 template<class T>
241 inline void ShenandoahConcUpdateRefsClosure::work(T* p) {
242 _heap->conc_update_with_forwarded(p);
243 }
244
245 inline void ShenandoahFlushSATB::do_thread(Thread* thread) {
246 // Transfer any partial buffer to the qset for completed buffer processing.
247 _satb_qset.flush_queue(ShenandoahThreadLocalData::satb_mark_queue(thread));
248 }
249
250 //
251 // ========= Utilities
252 //
253
254 #ifdef ASSERT
255 template <class T>
256 void ShenandoahAssertNotForwardedClosure::do_oop_work(T* p) {
257 T o = RawAccess<>::oop_load(p);
258 if (!CompressedOops::is_null(o)) {
259 oop obj = CompressedOops::decode_not_null(o);
260 shenandoah_assert_not_forwarded(p, obj);
261 }
262 }
263
264 void ShenandoahAssertNotForwardedClosure::do_oop(narrowOop* p) { do_oop_work(p); }
265 void ShenandoahAssertNotForwardedClosure::do_oop(oop* p) { do_oop_work(p); }
266 #endif
267
268 #endif // SHARE_GC_SHENANDOAH_SHENANDOAHCLOSURES_INLINE_HPP