1c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier/*
2c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier * Copyright (C) 2014 The Android Open Source Project
3c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier *
4c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier * Licensed under the Apache License, Version 2.0 (the "License");
5c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier * you may not use this file except in compliance with the License.
6c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier * You may obtain a copy of the License at
7c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier *
8c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier *      http://www.apache.org/licenses/LICENSE-2.0
9c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier *
10c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier * Unless required by applicable law or agreed to in writing, software
11c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier * distributed under the License is distributed on an "AS IS" BASIS,
12c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier * See the License for the specific language governing permissions and
14c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier * limitations under the License.
15c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier */
16c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier
17c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier#ifndef ART_RUNTIME_INDIRECT_REFERENCE_TABLE_INL_H_
18c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier#define ART_RUNTIME_INDIRECT_REFERENCE_TABLE_INL_H_
19c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier
20c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier#include "indirect_reference_table.h"
21c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier
22c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier#include "verify_object-inl.h"
23c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier
24c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartiernamespace art {
25c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartiernamespace mirror {
26c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartierclass Object;
27c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier}  // namespace mirror
28c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier
29c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier// Verifies that the indirect table lookup is valid.
30c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier// Returns "false" if something looks bad.
31c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartierinline bool IndirectReferenceTable::GetChecked(IndirectRef iref) const {
32c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier  if (UNLIKELY(iref == nullptr)) {
33c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier    LOG(WARNING) << "Attempt to look up NULL " << kind_;
34c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier    return false;
35c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier  }
36eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier  if (UNLIKELY(GetIndirectRefKind(iref) == kHandleScopeOrInvalid)) {
37c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier    LOG(ERROR) << "JNI ERROR (app bug): invalid " << kind_ << " " << iref;
38c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier    AbortIfNoCheckJNI();
39c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier    return false;
40c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier  }
41c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier  const int topIndex = segment_state_.parts.topIndex;
42c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier  int idx = ExtractIndex(iref);
43c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier  if (UNLIKELY(idx >= topIndex)) {
44c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier    LOG(ERROR) << "JNI ERROR (app bug): accessed stale " << kind_ << " "
45c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier               << iref << " (index " << idx << " in a table of size " << topIndex << ")";
46c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier    AbortIfNoCheckJNI();
47c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier    return false;
48c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier  }
49a1de6b93426cfc66a64eb1b57303348aab5e766dMathieu Chartier  if (UNLIKELY(table_[idx].GetReference()->IsNull())) {
50c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier    LOG(ERROR) << "JNI ERROR (app bug): accessed deleted " << kind_ << " " << iref;
51c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier    AbortIfNoCheckJNI();
52c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier    return false;
53c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier  }
54c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier  if (UNLIKELY(!CheckEntry("use", iref, idx))) {
55c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier    return false;
56c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier  }
57c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier  return true;
58c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier}
59c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier
60c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier// Make sure that the entry at "idx" is correctly paired with "iref".
61c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartierinline bool IndirectReferenceTable::CheckEntry(const char* what, IndirectRef iref, int idx) const {
62ea2e1bd713ca8295ba4fcd01e77a3ce532ea61e4Hiroshi Yamauchi  IndirectRef checkRef = ToIndirectRef(idx);
63c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier  if (UNLIKELY(checkRef != iref)) {
64c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier    LOG(ERROR) << "JNI ERROR (app bug): attempt to " << what
65c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier               << " stale " << kind_ << " " << iref
66c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier               << " (should be " << checkRef << ")";
67c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier    AbortIfNoCheckJNI();
68c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier    return false;
69c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier  }
70c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier  return true;
71c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier}
72c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier
73196851b634a5bfdd8ab3fb59a320e550b21b0f4dHiroshi Yamauchitemplate<ReadBarrierOption kReadBarrierOption>
74c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartierinline mirror::Object* IndirectReferenceTable::Get(IndirectRef iref) const {
75c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier  if (!GetChecked(iref)) {
76c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier    return kInvalidIndirectRefObject;
77c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier  }
7894f7b49578b6aaa80de8ffed230648d601393905Hiroshi Yamauchi  uint32_t idx = ExtractIndex(iref);
79a1de6b93426cfc66a64eb1b57303348aab5e766dMathieu Chartier  mirror::Object* obj = table_[idx].GetReference()->Read<kWithoutReadBarrier>();
80c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier  if (LIKELY(obj != kClearedJniWeakGlobal)) {
81196851b634a5bfdd8ab3fb59a320e550b21b0f4dHiroshi Yamauchi    // The read barrier or VerifyObject won't handle kClearedJniWeakGlobal.
82a1de6b93426cfc66a64eb1b57303348aab5e766dMathieu Chartier    obj = table_[idx].GetReference()->Read();
83c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier    VerifyObject(obj);
84c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier  }
85c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier  return obj;
86c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier}
87c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier
88c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier}  // namespace art
89c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier
90c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier#endif  // ART_RUNTIME_INDIRECT_REFERENCE_TABLE_INL_H_
91