blob: 11347a5bfeb54fb7d96a385794ccdfc14b175d61 [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"
Ian Rogers1d54e732013-05-02 21:10:01 -070026#include "utils.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080027
28namespace art {
Ian Rogers1d54e732013-05-02 21:10:01 -070029namespace gc {
30namespace accounting {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080031
Mathieu Chartiera8e8f9c2014-04-09 14:51:05 -070032template<size_t kAlignment>
33inline bool SpaceBitmap<kAlignment>::AtomicTestAndSet(const mirror::Object* obj) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080034 uintptr_t addr = reinterpret_cast<uintptr_t>(obj);
35 DCHECK_GE(addr, heap_begin_);
36 const uintptr_t offset = addr - heap_begin_;
37 const size_t index = OffsetToIndex(offset);
Ian Rogers13735952014-10-08 12:43:28 -070038 const uintptr_t mask = OffsetToMask(offset);
39 Atomic<uintptr_t>* atomic_entry = reinterpret_cast<Atomic<uintptr_t>*>(&bitmap_begin_[index]);
40 DCHECK_LT(index, bitmap_size_ / sizeof(intptr_t)) << " bitmap_size_ = " << bitmap_size_;
41 uintptr_t old_word;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080042 do {
Ian Rogersbe2a1df2014-07-10 00:56:36 -070043 old_word = atomic_entry->LoadRelaxed();
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080044 // Fast path: The bit is already set.
45 if ((old_word & mask) != 0) {
Ian Rogersef7d42f2014-01-06 12:55:46 -080046 DCHECK(Test(obj));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080047 return true;
48 }
Ian Rogersbe2a1df2014-07-10 00:56:36 -070049 } while (!atomic_entry->CompareExchangeWeakSequentiallyConsistent(old_word, old_word | mask));
Ian Rogersef7d42f2014-01-06 12:55:46 -080050 DCHECK(Test(obj));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080051 return false;
52}
53
Mathieu Chartiera8e8f9c2014-04-09 14:51:05 -070054template<size_t kAlignment>
55inline bool SpaceBitmap<kAlignment>::Test(const mirror::Object* obj) const {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080056 uintptr_t addr = reinterpret_cast<uintptr_t>(obj);
57 DCHECK(HasAddress(obj)) << obj;
58 DCHECK(bitmap_begin_ != NULL);
59 DCHECK_GE(addr, heap_begin_);
60 const uintptr_t offset = addr - heap_begin_;
61 return (bitmap_begin_[OffsetToIndex(offset)] & OffsetToMask(offset)) != 0;
62}
63
Mathieu Chartiera8e8f9c2014-04-09 14:51:05 -070064template<size_t kAlignment> template<typename Visitor>
Mathieu Chartiere9ea70b2014-04-14 15:52:08 -070065inline void SpaceBitmap<kAlignment>::VisitMarkedRange(uintptr_t visit_begin, uintptr_t visit_end,
66 const Visitor& visitor) const {
Mathieu Chartier6f365cc2014-04-23 12:42:27 -070067 DCHECK_LE(visit_begin, visit_end);
Andreas Gampebe73e572014-04-03 10:46:42 -070068#if 0
69 for (uintptr_t i = visit_begin; i < visit_end; i += kAlignment) {
70 mirror::Object* obj = reinterpret_cast<mirror::Object*>(i);
71 if (Test(obj)) {
72 visitor(obj);
73 }
74 }
75#else
Andreas Gampecb8aea42014-04-02 15:39:58 -070076 DCHECK_LE(heap_begin_, visit_begin);
77 DCHECK_LE(visit_end, HeapLimit());
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080078
Andreas Gampecb8aea42014-04-02 15:39:58 -070079 const uintptr_t offset_start = visit_begin - heap_begin_;
80 const uintptr_t offset_end = visit_end - heap_begin_;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080081
Andreas Gampecb8aea42014-04-02 15:39:58 -070082 const uintptr_t index_start = OffsetToIndex(offset_start);
83 const uintptr_t index_end = OffsetToIndex(offset_end);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080084
Ian Rogers13735952014-10-08 12:43:28 -070085 const size_t bit_start = (offset_start / kAlignment) % kBitsPerIntPtrT;
86 const size_t bit_end = (offset_end / kAlignment) % kBitsPerIntPtrT;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080087
Andreas Gampecb8aea42014-04-02 15:39:58 -070088 // Index(begin) ... Index(end)
89 // [xxxxx???][........][????yyyy]
90 // ^ ^
91 // | #---- Bit of visit_end
92 // #---- Bit of visit_begin
93 //
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080094
Andreas Gampecb8aea42014-04-02 15:39:58 -070095 // Left edge.
Ian Rogers13735952014-10-08 12:43:28 -070096 uintptr_t left_edge = bitmap_begin_[index_start];
Andreas Gampecb8aea42014-04-02 15:39:58 -070097 // Mark of lower bits that are not in range.
Ian Rogers13735952014-10-08 12:43:28 -070098 left_edge &= ~((static_cast<uintptr_t>(1) << bit_start) - 1);
Andreas Gampecb8aea42014-04-02 15:39:58 -070099
100 // Right edge. Either unique, or left_edge.
Ian Rogers13735952014-10-08 12:43:28 -0700101 uintptr_t right_edge;
Andreas Gampecb8aea42014-04-02 15:39:58 -0700102
103 if (index_start < index_end) {
104 // Left edge != right edge.
105
106 // Traverse left edge.
107 if (left_edge != 0) {
108 const uintptr_t ptr_base = IndexToOffset(index_start) + heap_begin_;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800109 do {
Andreas Gampecb8aea42014-04-02 15:39:58 -0700110 const size_t shift = CTZ(left_edge);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800111 mirror::Object* obj = reinterpret_cast<mirror::Object*>(ptr_base + shift * kAlignment);
112 visitor(obj);
Ian Rogers13735952014-10-08 12:43:28 -0700113 left_edge ^= (static_cast<uintptr_t>(1)) << shift;
Andreas Gampecb8aea42014-04-02 15:39:58 -0700114 } while (left_edge != 0);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800115 }
Andreas Gampecb8aea42014-04-02 15:39:58 -0700116
117 // Traverse the middle, full part.
118 for (size_t i = index_start + 1; i < index_end; ++i) {
Ian Rogers13735952014-10-08 12:43:28 -0700119 uintptr_t w = bitmap_begin_[i];
Andreas Gampecb8aea42014-04-02 15:39:58 -0700120 if (w != 0) {
121 const uintptr_t ptr_base = IndexToOffset(i) + heap_begin_;
122 do {
123 const size_t shift = CTZ(w);
124 mirror::Object* obj = reinterpret_cast<mirror::Object*>(ptr_base + shift * kAlignment);
125 visitor(obj);
Ian Rogers13735952014-10-08 12:43:28 -0700126 w ^= (static_cast<uintptr_t>(1)) << shift;
Andreas Gampecb8aea42014-04-02 15:39:58 -0700127 } while (w != 0);
128 }
129 }
130
131 // Right edge is unique.
Andreas Gampebe73e572014-04-03 10:46:42 -0700132 // But maybe we don't have anything to do: visit_end starts in a new word...
133 if (bit_end == 0) {
134 // Do not read memory, as it could be after the end of the bitmap.
135 right_edge = 0;
136 } else {
137 right_edge = bitmap_begin_[index_end];
138 }
Andreas Gampecb8aea42014-04-02 15:39:58 -0700139 } else {
140 // Right edge = left edge.
141 right_edge = left_edge;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800142 }
143
Andreas Gampecb8aea42014-04-02 15:39:58 -0700144 // Right edge handling.
Ian Rogers13735952014-10-08 12:43:28 -0700145 right_edge &= ((static_cast<uintptr_t>(1) << bit_end) - 1);
Andreas Gampecb8aea42014-04-02 15:39:58 -0700146 if (right_edge != 0) {
147 const uintptr_t ptr_base = IndexToOffset(index_end) + heap_begin_;
148 do {
149 const size_t shift = CTZ(right_edge);
150 mirror::Object* obj = reinterpret_cast<mirror::Object*>(ptr_base + shift * kAlignment);
151 visitor(obj);
Ian Rogers13735952014-10-08 12:43:28 -0700152 right_edge ^= (static_cast<uintptr_t>(1)) << shift;
Andreas Gampecb8aea42014-04-02 15:39:58 -0700153 } while (right_edge != 0);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800154 }
Andreas Gampebe73e572014-04-03 10:46:42 -0700155#endif
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800156}
157
Mathieu Chartiera8e8f9c2014-04-09 14:51:05 -0700158template<size_t kAlignment> template<bool kSetBit>
159inline bool SpaceBitmap<kAlignment>::Modify(const mirror::Object* obj) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800160 uintptr_t addr = reinterpret_cast<uintptr_t>(obj);
161 DCHECK_GE(addr, heap_begin_);
162 const uintptr_t offset = addr - heap_begin_;
163 const size_t index = OffsetToIndex(offset);
Ian Rogers13735952014-10-08 12:43:28 -0700164 const uintptr_t mask = OffsetToMask(offset);
165 DCHECK_LT(index, bitmap_size_ / sizeof(intptr_t)) << " bitmap_size_ = " << bitmap_size_;
166 uintptr_t* address = &bitmap_begin_[index];
167 uintptr_t old_word = *address;
Mathieu Chartiera8e8f9c2014-04-09 14:51:05 -0700168 if (kSetBit) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800169 *address = old_word | mask;
170 } else {
171 *address = old_word & ~mask;
172 }
Mathieu Chartiera8e8f9c2014-04-09 14:51:05 -0700173 DCHECK_EQ(Test(obj), kSetBit);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800174 return (old_word & mask) != 0;
175}
Ian Rogers1d54e732013-05-02 21:10:01 -0700176
Mathieu Chartiera8e8f9c2014-04-09 14:51:05 -0700177template<size_t kAlignment>
178inline std::ostream& operator << (std::ostream& stream, const SpaceBitmap<kAlignment>& bitmap) {
179 return stream
180 << bitmap.GetName() << "["
181 << "begin=" << reinterpret_cast<const void*>(bitmap.HeapBegin())
182 << ",end=" << reinterpret_cast<const void*>(bitmap.HeapLimit())
183 << "]";
184}
185
Ian Rogers1d54e732013-05-02 21:10:01 -0700186} // namespace accounting
187} // namespace gc
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800188} // namespace art
189
Brian Carlstromfc0e3212013-07-17 14:40:12 -0700190#endif // ART_RUNTIME_GC_ACCOUNTING_SPACE_BITMAP_INL_H_