1 /*
2 * Copyright (C) 2011 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 "jni_env_ext.h"
18
19 #include <algorithm>
20 #include <vector>
21
22 #include "android-base/stringprintf.h"
23
24 #include "check_jni.h"
25 #include "indirect_reference_table.h"
26 #include "java_vm_ext.h"
27 #include "jni_internal.h"
28 #include "lock_word.h"
29 #include "mirror/object-inl.h"
30 #include "nth_caller_visitor.h"
31 #include "thread-inl.h"
32 #include "thread_list.h"
33
34 namespace art {
35
36 using android::base::StringPrintf;
37
38 static constexpr size_t kMonitorsInitial = 32; // Arbitrary.
39 static constexpr size_t kMonitorsMax = 4096; // Arbitrary sanity check.
40
41 const JNINativeInterface* JNIEnvExt::table_override_ = nullptr;
42
43 // Checking "locals" requires the mutator lock, but at creation time we're really only interested
44 // in validity, which isn't changing. To avoid grabbing the mutator lock, factored out and tagged
45 // with NO_THREAD_SAFETY_ANALYSIS.
CheckLocalsValid(JNIEnvExt * in)46 static bool CheckLocalsValid(JNIEnvExt* in) NO_THREAD_SAFETY_ANALYSIS {
47 if (in == nullptr) {
48 return false;
49 }
50 return in->locals.IsValid();
51 }
52
GetEnvHandler(JavaVMExt * vm,void ** env,jint version)53 jint JNIEnvExt::GetEnvHandler(JavaVMExt* vm, /*out*/void** env, jint version) {
54 UNUSED(vm);
55 // GetEnv always returns a JNIEnv* for the most current supported JNI version,
56 // and unlike other calls that take a JNI version doesn't care if you supply
57 // JNI_VERSION_1_1, which we don't otherwise support.
58 if (JavaVMExt::IsBadJniVersion(version) && version != JNI_VERSION_1_1) {
59 return JNI_EVERSION;
60 }
61 Thread* thread = Thread::Current();
62 CHECK(thread != nullptr);
63 *env = thread->GetJniEnv();
64 return JNI_OK;
65 }
66
Create(Thread * self_in,JavaVMExt * vm_in,std::string * error_msg)67 JNIEnvExt* JNIEnvExt::Create(Thread* self_in, JavaVMExt* vm_in, std::string* error_msg) {
68 std::unique_ptr<JNIEnvExt> ret(new JNIEnvExt(self_in, vm_in, error_msg));
69 if (CheckLocalsValid(ret.get())) {
70 return ret.release();
71 }
72 return nullptr;
73 }
74
JNIEnvExt(Thread * self_in,JavaVMExt * vm_in,std::string * error_msg)75 JNIEnvExt::JNIEnvExt(Thread* self_in, JavaVMExt* vm_in, std::string* error_msg)
76 : self(self_in),
77 vm(vm_in),
78 local_ref_cookie(kIRTFirstSegment),
79 locals(kLocalsInitial, kLocal, IndirectReferenceTable::ResizableCapacity::kYes, error_msg),
80 check_jni(false),
81 runtime_deleted(false),
82 critical(0),
83 monitors("monitors", kMonitorsInitial, kMonitorsMax) {
84 MutexLock mu(Thread::Current(), *Locks::jni_function_table_lock_);
85 check_jni = vm->IsCheckJniEnabled();
86 functions = GetFunctionTable(check_jni);
87 unchecked_functions = GetJniNativeInterface();
88 }
89
SetFunctionsToRuntimeShutdownFunctions()90 void JNIEnvExt::SetFunctionsToRuntimeShutdownFunctions() {
91 functions = GetRuntimeShutdownNativeInterface();
92 runtime_deleted = true;
93 }
94
~JNIEnvExt()95 JNIEnvExt::~JNIEnvExt() {
96 }
97
NewLocalRef(mirror::Object * obj)98 jobject JNIEnvExt::NewLocalRef(mirror::Object* obj) {
99 if (obj == nullptr) {
100 return nullptr;
101 }
102 return reinterpret_cast<jobject>(locals.Add(local_ref_cookie, obj));
103 }
104
DeleteLocalRef(jobject obj)105 void JNIEnvExt::DeleteLocalRef(jobject obj) {
106 if (obj != nullptr) {
107 locals.Remove(local_ref_cookie, reinterpret_cast<IndirectRef>(obj));
108 }
109 }
110
SetCheckJniEnabled(bool enabled)111 void JNIEnvExt::SetCheckJniEnabled(bool enabled) {
112 check_jni = enabled;
113 MutexLock mu(Thread::Current(), *Locks::jni_function_table_lock_);
114 functions = GetFunctionTable(enabled);
115 // Check whether this is a no-op because of override.
116 if (enabled && JNIEnvExt::table_override_ != nullptr) {
117 LOG(WARNING) << "Enabling CheckJNI after a JNIEnv function table override is not functional.";
118 }
119 }
120
DumpReferenceTables(std::ostream & os)121 void JNIEnvExt::DumpReferenceTables(std::ostream& os) {
122 locals.Dump(os);
123 monitors.Dump(os);
124 }
125
PushFrame(int capacity ATTRIBUTE_UNUSED)126 void JNIEnvExt::PushFrame(int capacity ATTRIBUTE_UNUSED) {
127 // TODO: take 'capacity' into account.
128 stacked_local_ref_cookies.push_back(local_ref_cookie);
129 local_ref_cookie = locals.GetSegmentState();
130 }
131
PopFrame()132 void JNIEnvExt::PopFrame() {
133 locals.SetSegmentState(local_ref_cookie);
134 local_ref_cookie = stacked_local_ref_cookies.back();
135 stacked_local_ref_cookies.pop_back();
136 }
137
138 // Note: the offset code is brittle, as we can't use OFFSETOF_MEMBER or offsetof easily. Thus, there
139 // are tests in jni_internal_test to match the results against the actual values.
140
141 // This is encoding the knowledge of the structure and layout of JNIEnv fields.
JNIEnvSize(size_t pointer_size)142 static size_t JNIEnvSize(size_t pointer_size) {
143 // A single pointer.
144 return pointer_size;
145 }
146
SegmentStateOffset(size_t pointer_size)147 Offset JNIEnvExt::SegmentStateOffset(size_t pointer_size) {
148 size_t locals_offset = JNIEnvSize(pointer_size) +
149 2 * pointer_size + // Thread* self + JavaVMExt* vm.
150 4 + // local_ref_cookie.
151 (pointer_size - 4); // Padding.
152 size_t irt_segment_state_offset =
153 IndirectReferenceTable::SegmentStateOffset(pointer_size).Int32Value();
154 return Offset(locals_offset + irt_segment_state_offset);
155 }
156
LocalRefCookieOffset(size_t pointer_size)157 Offset JNIEnvExt::LocalRefCookieOffset(size_t pointer_size) {
158 return Offset(JNIEnvSize(pointer_size) +
159 2 * pointer_size); // Thread* self + JavaVMExt* vm
160 }
161
SelfOffset(size_t pointer_size)162 Offset JNIEnvExt::SelfOffset(size_t pointer_size) {
163 return Offset(JNIEnvSize(pointer_size));
164 }
165
166 // Use some defining part of the caller's frame as the identifying mark for the JNI segment.
GetJavaCallFrame(Thread * self)167 static uintptr_t GetJavaCallFrame(Thread* self) REQUIRES_SHARED(Locks::mutator_lock_) {
168 NthCallerVisitor zeroth_caller(self, 0, false);
169 zeroth_caller.WalkStack();
170 if (zeroth_caller.caller == nullptr) {
171 // No Java code, must be from pure native code.
172 return 0;
173 } else if (zeroth_caller.GetCurrentQuickFrame() == nullptr) {
174 // Shadow frame = interpreter. Use the actual shadow frame's address.
175 DCHECK(zeroth_caller.GetCurrentShadowFrame() != nullptr);
176 return reinterpret_cast<uintptr_t>(zeroth_caller.GetCurrentShadowFrame());
177 } else {
178 // Quick frame = compiled code. Use the bottom of the frame.
179 return reinterpret_cast<uintptr_t>(zeroth_caller.GetCurrentQuickFrame());
180 }
181 }
182
RecordMonitorEnter(jobject obj)183 void JNIEnvExt::RecordMonitorEnter(jobject obj) {
184 locked_objects_.push_back(std::make_pair(GetJavaCallFrame(self), obj));
185 }
186
ComputeMonitorDescription(Thread * self,jobject obj)187 static std::string ComputeMonitorDescription(Thread* self,
188 jobject obj) REQUIRES_SHARED(Locks::mutator_lock_) {
189 ObjPtr<mirror::Object> o = self->DecodeJObject(obj);
190 if ((o->GetLockWord(false).GetState() == LockWord::kThinLocked) &&
191 Locks::mutator_lock_->IsExclusiveHeld(self)) {
192 // Getting the identity hashcode here would result in lock inflation and suspension of the
193 // current thread, which isn't safe if this is the only runnable thread.
194 return StringPrintf("<@addr=0x%" PRIxPTR "> (a %s)",
195 reinterpret_cast<intptr_t>(o.Ptr()),
196 o->PrettyTypeOf().c_str());
197 } else {
198 // IdentityHashCode can cause thread suspension, which would invalidate o if it moved. So
199 // we get the pretty type before we call IdentityHashCode.
200 const std::string pretty_type(o->PrettyTypeOf());
201 return StringPrintf("<0x%08x> (a %s)", o->IdentityHashCode(), pretty_type.c_str());
202 }
203 }
204
RemoveMonitors(Thread * self,uintptr_t frame,ReferenceTable * monitors,std::vector<std::pair<uintptr_t,jobject>> * locked_objects)205 static void RemoveMonitors(Thread* self,
206 uintptr_t frame,
207 ReferenceTable* monitors,
208 std::vector<std::pair<uintptr_t, jobject>>* locked_objects)
209 REQUIRES_SHARED(Locks::mutator_lock_) {
210 auto kept_end = std::remove_if(
211 locked_objects->begin(),
212 locked_objects->end(),
213 [self, frame, monitors](const std::pair<uintptr_t, jobject>& pair)
214 REQUIRES_SHARED(Locks::mutator_lock_) {
215 if (frame == pair.first) {
216 ObjPtr<mirror::Object> o = self->DecodeJObject(pair.second);
217 monitors->Remove(o);
218 return true;
219 }
220 return false;
221 });
222 locked_objects->erase(kept_end, locked_objects->end());
223 }
224
CheckMonitorRelease(jobject obj)225 void JNIEnvExt::CheckMonitorRelease(jobject obj) {
226 uintptr_t current_frame = GetJavaCallFrame(self);
227 std::pair<uintptr_t, jobject> exact_pair = std::make_pair(current_frame, obj);
228 auto it = std::find(locked_objects_.begin(), locked_objects_.end(), exact_pair);
229 bool will_abort = false;
230 if (it != locked_objects_.end()) {
231 locked_objects_.erase(it);
232 } else {
233 // Check whether this monitor was locked in another JNI "session."
234 ObjPtr<mirror::Object> mirror_obj = self->DecodeJObject(obj);
235 for (std::pair<uintptr_t, jobject>& pair : locked_objects_) {
236 if (self->DecodeJObject(pair.second) == mirror_obj) {
237 std::string monitor_descr = ComputeMonitorDescription(self, pair.second);
238 vm->JniAbortF("<JNI MonitorExit>",
239 "Unlocking monitor that wasn't locked here: %s",
240 monitor_descr.c_str());
241 will_abort = true;
242 break;
243 }
244 }
245 }
246
247 // When we abort, also make sure that any locks from the current "session" are removed from
248 // the monitors table, otherwise we may visit local objects in GC during abort (which won't be
249 // valid anymore).
250 if (will_abort) {
251 RemoveMonitors(self, current_frame, &monitors, &locked_objects_);
252 }
253 }
254
CheckNoHeldMonitors()255 void JNIEnvExt::CheckNoHeldMonitors() {
256 uintptr_t current_frame = GetJavaCallFrame(self);
257 // The locked_objects_ are grouped by their stack frame component, as this enforces structured
258 // locking, and the groups form a stack. So the current frame entries are at the end. Check
259 // whether the vector is empty, and when there are elements, whether the last element belongs
260 // to this call - this signals that there are unlocked monitors.
261 if (!locked_objects_.empty()) {
262 std::pair<uintptr_t, jobject>& pair = locked_objects_[locked_objects_.size() - 1];
263 if (pair.first == current_frame) {
264 std::string monitor_descr = ComputeMonitorDescription(self, pair.second);
265 vm->JniAbortF("<JNI End>",
266 "Still holding a locked object on JNI end: %s",
267 monitor_descr.c_str());
268 // When we abort, also make sure that any locks from the current "session" are removed from
269 // the monitors table, otherwise we may visit local objects in GC during abort.
270 RemoveMonitors(self, current_frame, &monitors, &locked_objects_);
271 } else if (kIsDebugBuild) {
272 // Make sure there are really no other entries and our checking worked as expected.
273 for (std::pair<uintptr_t, jobject>& check_pair : locked_objects_) {
274 CHECK_NE(check_pair.first, current_frame);
275 }
276 }
277 }
278 }
279
ThreadResetFunctionTable(Thread * thread,void * arg ATTRIBUTE_UNUSED)280 static void ThreadResetFunctionTable(Thread* thread, void* arg ATTRIBUTE_UNUSED)
281 REQUIRES(Locks::jni_function_table_lock_) {
282 JNIEnvExt* env = thread->GetJniEnv();
283 bool check_jni = env->check_jni;
284 env->functions = JNIEnvExt::GetFunctionTable(check_jni);
285 }
286
SetTableOverride(const JNINativeInterface * table_override)287 void JNIEnvExt::SetTableOverride(const JNINativeInterface* table_override) {
288 MutexLock mu(Thread::Current(), *Locks::thread_list_lock_);
289 MutexLock mu2(Thread::Current(), *Locks::jni_function_table_lock_);
290
291 JNIEnvExt::table_override_ = table_override;
292
293 // See if we have a runtime. Note: we cannot run other code (like JavaVMExt's CheckJNI install
294 // code), as we'd have to recursively lock the mutex.
295 Runtime* runtime = Runtime::Current();
296 if (runtime != nullptr) {
297 runtime->GetThreadList()->ForEach(ThreadResetFunctionTable, nullptr);
298 }
299 }
300
GetFunctionTable(bool check_jni)301 const JNINativeInterface* JNIEnvExt::GetFunctionTable(bool check_jni) {
302 const JNINativeInterface* override = JNIEnvExt::table_override_;
303 if (override != nullptr) {
304 return override;
305 }
306 return check_jni ? GetCheckJniNativeInterface() : GetJniNativeInterface();
307 }
308
309 } // namespace art
310