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 *
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20 * or visit www.oracle.com if you need additional information or have any
21 * questions.
22 */
23
24 #include "gc/z/zGeneration.inline.hpp"
25 #include "gc/z/zObjArrayAllocator.hpp"
26 #include "gc/z/zThreadLocalData.hpp"
27 #include "gc/z/zUtils.inline.hpp"
28 #include "oops/arrayKlass.hpp"
29 #include "runtime/interfaceSupport.inline.hpp"
30 #include "utilities/debug.hpp"
31
32 ZObjArrayAllocator::ZObjArrayAllocator(Klass* klass, size_t word_size, int length, bool do_zero, Thread* thread)
33 : ObjArrayAllocator(klass, word_size, length, do_zero, thread) {}
34
35 void ZObjArrayAllocator::yield_for_safepoint() const {
36 ThreadBlockInVM tbivm(JavaThread::cast(_thread));
37 }
38
39 oop ZObjArrayAllocator::initialize(HeapWord* mem) const {
40 // ZGC specializes the initialization by performing segmented clearing
41 // to allow shorter time-to-safepoints.
42
43 if (!_do_zero) {
44 // No need for ZGC specialization
45 return ObjArrayAllocator::initialize(mem);
46 }
47
48 // A max segment size of 64K was chosen because microbenchmarking
49 // suggested that it offered a good trade-off between allocation
50 // time and time-to-safepoint
51 const size_t segment_max = ZUtils::bytes_to_words(64 * K);
52
53 if (_word_size <= segment_max) {
54 // To small to use segmented clearing
55 return ObjArrayAllocator::initialize(mem);
56 }
57
58 // Segmented clearing
59
60 // The array is going to be exposed before it has been completely
61 // cleared, therefore we can't expose the header at the end of this
62 // function. Instead explicitly initialize it according to our needs.
63
64 // Signal to the ZIterator that this is an invisible root, by setting
65 // the mark word to "marked". Reset to prototype() after the clearing.
66 if (UseCompactObjectHeaders) {
67 oopDesc::release_set_mark(mem, _klass->prototype_header().set_marked());
68 } else {
69 arrayOopDesc::set_mark(mem, markWord::prototype().set_marked());
70 arrayOopDesc::release_set_klass(mem, _klass);
71 }
72 assert(_length >= 0, "length should be non-negative");
73 arrayOopDesc::set_length(mem, _length);
74
75 // Keep the array alive across safepoints through an invisible
76 // root. Invisible roots are not visited by the heap iterator
77 // and the marking logic will not attempt to follow its elements.
78 // Relocation and remembered set code know how to dodge iterating
79 // over such objects.
80 ZThreadLocalData::set_invisible_root(_thread, (zaddress_unsafe*)&mem);
81
82 const BasicType element_type = ArrayKlass::cast(_klass)->element_type();
83 const size_t base_offset_in_bytes = (size_t)arrayOopDesc::base_offset_in_bytes(element_type);
84 const size_t process_start_offset_in_bytes = align_up(base_offset_in_bytes, (size_t)BytesPerWord);
85
86 if (process_start_offset_in_bytes != base_offset_in_bytes) {
87 // initialize_memory can only fill word aligned memory,
88 // fill the first 4 bytes here.
89 assert(process_start_offset_in_bytes - base_offset_in_bytes == 4, "Must be 4-byte aligned");
139 seen_gc_safepoint = true;
140 return false;
141 }
142 }
143 return true;
144 };
145
146 mem_zap_start_padding(mem);
147
148 if (!initialize_memory()) {
149 // Re-color with 11 remset bits if we got intercepted by a GC safepoint
150 const bool result = initialize_memory();
151 assert(result, "Array initialization should always succeed the second time");
152 }
153
154 mem_zap_end_padding(mem);
155
156 ZThreadLocalData::clear_invisible_root(_thread);
157
158 // Signal to the ZIterator that this is no longer an invisible root
159 if (UseCompactObjectHeaders) {
160 oopDesc::release_set_mark(mem, _klass->prototype_header());
161 } else {
162 oopDesc::release_set_mark(mem, markWord::prototype());
163 }
164
165 return cast_to_oop(mem);
166 }
|
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 *
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20 * or visit www.oracle.com if you need additional information or have any
21 * questions.
22 */
23
24 #include "gc/z/zGeneration.inline.hpp"
25 #include "gc/z/zObjArrayAllocator.hpp"
26 #include "gc/z/zThreadLocalData.hpp"
27 #include "gc/z/zUtils.inline.hpp"
28 #include "oops/arrayKlass.hpp"
29 #include "runtime/interfaceSupport.inline.hpp"
30 #include "utilities/debug.hpp"
31 #include "utilities/globalDefinitions.hpp"
32
33 ZObjArrayAllocator::ZObjArrayAllocator(Klass* klass, size_t word_size, int length, bool do_zero, Thread* thread)
34 : ObjArrayAllocator(klass, word_size, length, do_zero, thread) {}
35
36 void ZObjArrayAllocator::yield_for_safepoint() const {
37 ThreadBlockInVM tbivm(JavaThread::cast(_thread));
38 }
39
40 oop ZObjArrayAllocator::initialize(HeapWord* mem) const {
41 // ZGC specializes the initialization by performing segmented clearing
42 // to allow shorter time-to-safepoints.
43
44 if (!_do_zero) {
45 // No need for ZGC specialization
46 return ObjArrayAllocator::initialize(mem);
47 }
48
49 // A max segment size of 64K was chosen because microbenchmarking
50 // suggested that it offered a good trade-off between allocation
51 // time and time-to-safepoint
52 const size_t segment_max = ZUtils::bytes_to_words(64 * K);
53
54 if (_word_size <= segment_max || ArrayKlass::cast(_klass)->is_flatArray_klass()) {
55 // To small to use segmented clearing
56 return ObjArrayAllocator::initialize(mem);
57 }
58
59 // Segmented clearing
60
61 // The array is going to be exposed before it has been completely
62 // cleared, therefore we can't expose the header at the end of this
63 // function. Instead explicitly initialize it according to our needs.
64
65 // Signal to the ZIterator that this is an invisible root, by setting
66 // the mark word to "marked". Reset to prototype() after the clearing.
67 if (UseCompactObjectHeaders) {
68 oopDesc::release_set_mark(mem, _klass->prototype_header().set_marked());
69 } else {
70 if (EnableValhalla) {
71 arrayOopDesc::set_mark(mem, _klass->prototype_header().set_marked());
72 } else {
73 arrayOopDesc::set_mark(mem, markWord::prototype().set_marked());
74 }
75 arrayOopDesc::release_set_klass(mem, _klass);
76 }
77 assert(_length >= 0, "length should be non-negative");
78 arrayOopDesc::set_length(mem, _length);
79
80 // Keep the array alive across safepoints through an invisible
81 // root. Invisible roots are not visited by the heap iterator
82 // and the marking logic will not attempt to follow its elements.
83 // Relocation and remembered set code know how to dodge iterating
84 // over such objects.
85 ZThreadLocalData::set_invisible_root(_thread, (zaddress_unsafe*)&mem);
86
87 const BasicType element_type = ArrayKlass::cast(_klass)->element_type();
88 const size_t base_offset_in_bytes = (size_t)arrayOopDesc::base_offset_in_bytes(element_type);
89 const size_t process_start_offset_in_bytes = align_up(base_offset_in_bytes, (size_t)BytesPerWord);
90
91 if (process_start_offset_in_bytes != base_offset_in_bytes) {
92 // initialize_memory can only fill word aligned memory,
93 // fill the first 4 bytes here.
94 assert(process_start_offset_in_bytes - base_offset_in_bytes == 4, "Must be 4-byte aligned");
144 seen_gc_safepoint = true;
145 return false;
146 }
147 }
148 return true;
149 };
150
151 mem_zap_start_padding(mem);
152
153 if (!initialize_memory()) {
154 // Re-color with 11 remset bits if we got intercepted by a GC safepoint
155 const bool result = initialize_memory();
156 assert(result, "Array initialization should always succeed the second time");
157 }
158
159 mem_zap_end_padding(mem);
160
161 ZThreadLocalData::clear_invisible_root(_thread);
162
163 // Signal to the ZIterator that this is no longer an invisible root
164 if (UseCompactObjectHeaders || EnableValhalla) {
165 oopDesc::release_set_mark(mem, _klass->prototype_header());
166 } else {
167 oopDesc::release_set_mark(mem, markWord::prototype());
168 }
169
170 return cast_to_oop(mem);
171 }
|