dart::WeakCodeReferences Class Reference

#include <weak_code.h>

Inheritance diagram for dart::WeakCodeReferences:

Public Member Functions
	WeakCodeReferences (const WeakArray &value)
virtual	~WeakCodeReferences ()
void	Register (const Code &value)
virtual void	UpdateArrayTo (const WeakArray &array)=0
virtual void	ReportDeoptimization (const Code &code)=0
virtual void	ReportSwitchingCode (const Code &code)=0
void	DisableCode (bool are_mutators_stopped)
bool	HasCodes () const
Public Member Functions inherited from dart::ValueObject
	ValueObject ()
	~ValueObject ()

Detailed Description

Definition at line 18 of file weak_code.h.

Constructor & Destructor Documentation

WeakCodeReferences()

dart::WeakCodeReferences::WeakCodeReferences ( const WeakArray &  value )

inlineexplicit

Definition at line 20 of file weak_code.h.

: array_(value) {}

~WeakCodeReferences()

virtual dart::WeakCodeReferences::~WeakCodeReferences ( )

inlinevirtual

Definition at line 21 of file weak_code.h.

{}

Member Function Documentation

DisableCode()

void dart::WeakCodeReferences::DisableCode

(

bool

are_mutators_stopped

)

Definition at line 40 of file weak_code.cc.

                                                              {
#if defined(DART_PRECOMPILED_RUNTIME)
  ASSERT(array_.IsNull());
  return;
#else
  // Ensure mutators see empty code_objects only after code was deoptimized.
  DEBUG_ASSERT(
      IsolateGroup::Current()->program_lock()->IsCurrentThreadWriter());
 
  if (array_.IsNull()) {
    return;
  }
 
  WeakCodeSet set(array_.ptr());
 
  auto isolate_group = IsolateGroup::Current();
  auto disable_code_fun = [&]() {
    Code& code = Code::Handle();
    isolate_group->ForEachIsolate(
        [&](Isolate* isolate) {
          auto mutator_thread = isolate->mutator_thread();
          if (mutator_thread == nullptr) {
            return;
          }
          DartFrameIterator iterator(
              mutator_thread, StackFrameIterator::kAllowCrossThreadIteration);
          StackFrame* frame = iterator.NextFrame();
          while (frame != nullptr) {
            code = frame->LookupDartCode();
 
            if (set.ContainsKey(code)) {
              ReportDeoptimization(code);
              DeoptimizeAt(mutator_thread, code, frame);
            }
            frame = iterator.NextFrame();
          }
        },
        /*at_safepoint=*/true);
 
    // Switch functions that use dependent code to unoptimized code.
    Object& owner = Object::Handle();
    Function& function = Function::Handle();
    WeakCodeSet::Iterator it(&set);
    while (it.MoveNext()) {
      code ^= set.GetKey(it.Current());
      if (code.IsNull()) {
        // Code was garbage collected already.
        continue;
      }
      owner = code.owner();
      if (owner.IsFunction()) {
        function ^= owner.ptr();
      } else if (owner.IsClass()) {
        Class& cls = Class::Handle();
        cls ^= owner.ptr();
        cls.DisableAllocationStub();
        continue;
      } else if (owner.IsNull()) {
        code.Print();
        continue;
      }
 
      // Only optimized code can make dependencies (assumptions) about CHA /
      // field guards and might need to be deoptimized if those assumptions no
      // longer hold.
      // See similar assertions when code gets registered in
      // `Field::RegisterDependentCode` and `Class::RegisterCHACode`.
      ASSERT(code.is_optimized());
      ASSERT(function.unoptimized_code() != code.ptr());
 
      // If function uses dependent code switch it to unoptimized.
      if (function.CurrentCode() == code.ptr()) {
        ReportSwitchingCode(code);
        function.SwitchToUnoptimizedCode();
      } else {
        // Make non-OSR code non-entrant.
        if (!code.IsDisabled()) {
          ReportSwitchingCode(code);
          code.DisableDartCode();
        }
      }
    }
 
    UpdateArrayTo(WeakArray::Handle());
  };
 
  // Deoptimize stacks and disable code (with mutators stopped if they are not
  // stopped yet).
  if (are_mutators_stopped) {
    disable_code_fun();
  } else {
    isolate_group->RunWithStoppedMutators(disable_code_fun);
  }
 
  set.Release();
 
#endif  // defined(DART_PRECOMPILED_RUNTIME)
}

HasCodes()

bool dart::WeakCodeReferences::HasCodes

(

)

const

Definition at line 29 of file weak_code.cc.

                                        {
  return !array_.IsNull() && (array_.Length() > 0);
}

Register()

void dart::WeakCodeReferences::Register

(

const Code &

value

)

Definition at line 33 of file weak_code.cc.

                                                   {
  WeakCodeSet set(array_.IsNull() ? HashTables::New<WeakCodeSet>(4, Heap::kOld)
                                  : array_.ptr());
  set.Insert(value);
  UpdateArrayTo(set.Release());
}

ReportDeoptimization()

virtual void dart::WeakCodeReferences::ReportDeoptimization ( const Code &  code )

pure virtual

Implemented in dart::CHACodeArray, and dart::FieldDependentArray.

ReportSwitchingCode()

virtual void dart::WeakCodeReferences::ReportSwitchingCode ( const Code &  code )

pure virtual

Implemented in dart::CHACodeArray, and dart::FieldDependentArray.

UpdateArrayTo()

virtual void dart::WeakCodeReferences::UpdateArrayTo ( const WeakArray &  array )

pure virtual

Implemented in dart::CHACodeArray, and dart::FieldDependentArray.

---

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

• third_party/dart-lang/sdk/runtime/vm/heap/weak_code.h
• third_party/dart-lang/sdk/runtime/vm/heap/weak_code.cc