blob: 92cf4ebe235845c231dfa5fda760e7b1c083a7d4 [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
Andreas Gampe52edc852016-11-03 15:46:34 -070023#include "base/macros.h"
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -070024#include "base/mutex.h" // For Locks::mutator_lock_.
25#include "globals.h"
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
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -070031// Value type representing a pointer to a mirror::Object of type MirrorType
32// Pass kPoison as a template boolean for testing in non-debug builds.
Mathieu Chartiera59d9b22016-09-26 18:13:17 -070033// Since the cookie is thread based, it is not safe to share an ObjPtr between threads.
Andreas Gampec73cb642017-02-22 10:11:30 -080034template<class MirrorType>
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -070035class ObjPtr {
36 static constexpr size_t kCookieShift =
Mathieu Chartiera058fdf2016-10-06 15:13:58 -070037 sizeof(kHeapReferenceSize) * kBitsPerByte - kObjectAlignmentShift;
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -070038 static constexpr size_t kCookieBits = sizeof(uintptr_t) * kBitsPerByte - kCookieShift;
39 static constexpr uintptr_t kCookieMask = (static_cast<uintptr_t>(1u) << kCookieBits) - 1;
40
41 static_assert(kCookieBits >= kObjectAlignmentShift,
42 "must have a least kObjectAlignmentShift bits");
43
44 public:
45 ALWAYS_INLINE ObjPtr() REQUIRES_SHARED(Locks::mutator_lock_) : reference_(0u) {}
46
Andreas Gampe52edc852016-11-03 15:46:34 -070047 // Note: The following constructors allow implicit conversion. This simplifies code that uses
48 // them, e.g., for parameter passing. However, in general, implicit-conversion constructors
49 // are discouraged and detected by cpplint and clang-tidy. So mark these constructors
50 // as NOLINT (without category, as the categories are different).
51
52 ALWAYS_INLINE ObjPtr(std::nullptr_t) // NOLINT
53 REQUIRES_SHARED(Locks::mutator_lock_)
54 : reference_(0u) {}
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -070055
Vladimir Marko19a4d372016-12-08 14:41:46 +000056 template <typename Type,
57 typename = typename std::enable_if<std::is_base_of<MirrorType, Type>::value>::type>
Andreas Gampe52edc852016-11-03 15:46:34 -070058 ALWAYS_INLINE ObjPtr(Type* ptr) // NOLINT
59 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierf8ac97f2016-10-05 15:56:52 -070060 : reference_(Encode(static_cast<MirrorType*>(ptr))) {
Mathieu Chartierf8ac97f2016-10-05 15:56:52 -070061 }
Mathieu Chartiera59d9b22016-09-26 18:13:17 -070062
Vladimir Marko19a4d372016-12-08 14:41:46 +000063 template <typename Type,
64 typename = typename std::enable_if<std::is_base_of<MirrorType, Type>::value>::type>
Andreas Gampec73cb642017-02-22 10:11:30 -080065 ALWAYS_INLINE ObjPtr(const ObjPtr<Type>& other) // NOLINT
Andreas Gampe52edc852016-11-03 15:46:34 -070066 REQUIRES_SHARED(Locks::mutator_lock_)
Mathieu Chartierf8ac97f2016-10-05 15:56:52 -070067 : reference_(Encode(static_cast<MirrorType*>(other.Ptr()))) {
Mathieu Chartierf8ac97f2016-10-05 15:56:52 -070068 }
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -070069
Vladimir Marko19a4d372016-12-08 14:41:46 +000070 template <typename Type,
71 typename = typename std::enable_if<std::is_base_of<MirrorType, Type>::value>::type>
Andreas Gampec73cb642017-02-22 10:11:30 -080072 ALWAYS_INLINE ObjPtr& operator=(const ObjPtr<Type>& other)
Mathieu Chartierf8ac97f2016-10-05 15:56:52 -070073 REQUIRES_SHARED(Locks::mutator_lock_) {
Mathieu Chartier1cc62e42016-10-03 18:01:28 -070074 reference_ = Encode(static_cast<MirrorType*>(other.Ptr()));
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -070075 return *this;
76 }
77
78 ALWAYS_INLINE ObjPtr& operator=(MirrorType* ptr) REQUIRES_SHARED(Locks::mutator_lock_) {
79 Assign(ptr);
80 return *this;
81 }
82
83 ALWAYS_INLINE void Assign(MirrorType* ptr) REQUIRES_SHARED(Locks::mutator_lock_) {
84 reference_ = Encode(ptr);
85 }
86
87 ALWAYS_INLINE MirrorType* operator->() const REQUIRES_SHARED(Locks::mutator_lock_) {
Mathieu Chartier1cc62e42016-10-03 18:01:28 -070088 return Ptr();
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -070089 }
90
91 ALWAYS_INLINE bool IsNull() const {
92 return reference_ == 0;
93 }
94
Mathieu Chartier1cc62e42016-10-03 18:01:28 -070095 // Ptr makes sure that the object pointer is valid.
96 ALWAYS_INLINE MirrorType* Ptr() const REQUIRES_SHARED(Locks::mutator_lock_) {
Mathieu Chartiera59d9b22016-09-26 18:13:17 -070097 AssertValid();
Mathieu Chartier1cc62e42016-10-03 18:01:28 -070098 return PtrUnchecked();
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -070099 }
100
Mathieu Chartiera59d9b22016-09-26 18:13:17 -0700101 ALWAYS_INLINE bool IsValid() const REQUIRES_SHARED(Locks::mutator_lock_);
102
103 ALWAYS_INLINE void AssertValid() const REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -0700104
105 ALWAYS_INLINE bool operator==(const ObjPtr& ptr) const REQUIRES_SHARED(Locks::mutator_lock_) {
Mathieu Chartier1cc62e42016-10-03 18:01:28 -0700106 return Ptr() == ptr.Ptr();
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -0700107 }
108
Mathieu Chartier3398c782016-09-30 10:27:43 -0700109 template <typename PointerType>
110 ALWAYS_INLINE bool operator==(const PointerType* ptr) const
111 REQUIRES_SHARED(Locks::mutator_lock_) {
Mathieu Chartier1cc62e42016-10-03 18:01:28 -0700112 return Ptr() == ptr;
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -0700113 }
114
Mathieu Chartier3398c782016-09-30 10:27:43 -0700115 ALWAYS_INLINE bool operator==(std::nullptr_t) const {
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -0700116 return IsNull();
117 }
118
119 ALWAYS_INLINE bool operator!=(const ObjPtr& ptr) const REQUIRES_SHARED(Locks::mutator_lock_) {
Mathieu Chartier1cc62e42016-10-03 18:01:28 -0700120 return Ptr() != ptr.Ptr();
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -0700121 }
122
Mathieu Chartier3398c782016-09-30 10:27:43 -0700123 template <typename PointerType>
124 ALWAYS_INLINE bool operator!=(const PointerType* ptr) const
125 REQUIRES_SHARED(Locks::mutator_lock_) {
Mathieu Chartier1cc62e42016-10-03 18:01:28 -0700126 return Ptr() != ptr;
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -0700127 }
128
Mathieu Chartier3398c782016-09-30 10:27:43 -0700129 ALWAYS_INLINE bool operator!=(std::nullptr_t) const {
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -0700130 return !IsNull();
131 }
132
Mathieu Chartier1cc62e42016-10-03 18:01:28 -0700133 // Ptr unchecked does not check that object pointer is valid. Do not use if you can avoid it.
134 ALWAYS_INLINE MirrorType* PtrUnchecked() const {
Andreas Gampec73cb642017-02-22 10:11:30 -0800135 if (kObjPtrPoisoning) {
Mathieu Chartier0795f232016-09-27 18:43:30 -0700136 return reinterpret_cast<MirrorType*>(
137 static_cast<uintptr_t>(static_cast<uint32_t>(reference_ << kObjectAlignmentShift)));
138 } else {
139 return reinterpret_cast<MirrorType*>(reference_);
140 }
141 }
142
Mathieu Chartierc4f39252016-10-05 18:32:08 -0700143 // Static function to be friendly with null pointers.
144 template <typename SourceType>
145 static ObjPtr<MirrorType> DownCast(ObjPtr<SourceType> ptr) REQUIRES_SHARED(Locks::mutator_lock_) {
146 static_assert(std::is_base_of<SourceType, MirrorType>::value,
147 "Target type must be a subtype of source type");
148 return static_cast<MirrorType*>(ptr.Ptr());
149 }
150
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -0700151 private:
152 // Trim off high bits of thread local cookie.
153 ALWAYS_INLINE static uintptr_t TrimCookie(uintptr_t cookie) {
154 return cookie & kCookieMask;
155 }
156
157 ALWAYS_INLINE uintptr_t GetCookie() const {
158 return reference_ >> kCookieShift;
159 }
160
Mathieu Chartiera59d9b22016-09-26 18:13:17 -0700161 ALWAYS_INLINE static uintptr_t Encode(MirrorType* ptr) REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -0700162 // The encoded reference and cookie.
163 uintptr_t reference_;
164};
165
Andreas Gampe52edc852016-11-03 15:46:34 -0700166static_assert(std::is_trivially_copyable<ObjPtr<void>>::value,
167 "ObjPtr should be trivially copyable");
168
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700169// Hash function for stl data structures.
170class HashObjPtr {
171 public:
Andreas Gampec73cb642017-02-22 10:11:30 -0800172 template<class MirrorType>
173 size_t operator()(const ObjPtr<MirrorType>& ptr) const NO_THREAD_SAFETY_ANALYSIS {
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700174 return std::hash<MirrorType*>()(ptr.Ptr());
175 }
176};
177
Andreas Gampec73cb642017-02-22 10:11:30 -0800178template<class MirrorType, typename PointerType>
179ALWAYS_INLINE bool operator==(const PointerType* a, const ObjPtr<MirrorType>& b)
Mathieu Chartier3398c782016-09-30 10:27:43 -0700180 REQUIRES_SHARED(Locks::mutator_lock_) {
181 return b == a;
182}
183
Andreas Gampec73cb642017-02-22 10:11:30 -0800184template<class MirrorType>
185ALWAYS_INLINE bool operator==(std::nullptr_t, const ObjPtr<MirrorType>& b) {
Mathieu Chartier3398c782016-09-30 10:27:43 -0700186 return b == nullptr;
187}
188
Andreas Gampec73cb642017-02-22 10:11:30 -0800189template<typename MirrorType, typename PointerType>
190ALWAYS_INLINE bool operator!=(const PointerType* a, const ObjPtr<MirrorType>& b)
Mathieu Chartier3398c782016-09-30 10:27:43 -0700191 REQUIRES_SHARED(Locks::mutator_lock_) {
192 return b != a;
193}
194
Andreas Gampec73cb642017-02-22 10:11:30 -0800195template<class MirrorType>
196ALWAYS_INLINE bool operator!=(std::nullptr_t, const ObjPtr<MirrorType>& b) {
Mathieu Chartier3398c782016-09-30 10:27:43 -0700197 return b != nullptr;
198}
199
Andreas Gampec73cb642017-02-22 10:11:30 -0800200template<class MirrorType>
201static inline ObjPtr<MirrorType> MakeObjPtr(MirrorType* ptr) {
202 return ObjPtr<MirrorType>(ptr);
Mathieu Chartiera59d9b22016-09-26 18:13:17 -0700203}
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -0700204
Andreas Gampec73cb642017-02-22 10:11:30 -0800205template<class MirrorType>
206static inline ObjPtr<MirrorType> MakeObjPtr(ObjPtr<MirrorType> ptr) {
207 return ObjPtr<MirrorType>(ptr);
Mathieu Chartier3398c782016-09-30 10:27:43 -0700208}
209
Andreas Gampec73cb642017-02-22 10:11:30 -0800210template<class MirrorType>
211ALWAYS_INLINE std::ostream& operator<<(std::ostream& os, ObjPtr<MirrorType> ptr);
Mathieu Chartier0795f232016-09-27 18:43:30 -0700212
Mathieu Chartier3f7f03c2016-09-26 11:39:52 -0700213} // namespace art
214
Mathieu Chartiera59d9b22016-09-26 18:13:17 -0700215#endif // ART_RUNTIME_OBJ_PTR_H_