blob: 3fa5fbf44f67172621621079f649f38162a75e66 [file] [log] [blame]
Ian Rogers57b86d42012-03-27 16:05:41 -07001/*
2 * Copyright (C) 2012 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
Mathieu Chartierd8891782014-03-02 13:28:37 -080017#include "entrypoints/quick/quick_alloc_entrypoints.h"
18
Mathieu Chartiere401d142015-04-22 13:56:20 -070019#include "art_method-inl.h"
Andreas Gampe542451c2016-07-26 09:02:02 -070020#include "base/enums.h"
Ian Rogers57b86d42012-03-27 16:05:41 -070021#include "callee_save_frame.h"
Andreas Gampea5b09a62016-11-17 15:21:22 -080022#include "dex_file_types.h"
Mingyao Yang98d1cc82014-05-15 17:02:16 -070023#include "entrypoints/entrypoint_utils-inl.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080024#include "mirror/class-inl.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080025#include "mirror/object_array-inl.h"
Ian Rogers4f6ad8a2013-03-18 15:27:28 -070026#include "mirror/object-inl.h"
Ian Rogers57b86d42012-03-27 16:05:41 -070027
28namespace art {
29
Hiroshi Yamauchieb1e9292014-08-06 12:41:15 -070030static constexpr bool kUseTlabFastPath = true;
31
Nicolas Geoffray0d3998b2017-01-12 15:35:12 +000032template <bool kInitialized,
33 bool kFinalize,
34 bool kInstrumented,
35 gc::AllocatorType allocator_type>
36static ALWAYS_INLINE inline mirror::Object* artAllocObjectFromCode(
37 mirror::Class* klass,
38 Thread* self) REQUIRES_SHARED(Locks::mutator_lock_) {
39 ScopedQuickEntrypointChecks sqec(self);
40 DCHECK(klass != nullptr);
41 if (kUseTlabFastPath && !kInstrumented && allocator_type == gc::kAllocatorTypeTLAB) {
42 if (kInitialized || klass->IsInitialized()) {
43 if (!kFinalize || !klass->IsFinalizable()) {
44 size_t byte_count = klass->GetObjectSize();
45 byte_count = RoundUp(byte_count, gc::space::BumpPointerSpace::kAlignment);
46 mirror::Object* obj;
47 if (LIKELY(byte_count < self->TlabSize())) {
48 obj = self->AllocTlab(byte_count);
49 DCHECK(obj != nullptr) << "AllocTlab can't fail";
50 obj->SetClass(klass);
51 if (kUseBakerReadBarrier) {
52 obj->AssertReadBarrierState();
53 }
54 QuasiAtomic::ThreadFenceForConstructor();
55 return obj;
56 }
57 }
58 }
59 }
60 if (kInitialized) {
61 return AllocObjectFromCodeInitialized<kInstrumented>(klass, self, allocator_type);
62 } else if (!kFinalize) {
63 return AllocObjectFromCodeResolved<kInstrumented>(klass, self, allocator_type);
64 } else {
65 return AllocObjectFromCode<kInstrumented>(klass, self, allocator_type);
66 }
67}
68
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080069#define GENERATE_ENTRYPOINTS_FOR_ALLOCATOR_INST(suffix, suffix2, instrumented_bool, allocator_type) \
Nicolas Geoffray0d3998b2017-01-12 15:35:12 +000070extern "C" mirror::Object* artAllocObjectFromCodeWithChecks##suffix##suffix2( \
71 mirror::Class* klass, Thread* self) \
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070072 REQUIRES_SHARED(Locks::mutator_lock_) { \
Nicolas Geoffray0d3998b2017-01-12 15:35:12 +000073 return artAllocObjectFromCode<false, true, instrumented_bool, allocator_type>(klass, self); \
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080074} \
Hiroshi Yamauchibe1ca552014-01-15 11:46:48 -080075extern "C" mirror::Object* artAllocObjectFromCodeResolved##suffix##suffix2( \
Nicolas Geoffray0d3998b2017-01-12 15:35:12 +000076 mirror::Class* klass, Thread* self) \
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070077 REQUIRES_SHARED(Locks::mutator_lock_) { \
Nicolas Geoffray0d3998b2017-01-12 15:35:12 +000078 return artAllocObjectFromCode<false, false, instrumented_bool, allocator_type>(klass, self); \
Hiroshi Yamauchibe1ca552014-01-15 11:46:48 -080079} \
80extern "C" mirror::Object* artAllocObjectFromCodeInitialized##suffix##suffix2( \
Nicolas Geoffray0d3998b2017-01-12 15:35:12 +000081 mirror::Class* klass, Thread* self) \
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070082 REQUIRES_SHARED(Locks::mutator_lock_) { \
Nicolas Geoffray0d3998b2017-01-12 15:35:12 +000083 return artAllocObjectFromCode<true, false, instrumented_bool, allocator_type>(klass, self); \
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080084} \
85extern "C" mirror::Array* artAllocArrayFromCode##suffix##suffix2( \
Mathieu Chartiere401d142015-04-22 13:56:20 -070086 uint32_t type_idx, int32_t component_count, ArtMethod* method, Thread* self) \
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070087 REQUIRES_SHARED(Locks::mutator_lock_) { \
Ian Rogers1d8cdbc2014-09-22 22:51:09 -070088 ScopedQuickEntrypointChecks sqec(self); \
Andreas Gampea5b09a62016-11-17 15:21:22 -080089 return AllocArrayFromCode<false, instrumented_bool>(dex::TypeIndex(type_idx), \
90 component_count, \
91 method, \
92 self, \
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080093 allocator_type); \
94} \
Hiroshi Yamauchibb8f0ab2014-01-27 16:50:29 -080095extern "C" mirror::Array* artAllocArrayFromCodeResolved##suffix##suffix2( \
Nicolas Geoffraye761bcc2017-01-19 08:59:37 +000096 mirror::Class* klass, int32_t component_count, Thread* self) \
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070097 REQUIRES_SHARED(Locks::mutator_lock_) { \
Ian Rogers1d8cdbc2014-09-22 22:51:09 -070098 ScopedQuickEntrypointChecks sqec(self); \
Nicolas Geoffraye761bcc2017-01-19 08:59:37 +000099 return AllocArrayFromCodeResolved<instrumented_bool>(klass, component_count, self, \
100 allocator_type); \
Hiroshi Yamauchibb8f0ab2014-01-27 16:50:29 -0800101} \
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800102extern "C" mirror::Array* artAllocArrayFromCodeWithAccessCheck##suffix##suffix2( \
Mathieu Chartiere401d142015-04-22 13:56:20 -0700103 uint32_t type_idx, int32_t component_count, ArtMethod* method, Thread* self) \
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700104 REQUIRES_SHARED(Locks::mutator_lock_) { \
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700105 ScopedQuickEntrypointChecks sqec(self); \
Andreas Gampea5b09a62016-11-17 15:21:22 -0800106 return AllocArrayFromCode<true, instrumented_bool>(dex::TypeIndex(type_idx), \
107 component_count, \
108 method, \
109 self, \
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800110 allocator_type); \
111} \
Jeff Hao848f70a2014-01-15 13:49:50 -0800112extern "C" mirror::String* artAllocStringFromBytesFromCode##suffix##suffix2( \
113 mirror::ByteArray* byte_array, int32_t high, int32_t offset, int32_t byte_count, \
114 Thread* self) \
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700115 REQUIRES_SHARED(Locks::mutator_lock_) { \
Jeff Hao848f70a2014-01-15 13:49:50 -0800116 ScopedQuickEntrypointChecks sqec(self); \
117 StackHandleScope<1> hs(self); \
118 Handle<mirror::ByteArray> handle_array(hs.NewHandle(byte_array)); \
119 return mirror::String::AllocFromByteArray<instrumented_bool>(self, byte_count, handle_array, \
120 offset, high, allocator_type); \
121} \
122extern "C" mirror::String* artAllocStringFromCharsFromCode##suffix##suffix2( \
123 int32_t offset, int32_t char_count, mirror::CharArray* char_array, Thread* self) \
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700124 REQUIRES_SHARED(Locks::mutator_lock_) { \
Jeff Hao848f70a2014-01-15 13:49:50 -0800125 StackHandleScope<1> hs(self); \
126 Handle<mirror::CharArray> handle_array(hs.NewHandle(char_array)); \
127 return mirror::String::AllocFromCharArray<instrumented_bool>(self, char_count, handle_array, \
128 offset, allocator_type); \
129} \
Chih-Hung Hsiehfba39972016-05-11 11:26:48 -0700130extern "C" mirror::String* artAllocStringFromStringFromCode##suffix##suffix2( /* NOLINT */ \
Jeff Hao848f70a2014-01-15 13:49:50 -0800131 mirror::String* string, Thread* self) \
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700132 REQUIRES_SHARED(Locks::mutator_lock_) { \
Jeff Hao848f70a2014-01-15 13:49:50 -0800133 StackHandleScope<1> hs(self); \
134 Handle<mirror::String> handle_string(hs.NewHandle(string)); \
135 return mirror::String::AllocFromString<instrumented_bool>(self, handle_string->GetLength(), \
136 handle_string, 0, allocator_type); \
Ian Rogers57b86d42012-03-27 16:05:41 -0700137}
138
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800139#define GENERATE_ENTRYPOINTS_FOR_ALLOCATOR(suffix, allocator_type) \
140 GENERATE_ENTRYPOINTS_FOR_ALLOCATOR_INST(suffix, Instrumented, true, allocator_type) \
141 GENERATE_ENTRYPOINTS_FOR_ALLOCATOR_INST(suffix, , false, allocator_type)
Ian Rogers57b86d42012-03-27 16:05:41 -0700142
Mathieu Chartiere6da9af2013-12-16 11:54:42 -0800143GENERATE_ENTRYPOINTS_FOR_ALLOCATOR(DlMalloc, gc::kAllocatorTypeDlMalloc)
144GENERATE_ENTRYPOINTS_FOR_ALLOCATOR(RosAlloc, gc::kAllocatorTypeRosAlloc)
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800145GENERATE_ENTRYPOINTS_FOR_ALLOCATOR(BumpPointer, gc::kAllocatorTypeBumpPointer)
Mathieu Chartier692fafd2013-11-29 17:24:40 -0800146GENERATE_ENTRYPOINTS_FOR_ALLOCATOR(TLAB, gc::kAllocatorTypeTLAB)
Hiroshi Yamauchi2cd334a2015-01-09 14:03:35 -0800147GENERATE_ENTRYPOINTS_FOR_ALLOCATOR(Region, gc::kAllocatorTypeRegion)
148GENERATE_ENTRYPOINTS_FOR_ALLOCATOR(RegionTLAB, gc::kAllocatorTypeRegionTLAB)
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700149
Mathieu Chartierd8891782014-03-02 13:28:37 -0800150#define GENERATE_ENTRYPOINTS(suffix) \
Mathieu Chartiere401d142015-04-22 13:56:20 -0700151extern "C" void* art_quick_alloc_array##suffix(uint32_t, int32_t, ArtMethod* ref); \
Nicolas Geoffraye761bcc2017-01-19 08:59:37 +0000152extern "C" void* art_quick_alloc_array_resolved##suffix(mirror::Class* klass, int32_t); \
Mathieu Chartiere401d142015-04-22 13:56:20 -0700153extern "C" void* art_quick_alloc_array_with_access_check##suffix(uint32_t, int32_t, ArtMethod* ref); \
Nicolas Geoffray0d3998b2017-01-12 15:35:12 +0000154extern "C" void* art_quick_alloc_object_resolved##suffix(mirror::Class* klass); \
155extern "C" void* art_quick_alloc_object_initialized##suffix(mirror::Class* klass); \
156extern "C" void* art_quick_alloc_object_with_checks##suffix(mirror::Class* klass); \
Mathieu Chartiere401d142015-04-22 13:56:20 -0700157extern "C" void* art_quick_check_and_alloc_array##suffix(uint32_t, int32_t, ArtMethod* ref); \
158extern "C" void* art_quick_check_and_alloc_array_with_access_check##suffix(uint32_t, int32_t, ArtMethod* ref); \
Jeff Hao848f70a2014-01-15 13:49:50 -0800159extern "C" void* art_quick_alloc_string_from_bytes##suffix(void*, int32_t, int32_t, int32_t); \
160extern "C" void* art_quick_alloc_string_from_chars##suffix(int32_t, int32_t, void*); \
161extern "C" void* art_quick_alloc_string_from_string##suffix(void*); \
Mathieu Chartiere401d142015-04-22 13:56:20 -0700162extern "C" void* art_quick_alloc_array##suffix##_instrumented(uint32_t, int32_t, ArtMethod* ref); \
Nicolas Geoffraye761bcc2017-01-19 08:59:37 +0000163extern "C" void* art_quick_alloc_array_resolved##suffix##_instrumented(mirror::Class* klass, int32_t); \
Mathieu Chartiere401d142015-04-22 13:56:20 -0700164extern "C" void* art_quick_alloc_array_with_access_check##suffix##_instrumented(uint32_t, int32_t, ArtMethod* ref); \
165extern "C" void* art_quick_alloc_object##suffix##_instrumented(uint32_t type_idx, ArtMethod* ref); \
Nicolas Geoffray0d3998b2017-01-12 15:35:12 +0000166extern "C" void* art_quick_alloc_object_resolved##suffix##_instrumented(mirror::Class* klass); \
167extern "C" void* art_quick_alloc_object_initialized##suffix##_instrumented(mirror::Class* klass); \
168extern "C" void* art_quick_alloc_object_with_checks##suffix##_instrumented(mirror::Class* klass); \
Mathieu Chartiere401d142015-04-22 13:56:20 -0700169extern "C" void* art_quick_check_and_alloc_array##suffix##_instrumented(uint32_t, int32_t, ArtMethod* ref); \
170extern "C" void* art_quick_check_and_alloc_array_with_access_check##suffix##_instrumented(uint32_t, int32_t, ArtMethod* ref); \
Jeff Hao848f70a2014-01-15 13:49:50 -0800171extern "C" void* art_quick_alloc_string_from_bytes##suffix##_instrumented(void*, int32_t, int32_t, int32_t); \
172extern "C" void* art_quick_alloc_string_from_chars##suffix##_instrumented(int32_t, int32_t, void*); \
173extern "C" void* art_quick_alloc_string_from_string##suffix##_instrumented(void*); \
Mathieu Chartierd8891782014-03-02 13:28:37 -0800174void SetQuickAllocEntryPoints##suffix(QuickEntryPoints* qpoints, bool instrumented) { \
175 if (instrumented) { \
176 qpoints->pAllocArray = art_quick_alloc_array##suffix##_instrumented; \
177 qpoints->pAllocArrayResolved = art_quick_alloc_array_resolved##suffix##_instrumented; \
178 qpoints->pAllocArrayWithAccessCheck = art_quick_alloc_array_with_access_check##suffix##_instrumented; \
Mathieu Chartierd8891782014-03-02 13:28:37 -0800179 qpoints->pAllocObjectResolved = art_quick_alloc_object_resolved##suffix##_instrumented; \
180 qpoints->pAllocObjectInitialized = art_quick_alloc_object_initialized##suffix##_instrumented; \
Nicolas Geoffray0d3998b2017-01-12 15:35:12 +0000181 qpoints->pAllocObjectWithChecks = art_quick_alloc_object_with_checks##suffix##_instrumented; \
Jeff Hao848f70a2014-01-15 13:49:50 -0800182 qpoints->pAllocStringFromBytes = art_quick_alloc_string_from_bytes##suffix##_instrumented; \
183 qpoints->pAllocStringFromChars = art_quick_alloc_string_from_chars##suffix##_instrumented; \
184 qpoints->pAllocStringFromString = art_quick_alloc_string_from_string##suffix##_instrumented; \
Mathieu Chartierd8891782014-03-02 13:28:37 -0800185 } else { \
186 qpoints->pAllocArray = art_quick_alloc_array##suffix; \
187 qpoints->pAllocArrayResolved = art_quick_alloc_array_resolved##suffix; \
188 qpoints->pAllocArrayWithAccessCheck = art_quick_alloc_array_with_access_check##suffix; \
Mathieu Chartierd8891782014-03-02 13:28:37 -0800189 qpoints->pAllocObjectResolved = art_quick_alloc_object_resolved##suffix; \
190 qpoints->pAllocObjectInitialized = art_quick_alloc_object_initialized##suffix; \
Nicolas Geoffray0d3998b2017-01-12 15:35:12 +0000191 qpoints->pAllocObjectWithChecks = art_quick_alloc_object_with_checks##suffix; \
Jeff Hao848f70a2014-01-15 13:49:50 -0800192 qpoints->pAllocStringFromBytes = art_quick_alloc_string_from_bytes##suffix; \
193 qpoints->pAllocStringFromChars = art_quick_alloc_string_from_chars##suffix; \
194 qpoints->pAllocStringFromString = art_quick_alloc_string_from_string##suffix; \
Mathieu Chartierd8891782014-03-02 13:28:37 -0800195 } \
196}
197
198// Generate the entrypoint functions.
Ian Rogersc3ccc102014-06-25 11:52:14 -0700199#if !defined(__APPLE__) || !defined(__LP64__)
Andreas Gampec8ccf682014-09-29 20:07:43 -0700200GENERATE_ENTRYPOINTS(_dlmalloc)
201GENERATE_ENTRYPOINTS(_rosalloc)
202GENERATE_ENTRYPOINTS(_bump_pointer)
203GENERATE_ENTRYPOINTS(_tlab)
Hiroshi Yamauchi2cd334a2015-01-09 14:03:35 -0800204GENERATE_ENTRYPOINTS(_region)
205GENERATE_ENTRYPOINTS(_region_tlab)
Ian Rogersc3ccc102014-06-25 11:52:14 -0700206#endif
Mathieu Chartierd8891782014-03-02 13:28:37 -0800207
208static bool entry_points_instrumented = false;
209static gc::AllocatorType entry_points_allocator = gc::kAllocatorTypeDlMalloc;
210
211void SetQuickAllocEntryPointsAllocator(gc::AllocatorType allocator) {
212 entry_points_allocator = allocator;
213}
214
215void SetQuickAllocEntryPointsInstrumented(bool instrumented) {
216 entry_points_instrumented = instrumented;
217}
218
Mathieu Chartier5ace2012016-11-30 10:15:41 -0800219void ResetQuickAllocEntryPoints(QuickEntryPoints* qpoints, bool is_marking) {
Andreas Gampe48cc32c2015-04-07 02:53:04 +0000220#if !defined(__APPLE__) || !defined(__LP64__)
Ian Rogersde2db522014-11-04 14:43:18 -0800221 switch (entry_points_allocator) {
Mathieu Chartierd8891782014-03-02 13:28:37 -0800222 case gc::kAllocatorTypeDlMalloc: {
223 SetQuickAllocEntryPoints_dlmalloc(qpoints, entry_points_instrumented);
Ian Rogers7dc9c812014-11-04 15:10:55 -0800224 return;
Mathieu Chartierd8891782014-03-02 13:28:37 -0800225 }
226 case gc::kAllocatorTypeRosAlloc: {
227 SetQuickAllocEntryPoints_rosalloc(qpoints, entry_points_instrumented);
Ian Rogers7dc9c812014-11-04 15:10:55 -0800228 return;
Mathieu Chartierd8891782014-03-02 13:28:37 -0800229 }
230 case gc::kAllocatorTypeBumpPointer: {
231 CHECK(kMovingCollector);
232 SetQuickAllocEntryPoints_bump_pointer(qpoints, entry_points_instrumented);
Ian Rogers7dc9c812014-11-04 15:10:55 -0800233 return;
Mathieu Chartierd8891782014-03-02 13:28:37 -0800234 }
235 case gc::kAllocatorTypeTLAB: {
236 CHECK(kMovingCollector);
237 SetQuickAllocEntryPoints_tlab(qpoints, entry_points_instrumented);
Ian Rogers7dc9c812014-11-04 15:10:55 -0800238 return;
Mathieu Chartierd8891782014-03-02 13:28:37 -0800239 }
Hiroshi Yamauchi2cd334a2015-01-09 14:03:35 -0800240 case gc::kAllocatorTypeRegion: {
241 CHECK(kMovingCollector);
242 SetQuickAllocEntryPoints_region(qpoints, entry_points_instrumented);
243 return;
244 }
245 case gc::kAllocatorTypeRegionTLAB: {
246 CHECK(kMovingCollector);
Mathieu Chartier5ace2012016-11-30 10:15:41 -0800247 if (is_marking) {
248 SetQuickAllocEntryPoints_region_tlab(qpoints, entry_points_instrumented);
249 } else {
250 // Not marking means we need no read barriers and can just use the normal TLAB case.
251 SetQuickAllocEntryPoints_tlab(qpoints, entry_points_instrumented);
252 }
Hiroshi Yamauchi2cd334a2015-01-09 14:03:35 -0800253 return;
254 }
Andreas Gampe48cc32c2015-04-07 02:53:04 +0000255 default:
256 break;
Mathieu Chartierd8891782014-03-02 13:28:37 -0800257 }
Andreas Gampe48cc32c2015-04-07 02:53:04 +0000258#else
259 UNUSED(qpoints);
Mathieu Chartier5ace2012016-11-30 10:15:41 -0800260 UNUSED(is_marking);
Andreas Gampe48cc32c2015-04-07 02:53:04 +0000261#endif
262 UNIMPLEMENTED(FATAL);
Ian Rogersde2db522014-11-04 14:43:18 -0800263 UNREACHABLE();
Mathieu Chartierd8891782014-03-02 13:28:37 -0800264}
265
Ian Rogers57b86d42012-03-27 16:05:41 -0700266} // namespace art