blob: 13f881d966a88abe763fb2eaab4b452d14448e8c [file] [log] [blame]
Ian Rogers2dd0e2c2013-01-24 12:42:14 -08001/*
2 * Copyright (C) 2011 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 Carlstromfc0e3212013-07-17 14:40:12 -070017#ifndef ART_RUNTIME_MIRROR_ARRAY_INL_H_
18#define ART_RUNTIME_MIRROR_ARRAY_INL_H_
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080019
20#include "array.h"
21
22#include "class.h"
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -070023#include "gc/heap-inl.h"
Hiroshi Yamauchi967a0ad2013-09-10 16:24:21 -070024#include "thread.h"
25#include "utils.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080026
27namespace art {
28namespace mirror {
29
Mingyao Yang98d1cc82014-05-15 17:02:16 -070030inline uint32_t Array::ClassSize() {
31 uint32_t vtable_entries = Object::kVTableLength;
Fred Shih37f05ef2014-07-16 18:38:08 -070032 return Class::ComputeClassSize(true, vtable_entries, 0, 0, 0, 0, 0);
Mingyao Yang98d1cc82014-05-15 17:02:16 -070033}
34
Hiroshi Yamauchi6e83c172014-05-01 21:25:41 -070035template<VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption>
Ian Rogersef7d42f2014-01-06 12:55:46 -080036inline size_t Array::SizeOf() {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080037 // This is safe from overflow because the array was already allocated, so we know it's sane.
Hiroshi Yamauchif0edfc32014-09-25 11:46:46 -070038 size_t component_size_shift = GetClass<kVerifyFlags, kReadBarrierOption>()->
39 template GetComponentSizeShift<kReadBarrierOption>();
Mathieu Chartier4e305412014-02-19 10:54:44 -080040 // Don't need to check this since we already check this in GetClass.
41 int32_t component_count =
42 GetLength<static_cast<VerifyObjectFlags>(kVerifyFlags & ~kVerifyThis)>();
Hiroshi Yamauchif0edfc32014-09-25 11:46:46 -070043 size_t header_size = DataOffset(1U << component_size_shift).SizeValue();
44 size_t data_size = component_count << component_size_shift;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080045 return header_size + data_size;
46}
47
Ian Rogers7e70b002014-10-08 11:47:24 -070048inline MemberOffset Array::DataOffset(size_t component_size) {
49 DCHECK(IsPowerOfTwo(component_size)) << component_size;
50 size_t data_offset = RoundUp(OFFSETOF_MEMBER(Array, first_element_), component_size);
51 DCHECK_EQ(RoundUp(data_offset, component_size), data_offset)
52 << "Array data offset isn't aligned with component size";
53 return MemberOffset(data_offset);
54}
55
Ian Rogersb0fa5dc2014-04-28 16:47:08 -070056template<VerifyObjectFlags kVerifyFlags>
57inline bool Array::CheckIsValidIndex(int32_t index) {
58 if (UNLIKELY(static_cast<uint32_t>(index) >=
59 static_cast<uint32_t>(GetLength<kVerifyFlags>()))) {
60 ThrowArrayIndexOutOfBoundsException(index);
61 return false;
62 }
63 return true;
64}
65
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -070066static inline size_t ComputeArraySize(Thread* self, Class* array_class, int32_t component_count,
Hiroshi Yamauchif0edfc32014-09-25 11:46:46 -070067 size_t component_size_shift)
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -070068 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
Hiroshi Yamauchi967a0ad2013-09-10 16:24:21 -070069 DCHECK(array_class != NULL);
70 DCHECK_GE(component_count, 0);
71 DCHECK(array_class->IsArrayClass());
72
Hiroshi Yamauchif0edfc32014-09-25 11:46:46 -070073 size_t component_size = 1U << component_size_shift;
Hiroshi Yamauchiaa866f52014-03-21 16:18:30 -070074 size_t header_size = Array::DataOffset(component_size).SizeValue();
Hiroshi Yamauchif0edfc32014-09-25 11:46:46 -070075 size_t data_size = static_cast<size_t>(component_count) << component_size_shift;
Hiroshi Yamauchi967a0ad2013-09-10 16:24:21 -070076 size_t size = header_size + data_size;
77
Hiroshi Yamauchif0edfc32014-09-25 11:46:46 -070078 // Check for size_t overflow and throw OutOfMemoryError if this was
79 // an unreasonable request.
80#ifdef __LP64__
81 // 64-bit. No overflow as component_count is 32-bit and the maximum
82 // component size is 8.
83 DCHECK_LE((1U << component_size_shift), 8U);
Ian Rogers6a3c1fc2014-10-31 00:33:20 -070084 UNUSED(self);
Hiroshi Yamauchif0edfc32014-09-25 11:46:46 -070085#else
86 // 32-bit.
87 DCHECK_NE(header_size, 0U);
88 DCHECK_EQ(RoundUp(header_size, component_size), header_size);
89 // The array length limit (exclusive).
90 const size_t length_limit = (0U - header_size) >> component_size_shift;
91 if (UNLIKELY(length_limit <= static_cast<size_t>(component_count))) {
Hiroshi Yamauchi967a0ad2013-09-10 16:24:21 -070092 self->ThrowOutOfMemoryError(StringPrintf("%s of length %d would overflow",
93 PrettyDescriptor(array_class).c_str(),
94 component_count).c_str());
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -070095 return 0; // failure
Hiroshi Yamauchi967a0ad2013-09-10 16:24:21 -070096 }
Hiroshi Yamauchif0edfc32014-09-25 11:46:46 -070097#endif
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -070098 return size;
99}
Hiroshi Yamauchi967a0ad2013-09-10 16:24:21 -0700100
Ian Rogers6fac4472014-02-25 17:01:10 -0800101// Used for setting the array length in the allocation code path to ensure it is guarded by a
102// StoreStore fence.
Mathieu Chartier1febddf2013-11-20 12:33:14 -0800103class SetLengthVisitor {
104 public:
105 explicit SetLengthVisitor(int32_t length) : length_(length) {
Hiroshi Yamauchi967a0ad2013-09-10 16:24:21 -0700106 }
Mathieu Chartier1febddf2013-11-20 12:33:14 -0800107
Ian Rogers6fac4472014-02-25 17:01:10 -0800108 void operator()(Object* obj, size_t usable_size) const
109 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
110 UNUSED(usable_size);
Ian Rogersef7d42f2014-01-06 12:55:46 -0800111 // Avoid AsArray as object is not yet in live bitmap or allocation stack.
112 Array* array = down_cast<Array*>(obj);
113 // DCHECK(array->IsArrayInstance());
Mathieu Chartier1febddf2013-11-20 12:33:14 -0800114 array->SetLength(length_);
115 }
116
117 private:
118 const int32_t length_;
Ian Rogers6fac4472014-02-25 17:01:10 -0800119
120 DISALLOW_COPY_AND_ASSIGN(SetLengthVisitor);
121};
122
123// Similar to SetLengthVisitor, used for setting the array length to fill the usable size of an
124// array.
125class SetLengthToUsableSizeVisitor {
126 public:
Hiroshi Yamauchif0edfc32014-09-25 11:46:46 -0700127 SetLengthToUsableSizeVisitor(int32_t min_length, size_t header_size,
128 size_t component_size_shift) :
129 minimum_length_(min_length), header_size_(header_size),
130 component_size_shift_(component_size_shift) {
Ian Rogers6fac4472014-02-25 17:01:10 -0800131 }
132
133 void operator()(Object* obj, size_t usable_size) const
134 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
135 // Avoid AsArray as object is not yet in live bitmap or allocation stack.
136 Array* array = down_cast<Array*>(obj);
Ian Rogers6fac4472014-02-25 17:01:10 -0800137 // DCHECK(array->IsArrayInstance());
Hiroshi Yamauchif0edfc32014-09-25 11:46:46 -0700138 int32_t length = (usable_size - header_size_) >> component_size_shift_;
Ian Rogersa55cf412014-02-27 00:31:26 -0800139 DCHECK_GE(length, minimum_length_);
Ian Rogers13735952014-10-08 12:43:28 -0700140 uint8_t* old_end = reinterpret_cast<uint8_t*>(array->GetRawData(1U << component_size_shift_,
141 minimum_length_));
142 uint8_t* new_end = reinterpret_cast<uint8_t*>(array->GetRawData(1U << component_size_shift_,
143 length));
Ian Rogersa55cf412014-02-27 00:31:26 -0800144 // Ensure space beyond original allocation is zeroed.
145 memset(old_end, 0, new_end - old_end);
Ian Rogers6fac4472014-02-25 17:01:10 -0800146 array->SetLength(length);
147 }
148
149 private:
Ian Rogersa55cf412014-02-27 00:31:26 -0800150 const int32_t minimum_length_;
Ian Rogers6fac4472014-02-25 17:01:10 -0800151 const size_t header_size_;
Hiroshi Yamauchif0edfc32014-09-25 11:46:46 -0700152 const size_t component_size_shift_;
Ian Rogers6fac4472014-02-25 17:01:10 -0800153
154 DISALLOW_COPY_AND_ASSIGN(SetLengthToUsableSizeVisitor);
Mathieu Chartier1febddf2013-11-20 12:33:14 -0800155};
Hiroshi Yamauchi967a0ad2013-09-10 16:24:21 -0700156
Hiroshi Yamauchif0edfc32014-09-25 11:46:46 -0700157template <bool kIsInstrumented, bool kFillUsable>
Mathieu Chartier590fee92013-09-13 13:46:47 -0700158inline Array* Array::Alloc(Thread* self, Class* array_class, int32_t component_count,
Hiroshi Yamauchif0edfc32014-09-25 11:46:46 -0700159 size_t component_size_shift, gc::AllocatorType allocator_type) {
Ian Rogers6fac4472014-02-25 17:01:10 -0800160 DCHECK(allocator_type != gc::kAllocatorTypeLOS);
Hiroshi Yamauchif0edfc32014-09-25 11:46:46 -0700161 DCHECK_EQ(array_class->GetComponentSizeShift(), component_size_shift);
162 DCHECK_EQ(array_class->GetComponentSize(), (1U << component_size_shift));
163 size_t size = ComputeArraySize(self, array_class, component_count, component_size_shift);
164#ifdef __LP64__
165 // 64-bit. No size_t overflow.
166 DCHECK_NE(size, 0U);
167#else
168 // 32-bit.
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700169 if (UNLIKELY(size == 0)) {
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800170 return nullptr;
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700171 }
Hiroshi Yamauchif0edfc32014-09-25 11:46:46 -0700172#endif
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700173 gc::Heap* heap = Runtime::Current()->GetHeap();
Ian Rogers6fac4472014-02-25 17:01:10 -0800174 Array* result;
Hiroshi Yamauchif0edfc32014-09-25 11:46:46 -0700175 if (!kFillUsable) {
Ian Rogers6fac4472014-02-25 17:01:10 -0800176 SetLengthVisitor visitor(component_count);
177 result = down_cast<Array*>(
178 heap->AllocObjectWithAllocator<kIsInstrumented, true>(self, array_class, size,
179 allocator_type, visitor));
180 } else {
Hiroshi Yamauchif0edfc32014-09-25 11:46:46 -0700181 SetLengthToUsableSizeVisitor visitor(component_count,
182 DataOffset(1U << component_size_shift).SizeValue(),
183 component_size_shift);
Ian Rogers6fac4472014-02-25 17:01:10 -0800184 result = down_cast<Array*>(
185 heap->AllocObjectWithAllocator<kIsInstrumented, true>(self, array_class, size,
186 allocator_type, visitor));
187 }
188 if (kIsDebugBuild && result != nullptr && Runtime::Current()->IsStarted()) {
Mathieu Chartier85801542014-02-27 18:06:26 -0800189 array_class = result->GetClass(); // In case the array class moved.
Hiroshi Yamauchif0edfc32014-09-25 11:46:46 -0700190 CHECK_EQ(array_class->GetComponentSize(), 1U << component_size_shift);
191 if (!kFillUsable) {
Ian Rogers6fac4472014-02-25 17:01:10 -0800192 CHECK_EQ(result->SizeOf(), size);
193 } else {
194 CHECK_GE(result->SizeOf(), size);
195 }
196 }
197 return result;
Hiroshi Yamauchi967a0ad2013-09-10 16:24:21 -0700198}
199
Mathieu Chartierc528dba2013-11-26 12:00:11 -0800200template<class T>
Mathieu Chartier83c8ee02014-01-28 14:50:23 -0800201inline void PrimitiveArray<T>::VisitRoots(RootCallback* callback, void* arg) {
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -0700202 if (!array_class_.IsNull()) {
203 array_class_.VisitRoot(callback, arg, 0, kRootStickyClass);
Mathieu Chartierc528dba2013-11-26 12:00:11 -0800204 }
205}
206
Ian Rogers99cb4ea2014-03-26 22:53:56 -0700207template<typename T>
208inline PrimitiveArray<T>* PrimitiveArray<T>::Alloc(Thread* self, size_t length) {
Hiroshi Yamauchif0edfc32014-09-25 11:46:46 -0700209 Array* raw_array = Array::Alloc<true>(self, GetArrayClass(), length,
210 ComponentSizeShiftWidth<sizeof(T)>(),
Ian Rogers99cb4ea2014-03-26 22:53:56 -0700211 Runtime::Current()->GetHeap()->GetCurrentAllocator());
212 return down_cast<PrimitiveArray<T>*>(raw_array);
213}
214
Ian Rogersb0fa5dc2014-04-28 16:47:08 -0700215template<typename T>
216inline T PrimitiveArray<T>::Get(int32_t i) {
217 if (!CheckIsValidIndex(i)) {
218 DCHECK(Thread::Current()->IsExceptionPending());
219 return T(0);
220 }
221 return GetWithoutChecks(i);
222}
223
224template<typename T>
225inline void PrimitiveArray<T>::Set(int32_t i, T value) {
226 if (Runtime::Current()->IsActiveTransaction()) {
227 Set<true>(i, value);
228 } else {
229 Set<false>(i, value);
230 }
231}
232
233template<typename T>
234template<bool kTransactionActive, bool kCheckTransaction>
235inline void PrimitiveArray<T>::Set(int32_t i, T value) {
236 if (CheckIsValidIndex(i)) {
237 SetWithoutChecks<kTransactionActive, kCheckTransaction>(i, value);
238 } else {
239 DCHECK(Thread::Current()->IsExceptionPending());
240 }
241}
242
243template<typename T>
244template<bool kTransactionActive, bool kCheckTransaction>
245inline void PrimitiveArray<T>::SetWithoutChecks(int32_t i, T value) {
246 if (kCheckTransaction) {
247 DCHECK_EQ(kTransactionActive, Runtime::Current()->IsActiveTransaction());
248 }
249 if (kTransactionActive) {
250 Runtime::Current()->RecordWriteArray(this, i, GetWithoutChecks(i));
251 }
252 DCHECK(CheckIsValidIndex(i));
253 GetData()[i] = value;
254}
Ian Rogers99cb4ea2014-03-26 22:53:56 -0700255// Backward copy where elements are of aligned appropriately for T. Count is in T sized units.
256// Copies are guaranteed not to tear when the sizeof T is less-than 64bit.
Ian Rogersef7d42f2014-01-06 12:55:46 -0800257template<typename T>
258static inline void ArrayBackwardCopy(T* d, const T* s, int32_t count) {
259 d += count;
260 s += count;
261 for (int32_t i = 0; i < count; ++i) {
262 d--;
263 s--;
264 *d = *s;
265 }
266}
267
Ian Rogers99cb4ea2014-03-26 22:53:56 -0700268// Forward copy where elements are of aligned appropriately for T. Count is in T sized units.
269// Copies are guaranteed not to tear when the sizeof T is less-than 64bit.
Ian Rogers6fac4472014-02-25 17:01:10 -0800270template<typename T>
Ian Rogers99cb4ea2014-03-26 22:53:56 -0700271static inline void ArrayForwardCopy(T* d, const T* s, int32_t count) {
272 for (int32_t i = 0; i < count; ++i) {
273 *d = *s;
274 d++;
275 s++;
276 }
Ian Rogers6fac4472014-02-25 17:01:10 -0800277}
278
Ian Rogersef7d42f2014-01-06 12:55:46 -0800279template<class T>
Ian Rogers6fac4472014-02-25 17:01:10 -0800280inline void PrimitiveArray<T>::Memmove(int32_t dst_pos, PrimitiveArray<T>* src, int32_t src_pos,
281 int32_t count) {
Ian Rogersef7d42f2014-01-06 12:55:46 -0800282 if (UNLIKELY(count == 0)) {
283 return;
284 }
285 DCHECK_GE(dst_pos, 0);
286 DCHECK_GE(src_pos, 0);
287 DCHECK_GT(count, 0);
288 DCHECK(src != nullptr);
289 DCHECK_LT(dst_pos, GetLength());
290 DCHECK_LE(dst_pos, GetLength() - count);
291 DCHECK_LT(src_pos, src->GetLength());
292 DCHECK_LE(src_pos, src->GetLength() - count);
293
294 // Note for non-byte copies we can't rely on standard libc functions like memcpy(3) and memmove(3)
295 // in our implementation, because they may copy byte-by-byte.
Ian Rogers99cb4ea2014-03-26 22:53:56 -0700296 if (LIKELY(src != this)) {
297 // Memcpy ok for guaranteed non-overlapping distinct arrays.
Ian Rogersef7d42f2014-01-06 12:55:46 -0800298 Memcpy(dst_pos, src, src_pos, count);
299 } else {
Ian Rogers99cb4ea2014-03-26 22:53:56 -0700300 // Handle copies within the same array using the appropriate direction copy.
Ian Rogersef7d42f2014-01-06 12:55:46 -0800301 void* dst_raw = GetRawData(sizeof(T), dst_pos);
302 const void* src_raw = src->GetRawData(sizeof(T), src_pos);
303 if (sizeof(T) == sizeof(uint8_t)) {
Ian Rogersef7d42f2014-01-06 12:55:46 -0800304 uint8_t* d = reinterpret_cast<uint8_t*>(dst_raw);
305 const uint8_t* s = reinterpret_cast<const uint8_t*>(src_raw);
Ian Rogers99cb4ea2014-03-26 22:53:56 -0700306 memmove(d, s, count);
Ian Rogersef7d42f2014-01-06 12:55:46 -0800307 } else {
Ian Rogers99cb4ea2014-03-26 22:53:56 -0700308 const bool copy_forward = (dst_pos < src_pos) || (dst_pos - src_pos >= count);
309 if (sizeof(T) == sizeof(uint16_t)) {
310 uint16_t* d = reinterpret_cast<uint16_t*>(dst_raw);
311 const uint16_t* s = reinterpret_cast<const uint16_t*>(src_raw);
312 if (copy_forward) {
313 ArrayForwardCopy<uint16_t>(d, s, count);
314 } else {
315 ArrayBackwardCopy<uint16_t>(d, s, count);
316 }
317 } else if (sizeof(T) == sizeof(uint32_t)) {
318 uint32_t* d = reinterpret_cast<uint32_t*>(dst_raw);
319 const uint32_t* s = reinterpret_cast<const uint32_t*>(src_raw);
320 if (copy_forward) {
321 ArrayForwardCopy<uint32_t>(d, s, count);
322 } else {
323 ArrayBackwardCopy<uint32_t>(d, s, count);
324 }
325 } else {
326 DCHECK_EQ(sizeof(T), sizeof(uint64_t));
327 uint64_t* d = reinterpret_cast<uint64_t*>(dst_raw);
328 const uint64_t* s = reinterpret_cast<const uint64_t*>(src_raw);
329 if (copy_forward) {
330 ArrayForwardCopy<uint64_t>(d, s, count);
331 } else {
332 ArrayBackwardCopy<uint64_t>(d, s, count);
333 }
334 }
Ian Rogersef7d42f2014-01-06 12:55:46 -0800335 }
336 }
337}
338
Ian Rogersef7d42f2014-01-06 12:55:46 -0800339template<class T>
Ian Rogers6fac4472014-02-25 17:01:10 -0800340inline void PrimitiveArray<T>::Memcpy(int32_t dst_pos, PrimitiveArray<T>* src, int32_t src_pos,
341 int32_t count) {
Ian Rogersef7d42f2014-01-06 12:55:46 -0800342 if (UNLIKELY(count == 0)) {
343 return;
344 }
345 DCHECK_GE(dst_pos, 0);
346 DCHECK_GE(src_pos, 0);
347 DCHECK_GT(count, 0);
348 DCHECK(src != nullptr);
349 DCHECK_LT(dst_pos, GetLength());
350 DCHECK_LE(dst_pos, GetLength() - count);
351 DCHECK_LT(src_pos, src->GetLength());
352 DCHECK_LE(src_pos, src->GetLength() - count);
353
354 // Note for non-byte copies we can't rely on standard libc functions like memcpy(3) and memmove(3)
355 // in our implementation, because they may copy byte-by-byte.
356 void* dst_raw = GetRawData(sizeof(T), dst_pos);
357 const void* src_raw = src->GetRawData(sizeof(T), src_pos);
358 if (sizeof(T) == sizeof(uint8_t)) {
359 memcpy(dst_raw, src_raw, count);
360 } else if (sizeof(T) == sizeof(uint16_t)) {
361 uint16_t* d = reinterpret_cast<uint16_t*>(dst_raw);
362 const uint16_t* s = reinterpret_cast<const uint16_t*>(src_raw);
363 ArrayForwardCopy<uint16_t>(d, s, count);
364 } else if (sizeof(T) == sizeof(uint32_t)) {
365 uint32_t* d = reinterpret_cast<uint32_t*>(dst_raw);
366 const uint32_t* s = reinterpret_cast<const uint32_t*>(src_raw);
367 ArrayForwardCopy<uint32_t>(d, s, count);
368 } else {
369 DCHECK_EQ(sizeof(T), sizeof(uint64_t));
370 uint64_t* d = reinterpret_cast<uint64_t*>(dst_raw);
371 const uint64_t* s = reinterpret_cast<const uint64_t*>(src_raw);
372 ArrayForwardCopy<uint64_t>(d, s, count);
373 }
374}
375
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800376} // namespace mirror
377} // namespace art
378
Brian Carlstromfc0e3212013-07-17 14:40:12 -0700379#endif // ART_RUNTIME_MIRROR_ARRAY_INL_H_