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
|
// 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.
#include "src/heap/cppgc/marking-verifier.h"
#include "src/base/logging.h"
#include "src/heap/cppgc/gc-info-table.h"
#include "src/heap/cppgc/heap.h"
namespace cppgc {
namespace internal {
MarkingVerifier::MarkingVerifier(HeapBase& heap,
Heap::Config::StackState stack_state)
: cppgc::Visitor(VisitorFactory::CreateKey()),
ConservativeTracingVisitor(heap, *heap.page_backend(), *this) {
Traverse(&heap.raw_heap());
if (stack_state == Heap::Config::StackState::kMayContainHeapPointers) {
in_construction_objects_ = &in_construction_objects_stack_;
heap.stack()->IteratePointers(this);
CHECK_EQ(in_construction_objects_stack_, in_construction_objects_heap_);
}
}
void MarkingVerifier::Visit(const void* object, TraceDescriptor desc) {
VerifyChild(desc.base_object_payload);
}
void MarkingVerifier::VisitWeak(const void* object, TraceDescriptor desc,
WeakCallback, const void*) {
// Weak objects should have been cleared at this point. As a consequence, all
// objects found through weak references have to point to live objects at this
// point.
VerifyChild(desc.base_object_payload);
}
void MarkingVerifier::VerifyChild(const void* base_object_payload) {
const HeapObjectHeader& child_header =
HeapObjectHeader::FromPayload(base_object_payload);
CHECK(child_header.IsMarked());
}
void MarkingVerifier::VisitConservatively(
HeapObjectHeader& header, TraceConservativelyCallback callback) {
CHECK(header.IsMarked());
in_construction_objects_->insert(&header);
callback(this, header);
}
void MarkingVerifier::VisitPointer(const void* address) {
TraceConservativelyIfNeeded(address);
}
bool MarkingVerifier::VisitHeapObjectHeader(HeapObjectHeader* header) {
// Verify only non-free marked objects.
if (!header->IsMarked()) return true;
DCHECK(!header->IsFree());
if (!header->IsInConstruction()) {
GlobalGCInfoTable::GCInfoFromIndex(header->GetGCInfoIndex())
.trace(this, header->Payload());
} else {
// Dispatches to conservative tracing implementation.
TraceConservativelyIfNeeded(*header);
}
return true;
}
} // namespace internal
} // namespace cppgc
|