blob: 303db0eb07589b22152321c8627d00c026716f5e [file] [log] [blame]
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001// Copyright 2012 the V8 project authors. All rights reserved.
2// Use of this source code is governed by a BSD-style license that can be
3// found in the LICENSE file.
4
5#ifndef V8_OBJECTS_VISITING_H_
6#define V8_OBJECTS_VISITING_H_
7
8#include "src/allocation.h"
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00009#include "src/heap/heap.h"
10#include "src/heap/spaces.h"
Emily Bernierd0a1eb72015-03-24 16:35:39 -040011#include "src/layout-descriptor.h"
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000012#include "src/objects-body-descriptors.h"
Ben Murdochb8a8cc12014-11-26 15:28:44 +000013
14// This file provides base classes and auxiliary methods for defining
15// static object visitors used during GC.
16// Visiting HeapObject body with a normal ObjectVisitor requires performing
17// two switches on object's instance type to determine object size and layout
18// and one or more virtual method calls on visitor itself.
19// Static visitor is different: it provides a dispatch table which contains
20// pointers to specialized visit functions. Each map has the visitor_id
21// field which contains an index of specialized visitor to use.
22
23namespace v8 {
24namespace internal {
25
26
27// Base class for all static visitors.
28class StaticVisitorBase : public AllStatic {
29 public:
30#define VISITOR_ID_LIST(V) \
31 V(SeqOneByteString) \
32 V(SeqTwoByteString) \
33 V(ShortcutCandidate) \
34 V(ByteArray) \
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000035 V(BytecodeArray) \
Ben Murdochb8a8cc12014-11-26 15:28:44 +000036 V(FreeSpace) \
37 V(FixedArray) \
38 V(FixedDoubleArray) \
39 V(FixedTypedArray) \
40 V(FixedFloat64Array) \
Ben Murdochb8a8cc12014-11-26 15:28:44 +000041 V(NativeContext) \
42 V(AllocationSite) \
43 V(DataObject2) \
44 V(DataObject3) \
45 V(DataObject4) \
46 V(DataObject5) \
47 V(DataObject6) \
48 V(DataObject7) \
49 V(DataObject8) \
50 V(DataObject9) \
51 V(DataObjectGeneric) \
52 V(JSObject2) \
53 V(JSObject3) \
54 V(JSObject4) \
55 V(JSObject5) \
56 V(JSObject6) \
57 V(JSObject7) \
58 V(JSObject8) \
59 V(JSObject9) \
60 V(JSObjectGeneric) \
Ben Murdochc5610432016-08-08 18:44:38 +010061 V(JSApiObject2) \
62 V(JSApiObject3) \
63 V(JSApiObject4) \
64 V(JSApiObject5) \
65 V(JSApiObject6) \
66 V(JSApiObject7) \
67 V(JSApiObject8) \
68 V(JSApiObject9) \
69 V(JSApiObjectGeneric) \
Ben Murdochb8a8cc12014-11-26 15:28:44 +000070 V(Struct2) \
71 V(Struct3) \
72 V(Struct4) \
73 V(Struct5) \
74 V(Struct6) \
75 V(Struct7) \
76 V(Struct8) \
77 V(Struct9) \
78 V(StructGeneric) \
79 V(ConsString) \
80 V(SlicedString) \
81 V(Symbol) \
82 V(Oddball) \
83 V(Code) \
84 V(Map) \
85 V(Cell) \
86 V(PropertyCell) \
Emily Bernierd0a1eb72015-03-24 16:35:39 -040087 V(WeakCell) \
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000088 V(TransitionArray) \
Ben Murdochb8a8cc12014-11-26 15:28:44 +000089 V(SharedFunctionInfo) \
90 V(JSFunction) \
91 V(JSWeakCollection) \
92 V(JSArrayBuffer) \
Ben Murdochb8a8cc12014-11-26 15:28:44 +000093 V(JSRegExp)
94
95 // For data objects, JS objects and structs along with generic visitor which
96 // can visit object of any size we provide visitors specialized by
97 // object size in words.
98 // Ids of specialized visitors are declared in a linear order (without
99 // holes) starting from the id of visitor specialized for 2 words objects
100 // (base visitor id) and ending with the id of generic visitor.
101 // Method GetVisitorIdForSize depends on this ordering to calculate visitor
102 // id of specialized visitor from given instance size, base visitor id and
103 // generic visitor's id.
104 enum VisitorId {
105#define VISITOR_ID_ENUM_DECL(id) kVisit##id,
106 VISITOR_ID_LIST(VISITOR_ID_ENUM_DECL)
107#undef VISITOR_ID_ENUM_DECL
Ben Murdochc5610432016-08-08 18:44:38 +0100108 kVisitorIdCount,
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000109 kVisitDataObject = kVisitDataObject2,
110 kVisitJSObject = kVisitJSObject2,
Ben Murdochc5610432016-08-08 18:44:38 +0100111 kVisitJSApiObject = kVisitJSApiObject2,
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000112 kVisitStruct = kVisitStruct2,
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000113 };
114
115 // Visitor ID should fit in one byte.
116 STATIC_ASSERT(kVisitorIdCount <= 256);
117
118 // Determine which specialized visitor should be used for given instance type
119 // and instance type.
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400120 static VisitorId GetVisitorId(int instance_type, int instance_size,
121 bool has_unboxed_fields);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000122
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400123 // Determine which specialized visitor should be used for given map.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000124 static VisitorId GetVisitorId(Map* map);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000125
126 // For visitors that allow specialization by size calculate VisitorId based
127 // on size, base visitor id and generic visitor id.
128 static VisitorId GetVisitorIdForSize(VisitorId base, VisitorId generic,
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400129 int object_size,
130 bool has_unboxed_fields) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000131 DCHECK((base == kVisitDataObject) || (base == kVisitStruct) ||
Ben Murdochc5610432016-08-08 18:44:38 +0100132 (base == kVisitJSObject) || (base == kVisitJSApiObject));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000133 DCHECK(IsAligned(object_size, kPointerSize));
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000134 DCHECK(Heap::kMinObjectSizeInWords * kPointerSize <= object_size);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000135 DCHECK(object_size <= Page::kMaxRegularHeapObjectSize);
Ben Murdochc5610432016-08-08 18:44:38 +0100136 DCHECK(!has_unboxed_fields || (base == kVisitJSObject) ||
137 (base == kVisitJSApiObject));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000138
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400139 if (has_unboxed_fields) return generic;
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000140
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000141 int visitor_id = Min(
142 base + (object_size >> kPointerSizeLog2) - Heap::kMinObjectSizeInWords,
143 static_cast<int>(generic));
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400144
145 return static_cast<VisitorId>(visitor_id);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000146 }
147};
148
149
150template <typename Callback>
151class VisitorDispatchTable {
152 public:
153 void CopyFrom(VisitorDispatchTable* other) {
154 // We are not using memcpy to guarantee that during update
155 // every element of callbacks_ array will remain correct
156 // pointer (memcpy might be implemented as a byte copying loop).
157 for (int i = 0; i < StaticVisitorBase::kVisitorIdCount; i++) {
158 base::NoBarrier_Store(&callbacks_[i], other->callbacks_[i]);
159 }
160 }
161
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000162 inline Callback GetVisitor(Map* map);
163
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000164 inline Callback GetVisitorById(StaticVisitorBase::VisitorId id) {
165 return reinterpret_cast<Callback>(callbacks_[id]);
166 }
167
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000168 void Register(StaticVisitorBase::VisitorId id, Callback callback) {
169 DCHECK(id < StaticVisitorBase::kVisitorIdCount); // id is unsigned.
170 callbacks_[id] = reinterpret_cast<base::AtomicWord>(callback);
171 }
172
173 template <typename Visitor, StaticVisitorBase::VisitorId base,
174 StaticVisitorBase::VisitorId generic, int object_size_in_words>
175 void RegisterSpecialization() {
176 static const int size = object_size_in_words * kPointerSize;
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400177 Register(StaticVisitorBase::GetVisitorIdForSize(base, generic, size, false),
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000178 &Visitor::template VisitSpecialized<size>);
179 }
180
181
182 template <typename Visitor, StaticVisitorBase::VisitorId base,
183 StaticVisitorBase::VisitorId generic>
184 void RegisterSpecializations() {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000185 STATIC_ASSERT((generic - base + Heap::kMinObjectSizeInWords) == 10);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000186 RegisterSpecialization<Visitor, base, generic, 2>();
187 RegisterSpecialization<Visitor, base, generic, 3>();
188 RegisterSpecialization<Visitor, base, generic, 4>();
189 RegisterSpecialization<Visitor, base, generic, 5>();
190 RegisterSpecialization<Visitor, base, generic, 6>();
191 RegisterSpecialization<Visitor, base, generic, 7>();
192 RegisterSpecialization<Visitor, base, generic, 8>();
193 RegisterSpecialization<Visitor, base, generic, 9>();
194 Register(generic, &Visitor::Visit);
195 }
196
197 private:
198 base::AtomicWord callbacks_[StaticVisitorBase::kVisitorIdCount];
199};
200
201
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000202template <typename StaticVisitor, typename BodyDescriptor, typename ReturnType>
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000203class FlexibleBodyVisitor : public AllStatic {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000204 public:
205 INLINE(static ReturnType Visit(Map* map, HeapObject* object)) {
206 int object_size = BodyDescriptor::SizeOf(map, object);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000207 BodyDescriptor::template IterateBody<StaticVisitor>(object, object_size);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000208 return static_cast<ReturnType>(object_size);
209 }
210
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000211 // This specialization is only suitable for objects containing pointer fields.
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000212 template <int object_size>
213 static inline ReturnType VisitSpecialized(Map* map, HeapObject* object) {
214 DCHECK(BodyDescriptor::SizeOf(map, object) == object_size);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000215 DCHECK(!FLAG_unbox_double_fields || map->HasFastPointerLayout());
216 StaticVisitor::VisitPointers(
217 object->GetHeap(), object,
218 HeapObject::RawField(object, BodyDescriptor::kStartOffset),
219 HeapObject::RawField(object, object_size));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000220 return static_cast<ReturnType>(object_size);
221 }
222};
223
224
225template <typename StaticVisitor, typename BodyDescriptor, typename ReturnType>
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000226class FixedBodyVisitor : public AllStatic {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000227 public:
228 INLINE(static ReturnType Visit(Map* map, HeapObject* object)) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000229 BodyDescriptor::template IterateBody<StaticVisitor>(object);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000230 return static_cast<ReturnType>(BodyDescriptor::kSize);
231 }
232};
233
234
235// Base class for visitors used for a linear new space iteration.
236// IterateBody returns size of visited object.
237// Certain types of objects (i.e. Code objects) are not handled
238// by dispatch table of this visitor because they cannot appear
239// in the new space.
240//
241// This class is intended to be used in the following way:
242//
243// class SomeVisitor : public StaticNewSpaceVisitor<SomeVisitor> {
244// ...
245// }
246//
247// This is an example of Curiously recurring template pattern
248// (see http://en.wikipedia.org/wiki/Curiously_recurring_template_pattern).
249// We use CRTP to guarantee aggressive compile time optimizations (i.e.
250// inlining and specialization of StaticVisitor::VisitPointers methods).
251template <typename StaticVisitor>
252class StaticNewSpaceVisitor : public StaticVisitorBase {
253 public:
254 static void Initialize();
255
256 INLINE(static int IterateBody(Map* map, HeapObject* obj)) {
257 return table_.GetVisitor(map)(map, obj);
258 }
259
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000260 INLINE(static void VisitPointers(Heap* heap, HeapObject* object,
261 Object** start, Object** end)) {
262 for (Object** p = start; p < end; p++) {
263 StaticVisitor::VisitPointer(heap, object, p);
264 }
265 }
266
267 // Although we are using the JSFunction body descriptor which does not
268 // visit the code entry, compiler wants it to be accessible.
269 // See JSFunction::BodyDescriptorImpl.
270 INLINE(static void VisitCodeEntry(Heap* heap, HeapObject* object,
271 Address entry_address)) {
272 UNREACHABLE();
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000273 }
274
275 private:
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000276 INLINE(static int VisitByteArray(Map* map, HeapObject* object)) {
277 return reinterpret_cast<ByteArray*>(object)->ByteArraySize();
278 }
279
280 INLINE(static int VisitFixedDoubleArray(Map* map, HeapObject* object)) {
281 int length = reinterpret_cast<FixedDoubleArray*>(object)->length();
282 return FixedDoubleArray::SizeFor(length);
283 }
284
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000285 INLINE(static int VisitJSObject(Map* map, HeapObject* object)) {
286 return JSObjectVisitor::Visit(map, object);
287 }
288
289 INLINE(static int VisitSeqOneByteString(Map* map, HeapObject* object)) {
290 return SeqOneByteString::cast(object)
291 ->SeqOneByteStringSize(map->instance_type());
292 }
293
294 INLINE(static int VisitSeqTwoByteString(Map* map, HeapObject* object)) {
295 return SeqTwoByteString::cast(object)
296 ->SeqTwoByteStringSize(map->instance_type());
297 }
298
299 INLINE(static int VisitFreeSpace(Map* map, HeapObject* object)) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000300 return FreeSpace::cast(object)->size();
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000301 }
302
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000303 INLINE(static int VisitBytecodeArray(Map* map, HeapObject* object));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000304
305 class DataObjectVisitor {
306 public:
307 template <int object_size>
308 static inline int VisitSpecialized(Map* map, HeapObject* object) {
309 return object_size;
310 }
311
312 INLINE(static int Visit(Map* map, HeapObject* object)) {
313 return map->instance_size();
314 }
315 };
316
317 typedef FlexibleBodyVisitor<StaticVisitor, StructBodyDescriptor, int>
318 StructVisitor;
319
320 typedef FlexibleBodyVisitor<StaticVisitor, JSObject::BodyDescriptor, int>
321 JSObjectVisitor;
322
323 typedef int (*Callback)(Map* map, HeapObject* object);
324
325 static VisitorDispatchTable<Callback> table_;
326};
327
328
329template <typename StaticVisitor>
330VisitorDispatchTable<typename StaticNewSpaceVisitor<StaticVisitor>::Callback>
331 StaticNewSpaceVisitor<StaticVisitor>::table_;
332
333
334// Base class for visitors used to transitively mark the entire heap.
335// IterateBody returns nothing.
336// Certain types of objects might not be handled by this base class and
337// no visitor function is registered by the generic initialization. A
338// specialized visitor function needs to be provided by the inheriting
339// class itself for those cases.
340//
341// This class is intended to be used in the following way:
342//
343// class SomeVisitor : public StaticMarkingVisitor<SomeVisitor> {
344// ...
345// }
346//
347// This is an example of Curiously recurring template pattern.
348template <typename StaticVisitor>
349class StaticMarkingVisitor : public StaticVisitorBase {
350 public:
351 static void Initialize();
352
353 INLINE(static void IterateBody(Map* map, HeapObject* obj)) {
354 table_.GetVisitor(map)(map, obj);
355 }
356
357 INLINE(static void VisitPropertyCell(Map* map, HeapObject* object));
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400358 INLINE(static void VisitWeakCell(Map* map, HeapObject* object));
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000359 INLINE(static void VisitTransitionArray(Map* map, HeapObject* object));
360 INLINE(static void VisitCodeEntry(Heap* heap, HeapObject* object,
361 Address entry_address));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000362 INLINE(static void VisitEmbeddedPointer(Heap* heap, RelocInfo* rinfo));
363 INLINE(static void VisitCell(Heap* heap, RelocInfo* rinfo));
364 INLINE(static void VisitDebugTarget(Heap* heap, RelocInfo* rinfo));
365 INLINE(static void VisitCodeTarget(Heap* heap, RelocInfo* rinfo));
366 INLINE(static void VisitCodeAgeSequence(Heap* heap, RelocInfo* rinfo));
367 INLINE(static void VisitExternalReference(RelocInfo* rinfo)) {}
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000368 INLINE(static void VisitInternalReference(RelocInfo* rinfo)) {}
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000369 INLINE(static void VisitRuntimeEntry(RelocInfo* rinfo)) {}
370 // Skip the weak next code link in a code object.
371 INLINE(static void VisitNextCodeLink(Heap* heap, Object** slot)) {}
372
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000373 protected:
374 INLINE(static void VisitMap(Map* map, HeapObject* object));
375 INLINE(static void VisitCode(Map* map, HeapObject* object));
376 INLINE(static void VisitSharedFunctionInfo(Map* map, HeapObject* object));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000377 INLINE(static void VisitAllocationSite(Map* map, HeapObject* object));
378 INLINE(static void VisitWeakCollection(Map* map, HeapObject* object));
379 INLINE(static void VisitJSFunction(Map* map, HeapObject* object));
380 INLINE(static void VisitJSRegExp(Map* map, HeapObject* object));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000381 INLINE(static void VisitNativeContext(Map* map, HeapObject* object));
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000382 INLINE(static void VisitBytecodeArray(Map* map, HeapObject* object));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000383
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000384 // Mark pointers in a Map treating some elements of the descriptor array weak.
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000385 static void MarkMapContents(Heap* heap, Map* map);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000386
387 // Code flushing support.
388 INLINE(static bool IsFlushable(Heap* heap, JSFunction* function));
389 INLINE(static bool IsFlushable(Heap* heap, SharedFunctionInfo* shared_info));
390
391 // Helpers used by code flushing support that visit pointer fields and treat
392 // references to code objects either strongly or weakly.
393 static void VisitSharedFunctionInfoStrongCode(Heap* heap, HeapObject* object);
394 static void VisitSharedFunctionInfoWeakCode(Heap* heap, HeapObject* object);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000395 static void VisitJSFunctionStrongCode(Map* map, HeapObject* object);
396 static void VisitJSFunctionWeakCode(Map* map, HeapObject* object);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000397
398 class DataObjectVisitor {
399 public:
400 template <int size>
401 static inline void VisitSpecialized(Map* map, HeapObject* object) {}
402
403 INLINE(static void Visit(Map* map, HeapObject* object)) {}
404 };
405
406 typedef FlexibleBodyVisitor<StaticVisitor, FixedArray::BodyDescriptor, void>
407 FixedArrayVisitor;
408
409 typedef FlexibleBodyVisitor<StaticVisitor, JSObject::BodyDescriptor, void>
410 JSObjectVisitor;
411
Ben Murdochc5610432016-08-08 18:44:38 +0100412 class JSApiObjectVisitor : AllStatic {
413 public:
414 template <int size>
415 static inline void VisitSpecialized(Map* map, HeapObject* object) {
416 TracePossibleWrapper(object);
417 JSObjectVisitor::template VisitSpecialized<size>(map, object);
418 }
419
420 INLINE(static void Visit(Map* map, HeapObject* object)) {
421 TracePossibleWrapper(object);
422 JSObjectVisitor::Visit(map, object);
423 }
424
425 private:
426 INLINE(static void TracePossibleWrapper(HeapObject* object)) {
427 if (object->GetHeap()->UsingEmbedderHeapTracer()) {
428 DCHECK(object->IsJSObject());
429 object->GetHeap()->TracePossibleWrapper(JSObject::cast(object));
430 }
431 }
432 };
433
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000434 typedef FlexibleBodyVisitor<StaticVisitor, StructBodyDescriptor, void>
435 StructObjectVisitor;
436
437 typedef void (*Callback)(Map* map, HeapObject* object);
438
439 static VisitorDispatchTable<Callback> table_;
440};
441
442
443template <typename StaticVisitor>
444VisitorDispatchTable<typename StaticMarkingVisitor<StaticVisitor>::Callback>
445 StaticMarkingVisitor<StaticVisitor>::table_;
446
447
448class WeakObjectRetainer;
449
450
451// A weak list is single linked list where each element has a weak pointer to
452// the next element. Given the head of the list, this function removes dead
453// elements from the list and if requested records slots for next-element
454// pointers. The template parameter T is a WeakListVisitor that defines how to
455// access the next-element pointers.
456template <class T>
457Object* VisitWeakList(Heap* heap, Object* list, WeakObjectRetainer* retainer);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000458} // namespace internal
459} // namespace v8
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000460
461#endif // V8_OBJECTS_VISITING_H_