Mathieu Chartier | 9df8931 | 2016-11-23 13:28:16 -0800 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2016 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 | |
Mathieu Chartier | 93764b8 | 2017-07-17 14:51:53 -0700 | [diff] [blame] | 17 | #ifndef ART_COMPILER_UTILS_ATOMIC_DEX_REF_MAP_H_ |
| 18 | #define ART_COMPILER_UTILS_ATOMIC_DEX_REF_MAP_H_ |
Mathieu Chartier | 9df8931 | 2016-11-23 13:28:16 -0800 | [diff] [blame] | 19 | |
| 20 | #include "base/dchecked_vector.h" |
Mathieu Chartier | 93764b8 | 2017-07-17 14:51:53 -0700 | [diff] [blame] | 21 | #include "dex_file.h" |
Mathieu Chartier | 9df8931 | 2016-11-23 13:28:16 -0800 | [diff] [blame] | 22 | #include "safe_map.h" |
| 23 | |
| 24 | namespace art { |
| 25 | |
| 26 | class DexFile; |
| 27 | |
| 28 | // Used by CompilerCallbacks to track verification information from the Runtime. |
| 29 | template <typename T> |
Mathieu Chartier | 93764b8 | 2017-07-17 14:51:53 -0700 | [diff] [blame] | 30 | class AtomicDexRefMap { |
Mathieu Chartier | 9df8931 | 2016-11-23 13:28:16 -0800 | [diff] [blame] | 31 | public: |
Mathieu Chartier | 93764b8 | 2017-07-17 14:51:53 -0700 | [diff] [blame] | 32 | explicit AtomicDexRefMap() {} |
| 33 | ~AtomicDexRefMap() {} |
Mathieu Chartier | 9df8931 | 2016-11-23 13:28:16 -0800 | [diff] [blame] | 34 | |
| 35 | // Atomically swap the element in if the existing value matches expected. |
| 36 | enum InsertResult { |
| 37 | kInsertResultInvalidDexFile, |
| 38 | kInsertResultCASFailure, |
| 39 | kInsertResultSuccess, |
| 40 | }; |
Mathieu Chartier | 93764b8 | 2017-07-17 14:51:53 -0700 | [diff] [blame] | 41 | InsertResult Insert(DexFileReference ref, const T& expected, const T& desired); |
Mathieu Chartier | 9df8931 | 2016-11-23 13:28:16 -0800 | [diff] [blame] | 42 | |
| 43 | // Retreive an item, returns false if the dex file is not added. |
Mathieu Chartier | 93764b8 | 2017-07-17 14:51:53 -0700 | [diff] [blame] | 44 | bool Get(DexFileReference ref, T* out) const; |
Mathieu Chartier | 9df8931 | 2016-11-23 13:28:16 -0800 | [diff] [blame] | 45 | |
| 46 | // Dex files must be added before method references belonging to them can be used as keys. Not |
| 47 | // thread safe. |
Mathieu Chartier | 93764b8 | 2017-07-17 14:51:53 -0700 | [diff] [blame] | 48 | void AddDexFile(const DexFile* dex_file, size_t max_index); |
Nicolas Geoffray | 486dda0 | 2017-09-11 14:15:52 +0100 | [diff] [blame] | 49 | void AddDexFiles(const std::vector<const DexFile*>& dex_files); |
Mathieu Chartier | 9df8931 | 2016-11-23 13:28:16 -0800 | [diff] [blame] | 50 | |
Mathieu Chartier | acab8d4 | 2016-11-23 13:45:58 -0800 | [diff] [blame] | 51 | bool HaveDexFile(const DexFile* dex_file) const { |
| 52 | return arrays_.find(dex_file) != arrays_.end(); |
| 53 | } |
| 54 | |
Mathieu Chartier | 9df8931 | 2016-11-23 13:28:16 -0800 | [diff] [blame] | 55 | // Visit all of the dex files and elements. |
| 56 | template <typename Visitor> |
| 57 | void Visit(const Visitor& visitor); |
| 58 | |
Nicolas Geoffray | 1d0ae3f | 2016-12-06 13:40:16 +0000 | [diff] [blame] | 59 | void ClearEntries(); |
| 60 | |
Mathieu Chartier | 9df8931 | 2016-11-23 13:28:16 -0800 | [diff] [blame] | 61 | private: |
| 62 | // Verified methods. The method array is fixed to avoid needing a lock to extend it. |
| 63 | using ElementArray = dchecked_vector<Atomic<T>>; |
| 64 | using DexFileArrays = SafeMap<const DexFile*, ElementArray>; |
| 65 | |
| 66 | const ElementArray* GetArray(const DexFile* dex_file) const; |
| 67 | ElementArray* GetArray(const DexFile* dex_file); |
| 68 | |
| 69 | DexFileArrays arrays_; |
| 70 | }; |
| 71 | |
| 72 | } // namespace art |
| 73 | |
Mathieu Chartier | 93764b8 | 2017-07-17 14:51:53 -0700 | [diff] [blame] | 74 | #endif // ART_COMPILER_UTILS_ATOMIC_DEX_REF_MAP_H_ |