blob: 0fbd27c14b5b7f74420660986f7e40d651427ea0 [file] [log] [blame]
Ian Rogers2dd0e2c2013-01-24 12:42:14 -08001/*
2 * Copyright (C) 2008 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
Brian Carlstromfc0e3212013-07-17 14:40:12 -070017#ifndef ART_RUNTIME_GC_ACCOUNTING_SPACE_BITMAP_INL_H_
18#define ART_RUNTIME_GC_ACCOUNTING_SPACE_BITMAP_INL_H_
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080019
20#include "base/logging.h"
Ian Rogers1d54e732013-05-02 21:10:01 -070021#include "utils.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080022
23namespace art {
Ian Rogers1d54e732013-05-02 21:10:01 -070024namespace gc {
25namespace accounting {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080026
27inline bool SpaceBitmap::AtomicTestAndSet(const mirror::Object* obj) {
28 uintptr_t addr = reinterpret_cast<uintptr_t>(obj);
29 DCHECK_GE(addr, heap_begin_);
30 const uintptr_t offset = addr - heap_begin_;
31 const size_t index = OffsetToIndex(offset);
Andreas Gampecb8aea42014-04-02 15:39:58 -070032 const uword mask = OffsetToMask(offset);
33 uword* const address = &bitmap_begin_[index];
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080034 DCHECK_LT(index, bitmap_size_ / kWordSize) << " bitmap_size_ = " << bitmap_size_;
Andreas Gampecb8aea42014-04-02 15:39:58 -070035 uword old_word;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080036 do {
37 old_word = *address;
38 // Fast path: The bit is already set.
39 if ((old_word & mask) != 0) {
Ian Rogersef7d42f2014-01-06 12:55:46 -080040 DCHECK(Test(obj));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080041 return true;
42 }
Ian Rogers55b27642014-01-23 16:37:07 -080043 } while (!__sync_bool_compare_and_swap(address, old_word, old_word | mask));
Ian Rogersef7d42f2014-01-06 12:55:46 -080044 DCHECK(Test(obj));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080045 return false;
46}
47
48inline bool SpaceBitmap::Test(const mirror::Object* obj) const {
49 uintptr_t addr = reinterpret_cast<uintptr_t>(obj);
50 DCHECK(HasAddress(obj)) << obj;
51 DCHECK(bitmap_begin_ != NULL);
52 DCHECK_GE(addr, heap_begin_);
53 const uintptr_t offset = addr - heap_begin_;
54 return (bitmap_begin_[OffsetToIndex(offset)] & OffsetToMask(offset)) != 0;
55}
56
Mathieu Chartier184e3222013-08-03 14:02:57 -070057template <typename Visitor>
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080058void SpaceBitmap::VisitMarkedRange(uintptr_t visit_begin, uintptr_t visit_end,
Mathieu Chartier184e3222013-08-03 14:02:57 -070059 const Visitor& visitor) const {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080060 DCHECK_LT(visit_begin, visit_end);
Andreas Gampecb8aea42014-04-02 15:39:58 -070061 DCHECK_LE(heap_begin_, visit_begin);
62 DCHECK_LE(visit_end, HeapLimit());
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080063
Andreas Gampecb8aea42014-04-02 15:39:58 -070064 const uintptr_t offset_start = visit_begin - heap_begin_;
65 const uintptr_t offset_end = visit_end - heap_begin_;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080066
Andreas Gampecb8aea42014-04-02 15:39:58 -070067 const uintptr_t index_start = OffsetToIndex(offset_start);
68 const uintptr_t index_end = OffsetToIndex(offset_end);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080069
Andreas Gampecb8aea42014-04-02 15:39:58 -070070 const size_t bit_start = (offset_start / kAlignment) % kBitsPerWord;
71 const size_t bit_end = (offset_end / kAlignment) % kBitsPerWord;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080072
Andreas Gampecb8aea42014-04-02 15:39:58 -070073 // Index(begin) ... Index(end)
74 // [xxxxx???][........][????yyyy]
75 // ^ ^
76 // | #---- Bit of visit_end
77 // #---- Bit of visit_begin
78 //
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080079
Andreas Gampecb8aea42014-04-02 15:39:58 -070080 // Left edge.
81 uword left_edge = bitmap_begin_[index_start];
82 // Mark of lower bits that are not in range.
83 left_edge &= ~((static_cast<uword>(1) << bit_start) - 1);
84
85 // Right edge. Either unique, or left_edge.
86 uword right_edge;
87
88 if (index_start < index_end) {
89 // Left edge != right edge.
90
91 // Traverse left edge.
92 if (left_edge != 0) {
93 const uintptr_t ptr_base = IndexToOffset(index_start) + heap_begin_;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080094 do {
Andreas Gampecb8aea42014-04-02 15:39:58 -070095 const size_t shift = CTZ(left_edge);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080096 mirror::Object* obj = reinterpret_cast<mirror::Object*>(ptr_base + shift * kAlignment);
97 visitor(obj);
Andreas Gampecb8aea42014-04-02 15:39:58 -070098 left_edge ^= (static_cast<uword>(1)) << shift;
99 } while (left_edge != 0);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800100 }
Andreas Gampecb8aea42014-04-02 15:39:58 -0700101
102 // Traverse the middle, full part.
103 for (size_t i = index_start + 1; i < index_end; ++i) {
104 uword w = bitmap_begin_[i];
105 if (w != 0) {
106 const uintptr_t ptr_base = IndexToOffset(i) + heap_begin_;
107 do {
108 const size_t shift = CTZ(w);
109 mirror::Object* obj = reinterpret_cast<mirror::Object*>(ptr_base + shift * kAlignment);
110 visitor(obj);
111 w ^= (static_cast<uword>(1)) << shift;
112 } while (w != 0);
113 }
114 }
115
116 // Right edge is unique.
117 right_edge = bitmap_begin_[index_end];
118 } else {
119 // Right edge = left edge.
120 right_edge = left_edge;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800121 }
122
Andreas Gampecb8aea42014-04-02 15:39:58 -0700123 // Right edge handling.
124 right_edge &= ((static_cast<uword>(1) << bit_end) - 1) | (static_cast<uword>(1) << bit_end);
125 if (right_edge != 0) {
126 const uintptr_t ptr_base = IndexToOffset(index_end) + heap_begin_;
127 do {
128 const size_t shift = CTZ(right_edge);
129 mirror::Object* obj = reinterpret_cast<mirror::Object*>(ptr_base + shift * kAlignment);
130 visitor(obj);
131 right_edge ^= (static_cast<uword>(1)) << shift;
132 } while (right_edge != 0);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800133 }
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800134}
135
136inline bool SpaceBitmap::Modify(const mirror::Object* obj, bool do_set) {
137 uintptr_t addr = reinterpret_cast<uintptr_t>(obj);
138 DCHECK_GE(addr, heap_begin_);
139 const uintptr_t offset = addr - heap_begin_;
140 const size_t index = OffsetToIndex(offset);
Andreas Gampecb8aea42014-04-02 15:39:58 -0700141 const uword mask = OffsetToMask(offset);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800142 DCHECK_LT(index, bitmap_size_ / kWordSize) << " bitmap_size_ = " << bitmap_size_;
Andreas Gampecb8aea42014-04-02 15:39:58 -0700143 uword* address = &bitmap_begin_[index];
144 uword old_word = *address;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800145 if (do_set) {
146 *address = old_word | mask;
147 } else {
148 *address = old_word & ~mask;
149 }
Ian Rogersef7d42f2014-01-06 12:55:46 -0800150 DCHECK_EQ(Test(obj), do_set);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800151 return (old_word & mask) != 0;
152}
Ian Rogers1d54e732013-05-02 21:10:01 -0700153
154} // namespace accounting
155} // namespace gc
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800156} // namespace art
157
Brian Carlstromfc0e3212013-07-17 14:40:12 -0700158#endif // ART_RUNTIME_GC_ACCOUNTING_SPACE_BITMAP_INL_H_