1 /*
   2  * Copyright (c) 2001, 2014, Oracle and/or its affiliates. All rights reserved.
   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  *
  19  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
  20  * or visit www.oracle.com if you need additional information or have any
  21  * questions.
  22  *
  23  */
  24 
  25 #ifndef SHARE_VM_GC_IMPLEMENTATION_G1_G1OOPCLOSURES_HPP
  26 #define SHARE_VM_GC_IMPLEMENTATION_G1_G1OOPCLOSURES_HPP
  27 
  28 class HeapRegion;
  29 class G1CollectedHeap;
  30 class G1RemSet;
  31 class ConcurrentMark;
  32 class DirtyCardToOopClosure;
  33 class CMBitMap;
  34 class CMMarkStack;
  35 class G1ParScanThreadState;
  36 class CMTask;
  37 class ReferenceProcessor;
  38 
  39 // A class that scans oops in a given heap region (much as OopsInGenClosure
  40 // scans oops in a generation.)
  41 class OopsInHeapRegionClosure: public ExtendedOopClosure {
  42 protected:
  43   HeapRegion* _from;
  44 public:
  45   void set_region(HeapRegion* from) { _from = from; }
  46 };
  47 
  48 class G1ParClosureSuper : public OopsInHeapRegionClosure {
  49 protected:
  50   G1CollectedHeap* _g1;
  51   G1ParScanThreadState* _par_scan_state;
  52   uint _worker_id;
  53 public:
  54   G1ParClosureSuper(G1CollectedHeap* g1, G1ParScanThreadState* par_scan_state);
  55   bool apply_to_weak_ref_discovered_field() { return true; }
  56 };
  57 
  58 class G1ParPushHeapRSClosure : public G1ParClosureSuper {
  59 public:
  60   G1ParPushHeapRSClosure(G1CollectedHeap* g1,
  61                          G1ParScanThreadState* par_scan_state):
  62     G1ParClosureSuper(g1, par_scan_state) { }
  63 
  64   template <class T> void do_oop_nv(T* p);
  65   virtual void do_oop(oop* p)          { do_oop_nv(p); }
  66   virtual void do_oop(narrowOop* p)    { do_oop_nv(p); }
  67 };
  68 
  69 class G1ParScanClosure : public G1ParClosureSuper {
  70 public:
  71   G1ParScanClosure(G1CollectedHeap* g1, G1ParScanThreadState* par_scan_state, ReferenceProcessor* rp) :
  72     G1ParClosureSuper(g1, par_scan_state)
  73   {
  74     assert(_ref_processor == NULL, "sanity");
  75     _ref_processor = rp;
  76   }
  77 
  78   template <class T> void do_oop_nv(T* p);
  79   virtual void do_oop(oop* p)          { do_oop_nv(p); }
  80   virtual void do_oop(narrowOop* p)    { do_oop_nv(p); }
  81 };
  82 
  83 // Add back base class for metadata
  84 class G1ParCopyHelper : public G1ParClosureSuper {
  85 protected:
  86   Klass* _scanned_klass;
  87   ConcurrentMark* _cm;
  88 
  89   // Mark the object if it's not already marked. This is used to mark
  90   // objects pointed to by roots that are guaranteed not to move
  91   // during the GC (i.e., non-CSet objects). It is MT-safe.
  92   void mark_object(oop obj);
  93 
  94   // Mark the object if it's not already marked. This is used to mark
  95   // objects pointed to by roots that have been forwarded during a
  96   // GC. It is MT-safe.
  97   void mark_forwarded_object(oop from_obj, oop to_obj);
  98  public:
  99   G1ParCopyHelper(G1CollectedHeap* g1,  G1ParScanThreadState* par_scan_state);
 100 
 101   void set_scanned_klass(Klass* k) { _scanned_klass = k; }
 102   template <class T> void do_klass_barrier(T* p, oop new_obj);
 103 };
 104 
 105 template <G1Barrier barrier, bool do_mark_object>
 106 class G1ParCopyClosure : public G1ParCopyHelper {
 107 private:
 108   template <class T> void do_oop_work(T* p);
 109 
 110 public:
 111   G1ParCopyClosure(G1CollectedHeap* g1, G1ParScanThreadState* par_scan_state,
 112                    ReferenceProcessor* rp) :
 113       G1ParCopyHelper(g1, par_scan_state) {
 114     assert(_ref_processor == NULL, "sanity");
 115   }
 116 
 117   template <class T> void do_oop_nv(T* p) { do_oop_work(p); }
 118   virtual void do_oop(oop* p)       { do_oop_nv(p); }
 119   virtual void do_oop(narrowOop* p) { do_oop_nv(p); }
 120 };
 121 
 122 typedef G1ParCopyClosure<G1BarrierNone, false> G1ParScanExtRootClosure;
 123 typedef G1ParCopyClosure<G1BarrierKlass, false> G1ParScanMetadataClosure;
 124 
 125 
 126 typedef G1ParCopyClosure<G1BarrierNone, true> G1ParScanAndMarkExtRootClosure;
 127 typedef G1ParCopyClosure<G1BarrierKlass, true> G1ParScanAndMarkMetadataClosure;
 128 
 129 // We use a separate closure to handle references during evacuation
 130 // failure processing.
 131 
 132 typedef G1ParCopyClosure<G1BarrierEvac, false> G1ParScanHeapEvacFailureClosure;
 133 
 134 class FilterIntoCSClosure: public ExtendedOopClosure {
 135   G1CollectedHeap* _g1;
 136   OopClosure* _oc;
 137   DirtyCardToOopClosure* _dcto_cl;
 138 public:
 139   FilterIntoCSClosure(  DirtyCardToOopClosure* dcto_cl,
 140                         G1CollectedHeap* g1,
 141                         OopClosure* oc) :
 142     _dcto_cl(dcto_cl), _g1(g1), _oc(oc) { }
 143 
 144   template <class T> void do_oop_nv(T* p);
 145   virtual void do_oop(oop* p)        { do_oop_nv(p); }
 146   virtual void do_oop(narrowOop* p)  { do_oop_nv(p); }
 147   bool apply_to_weak_ref_discovered_field() { return true; }
 148 };
 149 
 150 class FilterOutOfRegionClosure: public ExtendedOopClosure {
 151   HeapWord* _r_bottom;
 152   HeapWord* _r_end;
 153   OopClosure* _oc;
 154 public:
 155   FilterOutOfRegionClosure(HeapRegion* r, OopClosure* oc);
 156   template <class T> void do_oop_nv(T* p);
 157   virtual void do_oop(oop* p) { do_oop_nv(p); }
 158   virtual void do_oop(narrowOop* p) { do_oop_nv(p); }
 159   bool apply_to_weak_ref_discovered_field() { return true; }
 160 };
 161 
 162 // Closure for iterating over object fields during concurrent marking
 163 class G1CMOopClosure : public ExtendedOopClosure {
 164 private:
 165   G1CollectedHeap*   _g1h;
 166   ConcurrentMark*    _cm;
 167   CMTask*            _task;
 168 public:
 169   G1CMOopClosure(G1CollectedHeap* g1h, ConcurrentMark* cm, CMTask* task);
 170   template <class T> void do_oop_nv(T* p);
 171   virtual void do_oop(      oop* p) { do_oop_nv(p); }
 172   virtual void do_oop(narrowOop* p) { do_oop_nv(p); }
 173 };
 174 
 175 // Closure to scan the root regions during concurrent marking
 176 class G1RootRegionScanClosure : public ExtendedOopClosure {
 177 private:
 178   G1CollectedHeap* _g1h;
 179   ConcurrentMark*  _cm;
 180   uint _worker_id;
 181 public:
 182   G1RootRegionScanClosure(G1CollectedHeap* g1h, ConcurrentMark* cm,
 183                           uint worker_id) :
 184     _g1h(g1h), _cm(cm), _worker_id(worker_id) { }
 185   template <class T> void do_oop_nv(T* p);
 186   virtual void do_oop(      oop* p) { do_oop_nv(p); }
 187   virtual void do_oop(narrowOop* p) { do_oop_nv(p); }
 188 };
 189 
 190 // Closure that applies the given two closures in sequence.
 191 // Used by the RSet refinement code (when updating RSets
 192 // during an evacuation pause) to record cards containing
 193 // pointers into the collection set.
 194 
 195 class G1Mux2Closure : public ExtendedOopClosure {
 196   OopClosure* _c1;
 197   OopClosure* _c2;
 198 public:
 199   G1Mux2Closure(OopClosure *c1, OopClosure *c2);
 200   template <class T> void do_oop_nv(T* p);
 201   virtual void do_oop(oop* p)        { do_oop_nv(p); }
 202   virtual void do_oop(narrowOop* p)  { do_oop_nv(p); }
 203 };
 204 
 205 // A closure that returns true if it is actually applied
 206 // to a reference
 207 
 208 class G1TriggerClosure : public ExtendedOopClosure {
 209   bool _triggered;
 210 public:
 211   G1TriggerClosure();
 212   bool triggered() const { return _triggered; }
 213   template <class T> void do_oop_nv(T* p);
 214   virtual void do_oop(oop* p)        { do_oop_nv(p); }
 215   virtual void do_oop(narrowOop* p)  { do_oop_nv(p); }
 216 };
 217 
 218 // A closure which uses a triggering closure to determine
 219 // whether to apply an oop closure.
 220 
 221 class G1InvokeIfNotTriggeredClosure: public ExtendedOopClosure {
 222   G1TriggerClosure* _trigger_cl;
 223   OopClosure* _oop_cl;
 224 public:
 225   G1InvokeIfNotTriggeredClosure(G1TriggerClosure* t, OopClosure* oc);
 226   template <class T> void do_oop_nv(T* p);
 227   virtual void do_oop(oop* p)        { do_oop_nv(p); }
 228   virtual void do_oop(narrowOop* p)  { do_oop_nv(p); }
 229 };
 230 
 231 class G1UpdateRSOrPushRefOopClosure: public ExtendedOopClosure {
 232   G1CollectedHeap* _g1;
 233   G1RemSet* _g1_rem_set;
 234   HeapRegion* _from;
 235   OopsInHeapRegionClosure* _push_ref_cl;
 236   bool _record_refs_into_cset;
 237   uint _worker_i;
 238 
 239 public:
 240   G1UpdateRSOrPushRefOopClosure(G1CollectedHeap* g1h,
 241                                 G1RemSet* rs,
 242                                 OopsInHeapRegionClosure* push_ref_cl,
 243                                 bool record_refs_into_cset,
 244                                 uint worker_i = 0);
 245 
 246   void set_from(HeapRegion* from) {
 247     assert(from != NULL, "from region must be non-NULL");
 248     _from = from;
 249   }
 250 
 251   bool self_forwarded(oop obj) {
 252     bool result = (obj->is_forwarded() && (obj->forwardee()== obj));
 253     return result;
 254   }
 255 
 256   bool apply_to_weak_ref_discovered_field() { return true; }
 257 
 258   template <class T> void do_oop_nv(T* p);
 259   virtual void do_oop(narrowOop* p) { do_oop_nv(p); }
 260   virtual void do_oop(oop* p)       { do_oop_nv(p); }
 261 };
 262 
 263 #endif // SHARE_VM_GC_IMPLEMENTATION_G1_G1OOPCLOSURES_HPP