src/share/vm/utilities/bitMap.cpp

Thu, 22 May 2014 15:52:41 -0400

author
drchase
date
Thu, 22 May 2014 15:52:41 -0400
changeset 6680
78bbf4d43a14
parent 6507
752ba2e5f6d0
child 6876
710a3c8b516e
child 9616
faa71d8b8ab5
permissions
-rw-r--r--

8037816: Fix for 8036122 breaks build with Xcode5/clang
8043029: Change 8037816 breaks HS build with older GCC versions which don't support diagnostic pragmas
8043164: Format warning in traceStream.hpp
Summary: Backport of main fix + two corrections, enables clang compilation, turns on format attributes, corrects/mutes warnings
Reviewed-by: kvn, coleenp, iveresov, twisti

duke@435 1 /*
drchase@6680 2 * Copyright (c) 1997, 2014, Oracle and/or its affiliates. All rights reserved.
duke@435 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
duke@435 4 *
duke@435 5 * This code is free software; you can redistribute it and/or modify it
duke@435 6 * under the terms of the GNU General Public License version 2 only, as
duke@435 7 * published by the Free Software Foundation.
duke@435 8 *
duke@435 9 * This code is distributed in the hope that it will be useful, but WITHOUT
duke@435 10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
duke@435 11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
duke@435 12 * version 2 for more details (a copy is included in the LICENSE file that
duke@435 13 * accompanied this code).
duke@435 14 *
duke@435 15 * You should have received a copy of the GNU General Public License version
duke@435 16 * 2 along with this work; if not, write to the Free Software Foundation,
duke@435 17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
duke@435 18 *
trims@1907 19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
trims@1907 20 * or visit www.oracle.com if you need additional information or have any
trims@1907 21 * questions.
duke@435 22 *
duke@435 23 */
duke@435 24
stefank@2314 25 #include "precompiled.hpp"
stefank@2314 26 #include "memory/allocation.inline.hpp"
stefank@2314 27 #include "utilities/bitMap.inline.hpp"
stefank@2314 28 #include "utilities/copy.hpp"
stefank@2314 29 #ifdef TARGET_OS_FAMILY_linux
stefank@2314 30 # include "os_linux.inline.hpp"
stefank@2314 31 #endif
stefank@2314 32 #ifdef TARGET_OS_FAMILY_solaris
stefank@2314 33 # include "os_solaris.inline.hpp"
stefank@2314 34 #endif
stefank@2314 35 #ifdef TARGET_OS_FAMILY_windows
stefank@2314 36 # include "os_windows.inline.hpp"
stefank@2314 37 #endif
goetz@6461 38 #ifdef TARGET_OS_FAMILY_aix
goetz@6461 39 # include "os_aix.inline.hpp"
goetz@6461 40 #endif
never@3156 41 #ifdef TARGET_OS_FAMILY_bsd
never@3156 42 # include "os_bsd.inline.hpp"
never@3156 43 #endif
duke@435 44
duke@435 45
ysr@777 46 BitMap::BitMap(bm_word_t* map, idx_t size_in_bits) :
brutisso@5278 47 _map(map), _size(size_in_bits), _map_allocator(false)
ysr@777 48 {
ysr@777 49 assert(sizeof(bm_word_t) == BytesPerWord, "Implementation assumption.");
duke@435 50 assert(size_in_bits >= 0, "just checking");
duke@435 51 }
duke@435 52
duke@435 53
ysr@777 54 BitMap::BitMap(idx_t size_in_bits, bool in_resource_area) :
brutisso@5278 55 _map(NULL), _size(0), _map_allocator(false)
ysr@777 56 {
ysr@777 57 assert(sizeof(bm_word_t) == BytesPerWord, "Implementation assumption.");
ysr@777 58 resize(size_in_bits, in_resource_area);
duke@435 59 }
duke@435 60
ysr@777 61 void BitMap::resize(idx_t size_in_bits, bool in_resource_area) {
duke@435 62 assert(size_in_bits >= 0, "just checking");
ysr@777 63 idx_t old_size_in_words = size_in_words();
ysr@777 64 bm_word_t* old_map = map();
ysr@777 65
duke@435 66 _size = size_in_bits;
ysr@777 67 idx_t new_size_in_words = size_in_words();
ysr@777 68 if (in_resource_area) {
ysr@777 69 _map = NEW_RESOURCE_ARRAY(bm_word_t, new_size_in_words);
ysr@777 70 } else {
brutisso@5278 71 if (old_map != NULL) {
brutisso@5278 72 _map_allocator.free();
brutisso@5278 73 }
brutisso@5278 74 _map = _map_allocator.allocate(new_size_in_words);
ysr@777 75 }
ysr@777 76 Copy::disjoint_words((HeapWord*)old_map, (HeapWord*) _map,
ysr@777 77 MIN2(old_size_in_words, new_size_in_words));
duke@435 78 if (new_size_in_words > old_size_in_words) {
duke@435 79 clear_range_of_words(old_size_in_words, size_in_words());
duke@435 80 }
duke@435 81 }
duke@435 82
duke@435 83 void BitMap::set_range_within_word(idx_t beg, idx_t end) {
duke@435 84 // With a valid range (beg <= end), this test ensures that end != 0, as
duke@435 85 // required by inverted_bit_mask_for_range. Also avoids an unnecessary write.
duke@435 86 if (beg != end) {
ysr@777 87 bm_word_t mask = inverted_bit_mask_for_range(beg, end);
duke@435 88 *word_addr(beg) |= ~mask;
duke@435 89 }
duke@435 90 }
duke@435 91
duke@435 92 void BitMap::clear_range_within_word(idx_t beg, idx_t end) {
duke@435 93 // With a valid range (beg <= end), this test ensures that end != 0, as
duke@435 94 // required by inverted_bit_mask_for_range. Also avoids an unnecessary write.
duke@435 95 if (beg != end) {
ysr@777 96 bm_word_t mask = inverted_bit_mask_for_range(beg, end);
duke@435 97 *word_addr(beg) &= mask;
duke@435 98 }
duke@435 99 }
duke@435 100
duke@435 101 void BitMap::par_put_range_within_word(idx_t beg, idx_t end, bool value) {
duke@435 102 assert(value == 0 || value == 1, "0 for clear, 1 for set");
duke@435 103 // With a valid range (beg <= end), this test ensures that end != 0, as
duke@435 104 // required by inverted_bit_mask_for_range. Also avoids an unnecessary write.
duke@435 105 if (beg != end) {
duke@435 106 intptr_t* pw = (intptr_t*)word_addr(beg);
duke@435 107 intptr_t w = *pw;
duke@435 108 intptr_t mr = (intptr_t)inverted_bit_mask_for_range(beg, end);
duke@435 109 intptr_t nw = value ? (w | ~mr) : (w & mr);
duke@435 110 while (true) {
duke@435 111 intptr_t res = Atomic::cmpxchg_ptr(nw, pw, w);
duke@435 112 if (res == w) break;
tschatzl@6304 113 w = res;
duke@435 114 nw = value ? (w | ~mr) : (w & mr);
duke@435 115 }
duke@435 116 }
duke@435 117 }
duke@435 118
duke@435 119 void BitMap::set_range(idx_t beg, idx_t end) {
duke@435 120 verify_range(beg, end);
duke@435 121
duke@435 122 idx_t beg_full_word = word_index_round_up(beg);
duke@435 123 idx_t end_full_word = word_index(end);
duke@435 124
duke@435 125 if (beg_full_word < end_full_word) {
duke@435 126 // The range includes at least one full word.
duke@435 127 set_range_within_word(beg, bit_index(beg_full_word));
duke@435 128 set_range_of_words(beg_full_word, end_full_word);
duke@435 129 set_range_within_word(bit_index(end_full_word), end);
duke@435 130 } else {
duke@435 131 // The range spans at most 2 partial words.
duke@435 132 idx_t boundary = MIN2(bit_index(beg_full_word), end);
duke@435 133 set_range_within_word(beg, boundary);
duke@435 134 set_range_within_word(boundary, end);
duke@435 135 }
duke@435 136 }
duke@435 137
duke@435 138 void BitMap::clear_range(idx_t beg, idx_t end) {
duke@435 139 verify_range(beg, end);
duke@435 140
duke@435 141 idx_t beg_full_word = word_index_round_up(beg);
duke@435 142 idx_t end_full_word = word_index(end);
duke@435 143
duke@435 144 if (beg_full_word < end_full_word) {
duke@435 145 // The range includes at least one full word.
duke@435 146 clear_range_within_word(beg, bit_index(beg_full_word));
duke@435 147 clear_range_of_words(beg_full_word, end_full_word);
duke@435 148 clear_range_within_word(bit_index(end_full_word), end);
duke@435 149 } else {
duke@435 150 // The range spans at most 2 partial words.
duke@435 151 idx_t boundary = MIN2(bit_index(beg_full_word), end);
duke@435 152 clear_range_within_word(beg, boundary);
duke@435 153 clear_range_within_word(boundary, end);
duke@435 154 }
duke@435 155 }
duke@435 156
duke@435 157 void BitMap::set_large_range(idx_t beg, idx_t end) {
duke@435 158 verify_range(beg, end);
duke@435 159
duke@435 160 idx_t beg_full_word = word_index_round_up(beg);
duke@435 161 idx_t end_full_word = word_index(end);
duke@435 162
duke@435 163 assert(end_full_word - beg_full_word >= 32,
duke@435 164 "the range must include at least 32 bytes");
duke@435 165
duke@435 166 // The range includes at least one full word.
duke@435 167 set_range_within_word(beg, bit_index(beg_full_word));
duke@435 168 set_large_range_of_words(beg_full_word, end_full_word);
duke@435 169 set_range_within_word(bit_index(end_full_word), end);
duke@435 170 }
duke@435 171
duke@435 172 void BitMap::clear_large_range(idx_t beg, idx_t end) {
duke@435 173 verify_range(beg, end);
duke@435 174
duke@435 175 idx_t beg_full_word = word_index_round_up(beg);
duke@435 176 idx_t end_full_word = word_index(end);
duke@435 177
duke@435 178 assert(end_full_word - beg_full_word >= 32,
duke@435 179 "the range must include at least 32 bytes");
duke@435 180
duke@435 181 // The range includes at least one full word.
duke@435 182 clear_range_within_word(beg, bit_index(beg_full_word));
duke@435 183 clear_large_range_of_words(beg_full_word, end_full_word);
duke@435 184 clear_range_within_word(bit_index(end_full_word), end);
duke@435 185 }
duke@435 186
duke@435 187 void BitMap::at_put(idx_t offset, bool value) {
duke@435 188 if (value) {
duke@435 189 set_bit(offset);
duke@435 190 } else {
duke@435 191 clear_bit(offset);
duke@435 192 }
duke@435 193 }
duke@435 194
duke@435 195 // Return true to indicate that this thread changed
duke@435 196 // the bit, false to indicate that someone else did.
duke@435 197 // In either case, the requested bit is in the
duke@435 198 // requested state some time during the period that
duke@435 199 // this thread is executing this call. More importantly,
duke@435 200 // if no other thread is executing an action to
duke@435 201 // change the requested bit to a state other than
duke@435 202 // the one that this thread is trying to set it to,
duke@435 203 // then the the bit is in the expected state
duke@435 204 // at exit from this method. However, rather than
duke@435 205 // make such a strong assertion here, based on
duke@435 206 // assuming such constrained use (which though true
duke@435 207 // today, could change in the future to service some
duke@435 208 // funky parallel algorithm), we encourage callers
duke@435 209 // to do such verification, as and when appropriate.
duke@435 210 bool BitMap::par_at_put(idx_t bit, bool value) {
duke@435 211 return value ? par_set_bit(bit) : par_clear_bit(bit);
duke@435 212 }
duke@435 213
duke@435 214 void BitMap::at_put_grow(idx_t offset, bool value) {
duke@435 215 if (offset >= size()) {
duke@435 216 resize(2 * MAX2(size(), offset));
duke@435 217 }
duke@435 218 at_put(offset, value);
duke@435 219 }
duke@435 220
duke@435 221 void BitMap::at_put_range(idx_t start_offset, idx_t end_offset, bool value) {
duke@435 222 if (value) {
duke@435 223 set_range(start_offset, end_offset);
duke@435 224 } else {
duke@435 225 clear_range(start_offset, end_offset);
duke@435 226 }
duke@435 227 }
duke@435 228
duke@435 229 void BitMap::par_at_put_range(idx_t beg, idx_t end, bool value) {
duke@435 230 verify_range(beg, end);
duke@435 231
duke@435 232 idx_t beg_full_word = word_index_round_up(beg);
duke@435 233 idx_t end_full_word = word_index(end);
duke@435 234
duke@435 235 if (beg_full_word < end_full_word) {
duke@435 236 // The range includes at least one full word.
duke@435 237 par_put_range_within_word(beg, bit_index(beg_full_word), value);
duke@435 238 if (value) {
duke@435 239 set_range_of_words(beg_full_word, end_full_word);
duke@435 240 } else {
duke@435 241 clear_range_of_words(beg_full_word, end_full_word);
duke@435 242 }
duke@435 243 par_put_range_within_word(bit_index(end_full_word), end, value);
duke@435 244 } else {
duke@435 245 // The range spans at most 2 partial words.
duke@435 246 idx_t boundary = MIN2(bit_index(beg_full_word), end);
duke@435 247 par_put_range_within_word(beg, boundary, value);
duke@435 248 par_put_range_within_word(boundary, end, value);
duke@435 249 }
duke@435 250
duke@435 251 }
duke@435 252
duke@435 253 void BitMap::at_put_large_range(idx_t beg, idx_t end, bool value) {
duke@435 254 if (value) {
duke@435 255 set_large_range(beg, end);
duke@435 256 } else {
duke@435 257 clear_large_range(beg, end);
duke@435 258 }
duke@435 259 }
duke@435 260
duke@435 261 void BitMap::par_at_put_large_range(idx_t beg, idx_t end, bool value) {
duke@435 262 verify_range(beg, end);
duke@435 263
duke@435 264 idx_t beg_full_word = word_index_round_up(beg);
duke@435 265 idx_t end_full_word = word_index(end);
duke@435 266
duke@435 267 assert(end_full_word - beg_full_word >= 32,
duke@435 268 "the range must include at least 32 bytes");
duke@435 269
duke@435 270 // The range includes at least one full word.
duke@435 271 par_put_range_within_word(beg, bit_index(beg_full_word), value);
duke@435 272 if (value) {
duke@435 273 set_large_range_of_words(beg_full_word, end_full_word);
duke@435 274 } else {
duke@435 275 clear_large_range_of_words(beg_full_word, end_full_word);
duke@435 276 }
duke@435 277 par_put_range_within_word(bit_index(end_full_word), end, value);
duke@435 278 }
duke@435 279
duke@435 280 bool BitMap::contains(const BitMap other) const {
duke@435 281 assert(size() == other.size(), "must have same size");
ysr@777 282 bm_word_t* dest_map = map();
ysr@777 283 bm_word_t* other_map = other.map();
duke@435 284 idx_t size = size_in_words();
duke@435 285 for (idx_t index = 0; index < size_in_words(); index++) {
ysr@777 286 bm_word_t word_union = dest_map[index] | other_map[index];
duke@435 287 // If this has more bits set than dest_map[index], then other is not a
duke@435 288 // subset.
duke@435 289 if (word_union != dest_map[index]) return false;
duke@435 290 }
duke@435 291 return true;
duke@435 292 }
duke@435 293
duke@435 294 bool BitMap::intersects(const BitMap other) const {
duke@435 295 assert(size() == other.size(), "must have same size");
ysr@777 296 bm_word_t* dest_map = map();
ysr@777 297 bm_word_t* other_map = other.map();
duke@435 298 idx_t size = size_in_words();
duke@435 299 for (idx_t index = 0; index < size_in_words(); index++) {
duke@435 300 if ((dest_map[index] & other_map[index]) != 0) return true;
duke@435 301 }
duke@435 302 // Otherwise, no intersection.
duke@435 303 return false;
duke@435 304 }
duke@435 305
duke@435 306 void BitMap::set_union(BitMap other) {
duke@435 307 assert(size() == other.size(), "must have same size");
ysr@777 308 bm_word_t* dest_map = map();
ysr@777 309 bm_word_t* other_map = other.map();
duke@435 310 idx_t size = size_in_words();
duke@435 311 for (idx_t index = 0; index < size_in_words(); index++) {
duke@435 312 dest_map[index] = dest_map[index] | other_map[index];
duke@435 313 }
duke@435 314 }
duke@435 315
duke@435 316
duke@435 317 void BitMap::set_difference(BitMap other) {
duke@435 318 assert(size() == other.size(), "must have same size");
ysr@777 319 bm_word_t* dest_map = map();
ysr@777 320 bm_word_t* other_map = other.map();
duke@435 321 idx_t size = size_in_words();
duke@435 322 for (idx_t index = 0; index < size_in_words(); index++) {
duke@435 323 dest_map[index] = dest_map[index] & ~(other_map[index]);
duke@435 324 }
duke@435 325 }
duke@435 326
duke@435 327
duke@435 328 void BitMap::set_intersection(BitMap other) {
duke@435 329 assert(size() == other.size(), "must have same size");
ysr@777 330 bm_word_t* dest_map = map();
ysr@777 331 bm_word_t* other_map = other.map();
duke@435 332 idx_t size = size_in_words();
duke@435 333 for (idx_t index = 0; index < size; index++) {
duke@435 334 dest_map[index] = dest_map[index] & other_map[index];
duke@435 335 }
duke@435 336 }
duke@435 337
duke@435 338
ysr@777 339 void BitMap::set_intersection_at_offset(BitMap other, idx_t offset) {
ysr@777 340 assert(other.size() >= offset, "offset not in range");
ysr@777 341 assert(other.size() - offset >= size(), "other not large enough");
ysr@777 342 // XXX Ideally, we would remove this restriction.
ysr@777 343 guarantee((offset % (sizeof(bm_word_t) * BitsPerByte)) == 0,
ysr@777 344 "Only handle aligned cases so far.");
ysr@777 345 bm_word_t* dest_map = map();
ysr@777 346 bm_word_t* other_map = other.map();
ysr@777 347 idx_t offset_word_ind = word_index(offset);
ysr@777 348 idx_t size = size_in_words();
ysr@777 349 for (idx_t index = 0; index < size; index++) {
ysr@777 350 dest_map[index] = dest_map[index] & other_map[offset_word_ind + index];
ysr@777 351 }
ysr@777 352 }
ysr@777 353
duke@435 354 bool BitMap::set_union_with_result(BitMap other) {
duke@435 355 assert(size() == other.size(), "must have same size");
duke@435 356 bool changed = false;
ysr@777 357 bm_word_t* dest_map = map();
ysr@777 358 bm_word_t* other_map = other.map();
duke@435 359 idx_t size = size_in_words();
duke@435 360 for (idx_t index = 0; index < size; index++) {
duke@435 361 idx_t temp = map(index) | other_map[index];
duke@435 362 changed = changed || (temp != map(index));
duke@435 363 map()[index] = temp;
duke@435 364 }
duke@435 365 return changed;
duke@435 366 }
duke@435 367
duke@435 368
duke@435 369 bool BitMap::set_difference_with_result(BitMap other) {
duke@435 370 assert(size() == other.size(), "must have same size");
duke@435 371 bool changed = false;
ysr@777 372 bm_word_t* dest_map = map();
ysr@777 373 bm_word_t* other_map = other.map();
duke@435 374 idx_t size = size_in_words();
duke@435 375 for (idx_t index = 0; index < size; index++) {
ysr@777 376 bm_word_t temp = dest_map[index] & ~(other_map[index]);
duke@435 377 changed = changed || (temp != dest_map[index]);
duke@435 378 dest_map[index] = temp;
duke@435 379 }
duke@435 380 return changed;
duke@435 381 }
duke@435 382
duke@435 383
duke@435 384 bool BitMap::set_intersection_with_result(BitMap other) {
duke@435 385 assert(size() == other.size(), "must have same size");
duke@435 386 bool changed = false;
ysr@777 387 bm_word_t* dest_map = map();
ysr@777 388 bm_word_t* other_map = other.map();
duke@435 389 idx_t size = size_in_words();
duke@435 390 for (idx_t index = 0; index < size; index++) {
ysr@777 391 bm_word_t orig = dest_map[index];
ysr@777 392 bm_word_t temp = orig & other_map[index];
duke@435 393 changed = changed || (temp != orig);
duke@435 394 dest_map[index] = temp;
duke@435 395 }
duke@435 396 return changed;
duke@435 397 }
duke@435 398
duke@435 399
duke@435 400 void BitMap::set_from(BitMap other) {
duke@435 401 assert(size() == other.size(), "must have same size");
ysr@777 402 bm_word_t* dest_map = map();
ysr@777 403 bm_word_t* other_map = other.map();
duke@435 404 idx_t size = size_in_words();
duke@435 405 for (idx_t index = 0; index < size; index++) {
duke@435 406 dest_map[index] = other_map[index];
duke@435 407 }
duke@435 408 }
duke@435 409
duke@435 410
duke@435 411 bool BitMap::is_same(BitMap other) {
duke@435 412 assert(size() == other.size(), "must have same size");
ysr@777 413 bm_word_t* dest_map = map();
ysr@777 414 bm_word_t* other_map = other.map();
duke@435 415 idx_t size = size_in_words();
duke@435 416 for (idx_t index = 0; index < size; index++) {
duke@435 417 if (dest_map[index] != other_map[index]) return false;
duke@435 418 }
duke@435 419 return true;
duke@435 420 }
duke@435 421
duke@435 422 bool BitMap::is_full() const {
ysr@777 423 bm_word_t* word = map();
duke@435 424 idx_t rest = size();
duke@435 425 for (; rest >= (idx_t) BitsPerWord; rest -= BitsPerWord) {
ysr@777 426 if (*word != (bm_word_t) AllBits) return false;
duke@435 427 word++;
duke@435 428 }
ysr@777 429 return rest == 0 || (*word | ~right_n_bits((int)rest)) == (bm_word_t) AllBits;
duke@435 430 }
duke@435 431
duke@435 432
duke@435 433 bool BitMap::is_empty() const {
ysr@777 434 bm_word_t* word = map();
duke@435 435 idx_t rest = size();
duke@435 436 for (; rest >= (idx_t) BitsPerWord; rest -= BitsPerWord) {
ysr@777 437 if (*word != (bm_word_t) NoBits) return false;
duke@435 438 word++;
duke@435 439 }
ysr@777 440 return rest == 0 || (*word & right_n_bits((int)rest)) == (bm_word_t) NoBits;
duke@435 441 }
duke@435 442
duke@435 443 void BitMap::clear_large() {
duke@435 444 clear_large_range_of_words(0, size_in_words());
duke@435 445 }
duke@435 446
duke@435 447 // Note that if the closure itself modifies the bitmap
duke@435 448 // then modifications in and to the left of the _bit_ being
duke@435 449 // currently sampled will not be seen. Note also that the
duke@435 450 // interval [leftOffset, rightOffset) is right open.
ysr@777 451 bool BitMap::iterate(BitMapClosure* blk, idx_t leftOffset, idx_t rightOffset) {
duke@435 452 verify_range(leftOffset, rightOffset);
duke@435 453
duke@435 454 idx_t startIndex = word_index(leftOffset);
duke@435 455 idx_t endIndex = MIN2(word_index(rightOffset) + 1, size_in_words());
duke@435 456 for (idx_t index = startIndex, offset = leftOffset;
duke@435 457 offset < rightOffset && index < endIndex;
duke@435 458 offset = (++index) << LogBitsPerWord) {
duke@435 459 idx_t rest = map(index) >> (offset & (BitsPerWord - 1));
ysr@777 460 for (; offset < rightOffset && rest != (bm_word_t)NoBits; offset++) {
duke@435 461 if (rest & 1) {
ysr@777 462 if (!blk->do_bit(offset)) return false;
duke@435 463 // resample at each closure application
duke@435 464 // (see, for instance, CMS bug 4525989)
duke@435 465 rest = map(index) >> (offset & (BitsPerWord -1));
duke@435 466 }
duke@435 467 rest = rest >> 1;
duke@435 468 }
duke@435 469 }
ysr@777 470 return true;
duke@435 471 }
duke@435 472
ysr@777 473 BitMap::idx_t* BitMap::_pop_count_table = NULL;
duke@435 474
ysr@777 475 void BitMap::init_pop_count_table() {
ysr@777 476 if (_pop_count_table == NULL) {
zgu@3900 477 BitMap::idx_t *table = NEW_C_HEAP_ARRAY(idx_t, 256, mtInternal);
ysr@777 478 for (uint i = 0; i < 256; i++) {
ysr@777 479 table[i] = num_set_bits(i);
ysr@777 480 }
duke@435 481
ysr@777 482 intptr_t res = Atomic::cmpxchg_ptr((intptr_t) table,
ysr@777 483 (intptr_t*) &_pop_count_table,
ysr@777 484 (intptr_t) NULL_WORD);
ysr@777 485 if (res != NULL_WORD) {
ysr@777 486 guarantee( _pop_count_table == (void*) res, "invariant" );
zgu@3900 487 FREE_C_HEAP_ARRAY(bm_word_t, table, mtInternal);
duke@435 488 }
duke@435 489 }
duke@435 490 }
duke@435 491
ysr@777 492 BitMap::idx_t BitMap::num_set_bits(bm_word_t w) {
ysr@777 493 idx_t bits = 0;
duke@435 494
ysr@777 495 while (w != 0) {
ysr@777 496 while ((w & 1) == 0) {
ysr@777 497 w >>= 1;
ysr@777 498 }
ysr@777 499 bits++;
ysr@777 500 w >>= 1;
duke@435 501 }
ysr@777 502 return bits;
ysr@777 503 }
duke@435 504
ysr@777 505 BitMap::idx_t BitMap::num_set_bits_from_table(unsigned char c) {
ysr@777 506 assert(_pop_count_table != NULL, "precondition");
ysr@777 507 return _pop_count_table[c];
ysr@777 508 }
duke@435 509
ysr@777 510 BitMap::idx_t BitMap::count_one_bits() const {
ysr@777 511 init_pop_count_table(); // If necessary.
ysr@777 512 idx_t sum = 0;
ysr@777 513 typedef unsigned char uchar;
ysr@777 514 for (idx_t i = 0; i < size_in_words(); i++) {
ysr@777 515 bm_word_t w = map()[i];
ysr@777 516 for (size_t j = 0; j < sizeof(bm_word_t); j++) {
ysr@777 517 sum += num_set_bits_from_table(uchar(w & 255));
ysr@777 518 w >>= 8;
duke@435 519 }
duke@435 520 }
ysr@777 521 return sum;
duke@435 522 }
duke@435 523
stefank@4904 524 void BitMap::print_on_error(outputStream* st, const char* prefix) const {
stefank@4904 525 st->print_cr("%s[" PTR_FORMAT ", " PTR_FORMAT ")",
drchase@6680 526 prefix, p2i(map()), p2i((char*)map() + (size() >> LogBitsPerByte)));
stefank@4904 527 }
ysr@777 528
duke@435 529 #ifndef PRODUCT
duke@435 530
duke@435 531 void BitMap::print_on(outputStream* st) const {
drchase@6680 532 tty->print("Bitmap(" SIZE_FORMAT "):", size());
duke@435 533 for (idx_t index = 0; index < size(); index++) {
duke@435 534 tty->print("%c", at(index) ? '1' : '0');
duke@435 535 }
duke@435 536 tty->cr();
duke@435 537 }
duke@435 538
duke@435 539 #endif
duke@435 540
duke@435 541
ysr@777 542 BitMap2D::BitMap2D(bm_word_t* map, idx_t size_in_slots, idx_t bits_per_slot)
duke@435 543 : _bits_per_slot(bits_per_slot)
duke@435 544 , _map(map, size_in_slots * bits_per_slot)
duke@435 545 {
duke@435 546 }
duke@435 547
duke@435 548
duke@435 549 BitMap2D::BitMap2D(idx_t size_in_slots, idx_t bits_per_slot)
duke@435 550 : _bits_per_slot(bits_per_slot)
duke@435 551 , _map(size_in_slots * bits_per_slot)
duke@435 552 {
duke@435 553 }

mercurial