%PDF- <> %âãÏÓ endobj 2 0 obj <> endobj 3 0 obj <>/ExtGState<>/ProcSet[/PDF/Text/ImageB/ImageC/ImageI] >>/Annots[ 28 0 R 29 0 R] /MediaBox[ 0 0 595.5 842.25] /Contents 4 0 R/Group<>/Tabs/S>> endobj ºaâÚÎΞ-ÌE1ÍØÄ÷{òò2ÿ ÛÖ^ÔÀá TÎ{¦?§®¥kuµùÕ5sLOšuY>endobj 2 0 obj<>endobj 2 0 obj<>endobj 2 0 obj<>endobj 2 0 obj<> endobj 2 0 obj<>endobj 2 0 obj<>es 3 0 R>> endobj 2 0 obj<> ox[ 0.000000 0.000000 609.600000 935.600000]/Fi endobj 3 0 obj<> endobj 7 1 obj<>/ProcSet[/PDF/Text/ImageB/ImageC/ImageI]>>/Subtype/Form>> stream
// 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-js/unified-heap-marking-verifier.h" #include "include/v8-cppgc.h" #include "src/heap/cppgc/marking-verifier.h" namespace v8 { namespace internal { namespace { class UnifiedHeapVerificationVisitor final : public JSVisitor { public: explicit UnifiedHeapVerificationVisitor( cppgc::internal::VerificationState& state) : JSVisitor(cppgc::internal::VisitorFactory::CreateKey()), state_(state) {} void Visit(const void*, cppgc::TraceDescriptor desc) final { state_.VerifyMarked(desc.base_object_payload); } void VisitWeak(const void*, cppgc::TraceDescriptor desc, cppgc::WeakCallback, const void*) final { // 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. state_.VerifyMarked(desc.base_object_payload); } void VisitWeakContainer(const void* object, cppgc::TraceDescriptor, cppgc::TraceDescriptor weak_desc, cppgc::WeakCallback, const void*) final { if (!object) return; // Contents of weak containers are found themselves through page iteration // and are treated strongly, similar to how they are treated strongly when // found through stack scanning. The verification here only makes sure that // the container itself is properly marked. state_.VerifyMarked(weak_desc.base_object_payload); } void Visit(const TracedReferenceBase& ref) final { // TODO(chromium:1056170): Verify V8 object is indeed marked. } private: cppgc::internal::VerificationState& state_; }; } // namespace UnifiedHeapMarkingVerifier::UnifiedHeapMarkingVerifier( cppgc::internal::HeapBase& heap_base) : MarkingVerifierBase( heap_base, state_, std::make_unique<UnifiedHeapVerificationVisitor>(state_)) {} } // namespace internal } // namespace v8