123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240 |
- /*
- * Copyright (C) 2012 Google, Inc. All Rights Reserved.
- *
- * Redistribution and use in source and binary forms, with or without
- * modification, are permitted provided that the following conditions
- * are met:
- * 1. Redistributions of source code must retain the above copyright
- * notice, this list of conditions and the following disclaimer.
- * 2. Redistributions in binary form must reproduce the above copyright
- * notice, this list of conditions and the following disclaimer in the
- * documentation and/or other materials provided with the distribution.
- *
- * THIS SOFTWARE IS PROVIDED BY APPLE INC. ``AS IS'' AND ANY
- * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
- * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
- * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR
- * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
- * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
- * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
- * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
- * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
- * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
- * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
- */
- #ifndef THIRD_PARTY_BLINK_RENDERER_PLATFORM_SUPPLEMENTABLE_H_
- #define THIRD_PARTY_BLINK_RENDERER_PLATFORM_SUPPLEMENTABLE_H_
- #include "base/macros.h"
- #include "third_party/blink/renderer/platform/heap/handle.h"
- #include "third_party/blink/renderer/platform/wtf/assertions.h"
- #include "third_party/blink/renderer/platform/wtf/hash_map.h"
- #if DCHECK_IS_ON()
- #include "third_party/blink/renderer/platform/wtf/threading.h"
- #endif
- namespace blink {
- // What you should know about Supplementable and Supplement
- // ========================================================
- // Supplementable allows a garbage-collected object to be extended with
- // additional data.
- //
- // Most commonly, this is used to attach data to a central object, such as
- // LocalFrame, so that it can be easily accessed. This is similar to adding a
- // member to that class (e.g. it is kept alive while the supplementable is),
- // except that a Supplement is constructed lazily and therefore occupies less
- // memory if not used. It can also be used in cases that would otherwise be
- // layering violation. For example, it is common for features implemented in
- // modules/ to supplement classes in core/.
- //
- // Supplementable and Supplement instances are meant to be thread local. They
- // should only be accessed from within the thread that created them. The
- // 2 classes are not designed for safe access from another thread. Violating
- // this design assumption can result in memory corruption and unpredictable
- // behavior.
- //
- // What you should know about the Supplement keys
- // ==============================================
- // The Supplement is expected to use the same const char* string instance
- // as its key. The Supplementable's SupplementMap will use the address of the
- // string as the key and not the characters themselves. Hence, 2 strings with
- // the same characters will be treated as 2 different keys.
- //
- // In practice, this is mostly hidden. Each Supplement must expose a static
- // const char array which provides a human-readable key. Access to supplements
- // requires passing the Supplement type, so these cannot collide for unequal
- // types.
- //
- // Use extreme caution when deriving a supplementable class, as misuse can cause
- // type confusion.
- //
- // Typical use is expected to look like this:
- //
- // class NavigatorFoo : public Supplement<Navigator> {
- // public:
- // static const char kSupplementName[];
- //
- // NavigatorFoo& From(Navigator&);
- // }
- //
- // // static
- // const char NavigatorFoo::kSupplementName[] = "NavigatorFoo";
- //
- // NavigatorFoo& NavigatorFoo::From(Navigator& navigator)
- // {
- // NavigatorFoo* supplement =
- // Supplement<Navigator>::From<NavigatorFoo>(navigator);
- // if (!supplement) {
- // supplement = new NavigatorFoo(navigator);
- // ProvideTo(navigator, supplement);
- // }
- // return *supplement;
- // }
- //
- // The hash map key will automatically be determined from the supplement type
- // used.
- //
- // What you should know about thread checks
- // ========================================
- // When assertion is enabled this class performs thread-safety check so that
- // supplements are provided to and from the same thread.
- // If you want to provide some value for Workers, this thread check may be too
- // strict, since in you'll be providing the value while worker preparation is
- // being done on the main thread, even before the worker thread has started.
- // If that's the case you can explicitly call reattachThread() when the
- // Supplementable object is passed to the final destination thread (i.e.
- // worker thread). This will allow supplements to be accessed on that thread.
- // Please be extremely careful to use the method though, as randomly calling
- // the method could easily cause racy condition.
- //
- // Note that reattachThread() does nothing if assertion is not enabled.
- template <typename T>
- class Supplementable;
- template <typename T>
- class Supplement : public GarbageCollectedMixin {
- public:
- // TODO(haraken): Remove the default constructor.
- // All Supplement objects should be instantiated with |supplementable_|.
- Supplement() {}
- explicit Supplement(T& supplementable) : supplementable_(&supplementable) {}
- // Supplements are constructed lazily on first access and are destroyed with
- // their Supplementable, so GetSupplementable() should never return null (if
- // the default constructor is completely removed).
- T* GetSupplementable() const { return supplementable_; }
- template <typename SupplementType>
- static void ProvideTo(Supplementable<T>& supplementable,
- SupplementType* supplement) {
- supplementable.ProvideSupplement(supplement);
- }
- template <typename SupplementType>
- static SupplementType* From(const Supplementable<T>& supplementable) {
- return supplementable.template RequireSupplement<SupplementType>();
- }
- template <typename SupplementType>
- static SupplementType* From(const Supplementable<T>* supplementable) {
- return supplementable
- ? supplementable->template RequireSupplement<SupplementType>()
- : nullptr;
- }
- void Trace(Visitor* visitor) const override {
- visitor->Trace(supplementable_);
- }
- private:
- Member<T> supplementable_;
- };
- template <typename T>
- class Supplementable : public GarbageCollectedMixin {
- public:
- template <typename SupplementType>
- void ProvideSupplement(SupplementType* supplement) {
- #if DCHECK_IS_ON()
- DCHECK_EQ(creation_thread_id_, CurrentThread());
- #endif
- static_assert(
- std::is_array<decltype(SupplementType::kSupplementName)>::value,
- "Declare a const char array kSupplementName. See Supplementable.h for "
- "details.");
- this->supplements_.Set(SupplementType::kSupplementName, supplement);
- }
- template <typename SupplementType>
- void RemoveSupplement() {
- #if DCHECK_IS_ON()
- DCHECK_EQ(creation_thread_id_, CurrentThread());
- #endif
- static_assert(
- std::is_array<decltype(SupplementType::kSupplementName)>::value,
- "Declare a const char array kSupplementName. See Supplementable.h for "
- "details.");
- this->supplements_.erase(SupplementType::kSupplementName);
- }
- template <typename SupplementType>
- SupplementType* RequireSupplement() const {
- #if DCHECK_IS_ON()
- DCHECK_EQ(attached_thread_id_, CurrentThread());
- #endif
- static_assert(
- std::is_array<decltype(SupplementType::kSupplementName)>::value,
- "Declare a const char array kSupplementName. See Supplementable.h for "
- "details.");
- return static_cast<SupplementType*>(
- this->supplements_.at(SupplementType::kSupplementName));
- }
- void ReattachThread() {
- #if DCHECK_IS_ON()
- attached_thread_id_ = CurrentThread();
- #endif
- }
- void Trace(Visitor* visitor) const override { visitor->Trace(supplements_); }
- protected:
- using SupplementMap =
- HeapHashMap<const char*, Member<Supplement<T>>, PtrHash<const char>>;
- SupplementMap supplements_;
- Supplementable()
- #if DCHECK_IS_ON()
- : attached_thread_id_(CurrentThread()),
- creation_thread_id_(CurrentThread())
- #endif
- {
- }
- #if DCHECK_IS_ON()
- private:
- base::PlatformThreadId attached_thread_id_;
- base::PlatformThreadId creation_thread_id_;
- #endif
- DISALLOW_COPY_AND_ASSIGN(Supplementable);
- };
- template <typename T>
- struct ThreadingTrait<Supplement<T>> {
- static const ThreadAffinity kAffinity = ThreadingTrait<T>::kAffinity;
- };
- template <typename T>
- struct ThreadingTrait<Supplementable<T>> {
- static const ThreadAffinity kAffinity = ThreadingTrait<T>::Affinity;
- };
- } // namespace blink
- #endif // THIRD_PARTY_BLINK_RENDERER_PLATFORM_SUPPLEMENTABLE_H_
|