1 /*
2  * Copyright (C) 2008 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 
17 #include "java_lang_System.h"
18 
19 #include "common_throws.h"
20 #include "gc/accounting/card_table-inl.h"
21 #include "jni_internal.h"
22 #include "mirror/array.h"
23 #include "mirror/class.h"
24 #include "mirror/class-inl.h"
25 #include "mirror/object-inl.h"
26 #include "mirror/object_array-inl.h"
27 #include "scoped_fast_native_object_access.h"
28 
29 namespace art {
30 
31 /*
32  * We make guarantees about the atomicity of accesses to primitive variables.  These guarantees
33  * also apply to elements of arrays. In particular, 8-bit, 16-bit, and 32-bit accesses must not
34  * cause "word tearing".  Accesses to 64-bit array elements may be two 32-bit operations.
35  * References are never torn regardless of the number of bits used to represent them.
36  */
37 
ThrowArrayStoreException_NotAnArray(const char * identifier,mirror::Object * array)38 static void ThrowArrayStoreException_NotAnArray(const char* identifier, mirror::Object* array)
39     SHARED_REQUIRES(Locks::mutator_lock_) {
40   std::string actualType(PrettyTypeOf(array));
41   Thread* self = Thread::Current();
42   self->ThrowNewExceptionF("Ljava/lang/ArrayStoreException;",
43                            "%s of type %s is not an array", identifier, actualType.c_str());
44 }
45 
System_arraycopy(JNIEnv * env,jclass,jobject javaSrc,jint srcPos,jobject javaDst,jint dstPos,jint length)46 static void System_arraycopy(JNIEnv* env, jclass, jobject javaSrc, jint srcPos, jobject javaDst,
47                              jint dstPos, jint length) {
48   // The API is defined in terms of length, but length is somewhat overloaded so we use count.
49   const jint count = length;
50   ScopedFastNativeObjectAccess soa(env);
51 
52   // Null pointer checks.
53   if (UNLIKELY(javaSrc == nullptr)) {
54     ThrowNullPointerException("src == null");
55     return;
56   }
57   if (UNLIKELY(javaDst == nullptr)) {
58     ThrowNullPointerException("dst == null");
59     return;
60   }
61 
62   // Make sure source and destination are both arrays.
63   mirror::Object* srcObject = soa.Decode<mirror::Object*>(javaSrc);
64   if (UNLIKELY(!srcObject->IsArrayInstance())) {
65     ThrowArrayStoreException_NotAnArray("source", srcObject);
66     return;
67   }
68   mirror::Object* dstObject = soa.Decode<mirror::Object*>(javaDst);
69   if (UNLIKELY(!dstObject->IsArrayInstance())) {
70     ThrowArrayStoreException_NotAnArray("destination", dstObject);
71     return;
72   }
73   mirror::Array* srcArray = srcObject->AsArray();
74   mirror::Array* dstArray = dstObject->AsArray();
75 
76   // Bounds checking.
77   if (UNLIKELY(srcPos < 0) || UNLIKELY(dstPos < 0) || UNLIKELY(count < 0) ||
78       UNLIKELY(srcPos > srcArray->GetLength() - count) ||
79       UNLIKELY(dstPos > dstArray->GetLength() - count)) {
80     soa.Self()->ThrowNewExceptionF("Ljava/lang/ArrayIndexOutOfBoundsException;",
81                                    "src.length=%d srcPos=%d dst.length=%d dstPos=%d length=%d",
82                                    srcArray->GetLength(), srcPos, dstArray->GetLength(), dstPos,
83                                    count);
84     return;
85   }
86 
87   mirror::Class* dstComponentType = dstArray->GetClass()->GetComponentType();
88   mirror::Class* srcComponentType = srcArray->GetClass()->GetComponentType();
89   Primitive::Type dstComponentPrimitiveType = dstComponentType->GetPrimitiveType();
90 
91   if (LIKELY(srcComponentType == dstComponentType)) {
92     // Trivial assignability.
93     switch (dstComponentPrimitiveType) {
94       case Primitive::kPrimVoid:
95         LOG(FATAL) << "Unreachable, cannot have arrays of type void";
96         UNREACHABLE();
97       case Primitive::kPrimBoolean:
98       case Primitive::kPrimByte:
99         DCHECK_EQ(Primitive::ComponentSize(dstComponentPrimitiveType), 1U);
100         dstArray->AsByteSizedArray()->Memmove(dstPos, srcArray->AsByteSizedArray(), srcPos, count);
101         return;
102       case Primitive::kPrimChar:
103       case Primitive::kPrimShort:
104         DCHECK_EQ(Primitive::ComponentSize(dstComponentPrimitiveType), 2U);
105         dstArray->AsShortSizedArray()->Memmove(dstPos, srcArray->AsShortSizedArray(), srcPos, count);
106         return;
107       case Primitive::kPrimInt:
108         DCHECK_EQ(Primitive::ComponentSize(dstComponentPrimitiveType), 4U);
109         dstArray->AsIntArray()->Memmove(dstPos, srcArray->AsIntArray(), srcPos, count);
110         return;
111       case Primitive::kPrimFloat:
112         DCHECK_EQ(Primitive::ComponentSize(dstComponentPrimitiveType), 4U);
113         dstArray->AsFloatArray()->Memmove(dstPos, srcArray->AsFloatArray(), srcPos, count);
114         return;
115       case Primitive::kPrimLong:
116         DCHECK_EQ(Primitive::ComponentSize(dstComponentPrimitiveType), 8U);
117         dstArray->AsLongArray()->Memmove(dstPos, srcArray->AsLongArray(), srcPos, count);
118         return;
119       case Primitive::kPrimDouble:
120         DCHECK_EQ(Primitive::ComponentSize(dstComponentPrimitiveType), 8U);
121         dstArray->AsDoubleArray()->Memmove(dstPos, srcArray->AsDoubleArray(), srcPos, count);
122         return;
123       case Primitive::kPrimNot: {
124         mirror::ObjectArray<mirror::Object>* dstObjArray = dstArray->AsObjectArray<mirror::Object>();
125         mirror::ObjectArray<mirror::Object>* srcObjArray = srcArray->AsObjectArray<mirror::Object>();
126         dstObjArray->AssignableMemmove(dstPos, srcObjArray, srcPos, count);
127         return;
128       }
129       default:
130         LOG(FATAL) << "Unknown array type: " << PrettyTypeOf(srcArray);
131         UNREACHABLE();
132     }
133   }
134   // If one of the arrays holds a primitive type the other array must hold the exact same type.
135   if (UNLIKELY((dstComponentPrimitiveType != Primitive::kPrimNot) ||
136                srcComponentType->IsPrimitive())) {
137     std::string srcType(PrettyTypeOf(srcArray));
138     std::string dstType(PrettyTypeOf(dstArray));
139     soa.Self()->ThrowNewExceptionF("Ljava/lang/ArrayStoreException;",
140                                    "Incompatible types: src=%s, dst=%s",
141                                    srcType.c_str(), dstType.c_str());
142     return;
143   }
144   // Arrays hold distinct types and so therefore can't alias - use memcpy instead of memmove.
145   mirror::ObjectArray<mirror::Object>* dstObjArray = dstArray->AsObjectArray<mirror::Object>();
146   mirror::ObjectArray<mirror::Object>* srcObjArray = srcArray->AsObjectArray<mirror::Object>();
147   // If we're assigning into say Object[] then we don't need per element checks.
148   if (dstComponentType->IsAssignableFrom(srcComponentType)) {
149     dstObjArray->AssignableMemcpy(dstPos, srcObjArray, srcPos, count);
150     return;
151   }
152   // This code is never run under a transaction.
153   DCHECK(!Runtime::Current()->IsActiveTransaction());
154   dstObjArray->AssignableCheckingMemcpy<false>(dstPos, srcObjArray, srcPos, count, true);
155 }
156 
157 // Template to convert general array to that of its specific primitive type.
158 template <typename T>
AsPrimitiveArray(mirror::Array * array)159 inline T* AsPrimitiveArray(mirror::Array* array) {
160   return down_cast<T*>(array);
161 }
162 
163 template <typename T, Primitive::Type kPrimType>
System_arraycopyTUnchecked(JNIEnv * env,jobject javaSrc,jint srcPos,jobject javaDst,jint dstPos,jint count)164 inline void System_arraycopyTUnchecked(JNIEnv* env, jobject javaSrc, jint srcPos,
165                                        jobject javaDst, jint dstPos, jint count) {
166   ScopedFastNativeObjectAccess soa(env);
167   mirror::Object* srcObject = soa.Decode<mirror::Object*>(javaSrc);
168   mirror::Object* dstObject = soa.Decode<mirror::Object*>(javaDst);
169   DCHECK(dstObject != nullptr);
170   mirror::Array* srcArray = srcObject->AsArray();
171   mirror::Array* dstArray = dstObject->AsArray();
172   DCHECK_GE(count, 0);
173   DCHECK_EQ(srcArray->GetClass(), dstArray->GetClass());
174   DCHECK_EQ(srcArray->GetClass()->GetComponentType()->GetPrimitiveType(), kPrimType);
175   AsPrimitiveArray<T>(dstArray)->Memmove(dstPos, AsPrimitiveArray<T>(srcArray), srcPos, count);
176 }
177 
System_arraycopyCharUnchecked(JNIEnv * env,jclass,jobject javaSrc,jint srcPos,jobject javaDst,jint dstPos,jint count)178 static void System_arraycopyCharUnchecked(JNIEnv* env, jclass, jobject javaSrc, jint srcPos,
179                                           jobject javaDst, jint dstPos, jint count) {
180   System_arraycopyTUnchecked<mirror::CharArray, Primitive::kPrimChar>(env, javaSrc, srcPos,
181       javaDst, dstPos, count);
182 }
183 
System_arraycopyByteUnchecked(JNIEnv * env,jclass,jobject javaSrc,jint srcPos,jobject javaDst,jint dstPos,jint count)184 static void System_arraycopyByteUnchecked(JNIEnv* env, jclass, jobject javaSrc, jint srcPos,
185                                           jobject javaDst, jint dstPos, jint count) {
186   System_arraycopyTUnchecked<mirror::ByteArray, Primitive::kPrimByte>(env, javaSrc, srcPos,
187       javaDst, dstPos, count);
188 }
189 
System_arraycopyShortUnchecked(JNIEnv * env,jclass,jobject javaSrc,jint srcPos,jobject javaDst,jint dstPos,jint count)190 static void System_arraycopyShortUnchecked(JNIEnv* env, jclass, jobject javaSrc, jint srcPos,
191                                            jobject javaDst, jint dstPos, jint count) {
192   System_arraycopyTUnchecked<mirror::ShortArray, Primitive::kPrimShort>(env, javaSrc, srcPos,
193       javaDst, dstPos, count);
194 }
195 
System_arraycopyIntUnchecked(JNIEnv * env,jclass,jobject javaSrc,jint srcPos,jobject javaDst,jint dstPos,jint count)196 static void System_arraycopyIntUnchecked(JNIEnv* env, jclass, jobject javaSrc, jint srcPos,
197                                          jobject javaDst, jint dstPos, jint count) {
198   System_arraycopyTUnchecked<mirror::IntArray, Primitive::kPrimInt>(env, javaSrc, srcPos,
199       javaDst, dstPos, count);
200 }
201 
System_arraycopyLongUnchecked(JNIEnv * env,jclass,jobject javaSrc,jint srcPos,jobject javaDst,jint dstPos,jint count)202 static void System_arraycopyLongUnchecked(JNIEnv* env, jclass, jobject javaSrc, jint srcPos,
203                                           jobject javaDst, jint dstPos, jint count) {
204   System_arraycopyTUnchecked<mirror::LongArray, Primitive::kPrimLong>(env, javaSrc, srcPos,
205       javaDst, dstPos, count);
206 }
207 
System_arraycopyFloatUnchecked(JNIEnv * env,jclass,jobject javaSrc,jint srcPos,jobject javaDst,jint dstPos,jint count)208 static void System_arraycopyFloatUnchecked(JNIEnv* env, jclass, jobject javaSrc, jint srcPos,
209                                            jobject javaDst, jint dstPos, jint count) {
210   System_arraycopyTUnchecked<mirror::FloatArray, Primitive::kPrimFloat>(env, javaSrc, srcPos,
211       javaDst, dstPos, count);
212 }
213 
System_arraycopyDoubleUnchecked(JNIEnv * env,jclass,jobject javaSrc,jint srcPos,jobject javaDst,jint dstPos,jint count)214 static void System_arraycopyDoubleUnchecked(JNIEnv* env, jclass, jobject javaSrc, jint srcPos,
215                                             jobject javaDst, jint dstPos, jint count) {
216   System_arraycopyTUnchecked<mirror::DoubleArray, Primitive::kPrimDouble>(env, javaSrc, srcPos,
217       javaDst, dstPos, count);
218 }
219 
System_arraycopyBooleanUnchecked(JNIEnv * env,jclass,jobject javaSrc,jint srcPos,jobject javaDst,jint dstPos,jint count)220 static void System_arraycopyBooleanUnchecked(JNIEnv* env, jclass, jobject javaSrc, jint srcPos,
221                                              jobject javaDst, jint dstPos, jint count) {
222   System_arraycopyTUnchecked<mirror::BooleanArray, Primitive::kPrimBoolean>(env, javaSrc, srcPos,
223       javaDst, dstPos, count);
224 }
225 
System_identityHashCode(JNIEnv * env,jclass,jobject javaObject)226 static jint System_identityHashCode(JNIEnv* env, jclass, jobject javaObject) {
227   if (UNLIKELY(javaObject == nullptr)) {
228     return 0;
229   }
230   ScopedFastNativeObjectAccess soa(env);
231   mirror::Object* o = soa.Decode<mirror::Object*>(javaObject);
232   return static_cast<jint>(o->IdentityHashCode());
233 }
234 
235 static JNINativeMethod gMethods[] = {
236   NATIVE_METHOD(System, arraycopy, "!(Ljava/lang/Object;ILjava/lang/Object;II)V"),
237   NATIVE_METHOD(System, arraycopyCharUnchecked, "!([CI[CII)V"),
238   NATIVE_METHOD(System, arraycopyByteUnchecked, "!([BI[BII)V"),
239   NATIVE_METHOD(System, arraycopyShortUnchecked, "!([SI[SII)V"),
240   NATIVE_METHOD(System, arraycopyIntUnchecked, "!([II[III)V"),
241   NATIVE_METHOD(System, arraycopyLongUnchecked, "!([JI[JII)V"),
242   NATIVE_METHOD(System, arraycopyFloatUnchecked, "!([FI[FII)V"),
243   NATIVE_METHOD(System, arraycopyDoubleUnchecked, "!([DI[DII)V"),
244   NATIVE_METHOD(System, arraycopyBooleanUnchecked, "!([ZI[ZII)V"),
245   NATIVE_METHOD(System, identityHashCode, "!(Ljava/lang/Object;)I"),
246 };
247 
register_java_lang_System(JNIEnv * env)248 void register_java_lang_System(JNIEnv* env) {
249   REGISTER_NATIVE_METHODS("java/lang/System");
250 }
251 
252 }  // namespace art
253