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