| OLD | NEW |
| 1 /* | 1 /* |
| 2 * Copyright 2014 Google Inc. | 2 * Copyright 2014 Google Inc. |
| 3 * | 3 * |
| 4 * Use of this source code is governed by a BSD-style license that can be | 4 * Use of this source code is governed by a BSD-style license that can be |
| 5 * found in the LICENSE file. | 5 * found in the LICENSE file. |
| 6 */ | 6 */ |
| 7 | 7 |
| 8 #ifndef SkLazyPtr_DEFINED | 8 #ifndef SkLazyPtr_DEFINED |
| 9 #define SkLazyPtr_DEFINED | 9 #define SkLazyPtr_DEFINED |
| 10 | 10 |
| (...skipping 42 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 53 | 53 |
| 54 #define SK_DECLARE_STATIC_LAZY_PTR_ARRAY(T, name, N, ...) \ | 54 #define SK_DECLARE_STATIC_LAZY_PTR_ARRAY(T, name, N, ...) \ |
| 55 namespace {} static Private::SkStaticLazyPtrArray<T, N, ##__VA_ARGS__> name | 55 namespace {} static Private::SkStaticLazyPtrArray<T, N, ##__VA_ARGS__> name |
| 56 | 56 |
| 57 // namespace {} forces these macros to only be legal in global scopes. Chrome h
as thread-safety | 57 // namespace {} forces these macros to only be legal in global scopes. Chrome h
as thread-safety |
| 58 // problems with them in function-local statics because it uses -fno-threadsafe-
statics, and even | 58 // problems with them in function-local statics because it uses -fno-threadsafe-
statics, and even |
| 59 // in builds with threadsafe statics, those threadsafe statics are just unnecess
ary overhead. | 59 // in builds with threadsafe statics, those threadsafe statics are just unnecess
ary overhead. |
| 60 | 60 |
| 61 // Everything below here is private implementation details. Don't touch, don't
even look. | 61 // Everything below here is private implementation details. Don't touch, don't
even look. |
| 62 | 62 |
| 63 #include "SkDynamicAnnotations.h" | 63 #include "SkAtomics.h" |
| 64 #include "SkThread.h" | |
| 65 #include "SkThreadPriv.h" | |
| 66 | 64 |
| 67 // See FIXME below. | 65 // See FIXME below. |
| 68 class SkFontConfigInterfaceDirect; | 66 class SkFontConfigInterfaceDirect; |
| 69 | 67 |
| 70 namespace Private { | 68 namespace Private { |
| 71 | 69 |
| 72 // Set *dst to ptr if *dst is NULL. Returns value of *dst, destroying ptr if no
t swapped in. | 70 // Set *dst to ptr if *dst is NULL. Returns value of *dst, destroying ptr if no
t swapped in. |
| 73 // Issues the same memory barriers as sk_atomic_cas: acquire on failure, release
on success. | 71 // Issues acquire memory barrier on failure, release on success. |
| 74 template <typename P, void (*Destroy)(P)> | 72 template <typename P, void (*Destroy)(P)> |
| 75 static P try_cas(void** dst, P ptr) { | 73 static P try_cas(P* dst, P ptr) { |
| 76 P prev = (P)sk_atomic_cas(dst, NULL, ptr); | 74 P prev = NULL; |
| 77 | 75 if (sk_atomic_compare_exchange(dst, &prev, ptr, |
| 78 if (prev) { | 76 sk_memory_order_release/*on success*/, |
| 79 // We need an acquire barrier before returning prev, which sk_atomic_cas
provided. | 77 sk_memory_order_acquire/*on failure*/)) { |
| 78 // We need a release barrier before returning ptr. The compare_exchange
provides it. |
| 79 SkASSERT(!prev); |
| 80 return ptr; |
| 81 } else { |
| 80 Destroy(ptr); | 82 Destroy(ptr); |
| 83 // We need an acquire barrier before returning prev. The compare_exchan
ge provided it. |
| 84 SkASSERT(prev); |
| 81 return prev; | 85 return prev; |
| 82 } else { | |
| 83 // We need a release barrier before returning ptr, which sk_atomic_cas p
rovided. | |
| 84 return ptr; | |
| 85 } | 86 } |
| 86 } | 87 } |
| 87 | 88 |
| 88 template <typename T> T* sk_new() { return SkNEW(T); } | 89 template <typename T> T* sk_new() { return SkNEW(T); } |
| 89 template <typename T> void sk_delete(T* ptr) { SkDELETE(ptr); } | 90 template <typename T> void sk_delete(T* ptr) { SkDELETE(ptr); } |
| 90 | 91 |
| 91 // We're basing these implementations here on this article: | 92 // We're basing these implementations here on this article: |
| 92 // http://preshing.com/20140709/the-purpose-of-memory_order_consume-in-cpp11/ | 93 // http://preshing.com/20140709/the-purpose-of-memory_order_consume-in-cpp11/ |
| 93 // | 94 // |
| 94 // Because the users of SkLazyPtr and SkLazyPtrArray will read the pointers | 95 // Because the users of SkLazyPtr and SkLazyPtrArray will read the pointers |
| 95 // _through_ our atomically set pointer, there is a data dependency between our | 96 // _through_ our atomically set pointer, there is a data dependency between our |
| 96 // atomic and the guarded data, and so we only need writer-releases / | 97 // atomic and the guarded data, and so we only need writer-releases / |
| 97 // reader-consumes memory pairing rather than the more general write-releases / | 98 // reader-consumes memory pairing rather than the more general write-releases / |
| 98 // reader-acquires convention. | 99 // reader-acquires convention. |
| 99 // | 100 // |
| 100 // This is nice, because a sk_consume_load is free on all our platforms: x86, | 101 // This is nice, because a consume load is free on all our platforms: x86, |
| 101 // ARM, MIPS. In contrast, sk_acquire_load issues a memory barrier on non-x86. | 102 // ARM, MIPS. In contrast, an acquire load issues a memory barrier on non-x86. |
| 103 |
| 104 template <typename T> |
| 105 T consume_load(T* ptr) { |
| 106 #if DYNAMIC_ANNOTATIONS_ENABLED |
| 107 // TSAN gets anxious if we don't tell it what we're actually doing, a consum
e load. |
| 108 return sk_atomic_load(ptr, sk_memory_order_consume); |
| 109 #else |
| 110 // All current compilers blindly upgrade consume memory order to acquire mem
ory order. |
| 111 // For our purposes, though, no memory barrier is required, so we lie and us
e relaxed. |
| 112 return sk_atomic_load(ptr, sk_memory_order_relaxed); |
| 113 #endif |
| 114 } |
| 102 | 115 |
| 103 // This has no constructor and must be zero-initalized (the macro above does thi
s). | 116 // This has no constructor and must be zero-initalized (the macro above does thi
s). |
| 104 template <typename T, T* (*Create)() = sk_new<T>, void (*Destroy)(T*) = sk_delet
e<T> > | 117 template <typename T, T* (*Create)() = sk_new<T>, void (*Destroy)(T*) = sk_delet
e<T> > |
| 105 class SkStaticLazyPtr { | 118 class SkStaticLazyPtr { |
| 106 public: | 119 public: |
| 107 T* get() { | 120 T* get() { |
| 108 // If fPtr has already been filled, we need a consume barrier when loadi
ng it. | 121 // If fPtr has already been filled, we need a consume barrier when loadi
ng it. |
| 109 // If not, we need a release barrier when setting it. try_cas will do t
hat. | 122 // If not, we need a release barrier when setting it. try_cas will do t
hat. |
| 110 T* ptr = (T*)sk_consume_load(&fPtr); | 123 T* ptr = consume_load(&fPtr); |
| 111 return ptr ? ptr : try_cas<T*, Destroy>(&fPtr, Create()); | 124 return ptr ? ptr : try_cas<T*, Destroy>(&fPtr, Create()); |
| 112 } | 125 } |
| 113 | 126 |
| 114 private: | 127 private: |
| 115 void* fPtr; | 128 T* fPtr; |
| 116 }; | 129 }; |
| 117 | 130 |
| 118 template <typename T> T* sk_new_arg(int i) { return SkNEW_ARGS(T, (i)); } | 131 template <typename T> T* sk_new_arg(int i) { return SkNEW_ARGS(T, (i)); } |
| 119 | 132 |
| 120 // This has no constructor and must be zero-initalized (the macro above does thi
s). | 133 // This has no constructor and must be zero-initalized (the macro above does thi
s). |
| 121 template <typename T, int N, T* (*Create)(int) = sk_new_arg<T>, void (*Destroy)(
T*) = sk_delete<T> > | 134 template <typename T, int N, T* (*Create)(int) = sk_new_arg<T>, void (*Destroy)(
T*) = sk_delete<T> > |
| 122 class SkStaticLazyPtrArray { | 135 class SkStaticLazyPtrArray { |
| 123 public: | 136 public: |
| 124 T* operator[](int i) { | 137 T* operator[](int i) { |
| 125 SkASSERT(i >= 0 && i < N); | 138 SkASSERT(i >= 0 && i < N); |
| 126 // If fPtr has already been filled, we need an consume barrier when load
ing it. | 139 // If fPtr has already been filled, we need an consume barrier when load
ing it. |
| 127 // If not, we need a release barrier when setting it. try_cas will do t
hat. | 140 // If not, we need a release barrier when setting it. try_cas will do t
hat. |
| 128 T* ptr = (T*)sk_consume_load(&fArray[i]); | 141 T* ptr = consume_load(&fArray[i]); |
| 129 return ptr ? ptr : try_cas<T*, Destroy>(&fArray[i], Create(i)); | 142 return ptr ? ptr : try_cas<T*, Destroy>(&fArray[i], Create(i)); |
| 130 } | 143 } |
| 131 | 144 |
| 132 private: | 145 private: |
| 133 void* fArray[N]; | 146 T* fArray[N]; |
| 134 }; | 147 }; |
| 135 | 148 |
| 136 } // namespace Private | 149 } // namespace Private |
| 137 | 150 |
| 138 // This version is suitable for use as a class member. | 151 // This version is suitable for use as a class member. |
| 139 // It's much the same as above except: | 152 // It's much the same as above except: |
| 140 // - it has a constructor to zero itself; | 153 // - it has a constructor to zero itself; |
| 141 // - it has a destructor to clean up; | 154 // - it has a destructor to clean up; |
| 142 // - get() calls SkNew(T) to create the pointer; | 155 // - get() calls SkNew(T) to create the pointer; |
| 143 // - get(functor) calls functor to create the pointer. | 156 // - get(functor) calls functor to create the pointer. |
| 144 template <typename T, void (*Destroy)(T*) = Private::sk_delete<T> > | 157 template <typename T, void (*Destroy)(T*) = Private::sk_delete<T> > |
| 145 class SkLazyPtr : SkNoncopyable { | 158 class SkLazyPtr : SkNoncopyable { |
| 146 public: | 159 public: |
| 147 SkLazyPtr() : fPtr(NULL) {} | 160 SkLazyPtr() : fPtr(NULL) {} |
| 148 ~SkLazyPtr() { if (fPtr) { Destroy((T*)fPtr); } } | 161 ~SkLazyPtr() { if (fPtr) { Destroy((T*)fPtr); } } |
| 149 | 162 |
| 150 T* get() const { | 163 T* get() const { |
| 151 T* ptr = (T*)sk_consume_load(&fPtr); | 164 T* ptr = Private::consume_load(&fPtr); |
| 152 return ptr ? ptr : Private::try_cas<T*, Destroy>(&fPtr, SkNEW(T)); | 165 return ptr ? ptr : Private::try_cas<T*, Destroy>(&fPtr, SkNEW(T)); |
| 153 } | 166 } |
| 154 | 167 |
| 155 template <typename Create> | 168 template <typename Create> |
| 156 T* get(const Create& create) const { | 169 T* get(const Create& create) const { |
| 157 T* ptr = (T*)sk_consume_load(&fPtr); | 170 T* ptr = Private::consume_load(&fPtr); |
| 158 return ptr ? ptr : Private::try_cas<T*, Destroy>(&fPtr, create()); | 171 return ptr ? ptr : Private::try_cas<T*, Destroy>(&fPtr, create()); |
| 159 } | 172 } |
| 160 | 173 |
| 161 private: | 174 private: |
| 162 mutable void* fPtr; | 175 mutable T* fPtr; |
| 163 }; | 176 }; |
| 164 | 177 |
| 165 | 178 |
| 166 #endif//SkLazyPtr_DEFINED | 179 #endif//SkLazyPtr_DEFINED |
| OLD | NEW |