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