blob: bbf60f346aa74212454e75d649a4d2568cfadc31 [file] [log] [blame]
Mathieu Chartierb062fdd2012-07-03 09:51:48 -07001/*
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
17#ifndef ART_SRC_SPACE_BITMAP_H_
18#define ART_SRC_SPACE_BITMAP_H_
19
20#include <limits.h>
21#include <stdint.h>
22#include <vector>
23
24#include "UniquePtr.h"
25#include "globals.h"
26#include "logging.h"
27#include "mem_map.h"
28#include "utils.h"
29
30namespace art {
31
32class Object;
33
34class SpaceBitmap {
35 public:
36 static const size_t kAlignment = 8;
37
38 typedef void Callback(Object* obj, void* arg);
39
40 typedef void ScanCallback(Object* obj, void* finger, void* arg);
41
42 typedef void SweepCallback(size_t ptr_count, Object** ptrs, void* arg);
43
44 // Initialize a HeapBitmap so that it points to a bitmap large enough to cover a heap at
45 // heap_begin of heap_capacity bytes, where objects are guaranteed to be kAlignment-aligned.
46 static SpaceBitmap* Create(const std::string& name, byte* heap_begin, size_t heap_capacity);
47
48 ~SpaceBitmap();
49
50 // <offset> is the difference from .base to a pointer address.
51 // <index> is the index of .bits that contains the bit representing
52 // <offset>.
53 static size_t OffsetToIndex(size_t offset) {
54 return offset / kAlignment / kBitsPerWord;
55 }
56
57 static uintptr_t IndexToOffset(size_t index) {
58 return static_cast<uintptr_t>(index * kAlignment * kBitsPerWord);
59 }
60
61 // Pack the bits in backwards so they come out in address order when using CLZ.
62 static word OffsetToMask(uintptr_t offset_) {
Mathieu Chartierdcf8d722012-08-02 14:55:54 -070063 return static_cast<uintptr_t>(kWordHighBitMask) >> ((offset_ / kAlignment) % kBitsPerWord);
Mathieu Chartierb062fdd2012-07-03 09:51:48 -070064 }
65
66 inline void Set(const Object* obj) {
67 Modify(obj, true);
68 }
69
70 inline void Clear(const Object* obj) {
71 Modify(obj, false);
72 }
73
74 void Clear();
75
76 inline bool Test(const Object* obj) const {
77 uintptr_t addr = reinterpret_cast<uintptr_t>(obj);
78 DCHECK(HasAddress(obj)) << obj;
79 DCHECK(bitmap_begin_ != NULL);
80 DCHECK_GE(addr, heap_begin_);
81 if (addr <= heap_end_) {
82 const uintptr_t offset = addr - heap_begin_;
83 return (bitmap_begin_[OffsetToIndex(offset)] & OffsetToMask(offset)) != 0;
84 } else {
85 return false;
86 }
87 }
88
89 bool HasAddress(const void* addr) const;
90
91 void VisitRange(uintptr_t base, uintptr_t max, Callback* visitor, void* arg) const;
92
93 class ClearVisitor {
94 public:
95 explicit ClearVisitor(SpaceBitmap* const bitmap)
96 : bitmap_(bitmap) {
97 }
98
99 void operator ()(Object* obj) const {
100 bitmap_->Clear(obj);
101 }
102 private:
103 SpaceBitmap* const bitmap_;
104 };
105
106 template <typename Visitor>
107 void VisitRange(uintptr_t visit_begin, uintptr_t visit_end, const Visitor& visitor) const {
108 for (; visit_begin < visit_end; visit_begin += kAlignment ) {
109 visitor(reinterpret_cast<Object*>(visit_begin));
110 }
111 }
112
113 template <typename Visitor>
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700114 void VisitMarkedRange(uintptr_t visit_begin, uintptr_t visit_end, const Visitor& visitor) const
115 EXCLUSIVE_LOCKS_REQUIRED(GlobalSynchronization::heap_bitmap_lock_) {
Mathieu Chartiercc236d72012-07-20 10:29:05 -0700116 DCHECK_LT(visit_begin, visit_end);
117
118 const size_t bit_index_start = (visit_begin - heap_begin_) / kAlignment;
119 const size_t bit_index_end = (visit_end - heap_begin_ - 1) / kAlignment;
120
121 size_t word_start = bit_index_start / kBitsPerWord;
122 size_t word_end = bit_index_end / kBitsPerWord;
Mathieu Chartierdcf8d722012-08-02 14:55:54 -0700123 DCHECK_LT(word_end * kWordSize, Size());
Mathieu Chartiercc236d72012-07-20 10:29:05 -0700124
125 // Trim off left_bits of left bits.
126 size_t edge_word = bitmap_begin_[word_start];
127
128 // Handle bits on the left first as a special case
129 size_t left_bits = bit_index_start & (kBitsPerWord - 1);
130 if (left_bits != 0) {
131 edge_word &= (1 << (kBitsPerWord - left_bits)) - 1;
132 }
133
134 // If word_start == word_end then handle this case at the same place we handle the right edge.
135 if (edge_word != 0 && word_start < word_end) {
136 uintptr_t ptr_base = IndexToOffset(word_start) + heap_begin_;
137 do {
138 const size_t shift = CLZ(edge_word);
139 Object* obj = reinterpret_cast<Object*>(ptr_base + shift * kAlignment);
140 visitor(obj);
Mathieu Chartierdcf8d722012-08-02 14:55:54 -0700141 edge_word ^= static_cast<size_t>(kWordHighBitMask) >> shift;
Mathieu Chartiercc236d72012-07-20 10:29:05 -0700142 } while (edge_word != 0);
143 }
144 word_start++;
145
146 for (size_t i = word_start; i < word_end; i++) {
147 size_t w = bitmap_begin_[i];
Mathieu Chartierb062fdd2012-07-03 09:51:48 -0700148 if (w != 0) {
Mathieu Chartierb062fdd2012-07-03 09:51:48 -0700149 uintptr_t ptr_base = IndexToOffset(i) + heap_begin_;
150 do {
Mathieu Chartiercc236d72012-07-20 10:29:05 -0700151 const size_t shift = CLZ(w);
Mathieu Chartierb062fdd2012-07-03 09:51:48 -0700152 Object* obj = reinterpret_cast<Object*>(ptr_base + shift * kAlignment);
153 visitor(obj);
Mathieu Chartierdcf8d722012-08-02 14:55:54 -0700154 w ^= static_cast<size_t>(kWordHighBitMask) >> shift;
Mathieu Chartierb062fdd2012-07-03 09:51:48 -0700155 } while (w != 0);
156 }
157 }
Mathieu Chartiercc236d72012-07-20 10:29:05 -0700158
159 // Handle the right edge, and also the left edge if both edges are on the same word.
160 size_t right_bits = bit_index_end & (kBitsPerWord - 1);
161
162 // If word_start == word_end then we need to use the word which we removed the left bits.
163 if (word_start <= word_end) {
164 edge_word = bitmap_begin_[word_end];
165 }
166
167 // Bits that we trim off the right.
168 const size_t trim_bits = kBitsPerWord - 1 - right_bits;
169 edge_word &= ~((1 << trim_bits) - 1);
170 uintptr_t ptr_base = IndexToOffset(word_end) + heap_begin_;
171 while (edge_word != 0) {
Mathieu Chartierdcf8d722012-08-02 14:55:54 -0700172 const size_t shift = CLZ(edge_word);
Mathieu Chartiercc236d72012-07-20 10:29:05 -0700173 Object* obj = reinterpret_cast<Object*>(ptr_base + shift * kAlignment);
174 visitor(obj);
Mathieu Chartierdcf8d722012-08-02 14:55:54 -0700175 edge_word ^= static_cast<size_t>(kWordHighBitMask) >> shift;
Mathieu Chartiercc236d72012-07-20 10:29:05 -0700176 }
Mathieu Chartierb062fdd2012-07-03 09:51:48 -0700177 }
178
179 void Walk(Callback* callback, void* arg);
180
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700181 void InOrderWalk(Callback* callback, void* arg)
182 SHARED_LOCKS_REQUIRED(GlobalSynchronization::mutator_lock_);
Mathieu Chartierb062fdd2012-07-03 09:51:48 -0700183
184 void ScanWalk(uintptr_t base, uintptr_t max, ScanCallback* thunk, void* arg);
185
186 static void SweepWalk(const SpaceBitmap& live,
187 const SpaceBitmap& mark,
188 uintptr_t base, uintptr_t max,
189 SweepCallback* thunk, void* arg);
190
Mathieu Chartiercc236d72012-07-20 10:29:05 -0700191 // Starting address of our internal storage.
192 word* Begin() {
193 return bitmap_begin_;
194 }
195
196 // Size of our internal storage
197 size_t Size() const {
198 return bitmap_size_;
199 }
200
201 // Size in bytes of the memory that the bitmaps spans.
202 size_t HeapSize() const {
203 return IndexToOffset(Size() / kWordSize);
204 }
205
Mathieu Chartierdcf8d722012-08-02 14:55:54 -0700206 uintptr_t HeapBegin() const {
Mathieu Chartiercc236d72012-07-20 10:29:05 -0700207 return heap_begin_;
208 }
209
Mathieu Chartierdcf8d722012-08-02 14:55:54 -0700210 // The maximum address which the bitmap can span. (HeapBegin() <= object < HeapLimit()).
211 uintptr_t HeapLimit() const {
212 return HeapBegin() + static_cast<uintptr_t>(HeapSize());
213 }
214
215 // Set the max address which can covered by the bitmap.
216 void SetHeapLimit(uintptr_t new_end);
Mathieu Chartiercc236d72012-07-20 10:29:05 -0700217
Mathieu Chartierb062fdd2012-07-03 09:51:48 -0700218 private:
219 // TODO: heap_end_ is initialized so that the heap bitmap is empty, this doesn't require the -1,
220 // however, we document that this is expected on heap_end_
221 SpaceBitmap(const std::string& name, MemMap* mem_map, word* bitmap_begin, size_t bitmap_size, const void* heap_begin)
222 : mem_map_(mem_map), bitmap_begin_(bitmap_begin), bitmap_size_(bitmap_size),
223 heap_begin_(reinterpret_cast<uintptr_t>(heap_begin)), heap_end_(heap_begin_ - 1),
224 name_(name) {}
225
226 inline void Modify(const Object* obj, bool do_set) {
227 uintptr_t addr = reinterpret_cast<uintptr_t>(obj);
228 DCHECK_GE(addr, heap_begin_);
229 const uintptr_t offset = addr - heap_begin_;
230 const size_t index = OffsetToIndex(offset);
231 const word mask = OffsetToMask(offset);
232 DCHECK_LT(index, bitmap_size_ / kWordSize) << " bitmap_size_ = " << bitmap_size_;
233 if (do_set) {
234 if (addr > heap_end_) {
235 heap_end_ = addr;
236 }
237 bitmap_begin_[index] |= mask;
238 } else {
239 bitmap_begin_[index] &= ~mask;
240 }
241 }
242
243 // Backing storage for bitmap.
244 UniquePtr<MemMap> mem_map_;
245
246 // This bitmap itself, word sized for efficiency in scanning.
247 word* const bitmap_begin_;
248
249 // Size of this bitmap.
Mathieu Chartiercc236d72012-07-20 10:29:05 -0700250 size_t bitmap_size_;
Mathieu Chartierb062fdd2012-07-03 09:51:48 -0700251
252 // The base address of the heap, which corresponds to the word containing the first bit in the
253 // bitmap.
254 const uintptr_t heap_begin_;
255
256 // The highest pointer value ever returned by an allocation from
257 // this heap. I.e., the highest address that may correspond to a
258 // set bit. If there are no bits set, (heap_end_ < heap_begin_).
259 uintptr_t heap_end_;
260
261 // Name of this bitmap.
262 std::string name_;
263};
264
265} // namespace art
266
267#endif // ART_SRC_SPACE_BITMAP_H_