author | tschatzl |
Wed, 25 Nov 2015 14:43:29 +0100 | |
changeset 34300 | 6075c1e0e913 |
parent 33786 | ac8da6513351 |
child 35461 | 1068dcb8d315 |
permissions | -rw-r--r-- |
1374 | 1 |
/* |
30583
74ff3d21d616
8079330: Circular dependency between G1CollectedHeap and G1BlockOffsetSharedArray
pliden
parents:
26322
diff
changeset
|
2 |
* Copyright (c) 2001, 2015, Oracle and/or its affiliates. All rights reserved. |
1374 | 3 |
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
4 |
* |
|
5 |
* This code is free software; you can redistribute it and/or modify it |
|
6 |
* under the terms of the GNU General Public License version 2 only, as |
|
7 |
* published by the Free Software Foundation. |
|
8 |
* |
|
9 |
* This code is distributed in the hope that it will be useful, but WITHOUT |
|
10 |
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
|
11 |
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
|
12 |
* version 2 for more details (a copy is included in the LICENSE file that |
|
13 |
* accompanied this code). |
|
14 |
* |
|
15 |
* You should have received a copy of the GNU General Public License version |
|
16 |
* 2 along with this work; if not, write to the Free Software Foundation, |
|
17 |
* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
|
18 |
* |
|
5547
f4b087cbb361
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
3262
diff
changeset
|
19 |
* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
f4b087cbb361
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
3262
diff
changeset
|
20 |
* or visit www.oracle.com if you need additional information or have any |
f4b087cbb361
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
3262
diff
changeset
|
21 |
* questions. |
1374 | 22 |
* |
23 |
*/ |
|
24 |
||
30764 | 25 |
#ifndef SHARE_VM_GC_G1_G1BLOCKOFFSETTABLE_INLINE_HPP |
26 |
#define SHARE_VM_GC_G1_G1BLOCKOFFSETTABLE_INLINE_HPP |
|
7397 | 27 |
|
30764 | 28 |
#include "gc/g1/g1BlockOffsetTable.hpp" |
32389
626f27450e12
8067336: Allow that PLAB allocations at the end of regions are flexible
tschatzl
parents:
30764
diff
changeset
|
29 |
#include "gc/g1/heapRegion.hpp" |
32598
70b490faa49f
8131330: G1CollectedHeap::verify_dirty_young_list fails with assert
kbarrett
parents:
32389
diff
changeset
|
30 |
#include "gc/shared/memset_with_concurrent_readers.hpp" |
30764 | 31 |
#include "gc/shared/space.hpp" |
7397 | 32 |
|
1374 | 33 |
inline HeapWord* G1BlockOffsetTable::block_start(const void* addr) { |
34 |
if (addr >= _bottom && addr < _end) { |
|
35 |
return block_start_unsafe(addr); |
|
36 |
} else { |
|
37 |
return NULL; |
|
38 |
} |
|
39 |
} |
|
40 |
||
41 |
inline HeapWord* |
|
42 |
G1BlockOffsetTable::block_start_const(const void* addr) const { |
|
43 |
if (addr >= _bottom && addr < _end) { |
|
44 |
return block_start_unsafe_const(addr); |
|
45 |
} else { |
|
46 |
return NULL; |
|
47 |
} |
|
48 |
} |
|
49 |
||
26160 | 50 |
u_char G1BlockOffsetSharedArray::offset_array(size_t index) const { |
51 |
check_index(index, "index out of range"); |
|
52 |
return _offset_array[index]; |
|
53 |
} |
|
54 |
||
55 |
void G1BlockOffsetSharedArray::set_offset_array(size_t index, u_char offset) { |
|
56 |
check_index(index, "index out of range"); |
|
57 |
set_offset_array_raw(index, offset); |
|
58 |
} |
|
59 |
||
60 |
void G1BlockOffsetSharedArray::set_offset_array(size_t index, HeapWord* high, HeapWord* low) { |
|
61 |
check_index(index, "index out of range"); |
|
62 |
assert(high >= low, "addresses out of order"); |
|
63 |
size_t offset = pointer_delta(high, low); |
|
64 |
check_offset(offset, "offset too large"); |
|
65 |
set_offset_array(index, (u_char)offset); |
|
66 |
} |
|
67 |
||
68 |
void G1BlockOffsetSharedArray::set_offset_array(size_t left, size_t right, u_char offset) { |
|
69 |
check_index(right, "right index out of range"); |
|
70 |
assert(left <= right, "indexes out of order"); |
|
71 |
size_t num_cards = right - left + 1; |
|
32598
70b490faa49f
8131330: G1CollectedHeap::verify_dirty_young_list fails with assert
kbarrett
parents:
32389
diff
changeset
|
72 |
memset_with_concurrent_readers(&_offset_array[left], offset, num_cards); |
26160 | 73 |
} |
74 |
||
75 |
// Variant of index_for that does not check the index for validity. |
|
76 |
inline size_t G1BlockOffsetSharedArray::index_for_raw(const void* p) const { |
|
77 |
return pointer_delta((char*)p, _reserved.start(), sizeof(char)) >> LogN; |
|
78 |
} |
|
79 |
||
1374 | 80 |
inline size_t G1BlockOffsetSharedArray::index_for(const void* p) const { |
81 |
char* pc = (char*)p; |
|
82 |
assert(pc >= (char*)_reserved.start() && |
|
83 |
pc < (char*)_reserved.end(), |
|
33105
294e48b4f704
8080775: Better argument formatting for assert() and friends
david
parents:
32598
diff
changeset
|
84 |
"p (" PTR_FORMAT ") not in reserved [" PTR_FORMAT ", " PTR_FORMAT ")", |
294e48b4f704
8080775: Better argument formatting for assert() and friends
david
parents:
32598
diff
changeset
|
85 |
p2i(p), p2i(_reserved.start()), p2i(_reserved.end())); |
26160 | 86 |
size_t result = index_for_raw(p); |
14584
bd4290e6d0a5
7194633: G1: Assertion and guarantee failures in block offset table
johnc
parents:
13728
diff
changeset
|
87 |
check_index(result, "bad index from address"); |
1374 | 88 |
return result; |
89 |
} |
|
90 |
||
91 |
inline HeapWord* |
|
92 |
G1BlockOffsetSharedArray::address_for_index(size_t index) const { |
|
14584
bd4290e6d0a5
7194633: G1: Assertion and guarantee failures in block offset table
johnc
parents:
13728
diff
changeset
|
93 |
check_index(index, "index out of range"); |
26160 | 94 |
HeapWord* result = address_for_index_raw(index); |
1374 | 95 |
assert(result >= _reserved.start() && result < _reserved.end(), |
33105
294e48b4f704
8080775: Better argument formatting for assert() and friends
david
parents:
32598
diff
changeset
|
96 |
"bad address from index result " PTR_FORMAT |
294e48b4f704
8080775: Better argument formatting for assert() and friends
david
parents:
32598
diff
changeset
|
97 |
" _reserved.start() " PTR_FORMAT " _reserved.end() " PTR_FORMAT, |
294e48b4f704
8080775: Better argument formatting for assert() and friends
david
parents:
32598
diff
changeset
|
98 |
p2i(result), p2i(_reserved.start()), p2i(_reserved.end())); |
1374 | 99 |
return result; |
100 |
} |
|
101 |
||
25361
5146d1e12a2f
8047820: G1 Block offset table does not need to support generic Space classes
mgerdin
parents:
24424
diff
changeset
|
102 |
inline size_t |
5146d1e12a2f
8047820: G1 Block offset table does not need to support generic Space classes
mgerdin
parents:
24424
diff
changeset
|
103 |
G1BlockOffsetArray::block_size(const HeapWord* p) const { |
5146d1e12a2f
8047820: G1 Block offset table does not need to support generic Space classes
mgerdin
parents:
24424
diff
changeset
|
104 |
return gsp()->block_size(p); |
5146d1e12a2f
8047820: G1 Block offset table does not need to support generic Space classes
mgerdin
parents:
24424
diff
changeset
|
105 |
} |
5146d1e12a2f
8047820: G1 Block offset table does not need to support generic Space classes
mgerdin
parents:
24424
diff
changeset
|
106 |
|
1374 | 107 |
inline HeapWord* |
108 |
G1BlockOffsetArray::block_at_or_preceding(const void* addr, |
|
109 |
bool has_max_index, |
|
110 |
size_t max_index) const { |
|
111 |
assert(_array->offset_array(0) == 0, "objects can't cross covered areas"); |
|
112 |
size_t index = _array->index_for(addr); |
|
113 |
// We must make sure that the offset table entry we use is valid. If |
|
114 |
// "addr" is past the end, start at the last known one and go forward. |
|
115 |
if (has_max_index) { |
|
116 |
index = MIN2(index, max_index); |
|
117 |
} |
|
118 |
HeapWord* q = _array->address_for_index(index); |
|
119 |
||
120 |
uint offset = _array->offset_array(index); // Extend u_char to uint. |
|
121 |
while (offset >= N_words) { |
|
122 |
// The excess of the offset from N_words indicates a power of Base |
|
123 |
// to go back by. |
|
124 |
size_t n_cards_back = BlockOffsetArray::entry_to_cards_back(offset); |
|
125 |
q -= (N_words * n_cards_back); |
|
126 |
index -= n_cards_back; |
|
127 |
offset = _array->offset_array(index); |
|
128 |
} |
|
129 |
assert(offset < N_words, "offset too large"); |
|
130 |
q -= offset; |
|
131 |
return q; |
|
132 |
} |
|
133 |
||
134 |
inline HeapWord* |
|
135 |
G1BlockOffsetArray:: |
|
136 |
forward_to_block_containing_addr_const(HeapWord* q, HeapWord* n, |
|
137 |
const void* addr) const { |
|
25361
5146d1e12a2f
8047820: G1 Block offset table does not need to support generic Space classes
mgerdin
parents:
24424
diff
changeset
|
138 |
if (addr >= gsp()->top()) return gsp()->top(); |
5146d1e12a2f
8047820: G1 Block offset table does not need to support generic Space classes
mgerdin
parents:
24424
diff
changeset
|
139 |
while (n <= addr) { |
5146d1e12a2f
8047820: G1 Block offset table does not need to support generic Space classes
mgerdin
parents:
24424
diff
changeset
|
140 |
q = n; |
5146d1e12a2f
8047820: G1 Block offset table does not need to support generic Space classes
mgerdin
parents:
24424
diff
changeset
|
141 |
oop obj = oop(q); |
5146d1e12a2f
8047820: G1 Block offset table does not need to support generic Space classes
mgerdin
parents:
24424
diff
changeset
|
142 |
if (obj->klass_or_null() == NULL) return q; |
25492
d27050bdfb04
8049421: G1 Class Unloading after completing a concurrent mark cycle
stefank
parents:
25491
diff
changeset
|
143 |
n += block_size(q); |
1374 | 144 |
} |
145 |
assert(q <= n, "wrong order for q and addr"); |
|
146 |
assert(addr < n, "wrong order for addr and n"); |
|
147 |
return q; |
|
148 |
} |
|
149 |
||
150 |
inline HeapWord* |
|
151 |
G1BlockOffsetArray::forward_to_block_containing_addr(HeapWord* q, |
|
152 |
const void* addr) { |
|
3262
30d1c247fc25
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
1374
diff
changeset
|
153 |
if (oop(q)->klass_or_null() == NULL) return q; |
25361
5146d1e12a2f
8047820: G1 Block offset table does not need to support generic Space classes
mgerdin
parents:
24424
diff
changeset
|
154 |
HeapWord* n = q + block_size(q); |
1374 | 155 |
// In the normal case, where the query "addr" is a card boundary, and the |
156 |
// offset table chunks are the same size as cards, the block starting at |
|
157 |
// "q" will contain addr, so the test below will fail, and we'll fall |
|
158 |
// through quickly. |
|
159 |
if (n <= addr) { |
|
160 |
q = forward_to_block_containing_addr_slow(q, n, addr); |
|
161 |
} |
|
162 |
assert(q <= addr, "wrong order for current and arg"); |
|
163 |
return q; |
|
164 |
} |
|
165 |
||
30764 | 166 |
#endif // SHARE_VM_GC_G1_G1BLOCKOFFSETTABLE_INLINE_HPP |