| Index: src/liveedit.h
|
| diff --git a/src/liveedit.h b/src/liveedit.h
|
| deleted file mode 100644
|
| index 58204b65cc7328455e7f44d21720bcbc1547c0be..0000000000000000000000000000000000000000
|
| --- a/src/liveedit.h
|
| +++ /dev/null
|
| @@ -1,372 +0,0 @@
|
| -// Copyright 2012 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.
|
| -
|
| -#ifndef V8_LIVEEDIT_H_
|
| -#define V8_LIVEEDIT_H_
|
| -
|
| -
|
| -
|
| -// Live Edit feature implementation.
|
| -// User should be able to change script on already running VM. This feature
|
| -// matches hot swap features in other frameworks.
|
| -//
|
| -// The basic use-case is when user spots some mistake in function body
|
| -// from debugger and wishes to change the algorithm without restart.
|
| -//
|
| -// A single change always has a form of a simple replacement (in pseudo-code):
|
| -// script.source[positions, positions+length] = new_string;
|
| -// Implementation first determines, which function's body includes this
|
| -// change area. Then both old and new versions of script are fully compiled
|
| -// in order to analyze, whether the function changed its outer scope
|
| -// expectations (or number of parameters). If it didn't, function's code is
|
| -// patched with a newly compiled code. If it did change, enclosing function
|
| -// gets patched. All inner functions are left untouched, whatever happened
|
| -// to them in a new script version. However, new version of code will
|
| -// instantiate newly compiled functions.
|
| -
|
| -
|
| -#include "src/allocation.h"
|
| -#include "src/compiler.h"
|
| -
|
| -namespace v8 {
|
| -namespace internal {
|
| -
|
| -// This class collects some specific information on structure of functions
|
| -// in a particular script. It gets called from compiler all the time, but
|
| -// actually records any data only when liveedit operation is in process;
|
| -// in any other time this class is very cheap.
|
| -//
|
| -// The primary interest of the Tracker is to record function scope structures
|
| -// in order to analyze whether function code maybe safely patched (with new
|
| -// code successfully reading existing data from function scopes). The Tracker
|
| -// also collects compiled function codes.
|
| -class LiveEditFunctionTracker {
|
| - public:
|
| - explicit LiveEditFunctionTracker(Isolate* isolate, FunctionLiteral* fun);
|
| - ~LiveEditFunctionTracker();
|
| - void RecordFunctionInfo(Handle<SharedFunctionInfo> info,
|
| - FunctionLiteral* lit, Zone* zone);
|
| - void RecordRootFunctionInfo(Handle<Code> code);
|
| -
|
| - static bool IsActive(Isolate* isolate);
|
| -
|
| - private:
|
| - Isolate* isolate_;
|
| -};
|
| -
|
| -
|
| -class LiveEdit : AllStatic {
|
| - public:
|
| - // Describes how exactly a frame has been dropped from stack.
|
| - enum FrameDropMode {
|
| - // No frame has been dropped.
|
| - FRAMES_UNTOUCHED,
|
| - // The top JS frame had been calling IC stub. IC stub mustn't be called now.
|
| - FRAME_DROPPED_IN_IC_CALL,
|
| - // The top JS frame had been calling debug break slot stub. Patch the
|
| - // address this stub jumps to in the end.
|
| - FRAME_DROPPED_IN_DEBUG_SLOT_CALL,
|
| - // The top JS frame had been calling some C++ function. The return address
|
| - // gets patched automatically.
|
| - FRAME_DROPPED_IN_DIRECT_CALL,
|
| - FRAME_DROPPED_IN_RETURN_CALL,
|
| - CURRENTLY_SET_MODE
|
| - };
|
| -
|
| - static void InitializeThreadLocal(Debug* debug);
|
| -
|
| - static bool SetAfterBreakTarget(Debug* debug);
|
| -
|
| - MUST_USE_RESULT static MaybeHandle<JSArray> GatherCompileInfo(
|
| - Handle<Script> script,
|
| - Handle<String> source);
|
| -
|
| - static void WrapSharedFunctionInfos(Handle<JSArray> array);
|
| -
|
| - static void ReplaceFunctionCode(Handle<JSArray> new_compile_info_array,
|
| - Handle<JSArray> shared_info_array);
|
| -
|
| - static void FunctionSourceUpdated(Handle<JSArray> shared_info_array);
|
| -
|
| - // Updates script field in FunctionSharedInfo.
|
| - static void SetFunctionScript(Handle<JSValue> function_wrapper,
|
| - Handle<Object> script_handle);
|
| -
|
| - static void PatchFunctionPositions(Handle<JSArray> shared_info_array,
|
| - Handle<JSArray> position_change_array);
|
| -
|
| - // For a script updates its source field. If old_script_name is provided
|
| - // (i.e. is a String), also creates a copy of the script with its original
|
| - // source and sends notification to debugger.
|
| - static Handle<Object> ChangeScriptSource(Handle<Script> original_script,
|
| - Handle<String> new_source,
|
| - Handle<Object> old_script_name);
|
| -
|
| - // In a code of a parent function replaces original function as embedded
|
| - // object with a substitution one.
|
| - static void ReplaceRefToNestedFunction(Handle<JSValue> parent_function_shared,
|
| - Handle<JSValue> orig_function_shared,
|
| - Handle<JSValue> subst_function_shared);
|
| -
|
| - // Find open generator activations, and set corresponding "result" elements to
|
| - // FUNCTION_BLOCKED_ACTIVE_GENERATOR.
|
| - static bool FindActiveGenerators(Handle<FixedArray> shared_info_array,
|
| - Handle<FixedArray> result, int len);
|
| -
|
| - // Checks listed functions on stack and return array with corresponding
|
| - // FunctionPatchabilityStatus statuses; extra array element may
|
| - // contain general error message. Modifies the current stack and
|
| - // has restart the lowest found frames and drops all other frames above
|
| - // if possible and if do_drop is true.
|
| - static Handle<JSArray> CheckAndDropActivations(
|
| - Handle<JSArray> shared_info_array, bool do_drop);
|
| -
|
| - // Restarts the call frame and completely drops all frames above it.
|
| - // Return error message or NULL.
|
| - static const char* RestartFrame(JavaScriptFrame* frame);
|
| -
|
| - // A copy of this is in liveedit-debugger.js.
|
| - enum FunctionPatchabilityStatus {
|
| - FUNCTION_AVAILABLE_FOR_PATCH = 1,
|
| - FUNCTION_BLOCKED_ON_ACTIVE_STACK = 2,
|
| - FUNCTION_BLOCKED_ON_OTHER_STACK = 3,
|
| - FUNCTION_BLOCKED_UNDER_NATIVE_CODE = 4,
|
| - FUNCTION_REPLACED_ON_ACTIVE_STACK = 5,
|
| - FUNCTION_BLOCKED_UNDER_GENERATOR = 6,
|
| - FUNCTION_BLOCKED_ACTIVE_GENERATOR = 7
|
| - };
|
| -
|
| - // Compares 2 strings line-by-line, then token-wise and returns diff in form
|
| - // of array of triplets (pos1, pos1_end, pos2_end) describing list
|
| - // of diff chunks.
|
| - static Handle<JSArray> CompareStrings(Handle<String> s1,
|
| - Handle<String> s2);
|
| -
|
| - // Architecture-specific constant.
|
| - static const bool kFrameDropperSupported;
|
| -
|
| - /**
|
| - * Defines layout of a stack frame that supports padding. This is a regular
|
| - * internal frame that has a flexible stack structure. LiveEdit can shift
|
| - * its lower part up the stack, taking up the 'padding' space when additional
|
| - * stack memory is required.
|
| - * Such frame is expected immediately above the topmost JavaScript frame.
|
| - *
|
| - * Stack Layout:
|
| - * --- Top
|
| - * LiveEdit routine frames
|
| - * ---
|
| - * C frames of debug handler
|
| - * ---
|
| - * ...
|
| - * ---
|
| - * An internal frame that has n padding words:
|
| - * - any number of words as needed by code -- upper part of frame
|
| - * - padding size: a Smi storing n -- current size of padding
|
| - * - padding: n words filled with kPaddingValue in form of Smi
|
| - * - 3 context/type words of a regular InternalFrame
|
| - * - fp
|
| - * ---
|
| - * Topmost JavaScript frame
|
| - * ---
|
| - * ...
|
| - * --- Bottom
|
| - */
|
| - // A size of frame base including fp. Padding words starts right above
|
| - // the base.
|
| - static const int kFrameDropperFrameSize = 4;
|
| - // A number of words that should be reserved on stack for the LiveEdit use.
|
| - // Stored on stack in form of Smi.
|
| - static const int kFramePaddingInitialSize = 1;
|
| - // A value that padding words are filled with (in form of Smi). Going
|
| - // bottom-top, the first word not having this value is a counter word.
|
| - static const int kFramePaddingValue = kFramePaddingInitialSize + 1;
|
| -};
|
| -
|
| -
|
| -// A general-purpose comparator between 2 arrays.
|
| -class Comparator {
|
| - public:
|
| - // Holds 2 arrays of some elements allowing to compare any pair of
|
| - // element from the first array and element from the second array.
|
| - class Input {
|
| - public:
|
| - virtual int GetLength1() = 0;
|
| - virtual int GetLength2() = 0;
|
| - virtual bool Equals(int index1, int index2) = 0;
|
| -
|
| - protected:
|
| - virtual ~Input() {}
|
| - };
|
| -
|
| - // Receives compare result as a series of chunks.
|
| - class Output {
|
| - public:
|
| - // Puts another chunk in result list. Note that technically speaking
|
| - // only 3 arguments actually needed with 4th being derivable.
|
| - virtual void AddChunk(int pos1, int pos2, int len1, int len2) = 0;
|
| -
|
| - protected:
|
| - virtual ~Output() {}
|
| - };
|
| -
|
| - // Finds the difference between 2 arrays of elements.
|
| - static void CalculateDifference(Input* input,
|
| - Output* result_writer);
|
| -};
|
| -
|
| -
|
| -
|
| -// Simple helper class that creates more or less typed structures over
|
| -// JSArray object. This is an adhoc method of passing structures from C++
|
| -// to JavaScript.
|
| -template<typename S>
|
| -class JSArrayBasedStruct {
|
| - public:
|
| - static S Create(Isolate* isolate) {
|
| - Factory* factory = isolate->factory();
|
| - Handle<JSArray> array = factory->NewJSArray(S::kSize_);
|
| - return S(array);
|
| - }
|
| -
|
| - static S cast(Object* object) {
|
| - JSArray* array = JSArray::cast(object);
|
| - Handle<JSArray> array_handle(array);
|
| - return S(array_handle);
|
| - }
|
| -
|
| - explicit JSArrayBasedStruct(Handle<JSArray> array) : array_(array) {
|
| - }
|
| -
|
| - Handle<JSArray> GetJSArray() {
|
| - return array_;
|
| - }
|
| -
|
| - Isolate* isolate() const {
|
| - return array_->GetIsolate();
|
| - }
|
| -
|
| - protected:
|
| - void SetField(int field_position, Handle<Object> value) {
|
| - Object::SetElement(isolate(), array_, field_position, value, SLOPPY)
|
| - .Assert();
|
| - }
|
| -
|
| - void SetSmiValueField(int field_position, int value) {
|
| - SetField(field_position, Handle<Smi>(Smi::FromInt(value), isolate()));
|
| - }
|
| -
|
| - Handle<Object> GetField(int field_position) {
|
| - return Object::GetElement(
|
| - isolate(), array_, field_position).ToHandleChecked();
|
| - }
|
| -
|
| - int GetSmiValueField(int field_position) {
|
| - Handle<Object> res = GetField(field_position);
|
| - return Handle<Smi>::cast(res)->value();
|
| - }
|
| -
|
| - private:
|
| - Handle<JSArray> array_;
|
| -};
|
| -
|
| -
|
| -// Represents some function compilation details. This structure will be used
|
| -// from JavaScript. It contains Code object, which is kept wrapped
|
| -// into a BlindReference for sanitizing reasons.
|
| -class FunctionInfoWrapper : public JSArrayBasedStruct<FunctionInfoWrapper> {
|
| - public:
|
| - explicit FunctionInfoWrapper(Handle<JSArray> array)
|
| - : JSArrayBasedStruct<FunctionInfoWrapper>(array) {
|
| - }
|
| -
|
| - void SetInitialProperties(Handle<String> name, int start_position,
|
| - int end_position, int param_num, int literal_count,
|
| - int parent_index);
|
| -
|
| - void SetFunctionCode(Handle<Code> function_code,
|
| - Handle<HeapObject> code_scope_info);
|
| -
|
| - void SetFunctionScopeInfo(Handle<Object> scope_info_array) {
|
| - this->SetField(kFunctionScopeInfoOffset_, scope_info_array);
|
| - }
|
| -
|
| - void SetSharedFunctionInfo(Handle<SharedFunctionInfo> info);
|
| -
|
| - int GetLiteralCount() {
|
| - return this->GetSmiValueField(kLiteralNumOffset_);
|
| - }
|
| -
|
| - int GetParentIndex() {
|
| - return this->GetSmiValueField(kParentIndexOffset_);
|
| - }
|
| -
|
| - Handle<Code> GetFunctionCode();
|
| -
|
| - MaybeHandle<TypeFeedbackVector> GetFeedbackVector();
|
| -
|
| - Handle<Object> GetCodeScopeInfo();
|
| -
|
| - int GetStartPosition() {
|
| - return this->GetSmiValueField(kStartPositionOffset_);
|
| - }
|
| -
|
| - int GetEndPosition() { return this->GetSmiValueField(kEndPositionOffset_); }
|
| -
|
| - private:
|
| - static const int kFunctionNameOffset_ = 0;
|
| - static const int kStartPositionOffset_ = 1;
|
| - static const int kEndPositionOffset_ = 2;
|
| - static const int kParamNumOffset_ = 3;
|
| - static const int kCodeOffset_ = 4;
|
| - static const int kCodeScopeInfoOffset_ = 5;
|
| - static const int kFunctionScopeInfoOffset_ = 6;
|
| - static const int kParentIndexOffset_ = 7;
|
| - static const int kSharedFunctionInfoOffset_ = 8;
|
| - static const int kLiteralNumOffset_ = 9;
|
| - static const int kSize_ = 10;
|
| -
|
| - friend class JSArrayBasedStruct<FunctionInfoWrapper>;
|
| -};
|
| -
|
| -
|
| -// Wraps SharedFunctionInfo along with some of its fields for passing it
|
| -// back to JavaScript. SharedFunctionInfo object itself is additionally
|
| -// wrapped into BlindReference for sanitizing reasons.
|
| -class SharedInfoWrapper : public JSArrayBasedStruct<SharedInfoWrapper> {
|
| - public:
|
| - static bool IsInstance(Handle<JSArray> array) {
|
| - if (array->length() != Smi::FromInt(kSize_)) return false;
|
| - Handle<Object> element(
|
| - Object::GetElement(array->GetIsolate(),
|
| - array,
|
| - kSharedInfoOffset_).ToHandleChecked());
|
| - if (!element->IsJSValue()) return false;
|
| - return Handle<JSValue>::cast(element)->value()->IsSharedFunctionInfo();
|
| - }
|
| -
|
| - explicit SharedInfoWrapper(Handle<JSArray> array)
|
| - : JSArrayBasedStruct<SharedInfoWrapper>(array) {
|
| - }
|
| -
|
| - void SetProperties(Handle<String> name,
|
| - int start_position,
|
| - int end_position,
|
| - Handle<SharedFunctionInfo> info);
|
| -
|
| - Handle<SharedFunctionInfo> GetInfo();
|
| -
|
| - private:
|
| - static const int kFunctionNameOffset_ = 0;
|
| - static const int kStartPositionOffset_ = 1;
|
| - static const int kEndPositionOffset_ = 2;
|
| - static const int kSharedInfoOffset_ = 3;
|
| - static const int kSize_ = 4;
|
| -
|
| - friend class JSArrayBasedStruct<SharedInfoWrapper>;
|
| -};
|
| -
|
| -} } // namespace v8::internal
|
| -
|
| -#endif /* V*_LIVEEDIT_H_ */
|
|
|