visitor.h 11.2 KB
Newer Older
1 2 3 4 5 6 7
// Copyright 2020 the V8 project authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.

#ifndef INCLUDE_CPPGC_VISITOR_H_
#define INCLUDE_CPPGC_VISITOR_H_

8
#include "cppgc/custom-space.h"
9
#include "cppgc/ephemeron-pair.h"
10 11 12 13 14 15 16
#include "cppgc/garbage-collected.h"
#include "cppgc/internal/logging.h"
#include "cppgc/internal/pointer-policies.h"
#include "cppgc/liveness-broker.h"
#include "cppgc/member.h"
#include "cppgc/source-location.h"
#include "cppgc/trace-trait.h"
17
#include "cppgc/type-traits.h"
18 19

namespace cppgc {
20

21
namespace internal {
22 23 24
template <typename T, typename WeaknessPolicy, typename LocationPolicy,
          typename CheckingPolicy>
class BasicCrossThreadPersistent;
25 26 27
template <typename T, typename WeaknessPolicy, typename LocationPolicy,
          typename CheckingPolicy>
class BasicPersistent;
28
class ConservativeTracingVisitor;
29
class VisitorBase;
30
class VisitorFactory;
31 32
}  // namespace internal

33 34 35 36
using WeakCallback = void (*)(const LivenessBroker&, const void*);

/**
 * Visitor passed to trace methods. All managed pointers must have called the
37 38 39 40 41 42 43 44 45 46 47 48 49 50
 * Visitor's trace method on them.
 *
 * \code
 * class Foo final : public GarbageCollected<Foo> {
 *  public:
 *   void Trace(Visitor* visitor) const {
 *     visitor->Trace(foo_);
 *     visitor->Trace(weak_foo_);
 *   }
 *  private:
 *   Member<Foo> foo_;
 *   WeakMember<Foo> weak_foo_;
 * };
 * \endcode
51
 */
52
class V8_EXPORT Visitor {
53
 public:
54 55 56 57 58 59 60 61
  class Key {
   private:
    Key() = default;
    friend class internal::VisitorFactory;
  };

  explicit Visitor(Key) {}

62 63
  virtual ~Visitor() = default;

64 65 66 67 68
  /**
   * Trace method for Member.
   *
   * \param member Member reference retaining an object.
   */
69 70 71
  template <typename T>
  void Trace(const Member<T>& member) {
    const T* value = member.GetRawAtomic();
72
    CPPGC_DCHECK(value != kSentinelPointer);
73 74 75
    Trace(value);
  }

76 77 78 79 80
  /**
   * Trace method for WeakMember.
   *
   * \param weak_member WeakMember reference weakly retaining an object.
   */
81 82
  template <typename T>
  void Trace(const WeakMember<T>& weak_member) {
83
    static_assert(sizeof(T), "Pointee type must be fully defined.");
84
    static_assert(internal::IsGarbageCollectedType<T>::value,
85
                  "T must be GarbageCollected or GarbageCollectedMixin type");
86 87
    static_assert(!internal::IsAllocatedOnCompactableSpace<T>::value,
                  "Weak references to compactable objects are not allowed");
88 89 90 91 92 93 94 95

    const T* value = weak_member.GetRawAtomic();

    // Bailout assumes that WeakMember emits write barrier.
    if (!value) {
      return;
    }

96
    CPPGC_DCHECK(value != kSentinelPointer);
97
    VisitWeak(value, TraceTrait<T>::GetTraceDescriptor(value),
98 99 100
              &HandleWeak<WeakMember<T>>, &weak_member);
  }

101 102 103 104 105 106
  /**
   * Trace method for inlined objects that are not allocated themselves but
   * otherwise follow managed heap layout and have a Trace() method.
   *
   * \param object reference of the inlined object.
   */
107 108 109 110 111 112 113 114 115 116 117 118
  template <typename T>
  void Trace(const T& object) {
#if V8_ENABLE_CHECKS
    // This object is embedded in potentially multiple nested objects. The
    // outermost object must not be in construction as such objects are (a) not
    // processed immediately, and (b) only processed conservatively if not
    // otherwise possible.
    CheckObjectNotInConstruction(&object);
#endif  // V8_ENABLE_CHECKS
    TraceTrait<T>::Trace(this, &object);
  }

119 120 121 122 123 124
  /**
   * Registers a weak callback method on the object of type T. See
   * LivenessBroker for an usage example.
   *
   * \param object of type T specifying a weak callback method.
   */
125
  template <typename T, void (T::*method)(const LivenessBroker&)>
126 127
  void RegisterWeakCallbackMethod(const T* object) {
    RegisterWeakCallback(&WeakCallbackMethodDelegate<T, method>, object);
128 129
  }

130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153
  /**
   * Trace method for EphemeronPair.
   *
   * \param ephemeron_pair EphemeronPair reference weakly retaining a key object
   * and strongly retaining a value object in case the key object is alive.
   */
  template <typename K, typename V>
  void Trace(const EphemeronPair<K, V>& ephemeron_pair) {
    TraceEphemeron(ephemeron_pair.key, ephemeron_pair.value.GetRawAtomic());
  }

