blob: d834d4d115c6cbf37cb3318e87f70fed08da1f8b [file] [log] [blame]
Shih-wei Liao2d831012011-09-28 22:06:53 -07001/*
Elliott Hughes0f3c5532012-03-30 14:51:51 -07002 * Copyright (C) 2012 The Android Open Source Project
Shih-wei Liao2d831012011-09-28 22:06:53 -07003 *
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
Ian Rogers7655f292013-07-29 11:07:13 -070017#include "entrypoints/entrypoint_utils.h"
Shih-wei Liao2d831012011-09-28 22:06:53 -070018
Mingyao Yang98d1cc82014-05-15 17:02:16 -070019#include "base/mutex.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080020#include "class_linker-inl.h"
Ian Rogers4f6ad8a2013-03-18 15:27:28 -070021#include "dex_file-inl.h"
Ian Rogers1d54e732013-05-02 21:10:01 -070022#include "gc/accounting/card_table-inl.h"
Ian Rogerse5877a12014-07-16 12:06:35 -070023#include "method_helper-inl.h"
Brian Carlstromea46f952013-07-30 01:26:50 -070024#include "mirror/art_field-inl.h"
25#include "mirror/art_method-inl.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080026#include "mirror/class-inl.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080027#include "mirror/object-inl.h"
28#include "mirror/object_array-inl.h"
Ian Rogersaf6e67a2013-01-16 08:38:37 -080029#include "reflection.h"
30#include "scoped_thread_state_change.h"
TDYa1275bb86012012-04-11 05:57:28 -070031#include "ScopedLocalRef.h"
Elliott Hugheseac76672012-05-24 21:56:51 -070032#include "well_known_classes.h"
TDYa1275bb86012012-04-11 05:57:28 -070033
jeffhao41005dd2012-05-09 17:58:52 -070034namespace art {
35
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080036static inline mirror::Class* CheckFilledNewArrayAlloc(uint32_t type_idx, mirror::ArtMethod* referrer,
37 int32_t component_count, Thread* self,
38 bool access_check)
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -070039 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
Ian Rogers57b86d42012-03-27 16:05:41 -070040 if (UNLIKELY(component_count < 0)) {
Ian Rogers62d6c772013-02-27 08:32:07 -080041 ThrowNegativeArraySizeException(component_count);
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080042 return nullptr; // Failure
Elliott Hughes6c8867d2011-10-03 16:34:05 -070043 }
Andreas Gampe58a5af82014-07-31 16:23:49 -070044 mirror::Class* klass = referrer->GetDexCacheResolvedType<false>(type_idx);
Ian Rogers57b86d42012-03-27 16:05:41 -070045 if (UNLIKELY(klass == NULL)) { // Not in dex cache so try to resolve
Ian Rogers62d6c772013-02-27 08:32:07 -080046 klass = Runtime::Current()->GetClassLinker()->ResolveType(type_idx, referrer);
Ian Rogers57b86d42012-03-27 16:05:41 -070047 if (klass == NULL) { // Error
Ian Rogers50b35e22012-10-04 10:09:15 -070048 DCHECK(self->IsExceptionPending());
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080049 return nullptr; // Failure
Ian Rogers19846512012-02-24 11:42:47 -080050 }
Ian Rogersea2a11d2011-10-11 16:48:51 -070051 }
Ian Rogers57b86d42012-03-27 16:05:41 -070052 if (UNLIKELY(klass->IsPrimitive() && !klass->IsPrimitiveInt())) {
53 if (klass->IsPrimitiveLong() || klass->IsPrimitiveDouble()) {
Ian Rogers62d6c772013-02-27 08:32:07 -080054 ThrowRuntimeException("Bad filled array request for type %s",
55 PrettyDescriptor(klass).c_str());
Ian Rogers573db4a2011-12-13 15:30:50 -080056 } else {
Ian Rogers62d6c772013-02-27 08:32:07 -080057 ThrowLocation throw_location = self->GetCurrentLocationForThrow();
58 DCHECK(throw_location.GetMethod() == referrer);
59 self->ThrowNewExceptionF(throw_location, "Ljava/lang/InternalError;",
Brian Carlstrom4fa0bcd2013-12-10 11:24:21 -080060 "Found type %s; filled-new-array not implemented for anything but 'int'",
Ian Rogers50b35e22012-10-04 10:09:15 -070061 PrettyDescriptor(klass).c_str());
Ian Rogers573db4a2011-12-13 15:30:50 -080062 }
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080063 return nullptr; // Failure
Ian Rogers57b86d42012-03-27 16:05:41 -070064 }
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -070065 if (access_check) {
66 mirror::Class* referrer_klass = referrer->GetDeclaringClass();
67 if (UNLIKELY(!referrer_klass->CanAccess(klass))) {
68 ThrowIllegalAccessErrorClass(referrer_klass, klass);
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080069 return nullptr; // Failure
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -070070 }
71 }
72 DCHECK(klass->IsArrayClass()) << PrettyClass(klass);
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080073 return klass;
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -070074}
75
76// Helper function to allocate array for FILLED_NEW_ARRAY.
77mirror::Array* CheckAndAllocArrayFromCode(uint32_t type_idx, mirror::ArtMethod* referrer,
78 int32_t component_count, Thread* self,
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080079 bool access_check,
Mathieu Chartiere6da9af2013-12-16 11:54:42 -080080 gc::AllocatorType /* allocator_type */) {
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080081 mirror::Class* klass = CheckFilledNewArrayAlloc(type_idx, referrer, component_count, self,
82 access_check);
83 if (UNLIKELY(klass == nullptr)) {
84 return nullptr;
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -070085 }
Mathieu Chartiere6da9af2013-12-16 11:54:42 -080086 // Always go slow path for now, filled new array is not common.
87 gc::Heap* heap = Runtime::Current()->GetHeap();
88 // Use the current allocator type in case CheckFilledNewArrayAlloc caused us to suspend and then
89 // the heap switched the allocator type while we were suspended.
Ian Rogers6fac4472014-02-25 17:01:10 -080090 return mirror::Array::Alloc<false>(self, klass, component_count, klass->GetComponentSize(),
91 heap->GetCurrentAllocator());
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -070092}
93
94// Helper function to allocate array for FILLED_NEW_ARRAY.
95mirror::Array* CheckAndAllocArrayFromCodeInstrumented(uint32_t type_idx, mirror::ArtMethod* referrer,
96 int32_t component_count, Thread* self,
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080097 bool access_check,
Mathieu Chartiere6da9af2013-12-16 11:54:42 -080098 gc::AllocatorType /* allocator_type */) {
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080099 mirror::Class* klass = CheckFilledNewArrayAlloc(type_idx, referrer, component_count, self,
100 access_check);
101 if (UNLIKELY(klass == nullptr)) {
102 return nullptr;
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700103 }
Mathieu Chartiere6da9af2013-12-16 11:54:42 -0800104 gc::Heap* heap = Runtime::Current()->GetHeap();
105 // Use the current allocator type in case CheckFilledNewArrayAlloc caused us to suspend and then
106 // the heap switched the allocator type while we were suspended.
Ian Rogers6fac4472014-02-25 17:01:10 -0800107 return mirror::Array::Alloc<true>(self, klass, component_count, klass->GetComponentSize(),
108 heap->GetCurrentAllocator());
Ian Rogers57b86d42012-03-27 16:05:41 -0700109}
110
jeffhaod7521322012-11-21 15:38:24 -0800111void ThrowStackOverflowError(Thread* self) {
Brian Carlstrom7571e8b2013-08-12 17:04:14 -0700112 if (self->IsHandlingStackOverflow()) {
Andreas Gampe7ea6f792014-07-14 16:21:44 -0700113 LOG(ERROR) << "Recursive stack overflow.";
114 // We don't fail here because SetStackEndForStackOverflow will print better diagnostics.
Brian Carlstrom7571e8b2013-08-12 17:04:14 -0700115 }
Ian Rogers62d6c772013-02-27 08:32:07 -0800116
jeffhaod7521322012-11-21 15:38:24 -0800117 self->SetStackEndForStackOverflow(); // Allow space on the stack for constructor to execute.
118 JNIEnvExt* env = self->GetJniEnv();
119 std::string msg("stack size ");
120 msg += PrettySize(self->GetStackSize());
Andreas Gampe7ea6f792014-07-14 16:21:44 -0700121
122 // Avoid running Java code for exception initialization.
123 // TODO: Checks to make this a bit less brittle.
124
125 std::string error_msg;
126
127 // Allocate an uninitialized object.
128 ScopedLocalRef<jobject> exc(env,
129 env->AllocObject(WellKnownClasses::java_lang_StackOverflowError));
130 if (exc.get() != nullptr) {
131 // "Initialize".
132 // StackOverflowError -> VirtualMachineError -> Error -> Throwable -> Object.
133 // Only Throwable has "custom" fields:
134 // String detailMessage.
135 // Throwable cause (= this).
136 // List<Throwable> suppressedExceptions (= Collections.emptyList()).
137 // Object stackState;
138 // StackTraceElement[] stackTrace;
139 // Only Throwable has a non-empty constructor:
140 // this.stackTrace = EmptyArray.STACK_TRACE_ELEMENT;
141 // fillInStackTrace();
142
143 // detailMessage.
144 // TODO: Use String::FromModifiedUTF...?
145 ScopedLocalRef<jstring> s(env, env->NewStringUTF(msg.c_str()));
146 if (s.get() != nullptr) {
147 jfieldID detail_message_id = env->GetFieldID(WellKnownClasses::java_lang_Throwable,
148 "detailMessage", "Ljava/lang/String;");
149 env->SetObjectField(exc.get(), detail_message_id, s.get());
150
151 // cause.
152 jfieldID cause_id = env->GetFieldID(WellKnownClasses::java_lang_Throwable,
153 "cause", "Ljava/lang/Throwable;");
154 env->SetObjectField(exc.get(), cause_id, exc.get());
155
156 // suppressedExceptions.
157 jfieldID emptylist_id = env->GetStaticFieldID(WellKnownClasses::java_util_Collections,
158 "EMPTY_LIST", "Ljava/util/List;");
159 ScopedLocalRef<jobject> emptylist(env, env->GetStaticObjectField(
160 WellKnownClasses::java_util_Collections, emptylist_id));
161 CHECK(emptylist.get() != nullptr);
162 jfieldID suppressed_id = env->GetFieldID(WellKnownClasses::java_lang_Throwable,
163 "suppressedExceptions", "Ljava/util/List;");
164 env->SetObjectField(exc.get(), suppressed_id, emptylist.get());
165
166 // stackState is set as result of fillInStackTrace. fillInStackTrace calls
167 // nativeFillInStackTrace.
168 ScopedLocalRef<jobject> stack_state_val(env, nullptr);
169 {
170 ScopedObjectAccessUnchecked soa(env);
171 stack_state_val.reset(soa.Self()->CreateInternalStackTrace<false>(soa));
172 }
173 if (stack_state_val.get() != nullptr) {
174 jfieldID stackstateID = env->GetFieldID(WellKnownClasses::java_lang_Throwable,
175 "stackState", "Ljava/lang/Object;");
176 env->SetObjectField(exc.get(), stackstateID, stack_state_val.get());
177
178 // stackTrace.
179 jfieldID stack_trace_elem_id = env->GetStaticFieldID(
180 WellKnownClasses::libcore_util_EmptyArray, "STACK_TRACE_ELEMENT",
181 "[Ljava/lang/StackTraceElement;");
182 ScopedLocalRef<jobject> stack_trace_elem(env, env->GetStaticObjectField(
183 WellKnownClasses::libcore_util_EmptyArray, stack_trace_elem_id));
184 jfieldID stacktrace_id = env->GetFieldID(
185 WellKnownClasses::java_lang_Throwable, "stackTrace", "[Ljava/lang/StackTraceElement;");
186 env->SetObjectField(exc.get(), stacktrace_id, stack_trace_elem.get());
187
188 // Throw the exception.
189 ThrowLocation throw_location = self->GetCurrentLocationForThrow();
190 self->SetException(throw_location,
191 reinterpret_cast<mirror::Throwable*>(self->DecodeJObject(exc.get())));
192 } else {
193 error_msg = "Could not create stack trace.";
194 }
195 } else {
196 // Could not allocate a string object.
197 error_msg = "Couldn't throw new StackOverflowError because JNI NewStringUTF failed.";
198 }
199 } else {
200 error_msg = "Could not allocate StackOverflowError object.";
201 }
202
203 if (!error_msg.empty()) {
204 LOG(ERROR) << error_msg;
jeffhaod7521322012-11-21 15:38:24 -0800205 CHECK(self->IsExceptionPending());
206 }
Dave Allisonf9439142014-03-27 15:10:22 -0700207
208 bool explicit_overflow_check = Runtime::Current()->ExplicitStackOverflowChecks();
Dave Allisonb090a182014-08-14 17:02:48 +0000209 self->ResetDefaultStackEnd(); // Return to default stack size.
Dave Allison648d7112014-07-25 16:15:27 -0700210
211 // And restore protection if implicit checks are on.
212 if (!explicit_overflow_check) {
213 self->ProtectStack();
214 }
jeffhaod7521322012-11-21 15:38:24 -0800215}
216
Ian Rogerse5877a12014-07-16 12:06:35 -0700217void CheckReferenceResult(mirror::Object* o, Thread* self) {
Ian Rogersc0542af2014-09-03 16:16:56 -0700218 if (o == nullptr) {
Ian Rogerse5877a12014-07-16 12:06:35 -0700219 return;
220 }
Ian Rogersc0542af2014-09-03 16:16:56 -0700221 mirror::ArtMethod* m = self->GetCurrentMethod(nullptr);
Ian Rogerse5877a12014-07-16 12:06:35 -0700222 // Make sure that the result is an instance of the type this method was expected to return.
223 StackHandleScope<1> hs(self);
224 Handle<mirror::ArtMethod> h_m(hs.NewHandle(m));
225 mirror::Class* return_type = MethodHelper(h_m).GetReturnType();
226
227 if (!o->InstanceOf(return_type)) {
Ian Rogersc0542af2014-09-03 16:16:56 -0700228 Runtime::Current()->GetJavaVM()->JniAbortF(nullptr,
229 "attempt to return an instance of %s from %s",
Ian Rogers68d8b422014-07-17 11:09:10 -0700230 PrettyTypeOf(o).c_str(),
231 PrettyMethod(h_m.Get()).c_str());
Ian Rogerse5877a12014-07-16 12:06:35 -0700232 }
233}
234
Mathieu Chartier2b7c4d12014-05-19 10:52:16 -0700235JValue InvokeProxyInvocationHandler(ScopedObjectAccessAlreadyRunnable& soa, const char* shorty,
Ian Rogersaf6e67a2013-01-16 08:38:37 -0800236 jobject rcvr_jobj, jobject interface_method_jobj,
237 std::vector<jvalue>& args) {
238 DCHECK(soa.Env()->IsInstanceOf(rcvr_jobj, WellKnownClasses::java_lang_reflect_Proxy));
239
240 // Build argument array possibly triggering GC.
241 soa.Self()->AssertThreadSuspensionIsAllowable();
242 jobjectArray args_jobj = NULL;
243 const JValue zero;
Jeff Haof00571c2014-05-29 17:29:47 -0700244 int32_t target_sdk_version = Runtime::Current()->GetTargetSdkVersion();
245 // Do not create empty arrays unless needed to maintain Dalvik bug compatibility.
246 if (args.size() > 0 || (target_sdk_version > 0 && target_sdk_version <= 21)) {
Ian Rogersaf6e67a2013-01-16 08:38:37 -0800247 args_jobj = soa.Env()->NewObjectArray(args.size(), WellKnownClasses::java_lang_Object, NULL);
248 if (args_jobj == NULL) {
249 CHECK(soa.Self()->IsExceptionPending());
250 return zero;
251 }
252 for (size_t i = 0; i < args.size(); ++i) {
253 if (shorty[i + 1] == 'L') {
254 jobject val = args.at(i).l;
255 soa.Env()->SetObjectArrayElement(args_jobj, i, val);
256 } else {
257 JValue jv;
258 jv.SetJ(args.at(i).j);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800259 mirror::Object* val = BoxPrimitive(Primitive::GetType(shorty[i + 1]), jv);
Ian Rogersaf6e67a2013-01-16 08:38:37 -0800260 if (val == NULL) {
261 CHECK(soa.Self()->IsExceptionPending());
262 return zero;
263 }
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100264 soa.Decode<mirror::ObjectArray<mirror::Object>* >(args_jobj)->Set<false>(i, val);
Ian Rogersaf6e67a2013-01-16 08:38:37 -0800265 }
266 }
267 }
268
Brian Carlstromea46f952013-07-30 01:26:50 -0700269 // Call Proxy.invoke(Proxy proxy, ArtMethod method, Object[] args).
Ian Rogersaf6e67a2013-01-16 08:38:37 -0800270 jvalue invocation_args[3];
271 invocation_args[0].l = rcvr_jobj;
272 invocation_args[1].l = interface_method_jobj;
273 invocation_args[2].l = args_jobj;
274 jobject result =
Brian Carlstromea46f952013-07-30 01:26:50 -0700275 soa.Env()->CallStaticObjectMethodA(WellKnownClasses::java_lang_reflect_Proxy,
276 WellKnownClasses::java_lang_reflect_Proxy_invoke,
277 invocation_args);
Ian Rogersaf6e67a2013-01-16 08:38:37 -0800278
279 // Unbox result and handle error conditions.
Ian Rogers62d6c772013-02-27 08:32:07 -0800280 if (LIKELY(!soa.Self()->IsExceptionPending())) {
281 if (shorty[0] == 'V' || (shorty[0] == 'L' && result == NULL)) {
Ian Rogersaf6e67a2013-01-16 08:38:37 -0800282 // Do nothing.
283 return zero;
284 } else {
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700285 StackHandleScope<1> hs(soa.Self());
286 MethodHelper mh_interface_method(
287 hs.NewHandle(soa.Decode<mirror::ArtMethod*>(interface_method_jobj)));
288 // This can cause thread suspension.
289 mirror::Class* result_type = mh_interface_method.GetReturnType();
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800290 mirror::Object* result_ref = soa.Decode<mirror::Object*>(result);
Ian Rogers62d6c772013-02-27 08:32:07 -0800291 mirror::Object* rcvr = soa.Decode<mirror::Object*>(rcvr_jobj);
Brian Carlstromea46f952013-07-30 01:26:50 -0700292 mirror::ArtMethod* proxy_method;
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700293 if (mh_interface_method.GetMethod()->GetDeclaringClass()->IsInterface()) {
294 proxy_method = rcvr->GetClass()->FindVirtualMethodForInterface(
295 mh_interface_method.GetMethod());
Ian Rogers62d6c772013-02-27 08:32:07 -0800296 } else {
297 // Proxy dispatch to a method defined in Object.
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700298 DCHECK(mh_interface_method.GetMethod()->GetDeclaringClass()->IsObjectClass());
299 proxy_method = mh_interface_method.GetMethod();
Ian Rogers62d6c772013-02-27 08:32:07 -0800300 }
301 ThrowLocation throw_location(rcvr, proxy_method, -1);
302 JValue result_unboxed;
Ian Rogers84956ff2014-03-26 23:52:41 -0700303 if (!UnboxPrimitiveForResult(throw_location, result_ref, result_type, &result_unboxed)) {
Ian Rogers530f71c2013-02-22 23:29:00 -0800304 DCHECK(soa.Self()->IsExceptionPending());
Ian Rogers62d6c772013-02-27 08:32:07 -0800305 return zero;
Ian Rogersaf6e67a2013-01-16 08:38:37 -0800306 }
307 return result_unboxed;
308 }
309 } else {
310 // In the case of checked exceptions that aren't declared, the exception must be wrapped by
311 // a UndeclaredThrowableException.
Ian Rogers62d6c772013-02-27 08:32:07 -0800312 mirror::Throwable* exception = soa.Self()->GetException(NULL);
Ian Rogersaf6e67a2013-01-16 08:38:37 -0800313 if (exception->IsCheckedException()) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800314 mirror::Object* rcvr = soa.Decode<mirror::Object*>(rcvr_jobj);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700315 mirror::Class* proxy_class = rcvr->GetClass();
Brian Carlstromea46f952013-07-30 01:26:50 -0700316 mirror::ArtMethod* interface_method =
317 soa.Decode<mirror::ArtMethod*>(interface_method_jobj);
318 mirror::ArtMethod* proxy_method =
Ian Rogersaf6e67a2013-01-16 08:38:37 -0800319 rcvr->GetClass()->FindVirtualMethodForInterface(interface_method);
320 int throws_index = -1;
321 size_t num_virt_methods = proxy_class->NumVirtualMethods();
322 for (size_t i = 0; i < num_virt_methods; i++) {
323 if (proxy_class->GetVirtualMethod(i) == proxy_method) {
324 throws_index = i;
325 break;
326 }
327 }
328 CHECK_NE(throws_index, -1);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800329 mirror::ObjectArray<mirror::Class>* declared_exceptions = proxy_class->GetThrows()->Get(throws_index);
330 mirror::Class* exception_class = exception->GetClass();
Ian Rogersaf6e67a2013-01-16 08:38:37 -0800331 bool declares_exception = false;
332 for (int i = 0; i < declared_exceptions->GetLength() && !declares_exception; i++) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800333 mirror::Class* declared_exception = declared_exceptions->Get(i);
Ian Rogersaf6e67a2013-01-16 08:38:37 -0800334 declares_exception = declared_exception->IsAssignableFrom(exception_class);
335 }
336 if (!declares_exception) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800337 ThrowLocation throw_location(rcvr, proxy_method, -1);
338 soa.Self()->ThrowNewWrappedException(throw_location,
339 "Ljava/lang/reflect/UndeclaredThrowableException;",
Ian Rogersaf6e67a2013-01-16 08:38:37 -0800340 NULL);
341 }
342 }
343 return zero;
344 }
345}
Shih-wei Liao2d831012011-09-28 22:06:53 -0700346} // namespace art