blob: 7f1da796b1ac9b635eb432b4cd0bd6bab21f266a [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
Mathieu Chartiera8e8f9c2014-04-09 14:51:05 -070020#include "space_bitmap.h"
21
Ian Rogers700a4022014-05-19 16:49:03 -070022#include <memory>
23
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080024#include "base/logging.h"
Mathieu Chartiera8e8f9c2014-04-09 14:51:05 -070025#include "dex_file-inl.h"
26#include "heap_bitmap.h"
27#include "mirror/art_field-inl.h"
28#include "mirror/class-inl.h"
29#include "mirror/object-inl.h"
30#include "mirror/object_array-inl.h"
31#include "object_utils.h"
32#include "space_bitmap-inl.h"
Ian Rogers1d54e732013-05-02 21:10:01 -070033#include "utils.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080034
35namespace art {
Ian Rogers1d54e732013-05-02 21:10:01 -070036namespace gc {
37namespace accounting {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080038
Mathieu Chartiera8e8f9c2014-04-09 14:51:05 -070039template<size_t kAlignment>
40inline bool SpaceBitmap<kAlignment>::AtomicTestAndSet(const mirror::Object* obj) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080041 uintptr_t addr = reinterpret_cast<uintptr_t>(obj);
42 DCHECK_GE(addr, heap_begin_);
43 const uintptr_t offset = addr - heap_begin_;
44 const size_t index = OffsetToIndex(offset);
Andreas Gampecb8aea42014-04-02 15:39:58 -070045 const uword mask = OffsetToMask(offset);
46 uword* const address = &bitmap_begin_[index];
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080047 DCHECK_LT(index, bitmap_size_ / kWordSize) << " bitmap_size_ = " << bitmap_size_;
Andreas Gampecb8aea42014-04-02 15:39:58 -070048 uword old_word;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080049 do {
50 old_word = *address;
51 // Fast path: The bit is already set.
52 if ((old_word & mask) != 0) {
Ian Rogersef7d42f2014-01-06 12:55:46 -080053 DCHECK(Test(obj));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080054 return true;
55 }
Ian Rogers55b27642014-01-23 16:37:07 -080056 } while (!__sync_bool_compare_and_swap(address, old_word, old_word | mask));
Ian Rogersef7d42f2014-01-06 12:55:46 -080057 DCHECK(Test(obj));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080058 return false;
59}
60
Mathieu Chartiera8e8f9c2014-04-09 14:51:05 -070061template<size_t kAlignment>
62inline bool SpaceBitmap<kAlignment>::Test(const mirror::Object* obj) const {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080063 uintptr_t addr = reinterpret_cast<uintptr_t>(obj);
64 DCHECK(HasAddress(obj)) << obj;
65 DCHECK(bitmap_begin_ != NULL);
66 DCHECK_GE(addr, heap_begin_);
67 const uintptr_t offset = addr - heap_begin_;
68 return (bitmap_begin_[OffsetToIndex(offset)] & OffsetToMask(offset)) != 0;
69}
70
Mathieu Chartiera8e8f9c2014-04-09 14:51:05 -070071template<size_t kAlignment> template<typename Visitor>
Mathieu Chartiere9ea70b2014-04-14 15:52:08 -070072inline void SpaceBitmap<kAlignment>::VisitMarkedRange(uintptr_t visit_begin, uintptr_t visit_end,
73 const Visitor& visitor) const {
Mathieu Chartier6f365cc2014-04-23 12:42:27 -070074 DCHECK_LE(visit_begin, visit_end);
Andreas Gampebe73e572014-04-03 10:46:42 -070075#if 0
76 for (uintptr_t i = visit_begin; i < visit_end; i += kAlignment) {
77 mirror::Object* obj = reinterpret_cast<mirror::Object*>(i);
78 if (Test(obj)) {
79 visitor(obj);
80 }
81 }
82#else
Andreas Gampecb8aea42014-04-02 15:39:58 -070083 DCHECK_LE(heap_begin_, visit_begin);
84 DCHECK_LE(visit_end, HeapLimit());
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080085
Andreas Gampecb8aea42014-04-02 15:39:58 -070086 const uintptr_t offset_start = visit_begin - heap_begin_;
87 const uintptr_t offset_end = visit_end - heap_begin_;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080088
Andreas Gampecb8aea42014-04-02 15:39:58 -070089 const uintptr_t index_start = OffsetToIndex(offset_start);
90 const uintptr_t index_end = OffsetToIndex(offset_end);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080091
Andreas Gampecb8aea42014-04-02 15:39:58 -070092 const size_t bit_start = (offset_start / kAlignment) % kBitsPerWord;
93 const size_t bit_end = (offset_end / kAlignment) % kBitsPerWord;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080094
Andreas Gampecb8aea42014-04-02 15:39:58 -070095 // Index(begin) ... Index(end)
96 // [xxxxx???][........][????yyyy]
97 // ^ ^
98 // | #---- Bit of visit_end
99 // #---- Bit of visit_begin
100 //
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800101
Andreas Gampecb8aea42014-04-02 15:39:58 -0700102 // Left edge.
103 uword left_edge = bitmap_begin_[index_start];
104 // Mark of lower bits that are not in range.
105 left_edge &= ~((static_cast<uword>(1) << bit_start) - 1);
106
107 // Right edge. Either unique, or left_edge.
108 uword right_edge;
109
110 if (index_start < index_end) {
111 // Left edge != right edge.
112
113 // Traverse left edge.
114 if (left_edge != 0) {
115 const uintptr_t ptr_base = IndexToOffset(index_start) + heap_begin_;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800116 do {
Andreas Gampecb8aea42014-04-02 15:39:58 -0700117 const size_t shift = CTZ(left_edge);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800118 mirror::Object* obj = reinterpret_cast<mirror::Object*>(ptr_base + shift * kAlignment);
119 visitor(obj);
Andreas Gampecb8aea42014-04-02 15:39:58 -0700120 left_edge ^= (static_cast<uword>(1)) << shift;
121 } while (left_edge != 0);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800122 }
Andreas Gampecb8aea42014-04-02 15:39:58 -0700123
124 // Traverse the middle, full part.
125 for (size_t i = index_start + 1; i < index_end; ++i) {
126 uword w = bitmap_begin_[i];
127 if (w != 0) {
128 const uintptr_t ptr_base = IndexToOffset(i) + heap_begin_;
129 do {
130 const size_t shift = CTZ(w);
131 mirror::Object* obj = reinterpret_cast<mirror::Object*>(ptr_base + shift * kAlignment);
132 visitor(obj);
133 w ^= (static_cast<uword>(1)) << shift;
134 } while (w != 0);
135 }
136 }
137
138 // Right edge is unique.
Andreas Gampebe73e572014-04-03 10:46:42 -0700139 // But maybe we don't have anything to do: visit_end starts in a new word...
140 if (bit_end == 0) {
141 // Do not read memory, as it could be after the end of the bitmap.
142 right_edge = 0;
143 } else {
144 right_edge = bitmap_begin_[index_end];
145 }
Andreas Gampecb8aea42014-04-02 15:39:58 -0700146 } else {
147 // Right edge = left edge.
148 right_edge = left_edge;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800149 }
150
Andreas Gampecb8aea42014-04-02 15:39:58 -0700151 // Right edge handling.
Andreas Gampebe73e572014-04-03 10:46:42 -0700152 right_edge &= ((static_cast<uword>(1) << bit_end) - 1);
Andreas Gampecb8aea42014-04-02 15:39:58 -0700153 if (right_edge != 0) {
154 const uintptr_t ptr_base = IndexToOffset(index_end) + heap_begin_;
155 do {
156 const size_t shift = CTZ(right_edge);
157 mirror::Object* obj = reinterpret_cast<mirror::Object*>(ptr_base + shift * kAlignment);
158 visitor(obj);
159 right_edge ^= (static_cast<uword>(1)) << shift;
160 } while (right_edge != 0);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800161 }
Andreas Gampebe73e572014-04-03 10:46:42 -0700162#endif
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800163}
164
Mathieu Chartiera8e8f9c2014-04-09 14:51:05 -0700165template<size_t kAlignment> template<bool kSetBit>
166inline bool SpaceBitmap<kAlignment>::Modify(const mirror::Object* obj) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800167 uintptr_t addr = reinterpret_cast<uintptr_t>(obj);
168 DCHECK_GE(addr, heap_begin_);
169 const uintptr_t offset = addr - heap_begin_;
170 const size_t index = OffsetToIndex(offset);
Andreas Gampecb8aea42014-04-02 15:39:58 -0700171 const uword mask = OffsetToMask(offset);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800172 DCHECK_LT(index, bitmap_size_ / kWordSize) << " bitmap_size_ = " << bitmap_size_;
Andreas Gampecb8aea42014-04-02 15:39:58 -0700173 uword* address = &bitmap_begin_[index];
174 uword old_word = *address;
Mathieu Chartiera8e8f9c2014-04-09 14:51:05 -0700175 if (kSetBit) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800176 *address = old_word | mask;
177 } else {
178 *address = old_word & ~mask;
179 }
Mathieu Chartiera8e8f9c2014-04-09 14:51:05 -0700180 DCHECK_EQ(Test(obj), kSetBit);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800181 return (old_word & mask) != 0;
182}
Ian Rogers1d54e732013-05-02 21:10:01 -0700183
Mathieu Chartiera8e8f9c2014-04-09 14:51:05 -0700184template<size_t kAlignment>
185inline std::ostream& operator << (std::ostream& stream, const SpaceBitmap<kAlignment>& bitmap) {
186 return stream
187 << bitmap.GetName() << "["
188 << "begin=" << reinterpret_cast<const void*>(bitmap.HeapBegin())
189 << ",end=" << reinterpret_cast<const void*>(bitmap.HeapLimit())
190 << "]";
191}
192
Ian Rogers1d54e732013-05-02 21:10:01 -0700193} // namespace accounting
194} // namespace gc
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800195} // namespace art
196
Brian Carlstromfc0e3212013-07-17 14:40:12 -0700197#endif // ART_RUNTIME_GC_ACCOUNTING_SPACE_BITMAP_INL_H_