blob: 05e397db9548a5b707455375342067f623fed85b [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
Andreas Gampe46ee31b2016-12-14 10:11:49 -080017#include "array-inl.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080018
Andreas Gampe8e0f0432018-10-24 13:38:03 -070019#include "array-alloc-inl.h"
David Sehrc431b9d2018-03-02 12:01:51 -080020#include "base/utils.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080021#include "class-inl.h"
Andreas Gampe8cf9cb32017-07-19 09:28:38 -070022#include "class.h"
Ian Rogers98379392014-02-24 16:53:16 -080023#include "class_linker-inl.h"
Vladimir Marko0278be72018-05-24 13:30:24 +010024#include "class_root.h"
Ian Rogers62d6c772013-02-27 08:32:07 -080025#include "common_throws.h"
David Sehr9e734c72018-01-04 17:56:19 -080026#include "dex/dex_file-inl.h"
Ian Rogers1d54e732013-05-02 21:10:01 -070027#include "gc/accounting/card_table-inl.h"
Andreas Gampe8cf9cb32017-07-19 09:28:38 -070028#include "handle_scope-inl.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080029#include "object-inl.h"
Andreas Gampe52ecb652018-10-24 15:18:21 -070030#include "object_array-alloc-inl.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080031#include "object_array-inl.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080032#include "thread.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080033
34namespace art {
35namespace mirror {
36
Andreas Gampe46ee31b2016-12-14 10:11:49 -080037using android::base::StringPrintf;
38
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080039// Create a multi-dimensional array of Objects or primitive types.
40//
41// We have to generate the names for X[], X[][], X[][][], and so on. The
42// easiest way to deal with that is to create the full name once and then
43// subtract pieces off. Besides, we want to start with the outermost
44// piece and work our way in.
45// Recursively create an array with multiple dimensions. Elements may be
46// Objects or primitive types.
Vladimir Markobcf17522018-06-01 13:14:32 +010047static ObjPtr<Array> RecursiveCreateMultiArray(Thread* self,
48 Handle<Class> array_class,
49 int current_dimension,
50 Handle<mirror::IntArray> dimensions)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070051 REQUIRES_SHARED(Locks::mutator_lock_) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080052 int32_t array_length = dimensions->Get(current_dimension);
Vladimir Markobcf17522018-06-01 13:14:32 +010053 StackHandleScope<2> hs(self);
54 Handle<mirror::Class> h_component_type(hs.NewHandle(array_class->GetComponentType()));
55 size_t component_size_shift = h_component_type->GetPrimitiveTypeSizeShift();
56 gc::AllocatorType allocator_type = Runtime::Current()->GetHeap()->GetCurrentAllocator();
57 Handle<Array> new_array(hs.NewHandle(Array::Alloc<true>(
58 self, array_class.Get(), array_length, component_size_shift, allocator_type)));
Andreas Gampefa4333d2017-02-14 11:10:34 -080059 if (UNLIKELY(new_array == nullptr)) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080060 CHECK(self->IsExceptionPending());
Mathieu Chartier5bb99032014-02-08 16:20:58 -080061 return nullptr;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080062 }
Mathieu Chartier590fee92013-09-13 13:46:47 -070063 if (current_dimension + 1 < dimensions->GetLength()) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080064 // Create a new sub-array in every element of the array.
65 for (int32_t i = 0; i < array_length; i++) {
Vladimir Markobcf17522018-06-01 13:14:32 +010066 ObjPtr<Array> sub_array =
67 RecursiveCreateMultiArray(self, h_component_type, current_dimension + 1, dimensions);
Mathieu Chartier5bb99032014-02-08 16:20:58 -080068 if (UNLIKELY(sub_array == nullptr)) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080069 CHECK(self->IsExceptionPending());
Mathieu Chartier5bb99032014-02-08 16:20:58 -080070 return nullptr;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080071 }
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +010072 // Use non-transactional mode without check.
73 new_array->AsObjectArray<Array>()->Set<false, false>(i, sub_array);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080074 }
75 }
Mathieu Chartiereb8167a2014-05-07 15:43:14 -070076 return new_array.Get();
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080077}
78
Vladimir Markobcf17522018-06-01 13:14:32 +010079ObjPtr<Array> Array::CreateMultiArray(Thread* self,
80 Handle<Class> element_class,
81 Handle<IntArray> dimensions) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080082 // Verify dimensions.
83 //
84 // The caller is responsible for verifying that "dimArray" is non-null
85 // and has a length > 0 and <= 255.
86 int num_dimensions = dimensions->GetLength();
87 DCHECK_GT(num_dimensions, 0);
88 DCHECK_LE(num_dimensions, 255);
89
90 for (int i = 0; i < num_dimensions; i++) {
91 int dimension = dimensions->Get(i);
92 if (UNLIKELY(dimension < 0)) {
Ian Rogers62d6c772013-02-27 08:32:07 -080093 ThrowNegativeArraySizeException(StringPrintf("Dimension %d: %d", i, dimension).c_str());
Mathieu Chartier5bb99032014-02-08 16:20:58 -080094 return nullptr;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080095 }
96 }
97
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080098 // Find/generate the array class.
99 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700100 StackHandleScope<1> hs(self);
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700101 MutableHandle<mirror::Class> array_class(
Vladimir Markobcf17522018-06-01 13:14:32 +0100102 hs.NewHandle(class_linker->FindArrayClass(self, element_class.Get())));
Andreas Gampefa4333d2017-02-14 11:10:34 -0800103 if (UNLIKELY(array_class == nullptr)) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800104 CHECK(self->IsExceptionPending());
Mathieu Chartier5bb99032014-02-08 16:20:58 -0800105 return nullptr;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800106 }
Ian Rogers98379392014-02-24 16:53:16 -0800107 for (int32_t i = 1; i < dimensions->GetLength(); ++i) {
Vladimir Markobcf17522018-06-01 13:14:32 +0100108 array_class.Assign(class_linker->FindArrayClass(self, array_class.Get()));
Andreas Gampefa4333d2017-02-14 11:10:34 -0800109 if (UNLIKELY(array_class == nullptr)) {
Ian Rogers98379392014-02-24 16:53:16 -0800110 CHECK(self->IsExceptionPending());
111 return nullptr;
112 }
113 }
114 // Create the array.
Mathieu Chartierbc5a7952016-10-17 15:46:31 -0700115 ObjPtr<Array> new_array = RecursiveCreateMultiArray(self, array_class, 0, dimensions);
Mathieu Chartier5bb99032014-02-08 16:20:58 -0800116 if (UNLIKELY(new_array == nullptr)) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800117 CHECK(self->IsExceptionPending());
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800118 }
Mathieu Chartierbc5a7952016-10-17 15:46:31 -0700119 return new_array.Ptr();
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800120}
121
Vladimir Marko0278be72018-05-24 13:30:24 +0100122template<typename T>
Vladimir Markobcf17522018-06-01 13:14:32 +0100123ObjPtr<PrimitiveArray<T>> PrimitiveArray<T>::Alloc(Thread* self, size_t length) {
124 gc::AllocatorType allocator_type = Runtime::Current()->GetHeap()->GetCurrentAllocator();
125 ObjPtr<Array> raw_array = Array::Alloc<true>(self,
126 GetClassRoot<PrimitiveArray<T>>(),
127 length,
128 ComponentSizeShiftWidth(sizeof(T)),
129 allocator_type);
130 return ObjPtr<PrimitiveArray<T>>::DownCast(raw_array);
Vladimir Marko0278be72018-05-24 13:30:24 +0100131}
132
Ian Rogersef7d42f2014-01-06 12:55:46 -0800133void Array::ThrowArrayIndexOutOfBoundsException(int32_t index) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800134 art::ThrowArrayIndexOutOfBoundsException(index, GetLength());
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800135}
136
Mathieu Chartier1a5337f2016-10-13 13:48:23 -0700137void Array::ThrowArrayStoreException(ObjPtr<Object> object) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800138 art::ThrowArrayStoreException(object->GetClass(), this->GetClass());
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800139}
140
Vladimir Markobcf17522018-06-01 13:14:32 +0100141ObjPtr<Array> Array::CopyOf(Thread* self, int32_t new_length) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700142 CHECK(GetClass()->GetComponentType()->IsPrimitive()) << "Will miss write barriers";
143 DCHECK_GE(new_length, 0);
144 // We may get copied by a compacting GC.
145 StackHandleScope<1> hs(self);
146 auto h_this(hs.NewHandle(this));
147 auto* heap = Runtime::Current()->GetHeap();
148 gc::AllocatorType allocator_type = heap->IsMovableObject(this) ? heap->GetCurrentAllocator() :
149 heap->GetCurrentNonMovingAllocator();
150 const auto component_size = GetClass()->GetComponentSize();
151 const auto component_shift = GetClass()->GetComponentSizeShift();
Vladimir Markobcf17522018-06-01 13:14:32 +0100152 ObjPtr<Array> new_array =
153 Alloc<true>(self, GetClass(), new_length, component_shift, allocator_type);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700154 if (LIKELY(new_array != nullptr)) {
Mathieu Chartierbc5a7952016-10-17 15:46:31 -0700155 memcpy(new_array->GetRawData(component_size, 0),
156 h_this->GetRawData(component_size, 0),
Mathieu Chartiere401d142015-04-22 13:56:20 -0700157 std::min(h_this->GetLength(), new_length) << component_shift);
158 }
Mathieu Chartierbc5a7952016-10-17 15:46:31 -0700159 return new_array.Ptr();
Mathieu Chartiere401d142015-04-22 13:56:20 -0700160}
161
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800162// Explicitly instantiate all the primitive array types.
163template class PrimitiveArray<uint8_t>; // BooleanArray
164template class PrimitiveArray<int8_t>; // ByteArray
165template class PrimitiveArray<uint16_t>; // CharArray
166template class PrimitiveArray<double>; // DoubleArray
167template class PrimitiveArray<float>; // FloatArray
168template class PrimitiveArray<int32_t>; // IntArray
169template class PrimitiveArray<int64_t>; // LongArray
170template class PrimitiveArray<int16_t>; // ShortArray
171
172} // namespace mirror
173} // namespace art