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