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