  /**
   * Trace method for ephemerons. Used for tracing raw ephemeron in which the
   * key and value are kept separately.
   *
   * \param key WeakMember reference weakly retaining a key object.
   * \param value Member reference weakly retaining a value object.
   */
  template <typename K, typename V>
  void TraceEphemeron(const WeakMember<K>& key, const V* value) {
    TraceDescriptor value_desc = TraceTrait<V>::GetTraceDescriptor(value);
    VisitEphemeron(key, value_desc);
  }

154 155 156 157 158 159 160 161 162 163 164 165
  /**
   * Trace method that strongifies a WeakMember.
   *
   * \param weak_member WeakMember reference retaining an object.
   */
  template <typename T>
  void TraceStrongly(const WeakMember<T>& weak_member) {
    const T* value = weak_member.GetRawAtomic();
    CPPGC_DCHECK(value != kSentinelPointer);
    Trace(value);
  }

166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181
  /**
   * Trace method for weak containers.
   *
   * \param object reference of the weak container.
   * \param callback to be invoked.
   * \param data custom data that is passed to the callback.
   */
  template <typename T>
  void TraceWeakContainer(const T* object, WeakCallback callback,
                          const void* data) {
    if (!object) return;
    VisitWeakContainer(object, TraceTrait<T>::GetTraceDescriptor(object),
                       TraceTrait<T>::GetWeakTraceDescriptor(object), callback,
                       data);
  }

182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197
  /**
   * Registers a slot containing a reference to an object allocated on a
   * compactable space. Such references maybe be arbitrarily moved by the GC.
   *
   * \param slot location of reference to object that might be moved by the GC.
   */
  template <typename T>
  void RegisterMovableReference(const T** slot) {
    static_assert(internal::IsAllocatedOnCompactableSpace<T>::value,
                  "Only references to objects allocated on compactable spaces "
                  "should be registered as movable slots.");
    static_assert(!internal::IsGarbageCollectedMixinTypeV<T>,
                  "Mixin types do not support compaction.");
    HandleMovableReference(reinterpret_cast<const void**>(slot));
  }

198 199 200 201 202 203 204
  /**
   * Registers a weak callback that is invoked during garbage collection.
   *
   * \param callback to be invoked.
   * \param data custom data that is passed to the callback.
   */
  virtual void RegisterWeakCallback(WeakCallback callback, const void* data) {}
205

206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224
  /**
   * Defers tracing an object from a concurrent thread to the mutator thread.
   * Should be called by Trace methods of types that are not safe to trace
   * concurrently.
   *
   * \param parameter tells the trace callback which object was deferred.
   * \param callback to be invoked for tracing on the mutator thread.
   * \param deferred_size size of deferred object.
   *
   * \returns false if the object does not need to be deferred (i.e. currently
   * traced on the mutator thread) and true otherwise (i.e. currently traced on
   * a concurrent thread).
   */
  virtual V8_WARN_UNUSED_RESULT bool DeferTraceToMutatorThreadIfConcurrent(
      const void* parameter, TraceCallback callback, size_t deferred_size) {
    // By default tracing is not deferred.
    return false;
  }

225
 protected:
226 227 228
  virtual void Visit(const void* self, TraceDescriptor) {}
  virtual void VisitWeak(const void* self, TraceDescriptor, WeakCallback,
                         const void* weak_member) {}
229
  virtual void VisitRoot(const void*, TraceDescriptor, const SourceLocation&) {}
230
  virtual void VisitWeakRoot(const void* self, TraceDescriptor, WeakCallback,
231
                             const void* weak_root, const SourceLocation&) {}
232
  virtual void VisitEphemeron(const void* key, TraceDescriptor value_desc) {}
233 234 235
  virtual void VisitWeakContainer(const void* self, TraceDescriptor strong_desc,
                                  TraceDescriptor weak_desc,
                                  WeakCallback callback, const void* data) {}
236
  virtual void HandleMovableReference(const void**) {}
237 238

