Elliott Hughes | 0f3c553 | 2012-03-30 14:51:51 -0700 | [diff] [blame] | 1 | /* |
| 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 | */ |
buzbee | 5433072 | 2011-08-23 16:46:55 -0700 | [diff] [blame] | 16 | |
| 17 | #ifndef ART_SRC_RUNTIME_SUPPORT_H_ |
| 18 | #define ART_SRC_RUNTIME_SUPPORT_H_ |
| 19 | |
Shih-wei Liao | 2d83101 | 2011-09-28 22:06:53 -0700 | [diff] [blame] | 20 | #include "class_linker.h" |
Ian Rogers | 87e552d | 2012-08-31 15:54:48 -0700 | [diff] [blame] | 21 | #include "common_throws.h" |
Ian Rogers | 57b86d4 | 2012-03-27 16:05:41 -0700 | [diff] [blame] | 22 | #include "dex_file.h" |
Ian Rogers | 81d425b | 2012-09-27 16:03:43 -0700 | [diff] [blame] | 23 | #include "indirect_reference_table.h" |
Elliott Hughes | 0f3c553 | 2012-03-30 14:51:51 -0700 | [diff] [blame] | 24 | #include "invoke_type.h" |
Ian Rogers | 81d425b | 2012-09-27 16:03:43 -0700 | [diff] [blame] | 25 | #include "jni_internal.h" |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 26 | #include "mirror/abstract_method.h" |
| 27 | #include "mirror/array.h" |
Ian Rogers | 693ff61 | 2013-02-01 10:56:12 -0800 | [diff] [blame] | 28 | #include "mirror/class-inl.h" |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 29 | #include "mirror/throwable.h" |
Ian Rogers | 57b86d4 | 2012-03-27 16:05:41 -0700 | [diff] [blame] | 30 | #include "object_utils.h" |
| 31 | #include "thread.h" |
| 32 | |
Ian Rogers | af6e67a | 2013-01-16 08:38:37 -0800 | [diff] [blame] | 33 | extern "C" void art_interpreter_invoke_handler(); |
Jeff Hao | 5fa60c3 | 2013-04-04 17:57:01 -0700 | [diff] [blame] | 34 | extern "C" void art_portable_proxy_invoke_handler(); |
Jeff Hao | 58df327 | 2013-04-22 15:28:53 -0700 | [diff] [blame^] | 35 | extern "C" void art_portable_resolution_trampoline(); |
| 36 | extern "C" void art_quick_deoptimize(); |
| 37 | extern "C" void art_quick_instrumentation_entry_from_code(void*); |
| 38 | extern "C" void art_quick_instrumentation_exit_from_code(); |
| 39 | extern "C" void art_quick_interpreter_entry(void*); |
Logan Chien | 8dbb708 | 2013-01-25 20:31:17 +0800 | [diff] [blame] | 40 | extern "C" void art_quick_proxy_invoke_handler(); |
Jeff Hao | 58df327 | 2013-04-22 15:28:53 -0700 | [diff] [blame^] | 41 | extern "C" void art_quick_resolution_trampoline(); |
Ian Rogers | 57b86d4 | 2012-03-27 16:05:41 -0700 | [diff] [blame] | 42 | extern "C" void art_work_around_app_jni_bugs(); |
Shih-wei Liao | 2d83101 | 2011-09-28 22:06:53 -0700 | [diff] [blame] | 43 | |
jeffhao | 41005dd | 2012-05-09 17:58:52 -0700 | [diff] [blame] | 44 | extern "C" double art_l2d(int64_t l); |
| 45 | extern "C" float art_l2f(int64_t l); |
| 46 | extern "C" int64_t art_d2l(double d); |
| 47 | extern "C" int32_t art_d2i(double d); |
| 48 | extern "C" int64_t art_f2l(float f); |
| 49 | extern "C" int32_t art_f2i(float f); |
| 50 | |
Shih-wei Liao | 2d83101 | 2011-09-28 22:06:53 -0700 | [diff] [blame] | 51 | namespace art { |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 52 | namespace mirror { |
Ian Rogers | 57b86d4 | 2012-03-27 16:05:41 -0700 | [diff] [blame] | 53 | class Class; |
| 54 | class Field; |
Ian Rogers | 57b86d4 | 2012-03-27 16:05:41 -0700 | [diff] [blame] | 55 | class Object; |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 56 | } |
Ian Rogers | 57b86d4 | 2012-03-27 16:05:41 -0700 | [diff] [blame] | 57 | |
Ian Rogers | 57b86d4 | 2012-03-27 16:05:41 -0700 | [diff] [blame] | 58 | // Given the context of a calling Method, use its DexCache to resolve a type to a Class. If it |
| 59 | // cannot be resolved, throw an error. If it can, use it to create an instance. |
| 60 | // When verification/compiler hasn't been able to verify access, optionally perform an access |
| 61 | // check. |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 62 | static inline mirror::Object* AllocObjectFromCode(uint32_t type_idx, mirror::AbstractMethod* method, |
| 63 | Thread* self, |
| 64 | bool access_check) |
Ian Rogers | b726dcb | 2012-09-05 08:57:23 -0700 | [diff] [blame] | 65 | SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) { |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 66 | mirror::Class* klass = method->GetDexCacheResolvedTypes()->Get(type_idx); |
Ian Rogers | 57b86d4 | 2012-03-27 16:05:41 -0700 | [diff] [blame] | 67 | Runtime* runtime = Runtime::Current(); |
| 68 | if (UNLIKELY(klass == NULL)) { |
| 69 | klass = runtime->GetClassLinker()->ResolveType(type_idx, method); |
| 70 | if (klass == NULL) { |
| 71 | DCHECK(self->IsExceptionPending()); |
| 72 | return NULL; // Failure |
| 73 | } |
| 74 | } |
| 75 | if (access_check) { |
| 76 | if (UNLIKELY(!klass->IsInstantiable())) { |
Ian Rogers | 62d6c77 | 2013-02-27 08:32:07 -0800 | [diff] [blame] | 77 | ThrowLocation throw_location = self->GetCurrentLocationForThrow(); |
| 78 | self->ThrowNewException(throw_location, "Ljava/lang/InstantiationError;", |
Ian Rogers | 57b86d4 | 2012-03-27 16:05:41 -0700 | [diff] [blame] | 79 | PrettyDescriptor(klass).c_str()); |
| 80 | return NULL; // Failure |
| 81 | } |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 82 | mirror::Class* referrer = method->GetDeclaringClass(); |
Ian Rogers | 57b86d4 | 2012-03-27 16:05:41 -0700 | [diff] [blame] | 83 | if (UNLIKELY(!referrer->CanAccess(klass))) { |
Ian Rogers | 87e552d | 2012-08-31 15:54:48 -0700 | [diff] [blame] | 84 | ThrowIllegalAccessErrorClass(referrer, klass); |
Ian Rogers | 57b86d4 | 2012-03-27 16:05:41 -0700 | [diff] [blame] | 85 | return NULL; // Failure |
| 86 | } |
| 87 | } |
Mathieu Chartier | 155dfe9 | 2012-10-09 14:24:49 -0700 | [diff] [blame] | 88 | if (!klass->IsInitialized() && |
| 89 | !runtime->GetClassLinker()->EnsureInitialized(klass, true, true)) { |
Ian Rogers | 57b86d4 | 2012-03-27 16:05:41 -0700 | [diff] [blame] | 90 | DCHECK(self->IsExceptionPending()); |
| 91 | return NULL; // Failure |
| 92 | } |
Ian Rogers | 50b35e2 | 2012-10-04 10:09:15 -0700 | [diff] [blame] | 93 | return klass->AllocObject(self); |
Ian Rogers | 57b86d4 | 2012-03-27 16:05:41 -0700 | [diff] [blame] | 94 | } |
| 95 | |
| 96 | // Given the context of a calling Method, use its DexCache to resolve a type to an array Class. If |
| 97 | // it cannot be resolved, throw an error. If it can, use it to create an array. |
| 98 | // When verification/compiler hasn't been able to verify access, optionally perform an access |
| 99 | // check. |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 100 | static inline mirror::Array* AllocArrayFromCode(uint32_t type_idx, mirror::AbstractMethod* method, |
| 101 | int32_t component_count, |
| 102 | Thread* self, bool access_check) |
Ian Rogers | b726dcb | 2012-09-05 08:57:23 -0700 | [diff] [blame] | 103 | SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) { |
Ian Rogers | 57b86d4 | 2012-03-27 16:05:41 -0700 | [diff] [blame] | 104 | if (UNLIKELY(component_count < 0)) { |
Ian Rogers | 62d6c77 | 2013-02-27 08:32:07 -0800 | [diff] [blame] | 105 | ThrowNegativeArraySizeException(component_count); |
Ian Rogers | 57b86d4 | 2012-03-27 16:05:41 -0700 | [diff] [blame] | 106 | return NULL; // Failure |
| 107 | } |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 108 | mirror::Class* klass = method->GetDexCacheResolvedTypes()->Get(type_idx); |
Ian Rogers | 57b86d4 | 2012-03-27 16:05:41 -0700 | [diff] [blame] | 109 | if (UNLIKELY(klass == NULL)) { // Not in dex cache so try to resolve |
| 110 | klass = Runtime::Current()->GetClassLinker()->ResolveType(type_idx, method); |
| 111 | if (klass == NULL) { // Error |
| 112 | DCHECK(Thread::Current()->IsExceptionPending()); |
| 113 | return NULL; // Failure |
| 114 | } |
| 115 | CHECK(klass->IsArrayClass()) << PrettyClass(klass); |
| 116 | } |
| 117 | if (access_check) { |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 118 | mirror::Class* referrer = method->GetDeclaringClass(); |
Ian Rogers | 57b86d4 | 2012-03-27 16:05:41 -0700 | [diff] [blame] | 119 | if (UNLIKELY(!referrer->CanAccess(klass))) { |
Ian Rogers | 87e552d | 2012-08-31 15:54:48 -0700 | [diff] [blame] | 120 | ThrowIllegalAccessErrorClass(referrer, klass); |
Ian Rogers | 57b86d4 | 2012-03-27 16:05:41 -0700 | [diff] [blame] | 121 | return NULL; // Failure |
| 122 | } |
| 123 | } |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 124 | return mirror::Array::Alloc(self, klass, component_count); |
Ian Rogers | 57b86d4 | 2012-03-27 16:05:41 -0700 | [diff] [blame] | 125 | } |
| 126 | |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 127 | extern mirror::Array* CheckAndAllocArrayFromCode(uint32_t type_idx, mirror::AbstractMethod* method, |
| 128 | int32_t component_count, |
| 129 | Thread* self, bool access_check) |
Ian Rogers | b726dcb | 2012-09-05 08:57:23 -0700 | [diff] [blame] | 130 | SHARED_LOCKS_REQUIRED(Locks::mutator_lock_); |
Ian Rogers | 57b86d4 | 2012-03-27 16:05:41 -0700 | [diff] [blame] | 131 | |
Ian Rogers | 08f753d | 2012-08-24 14:35:25 -0700 | [diff] [blame] | 132 | // Type of find field operation for fast and slow case. |
| 133 | enum FindFieldType { |
| 134 | InstanceObjectRead, |
| 135 | InstanceObjectWrite, |
| 136 | InstancePrimitiveRead, |
| 137 | InstancePrimitiveWrite, |
| 138 | StaticObjectRead, |
| 139 | StaticObjectWrite, |
| 140 | StaticPrimitiveRead, |
| 141 | StaticPrimitiveWrite, |
| 142 | }; |
| 143 | |
| 144 | // Slow field find that can initialize classes and may throw exceptions. |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 145 | extern mirror::Field* FindFieldFromCode(uint32_t field_idx, const mirror::AbstractMethod* referrer, |
| 146 | Thread* self, FindFieldType type, size_t expected_size) |
Ian Rogers | b726dcb | 2012-09-05 08:57:23 -0700 | [diff] [blame] | 147 | SHARED_LOCKS_REQUIRED(Locks::mutator_lock_); |
Ian Rogers | 57b86d4 | 2012-03-27 16:05:41 -0700 | [diff] [blame] | 148 | |
Ian Rogers | 08f753d | 2012-08-24 14:35:25 -0700 | [diff] [blame] | 149 | // Fast path field resolution that can't initialize classes or throw exceptions. |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 150 | static inline mirror::Field* FindFieldFast(uint32_t field_idx, |
| 151 | const mirror::AbstractMethod* referrer, |
| 152 | FindFieldType type, size_t expected_size) |
Ian Rogers | b726dcb | 2012-09-05 08:57:23 -0700 | [diff] [blame] | 153 | SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) { |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 154 | mirror::Field* resolved_field = |
| 155 | referrer->GetDeclaringClass()->GetDexCache()->GetResolvedField(field_idx); |
Ian Rogers | 57b86d4 | 2012-03-27 16:05:41 -0700 | [diff] [blame] | 156 | if (UNLIKELY(resolved_field == NULL)) { |
| 157 | return NULL; |
| 158 | } |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 159 | mirror::Class* fields_class = resolved_field->GetDeclaringClass(); |
Ian Rogers | 08f753d | 2012-08-24 14:35:25 -0700 | [diff] [blame] | 160 | // Check class is initiliazed or initializing. |
Ian Rogers | 57b86d4 | 2012-03-27 16:05:41 -0700 | [diff] [blame] | 161 | if (UNLIKELY(!fields_class->IsInitializing())) { |
| 162 | return NULL; |
| 163 | } |
Ian Rogers | 08f753d | 2012-08-24 14:35:25 -0700 | [diff] [blame] | 164 | // Check for incompatible class change. |
| 165 | bool is_primitive; |
| 166 | bool is_set; |
| 167 | bool is_static; |
| 168 | switch (type) { |
| 169 | case InstanceObjectRead: is_primitive = false; is_set = false; is_static = false; break; |
| 170 | case InstanceObjectWrite: is_primitive = false; is_set = true; is_static = false; break; |
| 171 | case InstancePrimitiveRead: is_primitive = true; is_set = false; is_static = false; break; |
| 172 | case InstancePrimitiveWrite: is_primitive = true; is_set = true; is_static = false; break; |
| 173 | case StaticObjectRead: is_primitive = false; is_set = false; is_static = true; break; |
| 174 | case StaticObjectWrite: is_primitive = false; is_set = true; is_static = true; break; |
| 175 | case StaticPrimitiveRead: is_primitive = true; is_set = false; is_static = true; break; |
| 176 | case StaticPrimitiveWrite: is_primitive = true; is_set = true; is_static = true; break; |
| 177 | default: LOG(FATAL) << "UNREACHABLE"; // Assignment below to avoid GCC warnings. |
| 178 | is_primitive = true; is_set = true; is_static = true; break; |
| 179 | } |
| 180 | if (UNLIKELY(resolved_field->IsStatic() != is_static)) { |
| 181 | // Incompatible class change. |
| 182 | return NULL; |
| 183 | } |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 184 | mirror::Class* referring_class = referrer->GetDeclaringClass(); |
Ian Rogers | 57b86d4 | 2012-03-27 16:05:41 -0700 | [diff] [blame] | 185 | if (UNLIKELY(!referring_class->CanAccess(fields_class) || |
| 186 | !referring_class->CanAccessMember(fields_class, |
| 187 | resolved_field->GetAccessFlags()) || |
| 188 | (is_set && resolved_field->IsFinal() && (fields_class != referring_class)))) { |
Ian Rogers | 08f753d | 2012-08-24 14:35:25 -0700 | [diff] [blame] | 189 | // Illegal access. |
Ian Rogers | 57b86d4 | 2012-03-27 16:05:41 -0700 | [diff] [blame] | 190 | return NULL; |
| 191 | } |
| 192 | FieldHelper fh(resolved_field); |
| 193 | if (UNLIKELY(fh.IsPrimitiveType() != is_primitive || |
| 194 | fh.FieldSize() != expected_size)) { |
| 195 | return NULL; |
| 196 | } |
| 197 | return resolved_field; |
| 198 | } |
| 199 | |
Ian Rogers | 08f753d | 2012-08-24 14:35:25 -0700 | [diff] [blame] | 200 | // Fast path method resolution that can't throw exceptions. |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 201 | static inline mirror::AbstractMethod* FindMethodFast(uint32_t method_idx, |
| 202 | mirror::Object* this_object, |
| 203 | const mirror::AbstractMethod* referrer, |
| 204 | bool access_check, InvokeType type) |
Ian Rogers | b726dcb | 2012-09-05 08:57:23 -0700 | [diff] [blame] | 205 | SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) { |
Ian Rogers | 57b86d4 | 2012-03-27 16:05:41 -0700 | [diff] [blame] | 206 | bool is_direct = type == kStatic || type == kDirect; |
| 207 | if (UNLIKELY(this_object == NULL && !is_direct)) { |
| 208 | return NULL; |
| 209 | } |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 210 | mirror::AbstractMethod* resolved_method = |
Ian Rogers | 57b86d4 | 2012-03-27 16:05:41 -0700 | [diff] [blame] | 211 | referrer->GetDeclaringClass()->GetDexCache()->GetResolvedMethod(method_idx); |
| 212 | if (UNLIKELY(resolved_method == NULL)) { |
| 213 | return NULL; |
| 214 | } |
| 215 | if (access_check) { |
Ian Rogers | 08f753d | 2012-08-24 14:35:25 -0700 | [diff] [blame] | 216 | // Check for incompatible class change errors and access. |
| 217 | bool icce = resolved_method->CheckIncompatibleClassChange(type); |
| 218 | if (UNLIKELY(icce)) { |
| 219 | return NULL; |
| 220 | } |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 221 | mirror::Class* methods_class = resolved_method->GetDeclaringClass(); |
| 222 | mirror::Class* referring_class = referrer->GetDeclaringClass(); |
Ian Rogers | 57b86d4 | 2012-03-27 16:05:41 -0700 | [diff] [blame] | 223 | if (UNLIKELY(!referring_class->CanAccess(methods_class) || |
| 224 | !referring_class->CanAccessMember(methods_class, |
| 225 | resolved_method->GetAccessFlags()))) { |
Ian Rogers | 08f753d | 2012-08-24 14:35:25 -0700 | [diff] [blame] | 226 | // Potential illegal access, may need to refine the method's class. |
Ian Rogers | 57b86d4 | 2012-03-27 16:05:41 -0700 | [diff] [blame] | 227 | return NULL; |
| 228 | } |
| 229 | } |
| 230 | if (type == kInterface) { // Most common form of slow path dispatch. |
| 231 | return this_object->GetClass()->FindVirtualMethodForInterface(resolved_method); |
| 232 | } else if (is_direct) { |
| 233 | return resolved_method; |
| 234 | } else if (type == kSuper) { |
| 235 | return referrer->GetDeclaringClass()->GetSuperClass()->GetVTable()-> |
| 236 | Get(resolved_method->GetMethodIndex()); |
| 237 | } else { |
| 238 | DCHECK(type == kVirtual); |
| 239 | return this_object->GetClass()->GetVTable()->Get(resolved_method->GetMethodIndex()); |
| 240 | } |
| 241 | } |
| 242 | |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 243 | extern mirror::AbstractMethod* FindMethodFromCode(uint32_t method_idx, mirror::Object* this_object, |
| 244 | mirror::AbstractMethod* referrer, |
| 245 | Thread* self, bool access_check, InvokeType type) |
Ian Rogers | b726dcb | 2012-09-05 08:57:23 -0700 | [diff] [blame] | 246 | SHARED_LOCKS_REQUIRED(Locks::mutator_lock_); |
Ian Rogers | 57b86d4 | 2012-03-27 16:05:41 -0700 | [diff] [blame] | 247 | |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 248 | extern mirror::Class* ResolveVerifyAndClinit(uint32_t type_idx, |
| 249 | const mirror::AbstractMethod* referrer, Thread* self, |
| 250 | bool can_run_clinit, bool verify_access) |
Ian Rogers | b726dcb | 2012-09-05 08:57:23 -0700 | [diff] [blame] | 251 | SHARED_LOCKS_REQUIRED(Locks::mutator_lock_); |
Ian Rogers | 57b86d4 | 2012-03-27 16:05:41 -0700 | [diff] [blame] | 252 | |
jeffhao | d752132 | 2012-11-21 15:38:24 -0800 | [diff] [blame] | 253 | extern void ThrowStackOverflowError(Thread* self) SHARED_LOCKS_REQUIRED(Locks::mutator_lock_); |
| 254 | |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 255 | static inline mirror::String* ResolveStringFromCode(const mirror::AbstractMethod* referrer, |
| 256 | uint32_t string_idx) |
Ian Rogers | b726dcb | 2012-09-05 08:57:23 -0700 | [diff] [blame] | 257 | SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) { |
Ian Rogers | 57b86d4 | 2012-03-27 16:05:41 -0700 | [diff] [blame] | 258 | ClassLinker* class_linker = Runtime::Current()->GetClassLinker(); |
| 259 | return class_linker->ResolveString(string_idx, referrer); |
| 260 | } |
Shih-wei Liao | 2d83101 | 2011-09-28 22:06:53 -0700 | [diff] [blame] | 261 | |
TDYa127 | 3d71d80 | 2012-08-15 03:47:03 -0700 | [diff] [blame] | 262 | static inline void UnlockJniSynchronizedMethod(jobject locked, Thread* self) |
Ian Rogers | b726dcb | 2012-09-05 08:57:23 -0700 | [diff] [blame] | 263 | SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) |
TDYa127 | 3d71d80 | 2012-08-15 03:47:03 -0700 | [diff] [blame] | 264 | UNLOCK_FUNCTION(monitor_lock_) { |
| 265 | // Save any pending exception over monitor exit call. |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 266 | mirror::Throwable* saved_exception = NULL; |
Ian Rogers | 62d6c77 | 2013-02-27 08:32:07 -0800 | [diff] [blame] | 267 | ThrowLocation saved_throw_location; |
TDYa127 | 3d71d80 | 2012-08-15 03:47:03 -0700 | [diff] [blame] | 268 | if (UNLIKELY(self->IsExceptionPending())) { |
Ian Rogers | 62d6c77 | 2013-02-27 08:32:07 -0800 | [diff] [blame] | 269 | saved_exception = self->GetException(&saved_throw_location); |
TDYa127 | 3d71d80 | 2012-08-15 03:47:03 -0700 | [diff] [blame] | 270 | self->ClearException(); |
| 271 | } |
| 272 | // Decode locked object and unlock, before popping local references. |
| 273 | self->DecodeJObject(locked)->MonitorExit(self); |
| 274 | if (UNLIKELY(self->IsExceptionPending())) { |
| 275 | LOG(FATAL) << "Synchronized JNI code returning with an exception:\n" |
| 276 | << saved_exception->Dump() |
| 277 | << "\nEncountered second exception during implicit MonitorExit:\n" |
Ian Rogers | 62d6c77 | 2013-02-27 08:32:07 -0800 | [diff] [blame] | 278 | << self->GetException(NULL)->Dump(); |
TDYa127 | 3d71d80 | 2012-08-15 03:47:03 -0700 | [diff] [blame] | 279 | } |
| 280 | // Restore pending exception. |
| 281 | if (saved_exception != NULL) { |
Ian Rogers | 62d6c77 | 2013-02-27 08:32:07 -0800 | [diff] [blame] | 282 | self->SetException(saved_throw_location, saved_exception); |
TDYa127 | 3d71d80 | 2012-08-15 03:47:03 -0700 | [diff] [blame] | 283 | } |
| 284 | } |
| 285 | |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 286 | static inline void CheckReferenceResult(mirror::Object* o, Thread* self) |
Ian Rogers | b726dcb | 2012-09-05 08:57:23 -0700 | [diff] [blame] | 287 | SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) { |
TDYa127 | 3d71d80 | 2012-08-15 03:47:03 -0700 | [diff] [blame] | 288 | if (o == NULL) { |
| 289 | return; |
| 290 | } |
Ian Rogers | 62d6c77 | 2013-02-27 08:32:07 -0800 | [diff] [blame] | 291 | mirror::AbstractMethod* m = self->GetCurrentMethod(NULL); |
TDYa127 | 3d71d80 | 2012-08-15 03:47:03 -0700 | [diff] [blame] | 292 | if (o == kInvalidIndirectRefObject) { |
Ian Rogers | 62d6c77 | 2013-02-27 08:32:07 -0800 | [diff] [blame] | 293 | JniAbortF(NULL, "invalid reference returned from %s", PrettyMethod(m).c_str()); |
TDYa127 | 3d71d80 | 2012-08-15 03:47:03 -0700 | [diff] [blame] | 294 | } |
| 295 | // Make sure that the result is an instance of the type this method was expected to return. |
Ian Rogers | 62d6c77 | 2013-02-27 08:32:07 -0800 | [diff] [blame] | 296 | mirror::Class* return_type = MethodHelper(m).GetReturnType(); |
TDYa127 | 3d71d80 | 2012-08-15 03:47:03 -0700 | [diff] [blame] | 297 | |
| 298 | if (!o->InstanceOf(return_type)) { |
| 299 | JniAbortF(NULL, "attempt to return an instance of %s from %s", |
| 300 | PrettyTypeOf(o).c_str(), PrettyMethod(m).c_str()); |
| 301 | } |
| 302 | } |
| 303 | |
Ian Rogers | af6e67a | 2013-01-16 08:38:37 -0800 | [diff] [blame] | 304 | static inline void CheckSuspend(Thread* thread) SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) { |
jeffhao | 373c52f | 2012-11-20 16:11:52 -0800 | [diff] [blame] | 305 | for (;;) { |
| 306 | if (thread->ReadFlag(kCheckpointRequest)) { |
| 307 | thread->RunCheckpointFunction(); |
| 308 | thread->AtomicClearFlag(kCheckpointRequest); |
| 309 | } else if (thread->ReadFlag(kSuspendRequest)) { |
| 310 | thread->FullSuspendCheck(); |
| 311 | } else { |
| 312 | break; |
| 313 | } |
| 314 | } |
| 315 | } |
| 316 | |
Ian Rogers | af6e67a | 2013-01-16 08:38:37 -0800 | [diff] [blame] | 317 | JValue InvokeProxyInvocationHandler(ScopedObjectAccessUnchecked& soa, const char* shorty, |
| 318 | jobject rcvr_jobj, jobject interface_method_jobj, |
| 319 | std::vector<jvalue>& args) |
| 320 | SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) ; |
| 321 | |
Jeff Hao | 58df327 | 2013-04-22 15:28:53 -0700 | [diff] [blame^] | 322 | // Entry point for deoptimization. |
| 323 | static inline uintptr_t GetDeoptimizationEntryPoint() { |
| 324 | return reinterpret_cast<uintptr_t>(art_quick_deoptimize); |
| 325 | } |
| 326 | |
| 327 | // Return address of instrumentation stub. |
| 328 | static inline void* GetInstrumentationEntryPoint() { |
| 329 | return reinterpret_cast<void*>(art_quick_instrumentation_entry_from_code); |
| 330 | } |
| 331 | |
| 332 | // The return_pc of instrumentation exit stub. |
| 333 | static inline uintptr_t GetInstrumentationExitPc() { |
| 334 | return reinterpret_cast<uintptr_t>(art_quick_instrumentation_exit_from_code); |
| 335 | } |
| 336 | |
| 337 | // Return address of interpreter stub. |
| 338 | static inline void* GetInterpreterEntryPoint() { |
| 339 | return reinterpret_cast<void*>(art_quick_interpreter_entry); |
| 340 | } |
| 341 | |
| 342 | // Return address of portable resolution trampoline stub. |
| 343 | static inline void* GetPortableResolutionTrampoline() { |
| 344 | return reinterpret_cast<void*>(art_portable_resolution_trampoline); |
| 345 | } |
| 346 | |
| 347 | // Return address of quick resolution trampoline stub. |
| 348 | static inline void* GetQuickResolutionTrampoline() { |
| 349 | return reinterpret_cast<void*>(art_quick_resolution_trampoline); |
| 350 | } |
| 351 | |
| 352 | // Return address of resolution trampoline stub for defined compiler. |
| 353 | static inline void* GetResolutionTrampoline() { |
| 354 | #if defined(ART_USE_PORTABLE_COMPILER) |
| 355 | return GetPortableResolutionTrampoline(); |
| 356 | #else |
| 357 | return GetQuickResolutionTrampoline(); |
| 358 | #endif |
| 359 | |
Shih-wei Liao | 2d83101 | 2011-09-28 22:06:53 -0700 | [diff] [blame] | 360 | } // namespace art |
Ian Rogers | ad42e13 | 2011-09-17 20:23:33 -0700 | [diff] [blame] | 361 | |
Jeff Hao | 58df327 | 2013-04-22 15:28:53 -0700 | [diff] [blame^] | 362 | } |
| 363 | |
buzbee | 5433072 | 2011-08-23 16:46:55 -0700 | [diff] [blame] | 364 | #endif // ART_SRC_RUNTIME_SUPPORT_H_ |