Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(613)

Side by Side Diff: third_party/WebKit/Source/wtf/StdLibExtras.h

Issue 1855203002: Revert of Improve DEFINE_STATIC_LOCAL()'s handling of Blink GCed objects. (Closed) Base URL: https://chromium.googlesource.com/chromium/src.git@master
Patch Set: Created 4 years, 8 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch
« no previous file with comments | « third_party/WebKit/Source/web/WebPagePopupImpl.cpp ('k') | no next file » | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
1 /* 1 /*
2 * Copyright (C) 2008 Apple Inc. All Rights Reserved. 2 * Copyright (C) 2008 Apple Inc. All Rights Reserved.
3 * 3 *
4 * Redistribution and use in source and binary forms, with or without 4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions 5 * modification, are permitted provided that the following conditions
6 * are met: 6 * are met:
7 * 1. Redistributions of source code must retain the above copyright 7 * 1. Redistributions of source code must retain the above copyright
8 * notice, this list of conditions and the following disclaimer. 8 * notice, this list of conditions and the following disclaimer.
9 * 2. Redistributions in binary form must reproduce the above copyright 9 * 2. Redistributions in binary form must reproduce the above copyright
10 * notice, this list of conditions and the following disclaimer in the 10 * notice, this list of conditions and the following disclaimer in the
(...skipping 41 matching lines...) Expand 10 before | Expand all | Expand 10 after
52 // AtomicallyInitializedStatic (i.e. with a lock held). 52 // AtomicallyInitializedStatic (i.e. with a lock held).
53 return m_safelyInitialized || m_thread == WTF::currentThread() || WTF::i sAtomicallyInitializedStaticMutexLockHeld(); 53 return m_safelyInitialized || m_thread == WTF::currentThread() || WTF::i sAtomicallyInitializedStaticMutexLockHeld();
54 } 54 }
55 55
56 private: 56 private:
57 bool m_safelyInitialized; 57 bool m_safelyInitialized;
58 ThreadIdentifier m_thread; 58 ThreadIdentifier m_thread;
59 }; 59 };
60 #endif 60 #endif
61 61
62 namespace blink { 62 // A direct static local to a Blink garbage collected objects isn't allowed;
63 template<typename T>class Persistent; 63 // must be wrapped up with a persistent reference.
64 }; 64 #define STATIC_ASSERT_FOR_LOCAL_WITH_GARBAGE_COLLECTED_TYPE(Name, Type) \
65 using Name##NoConstType = std::remove_const<Type>::type; \
66 using Name##NoPointerType = std::remove_pointer<Name##NoConstType>::type; \
67 using Name##NoReferenceType = std::remove_reference<Name##NoPointerType>::ty pe; \
68 static_assert(!WTF::IsGarbageCollectedType<Name##NoReferenceType>::value || WTF::IsPersistentReferenceType<Name##NoReferenceType>::value, "Garbage collected static local needs to be wrapped up with a persistent reference")
65 69
66 template<typename T, bool = WTF::IsGarbageCollectedType<T>::value && !WTF::IsPer sistentReferenceType<T>::value> 70 // Use DEFINE_STATIC_LOCAL() to declare and define a static local variable (stat ic T;)
67 class StaticLocalWrapper { 71 // so that it is leaked and its destructors are not called at exit.
68 public: 72 //
69 using WrapType = T; 73 // To cooperate with leak detection, the objects held onto by these local static s
70 74 // will in some cases have to be finalized prior to leak checking. This only app lies
71 static T& unwrap(T* singleton) 75 // to static references to Oilpan heap objects and what they transitively hold o n to.
72 { 76 // LEAK_SANITIZER_REGISTER_STATIC_LOCAL() takes care of the details.
73 return *singleton; 77 //
74 }
75 };
76
77 template<typename T>
78 class StaticLocalWrapper<T, true> {
79 public:
80 using WrapType = blink::Persistent<T>;
81
82 static T& unwrap(blink::Persistent<T>* singleton)
83 {
84 ASSERT(singleton);
85 // If this assert triggers, you're supplying an empty ("()") 'Arguments' argument
86 // to DEFINE_STATIC_LOCAL() - it must be the heap object you wish to cre ate
87 // as a static singleton and wrapped up with a Persistent reference.
88 ASSERT(*singleton);
89 return **singleton;
90 }
91 };
92
93 #if ENABLE(ASSERT) 78 #if ENABLE(ASSERT)
94 #define DEFINE_STATIC_LOCAL_CHECK_THREADSAFE_ACCESS(Name) \ 79 #define DEFINE_STATIC_LOCAL(Type, Name, Arguments) \
80 STATIC_ASSERT_FOR_LOCAL_WITH_GARBAGE_COLLECTED_TYPE(Name, Type); \
95 static StaticLocalVerifier Name##StaticLocalVerifier; \ 81 static StaticLocalVerifier Name##StaticLocalVerifier; \
96 ASSERT(Name##StaticLocalVerifier.isNotRacy()) 82 ASSERT(Name##StaticLocalVerifier.isNotRacy()); \
83 static Type& Name = *LEAK_SANITIZER_REGISTER_STATIC_LOCAL(Type, new Type Arg uments)
97 #else 84 #else
98 #define DEFINE_STATIC_LOCAL_CHECK_THREADSAFE_ACCESS(Name) 85 #define DEFINE_STATIC_LOCAL(Type, Name, Arguments) \
86 STATIC_ASSERT_FOR_LOCAL_WITH_GARBAGE_COLLECTED_TYPE(Name, Type); \
87 static Type& Name = *LEAK_SANITIZER_REGISTER_STATIC_LOCAL(Type, new Type Arg uments)
99 #endif 88 #endif
100 89
101 // Use DEFINE_STATIC_LOCAL() to declare and define a static local variable
102 // (static T;) so that it is leaked and its destructors are not called at exit.
103 // T may also be a Blink garbage collected object, in which case it is
104 // wrapped up by an off-heap Persistent<T> reference to the object, keeping
105 // it alive across GCs.
106 //
107 // To cooperate with leak detection(LSan) for Blink garbage collected objects,
108 // the objects owned by persistent local statics will in some cases have to be
109 // finalized prior to leak checking. This only applies to static references to
110 // Blink heap objects and what they transitively hold on to. Hence the
111 // LEAK_SANITIZER_REGISTER_STATIC_LOCAL() use, it taking care of the grungy
112 // details.
113 //
114 #define DEFINE_STATIC_LOCAL(Type, Name, Arguments) \
115 DEFINE_STATIC_LOCAL_CHECK_THREADSAFE_ACCESS(Name); \
116 using WrappedTypeFor##Name = StaticLocalWrapper<Type>::WrapType; \
117 static Type& Name = StaticLocalWrapper<Type>::unwrap(LEAK_SANITIZER_REGISTER _STATIC_LOCAL(WrappedTypeFor##Name, new WrappedTypeFor##Name Arguments))
118
119 // Use this to declare and define a static local pointer to a ref-counted object so that 90 // Use this to declare and define a static local pointer to a ref-counted object so that
120 // it is leaked so that the object's destructors are not called at exit. 91 // it is leaked so that the object's destructors are not called at exit.
121 // This macro should be used with ref-counted objects rather than DEFINE_STATIC_ LOCAL macro, 92 // This macro should be used with ref-counted objects rather than DEFINE_STATIC_ LOCAL macro,
122 // as this macro does not lead to an extra memory allocation. 93 // as this macro does not lead to an extra memory allocation.
123 #define DEFINE_STATIC_REF(type, name, arguments) \ 94 #define DEFINE_STATIC_REF(type, name, arguments) \
124 static type* name = PassRefPtr<type>(arguments).leakRef(); 95 static type* name = PassRefPtr<type>(arguments).leakRef();
125 96
126 /* 97 /*
127 * The reinterpret_cast<Type1*>([pointer to Type2]) expressions - where 98 * The reinterpret_cast<Type1*>([pointer to Type2]) expressions - where
128 * sizeof(Type1) > sizeof(Type2) - cause the following warning on ARM with GCC: 99 * sizeof(Type1) > sizeof(Type2) - cause the following warning on ARM with GCC:
(...skipping 101 matching lines...) Expand 10 before | Expand all | Expand 10 after
230 inline void* operator new(size_t, NotNullTag, void* location) 201 inline void* operator new(size_t, NotNullTag, void* location)
231 { 202 {
232 ASSERT(location); 203 ASSERT(location);
233 return location; 204 return location;
234 } 205 }
235 206
236 using WTF::bitwise_cast; 207 using WTF::bitwise_cast;
237 using WTF::safeCast; 208 using WTF::safeCast;
238 209
239 #endif // WTF_StdLibExtras_h 210 #endif // WTF_StdLibExtras_h
OLDNEW
« no previous file with comments | « third_party/WebKit/Source/web/WebPagePopupImpl.cpp ('k') | no next file » | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698