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
22e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier#include "gc_root-inl.h"
23c0542af3e2170143ba40d89136e284997e16bf64Ian Rogers#include "runtime-inl.h"
24c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier#include "verify_object-inl.h"
25c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier
26c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartiernamespace art {
27c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartiernamespace mirror {
28c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartierclass Object;
29c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier}  // namespace mirror
30c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier
31c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier// Verifies that the indirect table lookup is valid.
32c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier// Returns "false" if something looks bad.
33c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartierinline bool IndirectReferenceTable::GetChecked(IndirectRef iref) const {
34c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier  if (UNLIKELY(iref == nullptr)) {
352cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier    LOG(WARNING) << "Attempt to look up nullptr " << kind_;
36c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier    return false;
37c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier  }
38eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier  if (UNLIKELY(GetIndirectRefKind(iref) == kHandleScopeOrInvalid)) {
3915b7c90ab851dd593bc945d8c5ac93a9ab000fcaAndreas Gampe    AbortIfNoCheckJNI(StringPrintf("JNI ERROR (app bug): invalid %s %p",
4015b7c90ab851dd593bc945d8c5ac93a9ab000fcaAndreas Gampe                                   GetIndirectRefKindString(kind_),
4115b7c90ab851dd593bc945d8c5ac93a9ab000fcaAndreas Gampe                                   iref));
42c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier    return false;
43c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier  }
44c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier  const int topIndex = segment_state_.parts.topIndex;
45c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier  int idx = ExtractIndex(iref);
46c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier  if (UNLIKELY(idx >= topIndex)) {
4715b7c90ab851dd593bc945d8c5ac93a9ab000fcaAndreas Gampe    std::string msg = StringPrintf(
4815b7c90ab851dd593bc945d8c5ac93a9ab000fcaAndreas Gampe        "JNI ERROR (app bug): accessed stale %s %p  (index %d in a table of size %d)",
4915b7c90ab851dd593bc945d8c5ac93a9ab000fcaAndreas Gampe        GetIndirectRefKindString(kind_),
5015b7c90ab851dd593bc945d8c5ac93a9ab000fcaAndreas Gampe        iref,
5115b7c90ab851dd593bc945d8c5ac93a9ab000fcaAndreas Gampe        idx,
5215b7c90ab851dd593bc945d8c5ac93a9ab000fcaAndreas Gampe        topIndex);
5315b7c90ab851dd593bc945d8c5ac93a9ab000fcaAndreas Gampe    AbortIfNoCheckJNI(msg);
54c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier    return false;
55c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier  }
564838d6651eab0e8c0687ba44ce38e83b4553a4e2Mathieu Chartier  if (UNLIKELY(table_[idx].GetReference()->IsNull())) {
5715b7c90ab851dd593bc945d8c5ac93a9ab000fcaAndreas Gampe    AbortIfNoCheckJNI(StringPrintf("JNI ERROR (app bug): accessed deleted %s %p",
5815b7c90ab851dd593bc945d8c5ac93a9ab000fcaAndreas Gampe                                   GetIndirectRefKindString(kind_),
5915b7c90ab851dd593bc945d8c5ac93a9ab000fcaAndreas Gampe                                   iref));
60c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier    return false;
61c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier  }
62c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier  if (UNLIKELY(!CheckEntry("use", iref, idx))) {
63c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier    return false;
64c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier  }
65c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier  return true;
66c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier}
67c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier
68c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier// Make sure that the entry at "idx" is correctly paired with "iref".
69c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartierinline bool IndirectReferenceTable::CheckEntry(const char* what, IndirectRef iref, int idx) const {
70ea2e1bd713ca8295ba4fcd01e77a3ce532ea61e4Hiroshi Yamauchi  IndirectRef checkRef = ToIndirectRef(idx);
71c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier  if (UNLIKELY(checkRef != iref)) {
7215b7c90ab851dd593bc945d8c5ac93a9ab000fcaAndreas Gampe    std::string msg = StringPrintf(
7315b7c90ab851dd593bc945d8c5ac93a9ab000fcaAndreas Gampe        "JNI ERROR (app bug): attempt to %s stale %s %p (should be %p)",
7415b7c90ab851dd593bc945d8c5ac93a9ab000fcaAndreas Gampe        what,
7515b7c90ab851dd593bc945d8c5ac93a9ab000fcaAndreas Gampe        GetIndirectRefKindString(kind_),
7615b7c90ab851dd593bc945d8c5ac93a9ab000fcaAndreas Gampe        iref,
7715b7c90ab851dd593bc945d8c5ac93a9ab000fcaAndreas Gampe        checkRef);
7815b7c90ab851dd593bc945d8c5ac93a9ab000fcaAndreas Gampe    AbortIfNoCheckJNI(msg);
79c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier    return false;
80c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier  }
81c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier  return true;
82c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier}
83c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier
84196851b634a5bfdd8ab3fb59a320e550b21b0f4dHiroshi Yamauchitemplate<ReadBarrierOption kReadBarrierOption>
85c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartierinline mirror::Object* IndirectReferenceTable::Get(IndirectRef iref) const {
86c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier  if (!GetChecked(iref)) {
87c0542af3e2170143ba40d89136e284997e16bf64Ian Rogers    return nullptr;
88c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier  }
8994f7b49578b6aaa80de8ffed230648d601393905Hiroshi Yamauchi  uint32_t idx = ExtractIndex(iref);
9086891cd7a622bf649fd4c113398afafcbdd6b85eHiroshi Yamauchi  mirror::Object* obj = table_[idx].GetReference()->Read<kReadBarrierOption>();
91c0542af3e2170143ba40d89136e284997e16bf64Ian Rogers  VerifyObject(obj);
92c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier  return obj;
93c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier}
94c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier
9539b6c24ce68cf05db0f82f454b4401cfb03d675fJeff Haoinline void IndirectReferenceTable::Update(IndirectRef iref, mirror::Object* obj) {
9639b6c24ce68cf05db0f82f454b4401cfb03d675fJeff Hao  if (!GetChecked(iref)) {
9739b6c24ce68cf05db0f82f454b4401cfb03d675fJeff Hao    LOG(WARNING) << "IndirectReferenceTable Update failed to find reference " << iref;
9839b6c24ce68cf05db0f82f454b4401cfb03d675fJeff Hao    return;
9939b6c24ce68cf05db0f82f454b4401cfb03d675fJeff Hao  }
10039b6c24ce68cf05db0f82f454b4401cfb03d675fJeff Hao  uint32_t idx = ExtractIndex(iref);
10139b6c24ce68cf05db0f82f454b4401cfb03d675fJeff Hao  table_[idx].SetReference(obj);
10239b6c24ce68cf05db0f82f454b4401cfb03d675fJeff Hao}
10339b6c24ce68cf05db0f82f454b4401cfb03d675fJeff Hao
104c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier}  // namespace art
105c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier
106c56057e40938c587a74984651a510e320a8cb4fdMathieu Chartier#endif  // ART_RUNTIME_INDIRECT_REFERENCE_TABLE_INL_H_
107