1 /*
2 * Copyright (c) 2018, 2019, Red Hat, Inc. All rights reserved.
3 * Copyright Amazon.com Inc. or its affiliates. All Rights Reserved.
4 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
5 *
6 * This code is free software; you can redistribute it and/or modify it
7 * under the terms of the GNU General Public License version 2 only, as
8 * published by the Free Software Foundation.
9 *
10 * This code is distributed in the hope that it will be useful, but WITHOUT
11 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
12 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
13 * version 2 for more details (a copy is included in the LICENSE file that
14 * accompanied this code).
15 *
16 * You should have received a copy of the GNU General Public License version
17 * 2 along with this work; if not, write to the Free Software Foundation,
18 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
19 *
20 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
21 * or visit www.oracle.com if you need additional information or have any
22 * questions.
23 *
24 */
25
26 #ifndef SHARE_GC_SHENANDOAH_SHENANDOAHMARKINGCONTEXT_INLINE_HPP
27 #define SHARE_GC_SHENANDOAH_SHENANDOAHMARKINGCONTEXT_INLINE_HPP
28
29 #include "gc/shenandoah/shenandoahMarkingContext.hpp"
30 #include "gc/shenandoah/shenandoahMarkBitMap.inline.hpp"
31 #include "logging/log.hpp"
32
33 inline bool ShenandoahMarkingContext::mark_strong(oop obj, bool& was_upgraded) {
34 return !allocated_after_mark_start(obj) && _mark_bit_map.mark_strong(cast_from_oop<HeapWord*>(obj), was_upgraded);
35 }
36
37 inline bool ShenandoahMarkingContext::mark_weak(oop obj) {
38 return !allocated_after_mark_start(obj) && _mark_bit_map.mark_weak(cast_from_oop<HeapWord *>(obj));
39 }
40
41 inline bool ShenandoahMarkingContext::is_marked(const oop obj) const {
42 return allocated_after_mark_start(obj) || _mark_bit_map.is_marked(cast_from_oop<HeapWord *>(obj));
43 }
44
45 inline bool ShenandoahMarkingContext::is_marked_strong(const oop obj) const {
46 return allocated_after_mark_start(obj) || _mark_bit_map.is_marked_strong(cast_from_oop<HeapWord*>(obj));
47 }
48
49 inline bool ShenandoahMarkingContext::is_marked_weak(const oop obj) const {
50 return allocated_after_mark_start(obj) || _mark_bit_map.is_marked_weak(cast_from_oop<HeapWord *>(obj));
51 }
52
53 inline bool ShenandoahMarkingContext::is_marked_or_old(const oop obj) const {
54 return is_marked(obj) || ShenandoahHeap::heap()->is_old(obj);
55 }
56
57 inline bool ShenandoahMarkingContext::is_marked_strong_or_old(const oop obj) const {
58 return is_marked_strong(obj) || ShenandoahHeap::heap()->is_old(obj);
59 }
60
61 inline HeapWord* ShenandoahMarkingContext::get_next_marked_addr(const HeapWord* start, const HeapWord* limit) const {
62 return _mark_bit_map.get_next_marked_addr(start, limit);
63 }
64
65 inline bool ShenandoahMarkingContext::allocated_after_mark_start(const oop obj) const {
66 const HeapWord* addr = cast_from_oop<HeapWord*>(obj);
67 return allocated_after_mark_start(addr);
68 }
69
70 inline bool ShenandoahMarkingContext::allocated_after_mark_start(const HeapWord* addr) const {
71 uintx index = ((uintx) addr) >> ShenandoahHeapRegion::region_size_bytes_shift();
72 HeapWord* top_at_mark_start = _top_at_mark_starts[index];
73 const bool alloc_after_mark_start = addr >= top_at_mark_start;
74 return alloc_after_mark_start;
75 }
76
77 inline void ShenandoahMarkingContext::capture_top_at_mark_start(ShenandoahHeapRegion *r) {
78 if (!r->is_affiliated()) {
79 // Non-affiliated regions do not need their TAMS updated
80 return;
81 }
82
83 size_t idx = r->index();
84 HeapWord* old_tams = _top_at_mark_starts_base[idx];
85 HeapWord* new_tams = r->top();
86
87 assert(new_tams >= old_tams,
88 "Region " SIZE_FORMAT", TAMS updates should be monotonic: " PTR_FORMAT " -> " PTR_FORMAT,
89 idx, p2i(old_tams), p2i(new_tams));
90 assert((new_tams == r->bottom()) || (old_tams == r->bottom()) || (new_tams >= _top_bitmaps[idx]),
91 "Region " SIZE_FORMAT", top_bitmaps updates should be monotonic: " PTR_FORMAT " -> " PTR_FORMAT,
92 idx, p2i(_top_bitmaps[idx]), p2i(new_tams));
93 assert(old_tams == r->bottom() || is_bitmap_clear_range(old_tams, new_tams),
94 "Region " SIZE_FORMAT ", bitmap should be clear while adjusting TAMS: " PTR_FORMAT " -> " PTR_FORMAT,
95 idx, p2i(old_tams), p2i(new_tams));
96
97 log_debug(gc)("Capturing TAMS for %s Region " SIZE_FORMAT ", was: " PTR_FORMAT ", now: " PTR_FORMAT,
98 r->affiliation_name(), idx, p2i(old_tams), p2i(new_tams));
99
100 _top_at_mark_starts_base[idx] = new_tams;
101 _top_bitmaps[idx] = new_tams;
102 }
103
104 inline void ShenandoahMarkingContext::reset_top_at_mark_start(ShenandoahHeapRegion* r) {
105 _top_at_mark_starts_base[r->index()] = r->bottom();
106 }
107
108 inline HeapWord* ShenandoahMarkingContext::top_at_mark_start(const ShenandoahHeapRegion* r) const {
109 return _top_at_mark_starts_base[r->index()];
110 }
111
112 inline void ShenandoahMarkingContext::reset_top_bitmap(ShenandoahHeapRegion* r) {
113 assert(is_bitmap_clear_range(r->bottom(), r->end()),
114 "Region " SIZE_FORMAT " should have no marks in bitmap", r->index());
115 _top_bitmaps[r->index()] = r->bottom();
116 }
117
118 #endif // SHARE_GC_SHENANDOAH_SHENANDOAHMARKINGCONTEXT_INLINE_HPP