blob: 56090672ce87f22ae10e98dd2888d44756362092 [file] [log] [blame]
Brian Carlstrom413e89f2013-10-21 23:53:49 -07001/*
2 * Copyright (C) 2013 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 Carlstromba150c32013-08-27 17:31:03 -070017#ifndef ART_RUNTIME_BASE_BIT_VECTOR_H_
18#define ART_RUNTIME_BASE_BIT_VECTOR_H_
Brian Carlstrom413e89f2013-10-21 23:53:49 -070019
20#include <stdint.h>
Ian Rogerse77493c2014-08-20 15:08:45 -070021#include <iterator>
Brian Carlstrom413e89f2013-10-21 23:53:49 -070022
Vladimir Marko80afd022015-05-19 18:08:00 +010023#include "base/bit_utils.h"
David Brazdilf10a25f2015-06-02 14:29:52 +010024#include "globals.h"
Vladimir Marko83d46ef2015-05-12 18:27:20 +010025
Brian Carlstrom413e89f2013-10-21 23:53:49 -070026namespace art {
27
Ian Rogerse77493c2014-08-20 15:08:45 -070028class Allocator;
29
Brian Carlstrom413e89f2013-10-21 23:53:49 -070030/*
31 * Expanding bitmap, used for tracking resources. Bits are numbered starting
32 * from zero. All operations on a BitVector are unsynchronized.
33 */
34class BitVector {
Ian Rogerse77493c2014-08-20 15:08:45 -070035 public:
36 class IndexContainer;
Vladimir Markoa5b8fde2014-05-23 15:16:44 +010037
Ian Rogerse77493c2014-08-20 15:08:45 -070038 /**
39 * @brief Convenient iterator across the indexes of the BitVector's set bits.
40 *
41 * @details IndexIterator is a Forward iterator (C++11: 24.2.5) from the lowest
42 * to the highest index of the BitVector's set bits. Instances can be retrieved
43 * only through BitVector::Indexes() which returns an IndexContainer wrapper
44 * object with begin() and end() suitable for range-based loops:
45 * for (uint32_t idx : bit_vector.Indexes()) {
46 * // Use idx.
47 * }
48 */
49 class IndexIterator :
50 std::iterator<std::forward_iterator_tag, uint32_t, ptrdiff_t, void, uint32_t> {
51 public:
52 bool operator==(const IndexIterator& other) const;
Brian Carlstrom413e89f2013-10-21 23:53:49 -070053
Ian Rogerse77493c2014-08-20 15:08:45 -070054 bool operator!=(const IndexIterator& other) const {
55 return !(*this == other);
Brian Carlstrom413e89f2013-10-21 23:53:49 -070056 }
Jean Christophe Beylerad0d30a2014-01-16 09:00:18 -080057
Vladimir Marko04071962015-01-02 17:00:44 +000058 uint32_t operator*() const;
Jean Christophe Beylerad0d30a2014-01-16 09:00:18 -080059
Ian Rogerse77493c2014-08-20 15:08:45 -070060 IndexIterator& operator++();
Vladimir Markod3c5beb2014-04-11 16:32:51 +010061
Ian Rogerse77493c2014-08-20 15:08:45 -070062 IndexIterator operator++(int);
Brian Carlstrom413e89f2013-10-21 23:53:49 -070063
Ian Rogerse77493c2014-08-20 15:08:45 -070064 // Helper function to check for end without comparing with bit_vector.Indexes().end().
65 bool Done() const {
66 return bit_index_ == BitSize();
Vladimir Markoa5b8fde2014-05-23 15:16:44 +010067 }
Brian Carlstrom413e89f2013-10-21 23:53:49 -070068
Ian Rogerse77493c2014-08-20 15:08:45 -070069 private:
70 struct begin_tag { };
71 struct end_tag { };
Brian Carlstrom413e89f2013-10-21 23:53:49 -070072
Ian Rogerse77493c2014-08-20 15:08:45 -070073 IndexIterator(const BitVector* bit_vector, begin_tag)
74 : bit_storage_(bit_vector->GetRawStorage()),
75 storage_size_(bit_vector->storage_size_),
76 bit_index_(FindIndex(0u)) { }
77
78 IndexIterator(const BitVector* bit_vector, end_tag)
79 : bit_storage_(bit_vector->GetRawStorage()),
80 storage_size_(bit_vector->storage_size_),
81 bit_index_(BitSize()) { }
82
83 uint32_t BitSize() const {
84 return storage_size_ * kWordBits;
85 }
86
87 uint32_t FindIndex(uint32_t start_index) const;
88 const uint32_t* const bit_storage_;
89 const uint32_t storage_size_; // Size of vector in words.
90 uint32_t bit_index_; // Current index (size in bits).
91
92 friend class BitVector::IndexContainer;
93 };
94
95 /**
96 * @brief BitVector wrapper class for iteration across indexes of set bits.
97 */
98 class IndexContainer {
99 public:
100 explicit IndexContainer(const BitVector* bit_vector) : bit_vector_(bit_vector) { }
101
102 IndexIterator begin() const {
103 return IndexIterator(bit_vector_, IndexIterator::begin_tag());
104 }
105
106 IndexIterator end() const {
107 return IndexIterator(bit_vector_, IndexIterator::end_tag());
108 }
109
110 private:
111 const BitVector* const bit_vector_;
112 };
113
Vladimir Marko492a7fa2016-06-01 18:38:43 +0100114 // MoveConstructible but not MoveAssignable, CopyConstructible or CopyAssignable.
115
116 BitVector(const BitVector& other) = delete;
117 BitVector& operator=(const BitVector& other) = delete;
118
119 BitVector(BitVector&& other)
120 : storage_(other.storage_),
121 storage_size_(other.storage_size_),
122 allocator_(other.allocator_),
123 expandable_(other.expandable_) {
124 other.storage_ = nullptr;
125 other.storage_size_ = 0u;
126 }
127
Ian Rogerse77493c2014-08-20 15:08:45 -0700128 BitVector(uint32_t start_bits,
129 bool expandable,
Andreas Gampe067f1ed2015-08-07 08:29:13 -0700130 Allocator* allocator);
131
132 BitVector(bool expandable,
Ian Rogerse77493c2014-08-20 15:08:45 -0700133 Allocator* allocator,
Andreas Gampe067f1ed2015-08-07 08:29:13 -0700134 uint32_t storage_size,
135 uint32_t* storage);
136
137 BitVector(const BitVector& src,
138 bool expandable,
139 Allocator* allocator);
Ian Rogerse77493c2014-08-20 15:08:45 -0700140
141 virtual ~BitVector();
142
Vladimir Marko83d46ef2015-05-12 18:27:20 +0100143 // The number of words necessary to encode bits.
144 static constexpr uint32_t BitsToWords(uint32_t bits) {
145 return RoundUp(bits, kWordBits) / kWordBits;
146 }
147
Ian Rogerse77493c2014-08-20 15:08:45 -0700148 // Mark the specified bit as "set".
149 void SetBit(uint32_t idx) {
150 /*
151 * TUNING: this could have pathologically bad growth/expand behavior. Make sure we're
152 * not using it badly or change resize mechanism.
Jean Christophe Beylerad0d30a2014-01-16 09:00:18 -0800153 */
Ian Rogerse77493c2014-08-20 15:08:45 -0700154 if (idx >= storage_size_ * kWordBits) {
155 EnsureSize(idx);
156 }
157 storage_[WordIndex(idx)] |= BitMask(idx);
158 }
Jean Christophe Beylerad0d30a2014-01-16 09:00:18 -0800159
Ian Rogerse77493c2014-08-20 15:08:45 -0700160 // Mark the specified bit as "unset".
161 void ClearBit(uint32_t idx) {
162 // If the index is over the size, we don't have to do anything, it is cleared.
163 if (idx < storage_size_ * kWordBits) {
164 // Otherwise, go ahead and clear it.
165 storage_[WordIndex(idx)] &= ~BitMask(idx);
166 }
167 }
Vladimir Markod3c5beb2014-04-11 16:32:51 +0100168
Ian Rogerse77493c2014-08-20 15:08:45 -0700169 // Determine whether or not the specified bit is set.
170 bool IsBitSet(uint32_t idx) const {
171 // If the index is over the size, whether it is expandable or not, this bit does not exist:
172 // thus it is not set.
173 return (idx < (storage_size_ * kWordBits)) && IsBitSet(storage_, idx);
174 }
Jean Christophe Beyler5afa08f2014-04-15 15:54:35 -0700175
Ian Rogerse77493c2014-08-20 15:08:45 -0700176 // Mark all bits bit as "clear".
177 void ClearAllBits();
Jean Christophe Beyler520f37b2014-05-22 15:43:50 -0700178
Ian Rogerse77493c2014-08-20 15:08:45 -0700179 // Mark specified number of bits as "set". Cannot set all bits like ClearAll since there might
180 // be unused bits - setting those to one will confuse the iterator.
181 void SetInitialBits(uint32_t num_bits);
Jean Christophe Beyler5afa08f2014-04-15 15:54:35 -0700182
Ian Rogerse77493c2014-08-20 15:08:45 -0700183 void Copy(const BitVector* src);
Jean Christophe Beyler520f37b2014-05-22 15:43:50 -0700184
Ian Rogerse77493c2014-08-20 15:08:45 -0700185 // Intersect with another bit vector.
186 void Intersect(const BitVector* src2);
Jean Christophe Beyler520f37b2014-05-22 15:43:50 -0700187
Ian Rogerse77493c2014-08-20 15:08:45 -0700188 // Union with another bit vector.
189 bool Union(const BitVector* src);
Jean Christophe Beyler520f37b2014-05-22 15:43:50 -0700190
Ian Rogerse77493c2014-08-20 15:08:45 -0700191 // Set bits of union_with that are not in not_in.
192 bool UnionIfNotIn(const BitVector* union_with, const BitVector* not_in);
Jean Christophe Beyler5afa08f2014-04-15 15:54:35 -0700193
Ian Rogerse77493c2014-08-20 15:08:45 -0700194 void Subtract(const BitVector* src);
Vladimir Markoa5b8fde2014-05-23 15:16:44 +0100195
Ian Rogerse77493c2014-08-20 15:08:45 -0700196 // Are we equal to another bit vector? Note: expandability attributes must also match.
197 bool Equal(const BitVector* src) const;
198
199 /**
200 * @brief Are all the bits set the same?
201 * @details expandability and size can differ as long as the same bits are set.
202 */
203 bool SameBitsSet(const BitVector *src) const;
204
David Brazdil7d275372015-04-21 16:36:35 +0100205 bool IsSubsetOf(const BitVector *other) const;
206
Ian Rogerse77493c2014-08-20 15:08:45 -0700207 // Count the number of bits that are set.
208 uint32_t NumSetBits() const;
209
210 // Count the number of bits that are set in range [0, end).
211 uint32_t NumSetBits(uint32_t end) const;
212
213 IndexContainer Indexes() const {
214 return IndexContainer(this);
215 }
216
217 uint32_t GetStorageSize() const {
218 return storage_size_;
219 }
220
221 bool IsExpandable() const {
222 return expandable_;
223 }
224
225 uint32_t GetRawStorageWord(size_t idx) const {
226 return storage_[idx];
227 }
228
229 uint32_t* GetRawStorage() {
230 return storage_;
231 }
232
233 const uint32_t* GetRawStorage() const {
234 return storage_;
235 }
236
237 size_t GetSizeOf() const {
238 return storage_size_ * kWordBytes;
239 }
240
241 /**
242 * @return the highest bit set, -1 if none are set
243 */
244 int GetHighestBitSet() const;
245
David Srbecky1bbdfd72016-02-24 16:39:26 +0000246 // Minimum number of bits required to store this vector, 0 if none are set.
247 size_t GetNumberOfBits() const {
248 return GetHighestBitSet() + 1;
249 }
250
Ian Rogerse77493c2014-08-20 15:08:45 -0700251 // Is bit set in storage. (No range check.)
252 static bool IsBitSet(const uint32_t* storage, uint32_t idx) {
253 return (storage[WordIndex(idx)] & BitMask(idx)) != 0;
254 }
255
256 // Number of bits set in range [0, end) in storage. (No range check.)
257 static uint32_t NumSetBits(const uint32_t* storage, uint32_t end);
258
David Brazdilf10a25f2015-06-02 14:29:52 +0100259 // Fill given memory region with the contents of the vector and zero padding.
260 void CopyTo(void* dst, size_t len) const {
261 DCHECK_LE(static_cast<size_t>(GetHighestBitSet() + 1), len * kBitsPerByte);
262 size_t vec_len = GetSizeOf();
263 if (vec_len < len) {
264 void* dst_padding = reinterpret_cast<uint8_t*>(dst) + vec_len;
265 memcpy(dst, storage_, vec_len);
266 memset(dst_padding, 0, len - vec_len);
267 } else {
268 memcpy(dst, storage_, len);
269 }
270 }
271
Ian Rogerse77493c2014-08-20 15:08:45 -0700272 void Dump(std::ostream& os, const char* prefix) const;
273
Andreas Gampe067f1ed2015-08-07 08:29:13 -0700274 Allocator* GetAllocator() const;
275
Ian Rogerse77493c2014-08-20 15:08:45 -0700276 private:
277 /**
278 * @brief Dump the bitvector into buffer in a 00101..01 format.
279 * @param buffer the ostringstream used to dump the bitvector into.
280 */
281 void DumpHelper(const char* prefix, std::ostringstream& buffer) const;
282
283 // Ensure there is space for a bit at idx.
284 void EnsureSize(uint32_t idx);
285
286 // The index of the word within storage.
287 static constexpr uint32_t WordIndex(uint32_t idx) {
288 return idx >> 5;
289 }
290
291 // A bit mask to extract the bit for the given index.
292 static constexpr uint32_t BitMask(uint32_t idx) {
293 return 1 << (idx & 0x1f);
294 }
295
296 static constexpr uint32_t kWordBytes = sizeof(uint32_t);
297 static constexpr uint32_t kWordBits = kWordBytes * 8;
298
299 uint32_t* storage_; // The storage for the bit vector.
300 uint32_t storage_size_; // Current size, in 32-bit words.
301 Allocator* const allocator_; // Allocator if expandable.
302 const bool expandable_; // Should the bitmap expand if too small?
Brian Carlstrom413e89f2013-10-21 23:53:49 -0700303};
304
305
306} // namespace art
307
Brian Carlstromba150c32013-08-27 17:31:03 -0700308#endif // ART_RUNTIME_BASE_BIT_VECTOR_H_