Inheritance diagram for dart::CheckStoreBufferVisitor:

Public Member Functions
	CheckStoreBufferVisitor (ObjectSet in_store_buffer, const SemiSpace to, const char *msg)

void	VisitObject (ObjectPtr obj) override

void	VisitPointers (ObjectPtr from, ObjectPtr to) override

Public Member Functions inherited from dart::ObjectVisitor
	ObjectVisitor ()

virtual	~ObjectVisitor ()

Public Member Functions inherited from dart::ObjectPointerVisitor
	ObjectPointerVisitor (IsolateGroup *isolate_group)

virtual	~ObjectPointerVisitor ()

IsolateGroup *	isolate_group () const

virtual void	VisitTypedDataViewPointers (TypedDataViewPtr view, CompressedObjectPtr first, CompressedObjectPtr last)

void	VisitCompressedPointers (uword heap_base, CompressedObjectPtr first, CompressedObjectPtr last)

void	VisitPointers (ObjectPtr *p, intptr_t len)

void	VisitPointer (ObjectPtr *p)

const char *	gc_root_type () const

void	set_gc_root_type (const char *gc_root_type)

void	clear_gc_root_type ()

virtual bool	visit_weak_persistent_handles () const

virtual bool	trace_values_through_fields () const

const ClassTable *	class_table () const

virtual bool	CanVisitSuspendStatePointers (SuspendStatePtr suspend_state)

Detailed Description

Definition at line 869 of file scavenger.cc.

Constructor & Destructor Documentation

◆ CheckStoreBufferVisitor()

dart::CheckStoreBufferVisitor::CheckStoreBufferVisitor	(	ObjectSet *	in_store_buffer,
		const SemiSpace *	to,
		const char *	msg
	)

inline

Definition at line 872 of file scavenger.cc.

      : ObjectVisitor(),
        ObjectPointerVisitor(IsolateGroup::Current()),
        in_store_buffer_(in_store_buffer),
        to_(to),
        msg_(msg) {}

Member Function Documentation

◆ VisitObject()

void dart::CheckStoreBufferVisitor::VisitObject ( ObjectPtr obj )

inlineoverridevirtual

Implements dart::ObjectVisitor.

Definition at line 881 of file scavenger.cc.

                                           {
    if (obj->IsPseudoObject()) return;
    RELEASE_ASSERT_WITH_MSG(obj->IsOldObject(), msg_);
 
    RELEASE_ASSERT_WITH_MSG(
        obj->untag()->IsRemembered() == in_store_buffer_->Contains(obj), msg_);
 
    visiting_ = obj;
    is_remembered_ = obj->untag()->IsRemembered();
    is_card_remembered_ = obj->untag()->IsCardRemembered();
    if (is_card_remembered_) {
      RELEASE_ASSERT_WITH_MSG(!is_remembered_, msg_);
      RELEASE_ASSERT_WITH_MSG(Page::Of(obj)->progress_bar_ == 0, msg_);
    }
    obj->untag()->VisitPointers(this);
  }

◆ VisitPointers()

void dart::CheckStoreBufferVisitor::VisitPointers	(	ObjectPtr *	from,
		ObjectPtr *	to
	)

inlineoverridevirtual

Implements dart::ObjectPointerVisitor.

Definition at line 898 of file scavenger.cc.

                                                              {
    for (ObjectPtr* ptr = from; ptr <= to; ptr++) {
      ObjectPtr obj = *ptr;
      if (obj->IsHeapObject() && obj->IsNewObject()) {
        if (is_card_remembered_) {
          if (!Page::Of(visiting_)->IsCardRemembered(ptr)) {
            FATAL(
                "%s: Old object %#" Px " references new object %#" Px
                ", but the "
                "slot's card is not remembered. Consider using rr to watch the "
                "slot %p and reverse-continue to find the store with a missing "
                "barrier.\n",
                msg_, static_cast<uword>(visiting_), static_cast<uword>(obj),
                ptr);
          }
        } else if (!is_remembered_) {
          FATAL("%s: Old object %#" Px " references new object %#" Px
                ", but it is "
                "not in any store buffer. Consider using rr to watch the "
                "slot %p and reverse-continue to find the store with a missing "
                "barrier.\n",
                msg_, static_cast<uword>(visiting_), static_cast<uword>(obj),
                ptr);
        }
        RELEASE_ASSERT_WITH_MSG(to_->Contains(UntaggedObject::ToAddr(obj)),
                                msg_);
      }
    }
  }

The documentation for this class was generated from the following file: