1 /*
   2  * Copyright (c) 2018, Red Hat, Inc. All rights reserved.
   3  *
   4  * This code is free software; you can redistribute it and/or modify it
   5  * under the terms of the GNU General Public License version 2 only, as
   6  * published by the Free Software Foundation.
   7  *
   8  * This code is distributed in the hope that it will be useful, but WITHOUT
   9  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
  10  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  11  * version 2 for more details (a copy is included in the LICENSE file that
  12  * accompanied this code).
  13  *
  14  * You should have received a copy of the GNU General Public License version
  15  * 2 along with this work; if not, write to the Free Software Foundation,
  16  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
  17  *
  18  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
  19  * or visit www.oracle.com if you need additional information or have any
  20  * questions.
  21  *
  22  */
  23 
  24 #ifndef SHARE_VM_GC_SHENANDOAH_SHENANDOAHTRAVERSALGC_INLINE_HPP
  25 #define SHARE_VM_GC_SHENANDOAH_SHENANDOAHTRAVERSALGC_INLINE_HPP
  26 
  27 #include "gc_implementation/shenandoah/shenandoahAsserts.hpp"
  28 #include "gc_implementation/shenandoah/shenandoahBarrierSet.inline.hpp"
  29 #include "gc_implementation/shenandoah/shenandoahHeap.inline.hpp"
  30 #include "gc_implementation/shenandoah/shenandoahMarkingContext.inline.hpp"
  31 #include "gc_implementation/shenandoah/shenandoahStringDedup.hpp"
  32 #include "gc_implementation/shenandoah/shenandoahTraversalGC.hpp"
  33 #include "gc_implementation/shenandoah/shenandoahTaskqueue.hpp"
  34 #include "gc_implementation/shenandoah/shenandoahTaskqueue.inline.hpp"
  35 #include "oops/oop.inline.hpp"
  36 
  37 template <class T, bool STRING_DEDUP, bool DEGEN, bool ATOMIC_UPDATE>
  38 void ShenandoahTraversalGC::process_oop(T* p, Thread* thread, ShenandoahObjToScanQueue* queue, ShenandoahMarkingContext* const mark_context, ShenandoahStrDedupQueue* dq) {
  39   T o = oopDesc::load_heap_oop(p);
  40   if (!oopDesc::is_null(o)) {
  41     oop obj = oopDesc::decode_heap_oop_not_null(o);
  42     if (DEGEN) {
  43       assert(!ATOMIC_UPDATE, "Degen path assumes non-atomic updates");
  44       oop forw = ShenandoahBarrierSet::resolve_forwarded_not_null(obj);
  45       if (obj != forw) {
  46         // Update reference.
  47         oopDesc::encode_store_heap_oop_not_null(p, forw);
  48       }
  49       obj = forw;
  50     } else if (_heap->in_collection_set(obj)) {
  51       oop forw = ShenandoahBarrierSet::resolve_forwarded_not_null(obj);
  52       if (obj == forw) {
  53         forw = _heap->evacuate_object(obj, thread);
  54       }
  55       shenandoah_assert_forwarded_except(p, obj, _heap->cancelled_gc());
  56       // Update reference.
  57       if (ATOMIC_UPDATE) {
  58         _heap->cas_oop(forw, p, obj);
  59       } else {
  60         oopDesc::encode_store_heap_oop_not_null(p, forw);
  61       }
  62       obj = forw;
  63     }
  64 
  65     shenandoah_assert_not_forwarded(p, obj);
  66     shenandoah_assert_not_in_cset_except(p, obj, _heap->cancelled_gc());
  67 
  68     if (mark_context->mark(obj)) {
  69       bool succeeded = queue->push(ShenandoahMarkTask(obj));
  70       assert(succeeded, "must succeed to push to task queue");
  71 
  72       if (STRING_DEDUP && ShenandoahStringDedup::is_candidate(obj) && !_heap->cancelled_gc()) {
  73         assert(ShenandoahStringDedup::is_enabled(), "Must be enabled");
  74         // Only dealing with to-space string, so that we can avoid evac-oom protocol, which is costly here.
  75         shenandoah_assert_not_in_cset(p, obj);
  76         assert(dq != NULL, "Dedup queue not set");
  77         ShenandoahStringDedup::enqueue_candidate(obj, dq);
  78       }
  79     }
  80   }
  81 }
  82 
  83 #endif // SHARE_VM_GC_SHENANDOAH_SHENANDOAHTRAVERSALGC_INLINE_HPP