1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
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
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
|
/* -*- Mode: C++; tab-width: 8; indent-tabs-mode: nil; c-basic-offset: 2 -*-
* vim: set ts=8 sts=2 et sw=2 tw=80:
* This Source Code Form is subject to the terms of the Mozilla Public
* License, v. 2.0. If a copy of the MPL was not distributed with this
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
#ifndef js_TracingAPI_h
#define js_TracingAPI_h
#include "js/GCTypeMacros.h"
#include "js/HeapAPI.h"
#include "js/TraceKind.h"
class JS_PUBLIC_API JSTracer;
namespace JS {
class JS_PUBLIC_API CallbackTracer;
template <typename T>
class Heap;
template <typename T>
class TenuredHeap;
/** Returns a static string equivalent of |kind|. */
JS_FRIEND_API const char* GCTraceKindToAscii(JS::TraceKind kind);
/** Returns the base size in bytes of the GC thing of kind |kind|. */
JS_FRIEND_API size_t GCTraceKindSize(JS::TraceKind kind);
// Kinds of JSTracer.
enum class TracerKind {
// Marking path: a tracer used only for marking liveness of cells, not
// for moving them.
Marking,
// Generic tracers: Internal tracers that have a different virtual method
// called for each edge kind.
//
// Order is important. All generic kinds must follow this one.
Generic,
// Specific kinds of generic tracer.
Tenuring,
Moving,
GrayBuffering,
ClearEdges,
Sweeping,
// Callback tracers: General-purpose tracers that have a single virtual
// method called on every edge.
//
// Order is important. All callback kinds must follow this one.
Callback,
// Specific kinds of callback tracer.
UnmarkGray,
VerifyTraceProtoAndIface
};
enum class WeakMapTraceAction {
/**
* Do not trace into weak map keys or values during traversal. Users must
* handle weak maps manually.
*/
Skip,
/**
* Do true ephemeron marking with a weak key lookup marking phase. This is
* the default for GCMarker.
*/
Expand,
/**
* Trace through to all values, irrespective of whether the keys are live
* or not. Used for non-marking tracers.
*/
TraceValues,
/**
* Trace through to all keys and values, irrespective of whether the keys
* are live or not. Used for non-marking tracers.
*/
TraceKeysAndValues
};
// Whether a tracer should trace weak edges. GCMarker sets this to Skip.
enum class WeakEdgeTraceAction { Skip, Trace };
// Whether a tracer can skip tracing JS::Ids. This is needed by the cycle
// collector to skip some Ids for performance reasons. Not all Ids are skipped.
enum class IdTraceAction { CanSkip, Trace };
struct TraceOptions {
JS::WeakMapTraceAction weakMapAction = WeakMapTraceAction::TraceValues;
JS::WeakEdgeTraceAction weakEdgeAction = WeakEdgeTraceAction::Trace;
JS::IdTraceAction idAction = IdTraceAction::Trace;
TraceOptions() = default;
TraceOptions(JS::WeakMapTraceAction weakMapActionArg,
JS::WeakEdgeTraceAction weakEdgeActionArg,
JS::IdTraceAction idActionArg = IdTraceAction::Trace)
: weakMapAction(weakMapActionArg),
weakEdgeAction(weakEdgeActionArg),
idAction(idActionArg) {}
MOZ_IMPLICIT TraceOptions(JS::WeakMapTraceAction weakMapActionArg)
: weakMapAction(weakMapActionArg) {}
MOZ_IMPLICIT TraceOptions(JS::WeakEdgeTraceAction weakEdgeActionArg)
: weakEdgeAction(weakEdgeActionArg) {}
MOZ_IMPLICIT TraceOptions(JS::IdTraceAction idActionArg)
: idAction(idActionArg) {}
};
class AutoTracingName;
class AutoTracingIndex;
class AutoTracingCallback;
// Optional context information that can be used to construct human readable
// descriptions of what is being traced.
class TracingContext {
public:
// Access to the tracing context: When tracing with a JS::CallbackTracer, we
// invoke the callback with the edge location and the type of target. This is
// useful for operating on the edge in the abstract or on the target thing,
// satisfying most common use cases. However, some tracers need additional
// detail about the specific edge that is being traced in order to be
// useful. Unfortunately, the raw pointer to the edge that we provide is not
// enough information to infer much of anything useful about that edge.
//
// In order to better support use cases that care in particular about edges --
// as opposed to the target thing -- tracing implementations are responsible
// for providing extra context information about each edge they trace, as it
// is traced. This contains, at a minimum, an edge name and, when tracing an
// array, the index. Further specialization can be achieved (with some
// complexity), by associating a functor with the tracer so that, when
// requested, the user can generate totally custom edge descriptions.
// Returns the current edge's name. It is only valid to call this when
// inside the trace callback, however, the edge name will always be set.
const char* name() const {
MOZ_ASSERT(name_);
return name_;
}
// Returns the current edge's index, if marked as part of an array of edges.
// This must be called only inside the trace callback. When not tracing an
// array, the value will be InvalidIndex.
constexpr static size_t InvalidIndex = size_t(-1);
size_t index() const { return index_; }
// Build a description of this edge in the heap graph. This call may invoke
// the context functor, if set, which may inspect arbitrary areas of the
// heap. On the other hand, the description provided by this method may be
// substantially more accurate and useful than those provided by only the
// name and index.
void getEdgeName(char* buffer, size_t bufferSize);
// The trace implementation may associate a callback with one or more edges
// using AutoTracingDetails. This functor is called by getEdgeName and
// is responsible for providing a textual representation of the edge currently
// being traced. The callback has access to the full heap, including the
// currently set tracing context.
class Functor {
public:
virtual void operator()(TracingContext* tcx, char* buf, size_t bufsize) = 0;
};
private:
friend class AutoTracingName;
const char* name_ = nullptr;
friend class AutoTracingIndex;
size_t index_ = InvalidIndex;
friend class AutoTracingDetails;
Functor* functor_ = nullptr;
};
} // namespace JS
namespace js {
class GenericTracer;
} // namespace js
class JS_PUBLIC_API JSTracer {
public:
// Return the runtime set on the tracer.
JSRuntime* runtime() const { return runtime_; }
JS::TracingContext* maybeContext() { return maybeContext_; }
JS::TracerKind kind() const { return kind_; }
bool isMarkingTracer() const { return kind_ == JS::TracerKind::Marking; }
bool isTenuringTracer() const { return kind_ == JS::TracerKind::Tenuring; }
bool isGenericTracer() const { return kind_ >= JS::TracerKind::Generic; }
bool isCallbackTracer() const { return kind_ >= JS::TracerKind::Callback; }
inline js::GenericTracer* asGenericTracer();
inline JS::CallbackTracer* asCallbackTracer();
JS::WeakMapTraceAction weakMapAction() const {
return options_.weakMapAction;
}
bool traceWeakEdges() const {
return options_.weakEdgeAction == JS::WeakEdgeTraceAction::Trace;
}
bool canSkipJsids() const {
return options_.idAction == JS::IdTraceAction::CanSkip;
}
// Get the current GC number. Only call this method if |isMarkingTracer()|
// is true.
uint32_t gcNumberForMarking() const;
protected:
JSTracer(JSRuntime* rt, JS::TracerKind kind,
JS::TraceOptions options = JS::TraceOptions())
: runtime_(rt), kind_(kind), options_(options) {}
void setContext(JS::TracingContext* tcx) { maybeContext_ = tcx; }
private:
JSRuntime* const runtime_;
JS::TracingContext* maybeContext_ = nullptr;
const JS::TracerKind kind_;
const JS::TraceOptions options_;
};
namespace js {
class GenericTracer : public JSTracer {
public:
GenericTracer(JSRuntime* rt, JS::TracerKind kind = JS::TracerKind::Generic,
JS::TraceOptions options = JS::TraceOptions())
: JSTracer(rt, kind, options) {
MOZ_ASSERT(isGenericTracer());
}
// These methods are called when the tracer encounters an edge. Clients should
// override them to receive notifications when an edge of each type is
// visited.
//
// The caller updates the edge with the return value (if different).
//
// In C++, overriding a method hides all methods in the base class with that
// name, not just methods with that signature. Thus, the typed edge methods
// have to have distinct names to allow us to override them individually,
// which is freqently useful if, for example, we only want to process one type
// of edge.
virtual JSObject* onObjectEdge(JSObject* obj) = 0;
virtual JSString* onStringEdge(JSString* str) = 0;
virtual JS::Symbol* onSymbolEdge(JS::Symbol* sym) = 0;
virtual JS::BigInt* onBigIntEdge(JS::BigInt* bi) = 0;
virtual js::BaseScript* onScriptEdge(js::BaseScript* script) = 0;
virtual js::Shape* onShapeEdge(js::Shape* shape) = 0;
virtual js::RegExpShared* onRegExpSharedEdge(js::RegExpShared* shared) = 0;
virtual js::ObjectGroup* onObjectGroupEdge(js::ObjectGroup* group) = 0;
virtual js::BaseShape* onBaseShapeEdge(js::BaseShape* base) = 0;
virtual js::jit::JitCode* onJitCodeEdge(js::jit::JitCode* code) = 0;
virtual js::Scope* onScopeEdge(js::Scope* scope) = 0;
};
} // namespace js
namespace JS {
class JS_PUBLIC_API CallbackTracer : public js::GenericTracer {
public:
CallbackTracer(JSRuntime* rt, JS::TracerKind kind = JS::TracerKind::Callback,
JS::TraceOptions options = JS::TraceOptions())
: GenericTracer(rt, kind, options) {
MOZ_ASSERT(isCallbackTracer());
setContext(&context_);
}
CallbackTracer(JSContext* cx, JS::TracerKind kind = JS::TracerKind::Callback,
JS::TraceOptions options = JS::TraceOptions());
TracingContext& context() { return context_; }
// Override this method to receive notification when a node in the GC
// heap graph is visited.
virtual void onChild(const JS::GCCellPtr& thing) = 0;
private:
// This class implements the GenericTracer interface to dispatches to onChild.
virtual JSObject* onObjectEdge(JSObject* obj) {
onChild(JS::GCCellPtr(obj));
return obj;
}
virtual JSString* onStringEdge(JSString* str) {
onChild(JS::GCCellPtr(str));
return str;
}
virtual JS::Symbol* onSymbolEdge(JS::Symbol* sym) {
onChild(JS::GCCellPtr(sym));
return sym;
}
virtual JS::BigInt* onBigIntEdge(JS::BigInt* bi) {
onChild(JS::GCCellPtr(bi));
return bi;
}
virtual js::BaseScript* onScriptEdge(js::BaseScript* script) {
onChild(JS::GCCellPtr(script));
return script;
}
virtual js::Shape* onShapeEdge(js::Shape* shape) {
onChild(JS::GCCellPtr(shape, JS::TraceKind::Shape));
return shape;
}
virtual js::ObjectGroup* onObjectGroupEdge(js::ObjectGroup* group) {
onChild(JS::GCCellPtr(group, JS::TraceKind::ObjectGroup));
return group;
}
virtual js::BaseShape* onBaseShapeEdge(js::BaseShape* base) {
onChild(JS::GCCellPtr(base, JS::TraceKind::BaseShape));
return base;
}
virtual js::jit::JitCode* onJitCodeEdge(js::jit::JitCode* code) {
onChild(JS::GCCellPtr(code, JS::TraceKind::JitCode));
return code;
}
virtual js::Scope* onScopeEdge(js::Scope* scope) {
onChild(JS::GCCellPtr(scope, JS::TraceKind::Scope));
return scope;
}
virtual js::RegExpShared* onRegExpSharedEdge(js::RegExpShared* shared) {
onChild(JS::GCCellPtr(shared, JS::TraceKind::RegExpShared));
return shared;
}
TracingContext context_;
};
// Set the name portion of the tracer's context for the current edge.
class MOZ_RAII AutoTracingName {
TracingContext* tcx_ = nullptr;
const char* prior_ = nullptr;
public:
AutoTracingName(JSTracer* trc, const char* name) {
MOZ_ASSERT(name);
if (TracingContext* tcx = trc->maybeContext()) {
tcx_ = tcx;
prior_ = tcx_->name_;
tcx_->name_ = name;
}
}
~AutoTracingName() {
if (tcx_) {
MOZ_ASSERT(tcx_->name_);
tcx_->name_ = prior_;
}
}
};
// Set the index portion of the tracer's context for the current range.
class MOZ_RAII AutoTracingIndex {
TracingContext* tcx_ = nullptr;
public:
explicit AutoTracingIndex(JSTracer* trc, size_t initial = 0) {
if (TracingContext* tcx = trc->maybeContext()) {
tcx_ = tcx;
MOZ_ASSERT(tcx_->index_ == TracingContext::InvalidIndex);
tcx_->index_ = initial;
}
}
~AutoTracingIndex() {
if (tcx_) {
MOZ_ASSERT(tcx_->index_ != TracingContext::InvalidIndex);
tcx_->index_ = TracingContext::InvalidIndex;
}
}
void operator++() {
if (tcx_) {
MOZ_ASSERT(tcx_->index_ != TracingContext::InvalidIndex);
++tcx_->index_;
}
}
};
// Set a context callback for the trace callback to use, if it needs a detailed
// edge description.
class MOZ_RAII AutoTracingDetails {
TracingContext* tcx_ = nullptr;
public:
AutoTracingDetails(JSTracer* trc, TracingContext::Functor& func) {
if (TracingContext* tcx = trc->maybeContext()) {
tcx_ = tcx;
MOZ_ASSERT(tcx_->functor_ == nullptr);
tcx_->functor_ = &func;
}
}
~AutoTracingDetails() {
if (tcx_) {
MOZ_ASSERT(tcx_->functor_);
tcx_->functor_ = nullptr;
}
}
};
} // namespace JS
js::GenericTracer* JSTracer::asGenericTracer() {
MOZ_ASSERT(isGenericTracer());
return static_cast<js::GenericTracer*>(this);
}
JS::CallbackTracer* JSTracer::asCallbackTracer() {
MOZ_ASSERT(isCallbackTracer());
return static_cast<JS::CallbackTracer*>(this);
}
namespace js {
class AbstractGeneratorObject;
class SavedFrame;
namespace gc {
#define JS_DECLARE_TRACE_EXTERNAL_EDGE(type) \
extern JS_PUBLIC_API void TraceExternalEdge(JSTracer* trc, type* thingp, \
const char* name);
// Declare edge-tracing function overloads for public GC pointer types.
JS_FOR_EACH_PUBLIC_GC_POINTER_TYPE(JS_DECLARE_TRACE_EXTERNAL_EDGE)
JS_FOR_EACH_PUBLIC_TAGGED_GC_POINTER_TYPE(JS_DECLARE_TRACE_EXTERNAL_EDGE)
#undef JS_DECLARE_TRACE_EXTERNAL_EDGE
} // namespace gc
} // namespace js
namespace JS {
// The JS::TraceEdge family of functions traces the given GC thing reference.
// This performs the tracing action configured on the given JSTracer: typically
// calling the JSTracer::callback or marking the thing as live.
//
// The argument to JS::TraceEdge is an in-out param: when the function returns,
// the garbage collector might have moved the GC thing. In this case, the
// reference passed to JS::TraceEdge will be updated to the thing's new
// location. Callers of this method are responsible for updating any state that
// is dependent on the object's address. For example, if the object's address
// is used as a key in a hashtable, then the object must be removed and
// re-inserted with the correct hash.
//
// Note that while |edgep| must never be null, it is fine for |*edgep| to be
// nullptr.
template <typename T>
inline void TraceEdge(JSTracer* trc, JS::Heap<T>* thingp, const char* name) {
MOZ_ASSERT(thingp);
if (*thingp) {
js::gc::TraceExternalEdge(trc, thingp->unsafeGet(), name);
}
}
template <typename T>
inline void TraceEdge(JSTracer* trc, JS::TenuredHeap<T>* thingp,
const char* name) {
MOZ_ASSERT(thingp);
if (T ptr = thingp->unbarrieredGetPtr()) {
js::gc::TraceExternalEdge(trc, &ptr, name);
thingp->setPtr(ptr);
}
}
// Edges that are always traced as part of root marking do not require
// incremental barriers. |JS::UnsafeTraceRoot| overloads allow for marking
// non-barriered pointers but assert that this happens during root marking.
//
// Note that while |edgep| must never be null, it is fine for |*edgep| to be
// nullptr.
#define JS_DECLARE_UNSAFE_TRACE_ROOT(type) \
extern JS_PUBLIC_API void UnsafeTraceRoot(JSTracer* trc, type* edgep, \
const char* name);
// Declare edge-tracing function overloads for public GC pointer types.
JS_FOR_EACH_PUBLIC_GC_POINTER_TYPE(JS_DECLARE_UNSAFE_TRACE_ROOT)
JS_FOR_EACH_PUBLIC_TAGGED_GC_POINTER_TYPE(JS_DECLARE_UNSAFE_TRACE_ROOT)
// We also require overloads for these purely-internal types. These overloads
// ought not be in public headers, and they should use a different name in order
// to not be *actual* overloads, but for the moment we still declare them here.
JS_DECLARE_UNSAFE_TRACE_ROOT(js::AbstractGeneratorObject*)
JS_DECLARE_UNSAFE_TRACE_ROOT(js::SavedFrame*)
#undef JS_DECLARE_UNSAFE_TRACE_ROOT
extern JS_PUBLIC_API void TraceChildren(JSTracer* trc, GCCellPtr thing);
} // namespace JS
namespace js {
inline bool IsTracerKind(JSTracer* trc, JS::TracerKind kind) {
return trc->kind() == kind;
}
// Trace an edge that is not a GC root and is not wrapped in a barriered
// wrapper for some reason.
//
// This method does not check if |*edgep| is non-null before tracing through
// it, so callers must check any nullable pointer before calling this method.
extern JS_PUBLIC_API void UnsafeTraceManuallyBarrieredEdge(JSTracer* trc,
JSObject** edgep,
const char* name);
// Not part of the public API, but declared here so we can use it in
// GCPolicyAPI.h
template <typename T>
inline bool TraceManuallyBarrieredWeakEdge(JSTracer* trc, T* thingp,
const char* name);
template <typename T>
class BarrieredBase;
template <typename T>
inline bool TraceWeakEdge(JSTracer* trc, BarrieredBase<T>* thingp,
const char* name);
namespace gc {
// Return true if the given edge is not live and is about to be swept.
template <typename T>
extern JS_PUBLIC_API bool EdgeNeedsSweep(JS::Heap<T>* edgep);
// Not part of the public API, but declared here so we can use it in GCPolicy
// which is.
template <typename T>
bool IsAboutToBeFinalizedUnbarriered(T* thingp);
} // namespace gc
#ifdef DEBUG
/*
* Return whether the runtime is currently being destroyed, for use in
* assertions.
*/
extern JS_FRIEND_API bool RuntimeIsBeingDestroyed();
#endif
} // namespace js
#endif /* js_TracingAPI_h */
|