src/share/vm/gc_implementation/g1/g1OopClosures.hpp

Print this page
rev 2691 : [mq]: g1-reference-processing


  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 
  38 // A class that scans oops in a given heap region (much as OopsInGenClosure
  39 // scans oops in a generation.)
  40 class OopsInHeapRegionClosure: public OopsInGenClosure {
  41 protected:
  42   HeapRegion* _from;
  43 public:
  44   void set_region(HeapRegion* from) { _from = from; }
  45 };
  46 
  47 class G1ParClosureSuper : public OopsInHeapRegionClosure {
  48 protected:
  49   G1CollectedHeap* _g1;
  50   G1RemSet* _g1_rem;
  51   ConcurrentMark* _cm;
  52   G1ParScanThreadState* _par_scan_state;
  53   bool _during_initial_mark;
  54   bool _mark_in_progress;
  55 public:
  56   G1ParClosureSuper(G1CollectedHeap* g1, G1ParScanThreadState* par_scan_state);
  57   bool apply_to_weak_ref_discovered_field() { return true; }
  58 };
  59 
  60 class G1ParPushHeapRSClosure : public G1ParClosureSuper {
  61 public:
  62   G1ParPushHeapRSClosure(G1CollectedHeap* g1, G1ParScanThreadState* par_scan_state) :
  63     G1ParClosureSuper(g1, par_scan_state) { }







  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) :
  72     G1ParClosureSuper(g1, par_scan_state) { }





  73   template <class T> void do_oop_nv(T* p);
  74   virtual void do_oop(oop* p)          { do_oop_nv(p); }
  75   virtual void do_oop(narrowOop* p)    { do_oop_nv(p); }
  76 };
  77 
  78 #define G1_PARTIAL_ARRAY_MASK 0x2
  79 
  80 template <class T> inline bool has_partial_array_mask(T* ref) {
  81   return ((uintptr_t)ref & G1_PARTIAL_ARRAY_MASK) == G1_PARTIAL_ARRAY_MASK;
  82 }
  83 
  84 template <class T> inline T* set_partial_array_mask(T obj) {
  85   assert(((uintptr_t)obj & G1_PARTIAL_ARRAY_MASK) == 0, "Information loss!");
  86   return (T*) ((uintptr_t)obj | G1_PARTIAL_ARRAY_MASK);
  87 }
  88 
  89 template <class T> inline oop clear_partial_array_mask(T* ref) {
  90   return oop((intptr_t)ref & ~G1_PARTIAL_ARRAY_MASK);
  91 }
  92 
  93 class G1ParScanPartialArrayClosure : public G1ParClosureSuper {
  94   G1ParScanClosure _scanner;

  95 public:
  96   G1ParScanPartialArrayClosure(G1CollectedHeap* g1, G1ParScanThreadState* par_scan_state) :
  97     G1ParClosureSuper(g1, par_scan_state), _scanner(g1, par_scan_state) { }








  98   template <class T> void do_oop_nv(T* p);
  99   virtual void do_oop(oop* p)       { do_oop_nv(p); }
 100   virtual void do_oop(narrowOop* p) { do_oop_nv(p); }
 101 };
 102 
 103 
 104 class G1ParCopyHelper : public G1ParClosureSuper {
 105   G1ParScanClosure *_scanner;
 106 protected:
 107   template <class T> void mark_object(T* p);
 108   oop copy_to_survivor_space(oop obj, bool should_mark_copy);
 109 public:
 110   G1ParCopyHelper(G1CollectedHeap* g1, G1ParScanThreadState* par_scan_state,
 111                   G1ParScanClosure *scanner) :
 112     G1ParClosureSuper(g1, par_scan_state), _scanner(scanner) { }
 113 };
 114 
 115 template<bool do_gen_barrier, G1Barrier barrier,
 116          bool do_mark_object>
 117 class G1ParCopyClosure : public G1ParCopyHelper {
 118   G1ParScanClosure _scanner;

 119   template <class T> void do_oop_work(T* p);

 120 public:
 121   G1ParCopyClosure(G1CollectedHeap* g1, G1ParScanThreadState* par_scan_state) :
 122     _scanner(g1, par_scan_state), G1ParCopyHelper(g1, par_scan_state, &_scanner) { }








 123   template <class T> void do_oop_nv(T* p) {
 124     do_oop_work(p);
 125   }
 126   virtual void do_oop(oop* p)       { do_oop_nv(p); }
 127   virtual void do_oop(narrowOop* p) { do_oop_nv(p); }
 128 };
 129 
 130 typedef G1ParCopyClosure<false, G1BarrierNone, false> G1ParScanExtRootClosure;
 131 typedef G1ParCopyClosure<true,  G1BarrierNone, false> G1ParScanPermClosure;
 132 typedef G1ParCopyClosure<false, G1BarrierRS,   false> G1ParScanHeapRSClosure;
 133 typedef G1ParCopyClosure<false, G1BarrierNone, true> G1ParScanAndMarkExtRootClosure;
 134 typedef G1ParCopyClosure<true,  G1BarrierNone, true> G1ParScanAndMarkPermClosure;
 135 typedef G1ParCopyClosure<false, G1BarrierRS,   true> G1ParScanAndMarkHeapRSClosure;
 136 
 137 // This is the only case when we set skip_cset_test. Basically, this
 138 // closure is (should?) only be called directly while we're draining
 139 // the overflow and task queues. In that case we know that the
 140 // reference in question points into the collection set, otherwise we
 141 // would not have pushed it on the queue. The following is defined in
 142 // g1_specialized_oop_closures.hpp.
 143 // typedef G1ParCopyClosure<false, G1BarrierEvac, false, true> G1ParScanHeapEvacClosure;
 144 // We need a separate closure to handle references during evacuation
 145 // failure processing, as we cannot asume that the reference already
 146 // points into the collection set (like G1ParScanHeapEvacClosure does).





 147 typedef G1ParCopyClosure<false, G1BarrierEvac, false> G1ParScanHeapEvacFailureClosure;
 148 
 149 class FilterIntoCSClosure: public OopClosure {
 150   G1CollectedHeap* _g1;
 151   OopClosure* _oc;
 152   DirtyCardToOopClosure* _dcto_cl;
 153 public:
 154   FilterIntoCSClosure(  DirtyCardToOopClosure* dcto_cl,
 155                         G1CollectedHeap* g1, OopClosure* oc) :


 156     _dcto_cl(dcto_cl), _g1(g1), _oc(oc)
 157   {}




 158   template <class T> void do_oop_nv(T* p);
 159   virtual void do_oop(oop* p)        { do_oop_nv(p); }
 160   virtual void do_oop(narrowOop* p)  { do_oop_nv(p); }
 161   bool apply_to_weak_ref_discovered_field() { return true; }
 162   bool do_header() { return false; }
 163 };
 164 
 165 class FilterOutOfRegionClosure: public OopClosure {
 166   HeapWord* _r_bottom;
 167   HeapWord* _r_end;
 168   OopClosure* _oc;
 169   int _out_of_region;
 170 public:
 171   FilterOutOfRegionClosure(HeapRegion* r, OopClosure* oc);
 172   template <class T> void do_oop_nv(T* p);
 173   virtual void do_oop(oop* p) { do_oop_nv(p); }
 174   virtual void do_oop(narrowOop* p) { do_oop_nv(p); }
 175   bool apply_to_weak_ref_discovered_field() { return true; }
 176   bool do_header() { return false; }
 177   int out_of_region() { return _out_of_region; }


  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 OopsInGenClosure {
  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   G1RemSet* _g1_rem;
  52   ConcurrentMark* _cm;
  53   G1ParScanThreadState* _par_scan_state;
  54   bool _during_initial_mark;
  55   bool _mark_in_progress;
  56 public:
  57   G1ParClosureSuper(G1CollectedHeap* g1, G1ParScanThreadState* par_scan_state);
  58   bool apply_to_weak_ref_discovered_field() { return true; }
  59 };
  60 
  61 class G1ParPushHeapRSClosure : public G1ParClosureSuper {
  62 public:
  63   G1ParPushHeapRSClosure(G1CollectedHeap* g1,
  64                          G1ParScanThreadState* par_scan_state,
  65                          ReferenceProcessor* rp) :
  66     G1ParClosureSuper(g1, par_scan_state)
  67   {
  68     assert(_ref_processor == NULL, "sanity");
  69     _ref_processor = rp;
  70   }
  71 
  72   template <class T> void do_oop_nv(T* p);
  73   virtual void do_oop(oop* p)          { do_oop_nv(p); }
  74   virtual void do_oop(narrowOop* p)    { do_oop_nv(p); }
  75 };
  76 
  77 class G1ParScanClosure : public G1ParClosureSuper {
  78 public:
  79   G1ParScanClosure(G1CollectedHeap* g1, G1ParScanThreadState* par_scan_state, ReferenceProcessor* rp) :
  80     G1ParClosureSuper(g1, par_scan_state)
  81   {
  82     assert(_ref_processor == NULL, "sanity");
  83     _ref_processor = rp;
  84   }
  85 
  86   template <class T> void do_oop_nv(T* p);
  87   virtual void do_oop(oop* p)          { do_oop_nv(p); }
  88   virtual void do_oop(narrowOop* p)    { do_oop_nv(p); }
  89 };
  90 
  91 #define G1_PARTIAL_ARRAY_MASK 0x2
  92 
  93 template <class T> inline bool has_partial_array_mask(T* ref) {
  94   return ((uintptr_t)ref & G1_PARTIAL_ARRAY_MASK) == G1_PARTIAL_ARRAY_MASK;
  95 }
  96 
  97 template <class T> inline T* set_partial_array_mask(T obj) {
  98   assert(((uintptr_t)obj & G1_PARTIAL_ARRAY_MASK) == 0, "Information loss!");
  99   return (T*) ((uintptr_t)obj | G1_PARTIAL_ARRAY_MASK);
 100 }
 101 
 102 template <class T> inline oop clear_partial_array_mask(T* ref) {
 103   return oop((intptr_t)ref & ~G1_PARTIAL_ARRAY_MASK);
 104 }
 105 
 106 class G1ParScanPartialArrayClosure : public G1ParClosureSuper {
 107   G1ParScanClosure _scanner;
 108 
 109 public:
 110   G1ParScanPartialArrayClosure(G1CollectedHeap* g1, G1ParScanThreadState* par_scan_state, ReferenceProcessor* rp) :
 111     G1ParClosureSuper(g1, par_scan_state), _scanner(g1, par_scan_state, rp)
 112   {
 113     assert(_ref_processor == NULL, "sanity");
 114   }
 115 
 116   G1ParScanClosure* scanner() {
 117     return &_scanner;
 118   }
 119 
 120   template <class T> void do_oop_nv(T* p);
 121   virtual void do_oop(oop* p)       { do_oop_nv(p); }
 122   virtual void do_oop(narrowOop* p) { do_oop_nv(p); }
 123 };
 124 
 125 
 126 class G1ParCopyHelper : public G1ParClosureSuper {
 127   G1ParScanClosure *_scanner;
 128 protected:
 129   template <class T> void mark_object(T* p);
 130   oop copy_to_survivor_space(oop obj, bool should_mark_copy);
 131 public:
 132   G1ParCopyHelper(G1CollectedHeap* g1, G1ParScanThreadState* par_scan_state,
 133                   G1ParScanClosure *scanner) :
 134     G1ParClosureSuper(g1, par_scan_state), _scanner(scanner) { }
 135 };
 136 
 137 template<bool do_gen_barrier, G1Barrier barrier,
 138          bool do_mark_object>
 139 class G1ParCopyClosure : public G1ParCopyHelper {
 140   G1ParScanClosure _scanner;
 141 
 142   template <class T> void do_oop_work(T* p);
 143 
 144 public:
 145   G1ParCopyClosure(G1CollectedHeap* g1, G1ParScanThreadState* par_scan_state,
 146                    ReferenceProcessor* rp) :
 147     _scanner(g1, par_scan_state, rp),
 148     G1ParCopyHelper(g1, par_scan_state, &_scanner)
 149   {
 150     assert(_ref_processor == NULL, "sanity");
 151   }
 152 
 153   G1ParScanClosure* scanner() { return &_scanner; }
 154 
 155   template <class T> void do_oop_nv(T* p) {
 156     do_oop_work(p);
 157   }
 158   virtual void do_oop(oop* p)       { do_oop_nv(p); }
 159   virtual void do_oop(narrowOop* p) { do_oop_nv(p); }
 160 };
 161 
 162 typedef G1ParCopyClosure<false, G1BarrierNone, false> G1ParScanExtRootClosure;
 163 typedef G1ParCopyClosure<true,  G1BarrierNone, false> G1ParScanPermClosure;
 164 
 165 typedef G1ParCopyClosure<false, G1BarrierNone, true> G1ParScanAndMarkExtRootClosure;
 166 typedef G1ParCopyClosure<true,  G1BarrierNone, true> G1ParScanAndMarkPermClosure;

 167 
 168 // The following closure types are no longer used but are retained
 169 // for historical reasons:
 170 // typedef G1ParCopyClosure<false, G1BarrierRS,   false> G1ParScanHeapRSClosure;
 171 // typedef G1ParCopyClosure<false, G1BarrierRS,   true> G1ParScanAndMarkHeapRSClosure;
 172 
 173 // The following closure type is defined in g1_specialized_oop_closures.hpp:
 174 //
 175 // typedef G1ParCopyClosure<false, G1BarrierEvac, false> G1ParScanHeapEvacClosure;
 176 
 177 // We use a separate closure to handle references during evacuation
 178 // failure processing.
 179 // We could have used another instance of G1ParScanHeapEvacClosure
 180 // (since that closure no longer assumes that the references it
 181 // handles point into the collection set).
 182 
 183 typedef G1ParCopyClosure<false, G1BarrierEvac, false> G1ParScanHeapEvacFailureClosure;
 184 
 185 class FilterIntoCSClosure: public OopClosure {
 186   G1CollectedHeap* _g1;
 187   OopClosure* _oc;
 188   DirtyCardToOopClosure* _dcto_cl;
 189 public:
 190   FilterIntoCSClosure(  DirtyCardToOopClosure* dcto_cl,
 191                         G1CollectedHeap* g1,
 192                         OopClosure* oc,
 193                         ReferenceProcessor* rp) :
 194     _dcto_cl(dcto_cl), _g1(g1), _oc(oc)
 195   {
 196     assert(_ref_processor == NULL, "sanity");
 197     _ref_processor = rp;
 198   }
 199 
 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   bool apply_to_weak_ref_discovered_field() { return true; }
 204   bool do_header() { return false; }
 205 };
 206 
 207 class FilterOutOfRegionClosure: public OopClosure {
 208   HeapWord* _r_bottom;
 209   HeapWord* _r_end;
 210   OopClosure* _oc;
 211   int _out_of_region;
 212 public:
 213   FilterOutOfRegionClosure(HeapRegion* r, OopClosure* oc);
 214   template <class T> void do_oop_nv(T* p);
 215   virtual void do_oop(oop* p) { do_oop_nv(p); }
 216   virtual void do_oop(narrowOop* p) { do_oop_nv(p); }
 217   bool apply_to_weak_ref_discovered_field() { return true; }
 218   bool do_header() { return false; }
 219   int out_of_region() { return _out_of_region; }