0505419a1e
Introduce RootVisitor and related class hierarchy to just handle roots. This avoids the awkard definitions for roots visiation in all the cases they are not needed. Change-Id: Ib0912e4bf543db2ecf68caead6929c68d6afdda6 Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/3782794 Reviewed-by: Omer Katz <omerkatz@chromium.org> Reviewed-by: Anton Bikineev <bikineev@chromium.org> Commit-Queue: Michael Lippautz <mlippautz@chromium.org> Cr-Commit-Position: refs/heads/main@{#82107}
406 lines
12 KiB
C++
406 lines
12 KiB
C++
// 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-visitor.h"
|
|
|
|
#include "include/cppgc/allocation.h"
|
|
#include "include/cppgc/member.h"
|
|
#include "include/cppgc/persistent.h"
|
|
#include "include/cppgc/source-location.h"
|
|
#include "src/heap/cppgc/globals.h"
|
|
#include "src/heap/cppgc/heap-object-header.h"
|
|
#include "src/heap/cppgc/marker.h"
|
|
#include "src/heap/cppgc/marking-state.h"
|
|
#include "test/unittests/heap/cppgc/tests.h"
|
|
#include "testing/gtest/include/gtest/gtest.h"
|
|
|
|
namespace cppgc {
|
|
namespace internal {
|
|
|
|
namespace {
|
|
|
|
class MarkingVisitorTest : public testing::TestWithHeap {
|
|
public:
|
|
MarkingVisitorTest()
|
|
: marker_(std::make_unique<Marker>(*Heap::From(GetHeap()),
|
|
GetPlatformHandle().get())) {
|
|
marker_->StartMarking();
|
|
}
|
|
~MarkingVisitorTest() override { marker_->ClearAllWorklistsForTesting(); }
|
|
|
|
Marker* GetMarker() { return marker_.get(); }
|
|
|
|
private:
|
|
std::unique_ptr<Marker> marker_;
|
|
};
|
|
|
|
class GCed : public GarbageCollected<GCed> {
|
|
public:
|
|
void Trace(cppgc::Visitor*) const {}
|
|
};
|
|
|
|
class Mixin : public GarbageCollectedMixin {};
|
|
class GCedWithMixin : public GarbageCollected<GCedWithMixin>, public Mixin {
|
|
public:
|
|
void Trace(cppgc::Visitor*) const override {}
|
|
};
|
|
|
|
class TestMarkingVisitor : public MutatorMarkingVisitor {
|
|
public:
|
|
explicit TestMarkingVisitor(Marker* marker)
|
|
: MutatorMarkingVisitor(marker->heap(),
|
|
marker->MutatorMarkingStateForTesting()) {}
|
|
~TestMarkingVisitor() { marking_state_.Publish(); }
|
|
|
|
BasicMarkingState& marking_state() { return marking_state_; }
|
|
};
|
|
|
|
class TestRootMarkingVisitor : public RootMarkingVisitor {
|
|
public:
|
|
explicit TestRootMarkingVisitor(Marker* marker)
|
|
: RootMarkingVisitor(marker->MutatorMarkingStateForTesting()) {}
|
|
~TestRootMarkingVisitor() { mutator_marking_state_.Publish(); }
|
|
|
|
MutatorMarkingState& marking_state() { return mutator_marking_state_; }
|
|
};
|
|
|
|
} // namespace
|
|
|
|
TEST_F(MarkingVisitorTest, MarkedBytesAreInitiallyZero) {
|
|
EXPECT_EQ(0u, GetMarker()->MutatorMarkingStateForTesting().marked_bytes());
|
|
}
|
|
|
|
// Strong references are marked.
|
|
|
|
TEST_F(MarkingVisitorTest, MarkMember) {
|
|
Member<GCed> object(MakeGarbageCollected<GCed>(GetAllocationHandle()));
|
|
HeapObjectHeader& header = HeapObjectHeader::FromObject(object);
|
|
|
|
TestMarkingVisitor visitor(GetMarker());
|
|
|
|
EXPECT_FALSE(header.IsMarked());
|
|
|
|
visitor.Trace(object);
|
|
|
|
EXPECT_TRUE(header.IsMarked());
|
|
}
|
|
|
|
TEST_F(MarkingVisitorTest, MarkMemberMixin) {
|
|
GCedWithMixin* object(
|
|
MakeGarbageCollected<GCedWithMixin>(GetAllocationHandle()));
|
|
Member<Mixin> mixin(object);
|
|
HeapObjectHeader& header = HeapObjectHeader::FromObject(object);
|
|
|
|
TestMarkingVisitor visitor(GetMarker());
|
|
|
|
EXPECT_FALSE(header.IsMarked());
|
|
|
|
visitor.Trace(mixin);
|
|
|
|
EXPECT_TRUE(header.IsMarked());
|
|
}
|
|
|
|
TEST_F(MarkingVisitorTest, MarkPersistent) {
|
|
Persistent<GCed> object(MakeGarbageCollected<GCed>(GetAllocationHandle()));
|
|
HeapObjectHeader& header = HeapObjectHeader::FromObject(object);
|
|
|
|
TestRootMarkingVisitor visitor(GetMarker());
|
|
|
|
EXPECT_FALSE(header.IsMarked());
|
|
|
|
visitor.Trace(object);
|
|
|
|
EXPECT_TRUE(header.IsMarked());
|
|
}
|
|
|
|
TEST_F(MarkingVisitorTest, MarkPersistentMixin) {
|
|
GCedWithMixin* object(
|
|
MakeGarbageCollected<GCedWithMixin>(GetAllocationHandle()));
|
|
Persistent<Mixin> mixin(object);
|
|
HeapObjectHeader& header = HeapObjectHeader::FromObject(object);
|
|
|
|
TestRootMarkingVisitor visitor(GetMarker());
|
|
|
|
EXPECT_FALSE(header.IsMarked());
|
|
|
|
visitor.Trace(mixin);
|
|
|
|
EXPECT_TRUE(header.IsMarked());
|
|
}
|
|
|
|
// Weak references are not marked.
|
|
|
|
TEST_F(MarkingVisitorTest, DontMarkWeakMember) {
|
|
WeakMember<GCed> object(MakeGarbageCollected<GCed>(GetAllocationHandle()));
|
|
HeapObjectHeader& header = HeapObjectHeader::FromObject(object);
|
|
|
|
TestMarkingVisitor visitor(GetMarker());
|
|
|
|
EXPECT_FALSE(header.IsMarked());
|
|
|
|
visitor.Trace(object);
|
|
|
|
EXPECT_FALSE(header.IsMarked());
|
|
}
|
|
|
|
TEST_F(MarkingVisitorTest, DontMarkWeakMemberMixin) {
|
|
GCedWithMixin* object(
|
|
MakeGarbageCollected<GCedWithMixin>(GetAllocationHandle()));
|
|
WeakMember<Mixin> mixin(object);
|
|
HeapObjectHeader& header = HeapObjectHeader::FromObject(object);
|
|
|
|
TestMarkingVisitor visitor(GetMarker());
|
|
|
|
EXPECT_FALSE(header.IsMarked());
|
|
|
|
visitor.Trace(mixin);
|
|
|
|
EXPECT_FALSE(header.IsMarked());
|
|
}
|
|
|
|
TEST_F(MarkingVisitorTest, DontMarkWeakPersistent) {
|
|
WeakPersistent<GCed> object(
|
|
MakeGarbageCollected<GCed>(GetAllocationHandle()));
|
|
HeapObjectHeader& header = HeapObjectHeader::FromObject(object);
|
|
|
|
TestRootMarkingVisitor visitor(GetMarker());
|
|
|
|
EXPECT_FALSE(header.IsMarked());
|
|
|
|
visitor.Trace(object);
|
|
|
|
EXPECT_FALSE(header.IsMarked());
|
|
}
|
|
|
|
TEST_F(MarkingVisitorTest, DontMarkWeakPersistentMixin) {
|
|
GCedWithMixin* object(
|
|
MakeGarbageCollected<GCedWithMixin>(GetAllocationHandle()));
|
|
WeakPersistent<Mixin> mixin(object);
|
|
HeapObjectHeader& header = HeapObjectHeader::FromObject(object);
|
|
|
|
TestRootMarkingVisitor visitor(GetMarker());
|
|
|
|
EXPECT_FALSE(header.IsMarked());
|
|
|
|
visitor.Trace(mixin);
|
|
|
|
EXPECT_FALSE(header.IsMarked());
|
|
}
|
|
|
|
// In construction objects are not marked.
|
|
|
|
namespace {
|
|
|
|
class GCedWithInConstructionCallback
|
|
: public GarbageCollected<GCedWithInConstructionCallback> {
|
|
public:
|
|
template <typename Callback>
|
|
explicit GCedWithInConstructionCallback(Callback callback) {
|
|
callback(this);
|
|
}
|
|
void Trace(cppgc::Visitor*) const {}
|
|
};
|
|
|
|
class MixinWithInConstructionCallback : public GarbageCollectedMixin {
|
|
public:
|
|
template <typename Callback>
|
|
explicit MixinWithInConstructionCallback(Callback callback) {
|
|
callback(this);
|
|
}
|
|
};
|
|
class GCedWithMixinWithInConstructionCallback
|
|
: public GarbageCollected<GCedWithMixinWithInConstructionCallback>,
|
|
public MixinWithInConstructionCallback {
|
|
public:
|
|
template <typename Callback>
|
|
explicit GCedWithMixinWithInConstructionCallback(Callback callback)
|
|
: MixinWithInConstructionCallback(callback) {}
|
|
void Trace(cppgc::Visitor*) const override {}
|
|
};
|
|
|
|
} // namespace
|
|
|
|
TEST_F(MarkingVisitorTest, MarkMemberInConstruction) {
|
|
TestMarkingVisitor visitor(GetMarker());
|
|
GCedWithInConstructionCallback* gced =
|
|
MakeGarbageCollected<GCedWithInConstructionCallback>(
|
|
GetAllocationHandle(),
|
|
[&visitor](GCedWithInConstructionCallback* obj) {
|
|
Member<GCedWithInConstructionCallback> object(obj);
|
|
visitor.Trace(object);
|
|
});
|
|
HeapObjectHeader& header = HeapObjectHeader::FromObject(gced);
|
|
EXPECT_TRUE(visitor.marking_state().not_fully_constructed_worklist().Contains(
|
|
&header));
|
|
EXPECT_FALSE(header.IsMarked());
|
|
}
|
|
|
|
TEST_F(MarkingVisitorTest, MarkMemberMixinInConstruction) {
|
|
TestMarkingVisitor visitor(GetMarker());
|
|
GCedWithMixinWithInConstructionCallback* gced =
|
|
MakeGarbageCollected<GCedWithMixinWithInConstructionCallback>(
|
|
GetAllocationHandle(),
|
|
[&visitor](MixinWithInConstructionCallback* obj) {
|
|
Member<MixinWithInConstructionCallback> mixin(obj);
|
|
visitor.Trace(mixin);
|
|
});
|
|
HeapObjectHeader& header = HeapObjectHeader::FromObject(gced);
|
|
EXPECT_TRUE(visitor.marking_state().not_fully_constructed_worklist().Contains(
|
|
&header));
|
|
EXPECT_FALSE(header.IsMarked());
|
|
}
|
|
|
|
TEST_F(MarkingVisitorTest, DontMarkWeakMemberInConstruction) {
|
|
TestMarkingVisitor visitor(GetMarker());
|
|
GCedWithInConstructionCallback* gced =
|
|
MakeGarbageCollected<GCedWithInConstructionCallback>(
|
|
GetAllocationHandle(),
|
|
[&visitor](GCedWithInConstructionCallback* obj) {
|
|
WeakMember<GCedWithInConstructionCallback> object(obj);
|
|
visitor.Trace(object);
|
|
});
|
|
HeapObjectHeader& header = HeapObjectHeader::FromObject(gced);
|
|
EXPECT_FALSE(
|
|
visitor.marking_state().not_fully_constructed_worklist().Contains(
|
|
&header));
|
|
EXPECT_FALSE(header.IsMarked());
|
|
}
|
|
|
|
TEST_F(MarkingVisitorTest, DontMarkWeakMemberMixinInConstruction) {
|
|
TestMarkingVisitor visitor(GetMarker());
|
|
GCedWithMixinWithInConstructionCallback* gced =
|
|
MakeGarbageCollected<GCedWithMixinWithInConstructionCallback>(
|
|
GetAllocationHandle(),
|
|
[&visitor](MixinWithInConstructionCallback* obj) {
|
|
WeakMember<MixinWithInConstructionCallback> mixin(obj);
|
|
visitor.Trace(mixin);
|
|
});
|
|
HeapObjectHeader& header = HeapObjectHeader::FromObject(gced);
|
|
EXPECT_FALSE(
|
|
visitor.marking_state().not_fully_constructed_worklist().Contains(
|
|
&header));
|
|
EXPECT_FALSE(header.IsMarked());
|
|
}
|
|
|
|
TEST_F(MarkingVisitorTest, MarkPersistentInConstruction) {
|
|
TestRootMarkingVisitor visitor(GetMarker());
|
|
GCedWithInConstructionCallback* gced =
|
|
MakeGarbageCollected<GCedWithInConstructionCallback>(
|
|
GetAllocationHandle(),
|
|
[&visitor](GCedWithInConstructionCallback* obj) {
|
|
Persistent<GCedWithInConstructionCallback> object(obj);
|
|
visitor.Trace(object);
|
|
});
|
|
HeapObjectHeader& header = HeapObjectHeader::FromObject(gced);
|
|
EXPECT_TRUE(visitor.marking_state().not_fully_constructed_worklist().Contains(
|
|
&header));
|
|
EXPECT_FALSE(header.IsMarked());
|
|
}
|
|
|
|
TEST_F(MarkingVisitorTest, MarkPersistentMixinInConstruction) {
|
|
TestRootMarkingVisitor visitor(GetMarker());
|
|
GCedWithMixinWithInConstructionCallback* gced =
|
|
MakeGarbageCollected<GCedWithMixinWithInConstructionCallback>(
|
|
GetAllocationHandle(),
|
|
[&visitor](MixinWithInConstructionCallback* obj) {
|
|
Persistent<MixinWithInConstructionCallback> mixin(obj);
|
|
visitor.Trace(mixin);
|
|
});
|
|
HeapObjectHeader& header = HeapObjectHeader::FromObject(gced);
|
|
EXPECT_TRUE(visitor.marking_state().not_fully_constructed_worklist().Contains(
|
|
&header));
|
|
EXPECT_FALSE(header.IsMarked());
|
|
}
|
|
|
|
TEST_F(MarkingVisitorTest, StrongTracingMarksWeakMember) {
|
|
WeakMember<GCed> object(MakeGarbageCollected<GCed>(GetAllocationHandle()));
|
|
HeapObjectHeader& header = HeapObjectHeader::FromObject(object);
|
|
|
|
TestMarkingVisitor visitor(GetMarker());
|
|
|
|
EXPECT_FALSE(header.IsMarked());
|
|
|
|
visitor.TraceStrongly(object);
|
|
|
|
EXPECT_TRUE(header.IsMarked());
|
|
}
|
|
|
|
namespace {
|
|
|
|
struct GCedWithDestructor : GarbageCollected<GCedWithDestructor> {
|
|
~GCedWithDestructor() { ++g_finalized; }
|
|
|
|
static size_t g_finalized;
|
|
|
|
void Trace(Visitor* v) const {}
|
|
};
|
|
|
|
size_t GCedWithDestructor::g_finalized = 0;
|
|
|
|
struct GCedWithInConstructionCallbackWithMember : GCedWithDestructor {
|
|
template <typename Callback>
|
|
explicit GCedWithInConstructionCallbackWithMember(Callback callback) {
|
|
callback(this);
|
|
}
|
|
|
|
void Trace(Visitor* v) const {
|
|
GCedWithDestructor::Trace(v);
|
|
v->Trace(member);
|
|
}
|
|
Member<GCed> member;
|
|
};
|
|
|
|
struct ConservativeTracerTest : public testing::TestWithHeap {
|
|
ConservativeTracerTest() { GCedWithDestructor::g_finalized = 0; }
|
|
};
|
|
|
|
} // namespace
|
|
|
|
TEST_F(ConservativeTracerTest, TraceConservativelyInConstructionObject) {
|
|
auto* volatile gced =
|
|
MakeGarbageCollected<GCedWithInConstructionCallbackWithMember>(
|
|
GetAllocationHandle(),
|
|
[this](GCedWithInConstructionCallbackWithMember* obj) V8_NOINLINE {
|
|
[](GCedWithInConstructionCallbackWithMember* obj,
|
|
AllocationHandle& handle) V8_NOINLINE {
|
|
obj->member = MakeGarbageCollected<GCed>(handle);
|
|
}(obj, GetAllocationHandle());
|
|
ConservativeGC();
|
|
});
|
|
USE(gced);
|
|
|
|
ConservativeGC();
|
|
|
|
EXPECT_EQ(0u, GCedWithDestructor::g_finalized);
|
|
// Call into HoH::GetGCInfoIndex to prevent the compiler to optimize away the
|
|
// stack variable.
|
|
EXPECT_EQ(HeapObjectHeader::FromObject(gced).GetGCInfoIndex(),
|
|
GCInfoTrait<GCedWithInConstructionCallbackWithMember>::Index());
|
|
}
|
|
|
|
TEST_F(ConservativeTracerTest, TraceConservativelyStack) {
|
|
volatile std::array<Member<GCedWithDestructor>, 16u> members =
|
|
[this]() V8_NOINLINE {
|
|
std::array<Member<GCedWithDestructor>, 16u> members;
|
|
for (auto& member : members)
|
|
member =
|
|
MakeGarbageCollected<GCedWithDestructor>(GetAllocationHandle());
|
|
return members;
|
|
}();
|
|
USE(members);
|
|
|
|
ConservativeGC();
|
|
|
|
EXPECT_EQ(0u, GCedWithDestructor::g_finalized);
|
|
// Call into HoH::GetGCInfoIndex to prevent the compiler to optimize away the
|
|
// stack variable.
|
|
auto member =
|
|
const_cast<std::remove_volatile_t<decltype(members)>&>(members)[0];
|
|
EXPECT_EQ(HeapObjectHeader::FromObject(member.Get()).GetGCInfoIndex(),
|
|
GCInfoTrait<GCedWithDestructor>::Index());
|
|
}
|
|
|
|
} // namespace internal
|
|
} // namespace cppgc
|