src/share/vm/gc_implementation/g1/g1SATBCardTableModRefBS.cpp

Print this page
rev 6804 : imported patch commit-uncommit-within-heap
rev 6806 : [mq]: bengt-suggestions


   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 #include "precompiled.hpp"

  26 #include "gc_implementation/g1/g1SATBCardTableModRefBS.hpp"
  27 #include "gc_implementation/g1/heapRegion.hpp"
  28 #include "gc_implementation/g1/satbQueue.hpp"
  29 #include "runtime/atomic.inline.hpp"
  30 #include "runtime/mutexLocker.hpp"
  31 #include "runtime/orderAccess.inline.hpp"
  32 #include "runtime/thread.inline.hpp"
  33 
  34 G1SATBCardTableModRefBS::G1SATBCardTableModRefBS(MemRegion whole_heap,
  35                                                  int max_covered_regions) :
  36     CardTableModRefBSForCTRS(whole_heap, max_covered_regions)
  37 {
  38   _kind = G1SATBCT;
  39 }
  40 
  41 
  42 void G1SATBCardTableModRefBS::enqueue(oop pre_val) {
  43   // Nulls should have been already filtered.
  44   assert(pre_val->is_oop(true), "Error");
  45 
  46   if (!JavaThread::satb_mark_queue_set().is_active()) return;
  47   Thread* thr = Thread::current();
  48   if (thr->is_Java_thread()) {
  49     JavaThread* jt = (JavaThread*)thr;
  50     jt->satb_mark_queue().enqueue(pre_val);
  51   } else {
  52     MutexLockerEx x(Shared_SATB_Q_lock, Mutex::_no_safepoint_check_flag);
  53     JavaThread::satb_mark_queue_set().shared_satb_queue()->enqueue(pre_val);
  54   }
  55 }
  56 
  57 template <class T> void
  58 G1SATBCardTableModRefBS::write_ref_array_pre_work(T* dst, int count) {
  59   if (!JavaThread::satb_mark_queue_set().is_active()) return;
  60   T* elem_ptr = dst;
  61   for (int i = 0; i < count; i++, elem_ptr++) {


 108   jbyte *const first = byte_for(mr.start());
 109   jbyte *const last = byte_after(mr.last());
 110 
 111   // Below we may use an explicit loop instead of memset() because on
 112   // certain platforms memset() can give concurrent readers phantom zeros.
 113   if (UseMemSetInBOT) {
 114     memset(first, g1_young_gen, last - first);
 115   } else {
 116     for (jbyte* i = first; i < last; i++) {
 117       *i = g1_young_gen;
 118     }
 119   }
 120 }
 121 
 122 #ifndef PRODUCT
 123 void G1SATBCardTableModRefBS::verify_g1_young_region(MemRegion mr) {
 124   verify_region(mr, g1_young_gen,  true);
 125 }
 126 #endif
 127 





 128 G1SATBCardTableLoggingModRefBS::
 129 G1SATBCardTableLoggingModRefBS(MemRegion whole_heap,
 130                                int max_covered_regions) :
 131   G1SATBCardTableModRefBS(whole_heap, max_covered_regions),
 132   _dcqs(JavaThread::dirty_card_queue_set())

 133 {
 134   _kind = G1SATBCTLogging;

































 135 }
 136 
 137 void
 138 G1SATBCardTableLoggingModRefBS::write_ref_field_work(void* field,
 139                                                      oop new_val,
 140                                                      bool release) {
 141   volatile jbyte* byte = byte_for(field);
 142   if (*byte == g1_young_gen) {
 143     return;
 144   }
 145   OrderAccess::storeload();
 146   if (*byte != dirty_card) {
 147     *byte = dirty_card;
 148     Thread* thr = Thread::current();
 149     if (thr->is_Java_thread()) {
 150       JavaThread* jt = (JavaThread*)thr;
 151       jt->dirty_card_queue().enqueue(byte);
 152     } else {
 153       MutexLockerEx x(Shared_DirtyCardQ_lock,
 154                       Mutex::_no_safepoint_check_flag);




   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 #include "precompiled.hpp"
  26 #include "gc_implementation/g1/g1CollectedHeap.inline.hpp"
  27 #include "gc_implementation/g1/g1SATBCardTableModRefBS.hpp"
  28 #include "gc_implementation/g1/heapRegion.hpp"
  29 #include "gc_implementation/g1/satbQueue.hpp"
  30 #include "runtime/atomic.inline.hpp"
  31 #include "runtime/mutexLocker.hpp"
  32 #include "runtime/orderAccess.inline.hpp"
  33 #include "runtime/thread.inline.hpp"
  34 
  35 G1SATBCardTableModRefBS::G1SATBCardTableModRefBS(MemRegion whole_heap,
  36                                                  int max_covered_regions) :
  37     CardTableModRefBSForCTRS(whole_heap, max_covered_regions)
  38 {
  39   _kind = G1SATBCT;
  40 }
  41 

  42 void G1SATBCardTableModRefBS::enqueue(oop pre_val) {
  43   // Nulls should have been already filtered.
  44   assert(pre_val->is_oop(true), "Error");
  45 
  46   if (!JavaThread::satb_mark_queue_set().is_active()) return;
  47   Thread* thr = Thread::current();
  48   if (thr->is_Java_thread()) {
  49     JavaThread* jt = (JavaThread*)thr;
  50     jt->satb_mark_queue().enqueue(pre_val);
  51   } else {
  52     MutexLockerEx x(Shared_SATB_Q_lock, Mutex::_no_safepoint_check_flag);
  53     JavaThread::satb_mark_queue_set().shared_satb_queue()->enqueue(pre_val);
  54   }
  55 }
  56 
  57 template <class T> void
  58 G1SATBCardTableModRefBS::write_ref_array_pre_work(T* dst, int count) {
  59   if (!JavaThread::satb_mark_queue_set().is_active()) return;
  60   T* elem_ptr = dst;
  61   for (int i = 0; i < count; i++, elem_ptr++) {


 108   jbyte *const first = byte_for(mr.start());
 109   jbyte *const last = byte_after(mr.last());
 110 
 111   // Below we may use an explicit loop instead of memset() because on
 112   // certain platforms memset() can give concurrent readers phantom zeros.
 113   if (UseMemSetInBOT) {
 114     memset(first, g1_young_gen, last - first);
 115   } else {
 116     for (jbyte* i = first; i < last; i++) {
 117       *i = g1_young_gen;
 118     }
 119   }
 120 }
 121 
 122 #ifndef PRODUCT
 123 void G1SATBCardTableModRefBS::verify_g1_young_region(MemRegion mr) {
 124   verify_region(mr, g1_young_gen,  true);
 125 }
 126 #endif
 127 
 128 void G1SATBCardTableLoggingModRefBSChangedListener::on_commit(uint start_idx, size_t num_regions) {
 129   MemRegion mr(G1CollectedHeap::heap()->bottom_addr_for_region(start_idx), num_regions * HeapRegion::GrainWords);
 130   _card_table->clear(mr);
 131 }
 132 
 133 G1SATBCardTableLoggingModRefBS::
 134 G1SATBCardTableLoggingModRefBS(MemRegion whole_heap,
 135                                int max_covered_regions) :
 136   G1SATBCardTableModRefBS(whole_heap, max_covered_regions),
 137   _dcqs(JavaThread::dirty_card_queue_set()),
 138   _listener()
 139 {
 140   _kind = G1SATBCTLogging;
 141   _listener.set_card_table(this);
 142 }
 143 
 144 void G1SATBCardTableLoggingModRefBS::initialize(G1RegionToSpaceMapper* mapper) {
 145   mapper->set_mapping_changed_listener(&_listener);
 146 
 147   _byte_map_size = mapper->reserved().byte_size();
 148 
 149   _guard_index = cards_required(_whole_heap.word_size()) - 1;
 150   _last_valid_index = _guard_index - 1;
 151 
 152   HeapWord* low_bound  = _whole_heap.start();
 153   HeapWord* high_bound = _whole_heap.end();
 154 
 155   _cur_covered_regions = 1;
 156   _covered[0] = _whole_heap;
 157 
 158   _byte_map = (jbyte*) mapper->reserved().start();
 159   byte_map_base = _byte_map - (uintptr_t(low_bound) >> card_shift);
 160   assert(byte_for(low_bound) == &_byte_map[0], "Checking start of map");
 161   assert(byte_for(high_bound-1) <= &_byte_map[_last_valid_index], "Checking end of map");
 162 
 163   if (TraceCardTableModRefBS) {
 164     gclog_or_tty->print_cr("G1SATBCardTableModRefBS::G1SATBCardTableModRefBS: ");
 165     gclog_or_tty->print_cr("  "
 166                   "  &_byte_map[0]: " INTPTR_FORMAT
 167                   "  &_byte_map[_last_valid_index]: " INTPTR_FORMAT,
 168                   p2i(&_byte_map[0]),
 169                   p2i(&_byte_map[_last_valid_index]));
 170     gclog_or_tty->print_cr("  "
 171                   "  byte_map_base: " INTPTR_FORMAT,
 172                   p2i(byte_map_base));
 173   }
 174 }
 175 
 176 void
 177 G1SATBCardTableLoggingModRefBS::write_ref_field_work(void* field,
 178                                                      oop new_val,
 179                                                      bool release) {
 180   volatile jbyte* byte = byte_for(field);
 181   if (*byte == g1_young_gen) {
 182     return;
 183   }
 184   OrderAccess::storeload();
 185   if (*byte != dirty_card) {
 186     *byte = dirty_card;
 187     Thread* thr = Thread::current();
 188     if (thr->is_Java_thread()) {
 189       JavaThread* jt = (JavaThread*)thr;
 190       jt->dirty_card_queue().enqueue(byte);
 191     } else {
 192       MutexLockerEx x(Shared_DirtyCardQ_lock,
 193                       Mutex::_no_safepoint_check_flag);