blob: 1e9556a0765dd673cd1d349f9729bddae7034981 [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 Rogersbe2a1df2014-07-10 00:56:36 -070024#include "atomic.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080025#include "base/logging.h"
Mathieu Chartiera8e8f9c2014-04-09 14:51:05 -070026#include "dex_file-inl.h"
27#include "heap_bitmap.h"
28#include "mirror/art_field-inl.h"
29#include "mirror/class-inl.h"
30#include "mirror/object-inl.h"
31#include "mirror/object_array-inl.h"
32#include "object_utils.h"
33#include "space_bitmap-inl.h"
Ian Rogers1d54e732013-05-02 21:10:01 -070034#include "utils.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080035
36namespace art {
Ian Rogers1d54e732013-05-02 21:10:01 -070037namespace gc {
38namespace accounting {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080039
Mathieu Chartiera8e8f9c2014-04-09 14:51:05 -070040template<size_t kAlignment>
41inline bool SpaceBitmap<kAlignment>::AtomicTestAndSet(const mirror::Object* obj) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080042 uintptr_t addr = reinterpret_cast<uintptr_t>(obj);
43 DCHECK_GE(addr, heap_begin_);
44 const uintptr_t offset = addr - heap_begin_;
45 const size_t index = OffsetToIndex(offset);
Andreas Gampecb8aea42014-04-02 15:39:58 -070046 const uword mask = OffsetToMask(offset);
Ian Rogersbe2a1df2014-07-10 00:56:36 -070047 Atomic<uword>* atomic_entry = reinterpret_cast<Atomic<uword>*>(&bitmap_begin_[index]);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080048 DCHECK_LT(index, bitmap_size_ / kWordSize) << " bitmap_size_ = " << bitmap_size_;
Andreas Gampecb8aea42014-04-02 15:39:58 -070049 uword old_word;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080050 do {
Ian Rogersbe2a1df2014-07-10 00:56:36 -070051 old_word = atomic_entry->LoadRelaxed();
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080052 // Fast path: The bit is already set.
53 if ((old_word & mask) != 0) {
Ian Rogersef7d42f2014-01-06 12:55:46 -080054 DCHECK(Test(obj));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080055 return true;
56 }
Ian Rogersbe2a1df2014-07-10 00:56:36 -070057 } while (!atomic_entry->CompareExchangeWeakSequentiallyConsistent(old_word, old_word | mask));
Ian Rogersef7d42f2014-01-06 12:55:46 -080058 DCHECK(Test(obj));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080059 return false;
60}
61
Mathieu Chartiera8e8f9c2014-04-09 14:51:05 -070062template<size_t kAlignment>
63inline bool SpaceBitmap<kAlignment>::Test(const mirror::Object* obj) const {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080064 uintptr_t addr = reinterpret_cast<uintptr_t>(obj);
65 DCHECK(HasAddress(obj)) << obj;
66 DCHECK(bitmap_begin_ != NULL);
67 DCHECK_GE(addr, heap_begin_);
68 const uintptr_t offset = addr - heap_begin_;
69 return (bitmap_begin_[OffsetToIndex(offset)] & OffsetToMask(offset)) != 0;
70}
71
Mathieu Chartiera8e8f9c2014-04-09 14:51:05 -070072template<size_t kAlignment> template<typename Visitor>
Mathieu Chartiere9ea70b2014-04-14 15:52:08 -070073inline void SpaceBitmap<kAlignment>::VisitMarkedRange(uintptr_t visit_begin, uintptr_t visit_end,
74 const Visitor& visitor) const {
Mathieu Chartier6f365cc2014-04-23 12:42:27 -070075 DCHECK_LE(visit_begin, visit_end);
Andreas Gampebe73e572014-04-03 10:46:42 -070076#if 0
77 for (uintptr_t i = visit_begin; i < visit_end; i += kAlignment) {
78 mirror::Object* obj = reinterpret_cast<mirror::Object*>(i);
79 if (Test(obj)) {
80 visitor(obj);
81 }
82 }
83#else
Andreas Gampecb8aea42014-04-02 15:39:58 -070084 DCHECK_LE(heap_begin_, visit_begin);
85 DCHECK_LE(visit_end, HeapLimit());
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080086
Andreas Gampecb8aea42014-04-02 15:39:58 -070087 const uintptr_t offset_start = visit_begin - heap_begin_;
88 const uintptr_t offset_end = visit_end - heap_begin_;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080089
Andreas Gampecb8aea42014-04-02 15:39:58 -070090 const uintptr_t index_start = OffsetToIndex(offset_start);
91 const uintptr_t index_end = OffsetToIndex(offset_end);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080092
Andreas Gampecb8aea42014-04-02 15:39:58 -070093 const size_t bit_start = (offset_start / kAlignment) % kBitsPerWord;
94 const size_t bit_end = (offset_end / kAlignment) % kBitsPerWord;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080095
Andreas Gampecb8aea42014-04-02 15:39:58 -070096 // Index(begin) ... Index(end)
97 // [xxxxx???][........][????yyyy]
98 // ^ ^
99 // | #---- Bit of visit_end
100 // #---- Bit of visit_begin
101 //
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800102
Andreas Gampecb8aea42014-04-02 15:39:58 -0700103 // Left edge.
104 uword left_edge = bitmap_begin_[index_start];
105 // Mark of lower bits that are not in range.
106 left_edge &= ~((static_cast<uword>(1) << bit_start) - 1);
107
108 // Right edge. Either unique, or left_edge.
109 uword right_edge;
110
111 if (index_start < index_end) {
112 // Left edge != right edge.
113
114 // Traverse left edge.
115 if (left_edge != 0) {
116 const uintptr_t ptr_base = IndexToOffset(index_start) + heap_begin_;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800117 do {
Andreas Gampecb8aea42014-04-02 15:39:58 -0700118 const size_t shift = CTZ(left_edge);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800119 mirror::Object* obj = reinterpret_cast<mirror::Object*>(ptr_base + shift * kAlignment);
120 visitor(obj);
Andreas Gampecb8aea42014-04-02 15:39:58 -0700121 left_edge ^= (static_cast<uword>(1)) << shift;
122 } while (left_edge != 0);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800123 }
Andreas Gampecb8aea42014-04-02 15:39:58 -0700124
125 // Traverse the middle, full part.
126 for (size_t i = index_start + 1; i < index_end; ++i) {
127 uword w = bitmap_begin_[i];
128 if (w != 0) {
129 const uintptr_t ptr_base = IndexToOffset(i) + heap_begin_;
130 do {
131 const size_t shift = CTZ(w);
132 mirror::Object* obj = reinterpret_cast<mirror::Object*>(ptr_base + shift * kAlignment);
133 visitor(obj);
134 w ^= (static_cast<uword>(1)) << shift;
135 } while (w != 0);
136 }
137 }
138
139 // Right edge is unique.
Andreas Gampebe73e572014-04-03 10:46:42 -0700140 // But maybe we don't have anything to do: visit_end starts in a new word...
141 if (bit_end == 0) {
142 // Do not read memory, as it could be after the end of the bitmap.
143 right_edge = 0;
144 } else {
145 right_edge = bitmap_begin_[index_end];
146 }
Andreas Gampecb8aea42014-04-02 15:39:58 -0700147 } else {
148 // Right edge = left edge.
149 right_edge = left_edge;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800150 }
151
Andreas Gampecb8aea42014-04-02 15:39:58 -0700152 // Right edge handling.
Andreas Gampebe73e572014-04-03 10:46:42 -0700153 right_edge &= ((static_cast<uword>(1) << bit_end) - 1);
Andreas Gampecb8aea42014-04-02 15:39:58 -0700154 if (right_edge != 0) {
155 const uintptr_t ptr_base = IndexToOffset(index_end) + heap_begin_;
156 do {
157 const size_t shift = CTZ(right_edge);
158 mirror::Object* obj = reinterpret_cast<mirror::Object*>(ptr_base + shift * kAlignment);
159 visitor(obj);
160 right_edge ^= (static_cast<uword>(1)) << shift;
161 } while (right_edge != 0);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800162 }
Andreas Gampebe73e572014-04-03 10:46:42 -0700163#endif
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800164}
165
Mathieu Chartiera8e8f9c2014-04-09 14:51:05 -0700166template<size_t kAlignment> template<bool kSetBit>
167inline bool SpaceBitmap<kAlignment>::Modify(const mirror::Object* obj) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800168 uintptr_t addr = reinterpret_cast<uintptr_t>(obj);
169 DCHECK_GE(addr, heap_begin_);
170 const uintptr_t offset = addr - heap_begin_;
171 const size_t index = OffsetToIndex(offset);
Andreas Gampecb8aea42014-04-02 15:39:58 -0700172 const uword mask = OffsetToMask(offset);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800173 DCHECK_LT(index, bitmap_size_ / kWordSize) << " bitmap_size_ = " << bitmap_size_;
Andreas Gampecb8aea42014-04-02 15:39:58 -0700174 uword* address = &bitmap_begin_[index];
175 uword old_word = *address;
Mathieu Chartiera8e8f9c2014-04-09 14:51:05 -0700176 if (kSetBit) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800177 *address = old_word | mask;
178 } else {
179 *address = old_word & ~mask;
180 }
Mathieu Chartiera8e8f9c2014-04-09 14:51:05 -0700181 DCHECK_EQ(Test(obj), kSetBit);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800182 return (old_word & mask) != 0;
183}
Ian Rogers1d54e732013-05-02 21:10:01 -0700184
Mathieu Chartiera8e8f9c2014-04-09 14:51:05 -0700185template<size_t kAlignment>
186inline std::ostream& operator << (std::ostream& stream, const SpaceBitmap<kAlignment>& bitmap) {
187 return stream
188 << bitmap.GetName() << "["
189 << "begin=" << reinterpret_cast<const void*>(bitmap.HeapBegin())
190 << ",end=" << reinterpret_cast<const void*>(bitmap.HeapLimit())
191 << "]";
192}
193
Ian Rogers1d54e732013-05-02 21:10:01 -0700194} // namespace accounting
195} // namespace gc
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800196} // namespace art
197
Brian Carlstromfc0e3212013-07-17 14:40:12 -0700198#endif // ART_RUNTIME_GC_ACCOUNTING_SPACE_BITMAP_INL_H_