blob: e421d878fff84b282c9d0fa731827922fd3b82f4 [file] [log] [blame]
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -07001/*
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 Chartiera59d9b22016-09-26 18:13:17 -070017#ifndef ART_RUNTIME_OBJ_PTR_H_
18#define ART_RUNTIME_OBJ_PTR_H_
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -070019
Mathieu Chartier0795f232016-09-27 18:43:30 -070020#include <ostream>
Mathieu Chartierf8ac97f2016-10-05 15:56:52 -070021#include <type_traits>
Mathieu Chartier0795f232016-09-27 18:43:30 -070022
David Sehr1979c642018-04-26 14:41:18 -070023#include "base/globals.h"
Andreas Gampe52edc852016-11-03 15:46:34 -070024#include "base/macros.h"
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -070025#include "base/mutex.h" // For Locks::mutator_lock_.
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -070026
27namespace art {
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -070028
Andreas Gampec73cb642017-02-22 10:11:30 -080029constexpr bool kObjPtrPoisoning = kIsDebugBuild;
30
Andreas Gampe81e89382017-10-11 21:52:42 -070031// It turns out that most of the performance overhead comes from copying. Don't validate for now.
32// This defers finding stale ObjPtr objects until they are used.
33constexpr bool kObjPtrPoisoningValidateOnCopy = false;
34
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -070035// Value type representing a pointer to a mirror::Object of type MirrorType
Mathieu Chartiera59d9b22016-09-26 18:13:17 -070036// Since the cookie is thread based, it is not safe to share an ObjPtr between threads.
Andreas Gampec73cb642017-02-22 10:11:30 -080037template<class MirrorType>
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -070038class ObjPtr {
39 static constexpr size_t kCookieShift =
Evgenii Stepanov797ffe52018-01-09 16:21:46 -080040 kHeapReferenceSize * kBitsPerByte - kObjectAlignmentShift;
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -070041 static constexpr size_t kCookieBits = sizeof(uintptr_t) * kBitsPerByte - kCookieShift;
42 static constexpr uintptr_t kCookieMask = (static_cast<uintptr_t>(1u) << kCookieBits) - 1;
43
44 static_assert(kCookieBits >= kObjectAlignmentShift,
45 "must have a least kObjectAlignmentShift bits");
46
47 public:
48 ALWAYS_INLINE ObjPtr() REQUIRES_SHARED(Locks::mutator_lock_) : reference_(0u) {}
49
Andreas Gampe52edc852016-11-03 15:46:34 -070050 // Note: The following constructors allow implicit conversion. This simplifies code that uses
51 // them, e.g., for parameter passing. However, in general, implicit-conversion constructors
Igor Murashkin5573c372017-11-16 13:34:30 -080052 // are discouraged and detected by clang-tidy.
Andreas Gampe52edc852016-11-03 15:46:34 -070053
Igor Murashkin5573c372017-11-16 13:34:30 -080054 ALWAYS_INLINE ObjPtr(std::nullptr_t)
Andreas Gampe52edc852016-11-03 15:46:34 -070055 REQUIRES_SHARED(Locks::mutator_lock_)
56 : reference_(0u) {}
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -070057
Vladimir Marko19a4d372016-12-08 14:41:46 +000058 template <typename Type,
59 typename = typename std::enable_if<std::is_base_of<MirrorType, Type>::value>::type>
Igor Murashkin5573c372017-11-16 13:34:30 -080060 ALWAYS_INLINE ObjPtr(Type* ptr)
Andreas Gampe52edc852016-11-03 15:46:34 -070061 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierf8ac97f2016-10-05 15:56:52 -070062 : reference_(Encode(static_cast<MirrorType*>(ptr))) {
Mathieu Chartierf8ac97f2016-10-05 15:56:52 -070063 }
Mathieu Chartiera59d9b22016-09-26 18:13:17 -070064
Vladimir Marko19a4d372016-12-08 14:41:46 +000065 template <typename Type,
66 typename = typename std::enable_if<std::is_base_of<MirrorType, Type>::value>::type>
Igor Murashkin5573c372017-11-16 13:34:30 -080067 ALWAYS_INLINE ObjPtr(const ObjPtr<Type>& other)
Andreas Gampe52edc852016-11-03 15:46:34 -070068 REQUIRES_SHARED(Locks::mutator_lock_)
Andreas Gampe81e89382017-10-11 21:52:42 -070069 : reference_(kObjPtrPoisoningValidateOnCopy
70 ? Encode(static_cast<MirrorType*>(other.Ptr()))
71 : other.reference_) {
Mathieu Chartierf8ac97f2016-10-05 15:56:52 -070072 }
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -070073
Vladimir Marko19a4d372016-12-08 14:41:46 +000074 template <typename Type,
75 typename = typename std::enable_if<std::is_base_of<MirrorType, Type>::value>::type>
Andreas Gampec73cb642017-02-22 10:11:30 -080076 ALWAYS_INLINE ObjPtr& operator=(const ObjPtr<Type>& other)
Mathieu Chartierf8ac97f2016-10-05 15:56:52 -070077 REQUIRES_SHARED(Locks::mutator_lock_) {
Andreas Gampe81e89382017-10-11 21:52:42 -070078 reference_ = kObjPtrPoisoningValidateOnCopy
79 ? Encode(static_cast<MirrorType*>(other.Ptr()))
80 : other.reference_;
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -070081 return *this;
82 }
83
84 ALWAYS_INLINE ObjPtr& operator=(MirrorType* ptr) REQUIRES_SHARED(Locks::mutator_lock_) {
85 Assign(ptr);
86 return *this;
87 }
88
89 ALWAYS_INLINE void Assign(MirrorType* ptr) REQUIRES_SHARED(Locks::mutator_lock_) {
90 reference_ = Encode(ptr);
91 }
92
93 ALWAYS_INLINE MirrorType* operator->() const REQUIRES_SHARED(Locks::mutator_lock_) {
Mathieu Chartier1cc62e42016-10-03 18:01:28 -070094 return Ptr();
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -070095 }
96
97 ALWAYS_INLINE bool IsNull() const {
98 return reference_ == 0;
99 }
100
Mathieu Chartier1cc62e42016-10-03 18:01:28 -0700101 // Ptr makes sure that the object pointer is valid.
102 ALWAYS_INLINE MirrorType* Ptr() const REQUIRES_SHARED(Locks::mutator_lock_) {
Mathieu Chartiera59d9b22016-09-26 18:13:17 -0700103 AssertValid();
Mathieu Chartier1cc62e42016-10-03 18:01:28 -0700104 return PtrUnchecked();
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -0700105 }
106
Mathieu Chartiera59d9b22016-09-26 18:13:17 -0700107 ALWAYS_INLINE bool IsValid() const REQUIRES_SHARED(Locks::mutator_lock_);
108
109 ALWAYS_INLINE void AssertValid() const REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -0700110
111 ALWAYS_INLINE bool operator==(const ObjPtr& ptr) const REQUIRES_SHARED(Locks::mutator_lock_) {
Mathieu Chartier1cc62e42016-10-03 18:01:28 -0700112 return Ptr() == ptr.Ptr();
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -0700113 }
114
Mathieu Chartier3398c782016-09-30 10:27:43 -0700115 template <typename PointerType>
116 ALWAYS_INLINE bool operator==(const PointerType* ptr) const
117 REQUIRES_SHARED(Locks::mutator_lock_) {
Mathieu Chartier1cc62e42016-10-03 18:01:28 -0700118 return Ptr() == ptr;
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -0700119 }
120
Mathieu Chartier3398c782016-09-30 10:27:43 -0700121 ALWAYS_INLINE bool operator==(std::nullptr_t) const {
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -0700122 return IsNull();
123 }
124
125 ALWAYS_INLINE bool operator!=(const ObjPtr& ptr) const REQUIRES_SHARED(Locks::mutator_lock_) {
Mathieu Chartier1cc62e42016-10-03 18:01:28 -0700126 return Ptr() != ptr.Ptr();
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -0700127 }
128
Mathieu Chartier3398c782016-09-30 10:27:43 -0700129 template <typename PointerType>
130 ALWAYS_INLINE bool operator!=(const PointerType* ptr) const
131 REQUIRES_SHARED(Locks::mutator_lock_) {
Mathieu Chartier1cc62e42016-10-03 18:01:28 -0700132 return Ptr() != ptr;
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -0700133 }
134
Mathieu Chartier3398c782016-09-30 10:27:43 -0700135 ALWAYS_INLINE bool operator!=(std::nullptr_t) const {
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -0700136 return !IsNull();
137 }
138
Mathieu Chartier1cc62e42016-10-03 18:01:28 -0700139 // Ptr unchecked does not check that object pointer is valid. Do not use if you can avoid it.
140 ALWAYS_INLINE MirrorType* PtrUnchecked() const {
Andreas Gampec73cb642017-02-22 10:11:30 -0800141 if (kObjPtrPoisoning) {
Mathieu Chartier0795f232016-09-27 18:43:30 -0700142 return reinterpret_cast<MirrorType*>(
143 static_cast<uintptr_t>(static_cast<uint32_t>(reference_ << kObjectAlignmentShift)));
144 } else {
145 return reinterpret_cast<MirrorType*>(reference_);
146 }
147 }
148
Mathieu Chartierc4f39252016-10-05 18:32:08 -0700149 // Static function to be friendly with null pointers.
150 template <typename SourceType>
151 static ObjPtr<MirrorType> DownCast(ObjPtr<SourceType> ptr) REQUIRES_SHARED(Locks::mutator_lock_) {
152 static_assert(std::is_base_of<SourceType, MirrorType>::value,
153 "Target type must be a subtype of source type");
154 return static_cast<MirrorType*>(ptr.Ptr());
155 }
156
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -0700157 private:
158 // Trim off high bits of thread local cookie.
159 ALWAYS_INLINE static uintptr_t TrimCookie(uintptr_t cookie) {
160 return cookie & kCookieMask;
161 }
162
163 ALWAYS_INLINE uintptr_t GetCookie() const {
164 return reference_ >> kCookieShift;
165 }
166
Mathieu Chartiera59d9b22016-09-26 18:13:17 -0700167 ALWAYS_INLINE static uintptr_t Encode(MirrorType* ptr) REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -0700168 // The encoded reference and cookie.
169 uintptr_t reference_;
Andreas Gampe81e89382017-10-11 21:52:42 -0700170
171 template <class T> friend class ObjPtr; // Required for reference_ access in copy cons/operator.
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -0700172};
173
Andreas Gampe52edc852016-11-03 15:46:34 -0700174static_assert(std::is_trivially_copyable<ObjPtr<void>>::value,
175 "ObjPtr should be trivially copyable");
176
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700177// Hash function for stl data structures.
178class HashObjPtr {
179 public:
Andreas Gampec73cb642017-02-22 10:11:30 -0800180 template<class MirrorType>
181 size_t operator()(const ObjPtr<MirrorType>& ptr) const NO_THREAD_SAFETY_ANALYSIS {
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700182 return std::hash<MirrorType*>()(ptr.Ptr());
183 }
184};
185
Andreas Gampec73cb642017-02-22 10:11:30 -0800186template<class MirrorType, typename PointerType>
187ALWAYS_INLINE bool operator==(const PointerType* a, const ObjPtr<MirrorType>& b)
Mathieu Chartier3398c782016-09-30 10:27:43 -0700188 REQUIRES_SHARED(Locks::mutator_lock_) {
189 return b == a;
190}
191
Andreas Gampec73cb642017-02-22 10:11:30 -0800192template<class MirrorType>
193ALWAYS_INLINE bool operator==(std::nullptr_t, const ObjPtr<MirrorType>& b) {
Mathieu Chartier3398c782016-09-30 10:27:43 -0700194 return b == nullptr;
195}
196
Andreas Gampec73cb642017-02-22 10:11:30 -0800197template<typename MirrorType, typename PointerType>
198ALWAYS_INLINE bool operator!=(const PointerType* a, const ObjPtr<MirrorType>& b)
Mathieu Chartier3398c782016-09-30 10:27:43 -0700199 REQUIRES_SHARED(Locks::mutator_lock_) {
200 return b != a;
201}
202
Andreas Gampec73cb642017-02-22 10:11:30 -0800203template<class MirrorType>
204ALWAYS_INLINE bool operator!=(std::nullptr_t, const ObjPtr<MirrorType>& b) {
Mathieu Chartier3398c782016-09-30 10:27:43 -0700205 return b != nullptr;
206}
207
Andreas Gampec73cb642017-02-22 10:11:30 -0800208template<class MirrorType>
209static inline ObjPtr<MirrorType> MakeObjPtr(MirrorType* ptr) {
210 return ObjPtr<MirrorType>(ptr);
Mathieu Chartiera59d9b22016-09-26 18:13:17 -0700211}
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -0700212
Andreas Gampec73cb642017-02-22 10:11:30 -0800213template<class MirrorType>
214static inline ObjPtr<MirrorType> MakeObjPtr(ObjPtr<MirrorType> ptr) {
215 return ObjPtr<MirrorType>(ptr);
Mathieu Chartier3398c782016-09-30 10:27:43 -0700216}
217
Andreas Gampec73cb642017-02-22 10:11:30 -0800218template<class MirrorType>
219ALWAYS_INLINE std::ostream& operator<<(std::ostream& os, ObjPtr<MirrorType> ptr);
Mathieu Chartier0795f232016-09-27 18:43:30 -0700220
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -0700221} // namespace art
222
Mathieu Chartiera59d9b22016-09-26 18:13:17 -0700223#endif // ART_RUNTIME_OBJ_PTR_H_