1 /*
  2  * Copyright (c) 2018, 2019, Red Hat, Inc. 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_GC_SHENANDOAH_SHENANDOAHMARKINGCONTEXT_INLINE_HPP
 26 #define SHARE_GC_SHENANDOAH_SHENANDOAHMARKINGCONTEXT_INLINE_HPP
 27 
 28 #include "gc/shenandoah/shenandoahMarkingContext.hpp"
 29 
 30 #include "gc/shenandoah/shenandoahMarkBitMap.inline.hpp"
 31 
 32 inline bool ShenandoahMarkingContext::mark_strong(oop obj, bool& was_upgraded) {
 33   return !allocated_after_mark_start(obj) && _mark_bit_map.mark_strong(cast_from_oop<HeapWord*>(obj), was_upgraded);
 34 }
 35 
 36 inline bool ShenandoahMarkingContext::mark_weak(oop obj) {
 37   return !allocated_after_mark_start(obj) && _mark_bit_map.mark_weak(cast_from_oop<HeapWord *>(obj));
 38 }
 39 
 40 inline bool ShenandoahMarkingContext::is_marked(oop obj) const {
 41   return allocated_after_mark_start(obj) || _mark_bit_map.is_marked(cast_from_oop<HeapWord *>(obj));
 42 }
 43 
 44 inline bool ShenandoahMarkingContext::is_marked_strong(oop obj) const {
 45   return allocated_after_mark_start(obj) || _mark_bit_map.is_marked_strong(cast_from_oop<HeapWord*>(obj));
 46 }
 47 
 48 inline bool ShenandoahMarkingContext::is_marked_weak(oop obj) const {
 49   return allocated_after_mark_start(obj) || _mark_bit_map.is_marked_weak(cast_from_oop<HeapWord *>(obj));
 50 }
 51 
 52 inline bool ShenandoahMarkingContext::is_marked_or_old(oop obj) const {
 53   return is_marked(obj) || ShenandoahHeap::heap()->is_old(obj);
 54 }
 55 
 56 inline bool ShenandoahMarkingContext::is_marked_strong_or_old(oop obj) const {
 57   return is_marked_strong(obj) || ShenandoahHeap::heap()->is_old(obj);
 58 }
 59 
 60 inline HeapWord* ShenandoahMarkingContext::get_next_marked_addr(HeapWord* start, HeapWord* limit) const {
 61   return _mark_bit_map.get_next_marked_addr(start, limit);
 62 }
 63 
 64 inline bool ShenandoahMarkingContext::allocated_after_mark_start(oop obj) const {
 65   HeapWord* addr = cast_from_oop<HeapWord*>(obj);
 66   return allocated_after_mark_start(addr);
 67 }
 68 
 69 inline bool ShenandoahMarkingContext::allocated_after_mark_start(HeapWord* addr) const {
 70   uintx index = ((uintx) addr) >> ShenandoahHeapRegion::region_size_bytes_shift();
 71   HeapWord* top_at_mark_start = _top_at_mark_starts[index];
 72   bool alloc_after_mark_start = addr >= top_at_mark_start;
 73   return alloc_after_mark_start;
 74 }
 75 
 76 inline void ShenandoahMarkingContext::capture_top_at_mark_start(ShenandoahHeapRegion *r) {
 77   if (r->affiliation() != FREE) {
 78     size_t idx = r->index();
 79     HeapWord* old_tams = _top_at_mark_starts_base[idx];
 80     HeapWord* new_tams = r->top();
 81 
 82     assert(new_tams >= old_tams,
 83            "Region " SIZE_FORMAT", TAMS updates should be monotonic: " PTR_FORMAT " -> " PTR_FORMAT,
 84            idx, p2i(old_tams), p2i(new_tams));
 85     assert((new_tams == r->bottom()) || (old_tams == r->bottom()) || (new_tams >= _top_bitmaps[idx]),
 86            "Region " SIZE_FORMAT", top_bitmaps updates should be monotonic: " PTR_FORMAT " -> " PTR_FORMAT,
 87            idx, p2i(_top_bitmaps[idx]), p2i(new_tams));
 88     assert(old_tams == r->bottom() || is_bitmap_clear_range(old_tams, new_tams),
 89            "Region " SIZE_FORMAT ", bitmap should be clear while adjusting TAMS: " PTR_FORMAT " -> " PTR_FORMAT,
 90            idx, p2i(old_tams), p2i(new_tams));
 91 
 92     log_debug(gc)("Capturing TAMS for %s Region " SIZE_FORMAT ", was: %llx, now: %llx\n",
 93                   affiliation_name(r->affiliation()), idx, (unsigned long long) old_tams, (unsigned long long) new_tams);
 94 
 95     if ((old_tams == r->bottom()) && (new_tams > old_tams)) {
 96       log_debug(gc)("Clearing mark bitmap for %s Region " SIZE_FORMAT " while capturing TAMS",
 97                     affiliation_name(r->affiliation()), idx);
 98 
 99       clear_bitmap(r);
100     }
101 
102     _top_at_mark_starts_base[idx] = new_tams;
103     if (new_tams > r->bottom()) {
104       // In this case, new_tams is greater than old _top_bitmaps[idx]
105       _top_bitmaps[idx] = new_tams;
106     }
107   }
108   // else, FREE regions do not need their TAMS updated
109 }
110 
111 inline void ShenandoahMarkingContext::reset_top_at_mark_start(ShenandoahHeapRegion* r) {
112   _top_at_mark_starts_base[r->index()] = r->bottom();
113 }
114 
115 inline HeapWord* ShenandoahMarkingContext::top_at_mark_start(ShenandoahHeapRegion* r) const {
116   return _top_at_mark_starts_base[r->index()];
117 }
118 
119 inline void ShenandoahMarkingContext::reset_top_bitmap(ShenandoahHeapRegion* r) {
120   assert(is_bitmap_clear_range(r->bottom(), r->end()),
121          "Region " SIZE_FORMAT " should have no marks in bitmap", r->index());
122   _top_bitmaps[r->index()] = r->bottom();
123 }
124 
125 #endif // SHARE_GC_SHENANDOAH_SHENANDOAHMARKINGCONTEXT_INLINE_HPP