 private:
239 240 241 242 243 244 245 246
  template <typename T, void (T::*method)(const LivenessBroker&)>
  static void WeakCallbackMethodDelegate(const LivenessBroker& info,
                                         const void* self) {
    // Callback is registered through a potential const Trace method but needs
    // to be able to modify fields. See HandleWeak.
    (const_cast<T*>(static_cast<const T*>(self))->*method)(info);
  }

247 248 249
  template <typename PointerType>
  static void HandleWeak(const LivenessBroker& info, const void* object) {
    const PointerType* weak = static_cast<const PointerType*>(object);
250 251
    // Sentinel values are preserved for weak pointers.
    if (*weak == kSentinelPointer) return;
252
    const auto* raw = weak->Get();
253 254
    if (!info.IsHeapObjectAlive(raw)) {
      weak->ClearFromGC();
255 256 257
    }
  }

258 259 260 261 262 263 264 265 266 267 268 269
  template <typename Persistent,
            std::enable_if_t<Persistent::IsStrongPersistent::value>* = nullptr>
  void TraceRoot(const Persistent& p, const SourceLocation& loc) {
    using PointeeType = typename Persistent::PointeeType;
    static_assert(sizeof(PointeeType),
                  "Persistent's pointee type must be fully defined");
    static_assert(internal::IsGarbageCollectedType<PointeeType>::value,
                  "Persistent's pointee type must be GarbageCollected or "
                  "GarbageCollectedMixin");
    if (!p.Get()) {
      return;
    }
270 271
    VisitRoot(p.Get(), TraceTrait<PointeeType>::GetTraceDescriptor(p.Get()),
              loc);
272 273 274 275 276 277 278 279 280 281 282 283
  }

  template <
      typename WeakPersistent,
      std::enable_if_t<!WeakPersistent::IsStrongPersistent::value>* = nullptr>
  void TraceRoot(const WeakPersistent& p, const SourceLocation& loc) {
    using PointeeType = typename WeakPersistent::PointeeType;
    static_assert(sizeof(PointeeType),
                  "Persistent's pointee type must be fully defined");
    static_assert(internal::IsGarbageCollectedType<PointeeType>::value,
                  "Persistent's pointee type must be GarbageCollected or "
                  "GarbageCollectedMixin");
284 285
    static_assert(!internal::IsAllocatedOnCompactableSpace<PointeeType>::value,
                  "Weak references to compactable objects are not allowed");
286
    VisitWeakRoot(p.Get(), TraceTrait<PointeeType>::GetTraceDescriptor(p.Get()),
287
                  &HandleWeak<WeakPersistent>, &p, loc);
288 289
  }

290 291
  template <typename T>
  void Trace(const T* t) {
292
    static_assert(sizeof(T), "Pointee type must be fully defined.");
293
    static_assert(internal::IsGarbageCollectedType<T>::value,
294
                  "T must be GarbageCollected or GarbageCollectedMixin type");
295 296 297 298 299 300
    if (!t) {
      return;
    }
    Visit(t, TraceTrait<T>::GetTraceDescriptor(t));
  }

301
#if V8_ENABLE_CHECKS
302
  void CheckObjectNotInConstruction(const void* address);
303 304
#endif  // V8_ENABLE_CHECKS

305 306 307
  template <typename T, typename WeaknessPolicy, typename LocationPolicy,
            typename CheckingPolicy>
  friend class internal::BasicCrossThreadPersistent;
308 309 310
  template <typename T, typename WeaknessPolicy, typename LocationPolicy,
            typename CheckingPolicy>
  friend class internal::BasicPersistent;
311
  friend class internal::ConservativeTracingVisitor;
312
  friend class internal::VisitorBase;
313 314 315 316 317
};

}  // namespace cppgc

#endif  // INCLUDE_CPPGC_VISITOR_H_