Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 1 | /* |
| 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 Gampe | 46ee31b | 2016-12-14 10:11:49 -0800 | [diff] [blame] | 17 | #include "array-inl.h" |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 18 | |
David Sehr | c431b9d | 2018-03-02 12:01:51 -0800 | [diff] [blame] | 19 | #include "base/utils.h" |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 20 | #include "class-inl.h" |
Andreas Gampe | 8cf9cb3 | 2017-07-19 09:28:38 -0700 | [diff] [blame] | 21 | #include "class.h" |
Ian Rogers | 9837939 | 2014-02-24 16:53:16 -0800 | [diff] [blame] | 22 | #include "class_linker-inl.h" |
Vladimir Marko | 0278be7 | 2018-05-24 13:30:24 +0100 | [diff] [blame^] | 23 | #include "class_root.h" |
Ian Rogers | 62d6c77 | 2013-02-27 08:32:07 -0800 | [diff] [blame] | 24 | #include "common_throws.h" |
David Sehr | 9e734c7 | 2018-01-04 17:56:19 -0800 | [diff] [blame] | 25 | #include "dex/dex_file-inl.h" |
Ian Rogers | 1d54e73 | 2013-05-02 21:10:01 -0700 | [diff] [blame] | 26 | #include "gc/accounting/card_table-inl.h" |
Andreas Gampe | 8cf9cb3 | 2017-07-19 09:28:38 -0700 | [diff] [blame] | 27 | #include "handle_scope-inl.h" |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 28 | #include "object-inl.h" |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 29 | #include "object_array-inl.h" |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 30 | #include "thread.h" |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 31 | |
| 32 | namespace art { |
| 33 | namespace mirror { |
| 34 | |
Andreas Gampe | 46ee31b | 2016-12-14 10:11:49 -0800 | [diff] [blame] | 35 | using android::base::StringPrintf; |
| 36 | |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 37 | // Create a multi-dimensional array of Objects or primitive types. |
| 38 | // |
| 39 | // We have to generate the names for X[], X[][], X[][][], and so on. The |
| 40 | // easiest way to deal with that is to create the full name once and then |
| 41 | // subtract pieces off. Besides, we want to start with the outermost |
| 42 | // piece and work our way in. |
| 43 | // Recursively create an array with multiple dimensions. Elements may be |
| 44 | // Objects or primitive types. |
Mathieu Chartier | 5bb9903 | 2014-02-08 16:20:58 -0800 | [diff] [blame] | 45 | static Array* RecursiveCreateMultiArray(Thread* self, |
Mathieu Chartier | 0cd8135 | 2014-05-22 16:48:55 -0700 | [diff] [blame] | 46 | Handle<Class> array_class, int current_dimension, |
| 47 | Handle<mirror::IntArray> dimensions) |
Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 48 | REQUIRES_SHARED(Locks::mutator_lock_) { |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 49 | int32_t array_length = dimensions->Get(current_dimension); |
Mathieu Chartier | eb8167a | 2014-05-07 15:43:14 -0700 | [diff] [blame] | 50 | StackHandleScope<1> hs(self); |
| 51 | Handle<Array> new_array( |
| 52 | hs.NewHandle( |
Hiroshi Yamauchi | f0edfc3 | 2014-09-25 11:46:46 -0700 | [diff] [blame] | 53 | Array::Alloc<true>(self, array_class.Get(), array_length, |
| 54 | array_class->GetComponentSizeShift(), |
Mathieu Chartier | eb8167a | 2014-05-07 15:43:14 -0700 | [diff] [blame] | 55 | Runtime::Current()->GetHeap()->GetCurrentAllocator()))); |
Andreas Gampe | fa4333d | 2017-02-14 11:10:34 -0800 | [diff] [blame] | 56 | if (UNLIKELY(new_array == nullptr)) { |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 57 | CHECK(self->IsExceptionPending()); |
Mathieu Chartier | 5bb9903 | 2014-02-08 16:20:58 -0800 | [diff] [blame] | 58 | return nullptr; |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 59 | } |
Mathieu Chartier | 590fee9 | 2013-09-13 13:46:47 -0700 | [diff] [blame] | 60 | if (current_dimension + 1 < dimensions->GetLength()) { |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 61 | // Create a new sub-array in every element of the array. |
| 62 | for (int32_t i = 0; i < array_length; i++) { |
Andreas Gampe | 277ccbd | 2014-11-03 21:36:10 -0800 | [diff] [blame] | 63 | StackHandleScope<1> hs2(self); |
| 64 | Handle<mirror::Class> h_component_type(hs2.NewHandle(array_class->GetComponentType())); |
Mathieu Chartier | bc5a795 | 2016-10-17 15:46:31 -0700 | [diff] [blame] | 65 | ObjPtr<Array> sub_array = RecursiveCreateMultiArray(self, h_component_type, |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 66 | current_dimension + 1, dimensions); |
Mathieu Chartier | 5bb9903 | 2014-02-08 16:20:58 -0800 | [diff] [blame] | 67 | if (UNLIKELY(sub_array == nullptr)) { |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 68 | CHECK(self->IsExceptionPending()); |
Mathieu Chartier | 5bb9903 | 2014-02-08 16:20:58 -0800 | [diff] [blame] | 69 | return nullptr; |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 70 | } |
Sebastien Hertz | d2fe10a | 2014-01-15 10:20:56 +0100 | [diff] [blame] | 71 | // Use non-transactional mode without check. |
| 72 | new_array->AsObjectArray<Array>()->Set<false, false>(i, sub_array); |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 73 | } |
| 74 | } |
Mathieu Chartier | eb8167a | 2014-05-07 15:43:14 -0700 | [diff] [blame] | 75 | return new_array.Get(); |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 76 | } |
| 77 | |
Mathieu Chartier | 0cd8135 | 2014-05-22 16:48:55 -0700 | [diff] [blame] | 78 | Array* Array::CreateMultiArray(Thread* self, Handle<Class> element_class, |
| 79 | Handle<IntArray> dimensions) { |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 80 | // Verify dimensions. |
| 81 | // |
| 82 | // The caller is responsible for verifying that "dimArray" is non-null |
| 83 | // and has a length > 0 and <= 255. |
| 84 | int num_dimensions = dimensions->GetLength(); |
| 85 | DCHECK_GT(num_dimensions, 0); |
| 86 | DCHECK_LE(num_dimensions, 255); |
| 87 | |
| 88 | for (int i = 0; i < num_dimensions; i++) { |
| 89 | int dimension = dimensions->Get(i); |
| 90 | if (UNLIKELY(dimension < 0)) { |
Ian Rogers | 62d6c77 | 2013-02-27 08:32:07 -0800 | [diff] [blame] | 91 | ThrowNegativeArraySizeException(StringPrintf("Dimension %d: %d", i, dimension).c_str()); |
Mathieu Chartier | 5bb9903 | 2014-02-08 16:20:58 -0800 | [diff] [blame] | 92 | return nullptr; |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 93 | } |
| 94 | } |
| 95 | |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 96 | // Find/generate the array class. |
| 97 | ClassLinker* class_linker = Runtime::Current()->GetClassLinker(); |
Mathieu Chartier | bc5a795 | 2016-10-17 15:46:31 -0700 | [diff] [blame] | 98 | ObjPtr<mirror::Class> element_class_ptr = element_class.Get(); |
Mathieu Chartier | eb8167a | 2014-05-07 15:43:14 -0700 | [diff] [blame] | 99 | StackHandleScope<1> hs(self); |
Andreas Gampe | 5a4b8a2 | 2014-09-11 08:30:08 -0700 | [diff] [blame] | 100 | MutableHandle<mirror::Class> array_class( |
Mathieu Chartier | b74cd29 | 2014-05-29 14:31:33 -0700 | [diff] [blame] | 101 | hs.NewHandle(class_linker->FindArrayClass(self, &element_class_ptr))); |
Andreas Gampe | fa4333d | 2017-02-14 11:10:34 -0800 | [diff] [blame] | 102 | if (UNLIKELY(array_class == nullptr)) { |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 103 | CHECK(self->IsExceptionPending()); |
Mathieu Chartier | 5bb9903 | 2014-02-08 16:20:58 -0800 | [diff] [blame] | 104 | return nullptr; |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 105 | } |
Ian Rogers | 9837939 | 2014-02-24 16:53:16 -0800 | [diff] [blame] | 106 | for (int32_t i = 1; i < dimensions->GetLength(); ++i) { |
Mathieu Chartier | bc5a795 | 2016-10-17 15:46:31 -0700 | [diff] [blame] | 107 | ObjPtr<mirror::Class> array_class_ptr = array_class.Get(); |
Mathieu Chartier | b74cd29 | 2014-05-29 14:31:33 -0700 | [diff] [blame] | 108 | array_class.Assign(class_linker->FindArrayClass(self, &array_class_ptr)); |
Andreas Gampe | fa4333d | 2017-02-14 11:10:34 -0800 | [diff] [blame] | 109 | if (UNLIKELY(array_class == nullptr)) { |
Ian Rogers | 9837939 | 2014-02-24 16:53:16 -0800 | [diff] [blame] | 110 | CHECK(self->IsExceptionPending()); |
| 111 | return nullptr; |
| 112 | } |
| 113 | } |
| 114 | // Create the array. |
Mathieu Chartier | bc5a795 | 2016-10-17 15:46:31 -0700 | [diff] [blame] | 115 | ObjPtr<Array> new_array = RecursiveCreateMultiArray(self, array_class, 0, dimensions); |
Mathieu Chartier | 5bb9903 | 2014-02-08 16:20:58 -0800 | [diff] [blame] | 116 | if (UNLIKELY(new_array == nullptr)) { |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 117 | CHECK(self->IsExceptionPending()); |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 118 | } |
Mathieu Chartier | bc5a795 | 2016-10-17 15:46:31 -0700 | [diff] [blame] | 119 | return new_array.Ptr(); |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 120 | } |
| 121 | |
Vladimir Marko | 0278be7 | 2018-05-24 13:30:24 +0100 | [diff] [blame^] | 122 | template<typename T> |
| 123 | PrimitiveArray<T>* PrimitiveArray<T>::Alloc(Thread* self, size_t length) { |
| 124 | Array* raw_array = Array::Alloc<true>(self, |
| 125 | GetClassRoot<PrimitiveArray<T>>(), |
| 126 | length, |
| 127 | ComponentSizeShiftWidth(sizeof(T)), |
| 128 | Runtime::Current()->GetHeap()->GetCurrentAllocator()); |
| 129 | return down_cast<PrimitiveArray<T>*>(raw_array); |
| 130 | } |
| 131 | |
Ian Rogers | ef7d42f | 2014-01-06 12:55:46 -0800 | [diff] [blame] | 132 | void Array::ThrowArrayIndexOutOfBoundsException(int32_t index) { |
Ian Rogers | 62d6c77 | 2013-02-27 08:32:07 -0800 | [diff] [blame] | 133 | art::ThrowArrayIndexOutOfBoundsException(index, GetLength()); |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 134 | } |
| 135 | |
Mathieu Chartier | 1a5337f | 2016-10-13 13:48:23 -0700 | [diff] [blame] | 136 | void Array::ThrowArrayStoreException(ObjPtr<Object> object) { |
Ian Rogers | 62d6c77 | 2013-02-27 08:32:07 -0800 | [diff] [blame] | 137 | art::ThrowArrayStoreException(object->GetClass(), this->GetClass()); |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 138 | } |
| 139 | |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 140 | Array* Array::CopyOf(Thread* self, int32_t new_length) { |
| 141 | CHECK(GetClass()->GetComponentType()->IsPrimitive()) << "Will miss write barriers"; |
| 142 | DCHECK_GE(new_length, 0); |
| 143 | // We may get copied by a compacting GC. |
| 144 | StackHandleScope<1> hs(self); |
| 145 | auto h_this(hs.NewHandle(this)); |
| 146 | auto* heap = Runtime::Current()->GetHeap(); |
| 147 | gc::AllocatorType allocator_type = heap->IsMovableObject(this) ? heap->GetCurrentAllocator() : |
| 148 | heap->GetCurrentNonMovingAllocator(); |
| 149 | const auto component_size = GetClass()->GetComponentSize(); |
| 150 | const auto component_shift = GetClass()->GetComponentSizeShift(); |
Mathieu Chartier | bc5a795 | 2016-10-17 15:46:31 -0700 | [diff] [blame] | 151 | ObjPtr<Array> new_array = Alloc<true>(self, GetClass(), new_length, component_shift, allocator_type); |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 152 | if (LIKELY(new_array != nullptr)) { |
Mathieu Chartier | bc5a795 | 2016-10-17 15:46:31 -0700 | [diff] [blame] | 153 | memcpy(new_array->GetRawData(component_size, 0), |
| 154 | h_this->GetRawData(component_size, 0), |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 155 | std::min(h_this->GetLength(), new_length) << component_shift); |
| 156 | } |
Mathieu Chartier | bc5a795 | 2016-10-17 15:46:31 -0700 | [diff] [blame] | 157 | return new_array.Ptr(); |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 158 | } |
| 159 | |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 160 | // Explicitly instantiate all the primitive array types. |
| 161 | template class PrimitiveArray<uint8_t>; // BooleanArray |
| 162 | template class PrimitiveArray<int8_t>; // ByteArray |
| 163 | template class PrimitiveArray<uint16_t>; // CharArray |
| 164 | template class PrimitiveArray<double>; // DoubleArray |
| 165 | template class PrimitiveArray<float>; // FloatArray |
| 166 | template class PrimitiveArray<int32_t>; // IntArray |
| 167 | template class PrimitiveArray<int64_t>; // LongArray |
| 168 | template class PrimitiveArray<int16_t>; // ShortArray |
| 169 | |
| 170 | } // namespace mirror |
| 171 | } // namespace art |