#ifndef V8_DEBUG_DEBUG_H_
#define V8_DEBUG_DEBUG_H_
#include <memory>
#include <optional>
#include <unordered_map>
#include <vector>
#include "src/base/enum-set.h"
#include "src/base/platform/elapsed-timer.h"
#include "src/codegen/source-position-table.h"
#include "src/common/globals.h"
#include "src/debug/debug-interface.h"
#include "src/debug/interface-types.h"
#include "src/execution/interrupts-scope.h"
#include "src/execution/isolate.h"
#include "src/handles/handles.h"
#include "src/objects/debug-objects.h"
#include "src/objects/shared-function-info.h"
namespace v8 {
namespace internal {
class AbstractCode;
class DebugScope;
class InterpretedFrame;
class JavaScriptFrame;
class JSGeneratorObject;
class StackFrame;
enum StepAction : int8_t {
StepNone = -1,
StepOut = 0,
StepOver = 1,
StepInto = 2,
LastStepAction = StepInto
};
enum ExceptionBreakType {
BreakCaughtException = 0,
BreakUncaughtException = 1,
};
enum DebugBreakType {
NOT_DEBUG_BREAK,
DEBUG_BREAK_AT_ENTRY,
DEBUGGER_STATEMENT,
DEBUG_BREAK_SLOT,
DEBUG_BREAK_SLOT_AT_CALL,
DEBUG_BREAK_SLOT_AT_RETURN,
DEBUG_BREAK_SLOT_AT_SUSPEND,
};
enum IgnoreBreakMode {
kIgnoreIfAllFramesBlackboxed,
kIgnoreIfTopFrameBlackboxed
};
class BreakLocation {
public:
static BreakLocation Invalid() { return BreakLocation(-1, NOT_DEBUG_BREAK); }
static BreakLocation FromFrame(Handle<DebugInfo> debug_info,
JavaScriptFrame* frame);
static bool IsPausedInJsFunctionEntry(JavaScriptFrame* frame);
static void AllAtCurrentStatement(Handle<DebugInfo> debug_info,
JavaScriptFrame* frame,
std::vector<BreakLocation>* result_out);
bool IsSuspend() const { return type_ == DEBUG_BREAK_SLOT_AT_SUSPEND; }
bool IsReturn() const { return type_ == DEBUG_BREAK_SLOT_AT_RETURN; }
bool IsReturnOrSuspend() const { return type_ >= DEBUG_BREAK_SLOT_AT_RETURN; }
bool IsCall() const { return type_ == DEBUG_BREAK_SLOT_AT_CALL; }
bool IsDebugBreakSlot() const { return type_ >= DEBUG_BREAK_SLOT; }
bool IsDebuggerStatement() const { return type_ == DEBUGGER_STATEMENT; }
bool IsDebugBreakAtEntry() const { return type_ == DEBUG_BREAK_AT_ENTRY; }
bool HasBreakPoint(Isolate* isolate, Handle<DebugInfo> debug_info) const;
int generator_suspend_id() { return generator_suspend_id_; }
int position() const { return position_; }
int code_offset() const { return code_offset_; }
debug::BreakLocationType type() const;
Tagged<JSGeneratorObject> GetGeneratorObjectForSuspendedFrame(
JavaScriptFrame* frame) const;
private:
BreakLocation(Handle<AbstractCode> abstract_code, DebugBreakType type,
int code_offset, int position, int generator_obj_reg_index,
int generator_suspend_id)
: abstract_code_(abstract_code),
code_offset_(code_offset),
type_(type),
position_(position),
generator_obj_reg_index_(generator_obj_reg_index),
generator_suspend_id_(generator_suspend_id) {
DCHECK_NE(NOT_DEBUG_BREAK, type_);
}
BreakLocation(int position, DebugBreakType type)
: code_offset_(0),
type_(type),
position_(position),
generator_obj_reg_index_(0),
generator_suspend_id_(-1) {}
static int BreakIndexFromCodeOffset(Handle<DebugInfo> debug_info,
DirectHandle<AbstractCode> abstract_code,
int offset);
void SetDebugBreak();
void ClearDebugBreak();
Handle<AbstractCode> abstract_code_;
int code_offset_;
DebugBreakType type_;
int position_;
int generator_obj_reg_index_;
int generator_suspend_id_;
friend class BreakIterator;
};
class V8_EXPORT_PRIVATE BreakIterator {
public:
explicit BreakIterator(Handle<DebugInfo> debug_info);
BreakIterator(const BreakIterator&) = delete;
BreakIterator& operator=(const BreakIterator&) = delete;
BreakLocation GetBreakLocation();
bool Done() const { return source_position_iterator_.done(); }
void Next();
void SkipToPosition(int position);
void SkipTo(int count) {
while (count-- > 0) Next();
}
int code_offset() { return source_position_iterator_.code_offset(); }
int break_index() const { return break_index_; }
inline int position() const { return position_; }
inline int statement_position() const { return statement_position_; }
void ClearDebugBreak();
void SetDebugBreak();
DebugBreakType GetDebugBreakType();
private:
int BreakIndexFromPosition(int position);
Handle<DebugInfo> debug_info_;
int break_index_;
int position_;
int statement_position_;
SourcePositionTableIterator source_position_iterator_;
DISALLOW_GARBAGE_COLLECTION(no_gc_)
};
class DebugInfoCollection final {
using HandleLocation = Address*;
using SFIUniqueId = uint32_t;
public:
explicit DebugInfoCollection(Isolate* isolate) : isolate_(isolate) {}
void Insert(Tagged<SharedFunctionInfo> sfi, Tagged<DebugInfo> debug_info);
bool Contains(Tagged<SharedFunctionInfo> sfi) const;
std::optional<Tagged<DebugInfo>> Find(Tagged<SharedFunctionInfo> sfi) const;
void DeleteSlow(Tagged<SharedFunctionInfo> sfi);
size_t Size() const { return list_.size(); }
class Iterator final {
public:
explicit Iterator(DebugInfoCollection* collection)
: collection_(collection) {}
bool HasNext() const {
return index_ < static_cast<int>(collection_->list_.size());
}
Tagged<DebugInfo> Next() const {
DCHECK_GE(index_, 0);
if (!HasNext()) return {};
return collection_->EntryAsDebugInfo(index_);
}
void Advance() {
DCHECK(HasNext());
index_++;
}
void DeleteNext() {
DCHECK_GE(index_, 0);
DCHECK(HasNext());
collection_->DeleteIndex(index_);
index_--;
}
private:
using HandleLocation = DebugInfoCollection::HandleLocation;
DebugInfoCollection* const collection_;
int index_ = 0;
};
private:
V8_EXPORT_PRIVATE Tagged<DebugInfo> EntryAsDebugInfo(size_t index) const;
void DeleteIndex(size_t index);
Isolate* const isolate_;
std::vector<HandleLocation> list_;
std::unordered_map<SFIUniqueId, HandleLocation> map_;
};
class V8_EXPORT_PRIVATE Debug {
public:
Debug(const Debug&) = delete;
Debug& operator=(const Debug&) = delete;
void OnDebugBreak(DirectHandle<FixedArray> break_points_hit,
StepAction stepAction,
debug::BreakReasons break_reasons = {});
debug::DebugDelegate::ActionAfterInstrumentation OnInstrumentationBreak();
std::optional<Tagged<Object>> OnThrow(DirectHandle<Object> exception)
V8_WARN_UNUSED_RESULT;
void OnPromiseReject(DirectHandle<Object> promise,
DirectHandle<Object> value);
void OnCompileError(DirectHandle<Script> script);
void OnAfterCompile(DirectHandle<Script> script);
void HandleDebugBreak(IgnoreBreakMode ignore_break_mode,
debug::BreakReasons break_reasons);
void Break(JavaScriptFrame* frame, DirectHandle<JSFunction> break_target);
DirectHandle<FixedArray> GetLoadedScripts();
std::optional<Tagged<DebugInfo>> TryGetDebugInfo(
Tagged<SharedFunctionInfo> sfi);
bool HasDebugInfo(Tagged<SharedFunctionInfo> sfi);
bool HasCoverageInfo(Tagged<SharedFunctionInfo> sfi);
bool HasBreakInfo(Tagged<SharedFunctionInfo> sfi);
bool BreakAtEntry(Tagged<SharedFunctionInfo> sfi);
enum BreakPointKind { kRegular, kInstrumentation };
bool SetBreakpoint(Handle<SharedFunctionInfo> shared,
DirectHandle<BreakPoint> break_point,
int* source_position);
void ClearBreakPoint(DirectHandle<BreakPoint> break_point);
void ChangeBreakOnException(ExceptionBreakType type, bool enable);
bool IsBreakOnException(ExceptionBreakType type);
void SetTerminateOnResume();
bool SetBreakPointForScript(Handle<Script> script,
DirectHandle<String> condition,
int* source_position, int* id);
bool SetBreakpointForFunction(Handle<SharedFunctionInfo> shared,
DirectHandle<String> condition, int* id,
BreakPointKind kind = kRegular);
void RemoveBreakpoint(int id);
#if V8_ENABLE_WEBASSEMBLY
void SetInstrumentationBreakpointForWasmScript(DirectHandle<Script> script,
int* id);
void RemoveBreakpointForWasmScript(DirectHandle<Script> script, int id);
void RecordWasmScriptWithBreakpoints(DirectHandle<Script> script);
#endif
MaybeHandle<FixedArray> GetHitBreakPoints(DirectHandle<DebugInfo> debug_info,
int position,
bool* has_break_points);
void PrepareStep(StepAction step_action);
void PrepareStepIn(DirectHandle<JSFunction> function);
void PrepareStepInSuspendedGenerator();
void PrepareStepOnThrow();
void ClearStepping();
void PrepareRestartFrame(JavaScriptFrame* frame, int inlined_frame_index);
void SetBreakOnNextFunctionCall();
void ClearBreakOnNextFunctionCall();
void DiscardBaselineCode(Tagged<SharedFunctionInfo> shared);
void DiscardAllBaselineCode();
void DeoptimizeFunction(DirectHandle<SharedFunctionInfo> shared);
void PrepareFunctionForDebugExecution(
DirectHandle<SharedFunctionInfo> shared);
void InstallDebugBreakTrampoline();
bool GetPossibleBreakpoints(Handle<Script> script, int start_position,
int end_position, bool restrict_to_function,
std::vector<BreakLocation>* locations);
bool IsFunctionBlackboxed(DirectHandle<Script> script, const int start,
const int end);
bool IsBlackboxed(DirectHandle<SharedFunctionInfo> shared);
bool ShouldBeSkipped();
bool CanBreakAtEntry(DirectHandle<SharedFunctionInfo> shared);
void SetDebugDelegate(debug::DebugDelegate* delegate);
bool EnsureBreakInfo(Handle<SharedFunctionInfo> shared);
void CreateBreakInfo(DirectHandle<SharedFunctionInfo> shared);
Handle<DebugInfo> GetOrCreateDebugInfo(
DirectHandle<SharedFunctionInfo> shared);
void InstallCoverageInfo(DirectHandle<SharedFunctionInfo> shared,
DirectHandle<CoverageInfo> coverage_info);
void RemoveAllCoverageInfos();
Handle<Object> FindInnermostContainingFunctionInfo(Handle<Script> script,
int position);
Handle<SharedFunctionInfo> FindClosestSharedFunctionInfoFromPosition(
int position, Handle<Script> script,
Handle<SharedFunctionInfo> outer_shared);
bool FindSharedFunctionInfosIntersectingRange(
Handle<Script> script, int start_position, int end_position,
std::vector<Handle<SharedFunctionInfo>>* candidates);
MaybeDirectHandle<SharedFunctionInfo> GetTopLevelWithRecompile(
Handle<Script> script, bool* did_compile = nullptr);
static DirectHandle<Object> GetSourceBreakLocations(
Isolate* isolate, DirectHandle<SharedFunctionInfo> shared);
bool IsBreakAtReturn(JavaScriptFrame* frame);
bool AllFramesOnStackAreBlackboxed();
bool SetScriptSource(Handle<Script> script, Handle<String> source,
bool preview, bool allow_top_frame_live_editing,
debug::LiveEditResult* result);
int GetFunctionDebuggingId(DirectHandle<JSFunction> function);
char* ArchiveDebug(char* to);
char* RestoreDebug(char* from);
static int ArchiveSpacePerThread();
void FreeThreadResources() {}
void Iterate(RootVisitor* v);
void InitThread(const ExecutionAccess& lock) { ThreadInit(); }
bool CheckExecutionState() { return is_active(); }
void StartSideEffectCheckMode();
void StopSideEffectCheckMode();
void ApplySideEffectChecks(DirectHandle<DebugInfo> debug_info);
void ClearSideEffectChecks(DirectHandle<DebugInfo> debug_info);
void IgnoreSideEffectsOnNextCallTo(Handle<FunctionTemplateInfo> function);
bool PerformSideEffectCheck(DirectHandle<JSFunction> function,
DirectHandle<Object> receiver);
void PrepareBuiltinForSideEffectCheck(Isolate* isolate, Builtin id);
bool PerformSideEffectCheckForAccessor(
DirectHandle<AccessorInfo> accessor_info, DirectHandle<Object> receiver,
AccessorComponent component);
bool PerformSideEffectCheckForCallback(Handle<FunctionTemplateInfo> function);
bool PerformSideEffectCheckForInterceptor(
DirectHandle<InterceptorInfo> interceptor_info);
bool PerformSideEffectCheckAtBytecode(InterpretedFrame* frame);
bool PerformSideEffectCheckForObject(DirectHandle<Object> object);
inline bool is_active() const { return is_active_; }
inline bool in_debug_scope() const {
return !!base::Relaxed_Load(&thread_local_.current_debug_scope_);
}
inline bool needs_check_on_function_call() const {
return hook_on_function_call_;
}
void set_break_points_active(bool v) { break_points_active_ = v; }
bool break_points_active() const { return break_points_active_; }
StackFrameId break_frame_id() { return thread_local_.break_frame_id_; }
Handle<Object> return_value_handle();
Tagged<Object> return_value() { return thread_local_.return_value_; }
void set_return_value(Tagged<Object> value) {
thread_local_.return_value_ = value;
}
Address is_active_address() { return reinterpret_cast<Address>(&is_active_); }
Address hook_on_function_call_address() {
return reinterpret_cast<Address>(&hook_on_function_call_);
}
Address suspended_generator_address() {
return reinterpret_cast<Address>(&thread_local_.suspended_generator_);
}
StepAction last_step_action() { return thread_local_.last_step_action_; }
bool break_on_next_function_call() const {
return thread_local_.break_on_next_function_call_;
}
bool scheduled_break_on_function_call() const {
return thread_local_.scheduled_break_on_next_function_call_;
}
bool IsRestartFrameScheduled() const {
return thread_local_.restart_frame_id_ != StackFrameId::NO_ID;
}
bool ShouldRestartFrame(StackFrameId id) const {
return IsRestartFrameScheduled() && thread_local_.restart_frame_id_ == id;
}
void clear_restart_frame() {
thread_local_.restart_frame_id_ = StackFrameId::NO_ID;
thread_local_.restart_inline_frame_index_ = -1;
}
int restart_inline_frame_index() const {
return thread_local_.restart_inline_frame_index_;
}
inline bool break_disabled() const { return break_disabled_; }
static const int kBreakAtEntryPosition = 0;
static const int kInstrumentationId = -1;
void RemoveBreakInfoAndMaybeFree(DirectHandle<DebugInfo> debug_info);
void NotifyDebuggerPausedEventSent();
static char* Iterate(RootVisitor* v, char* thread_storage);
void ClearMutedLocation();
#if V8_ENABLE_WEBASSEMBLY
void SetMutedWasmLocation(DirectHandle<Script> script, int position);
#endif
uint64_t IsolateId() const { return isolate_id_; }
void SetIsolateId(uint64_t id) { isolate_id_ = id; }
private:
explicit Debug(Isolate* isolate);
~Debug();
void UpdateDebugInfosForExecutionMode();
void UpdateState();
void UpdateHookOnFunctionCall();
void Unload();
int CurrentFrameCount();
inline bool ignore_events() const {
return is_suppressed_ || !is_active_ ||
isolate_->debug_execution_mode() == DebugInfo::kSideEffects;
}
void clear_suspended_generator() {
thread_local_.suspended_generator_ = Smi::zero();
}
bool has_suspended_generator() const {
return thread_local_.suspended_generator_ != Smi::zero();
}
void OnException(DirectHandle<Object> exception,
MaybeDirectHandle<JSPromise> promise,
v8::debug::ExceptionType exception_type);
void ProcessCompileEvent(bool has_compile_error, DirectHandle<Script> script);
int FindBreakablePosition(Handle<DebugInfo> debug_info, int source_position);
void ApplyBreakPoints(Handle<DebugInfo> debug_info);
void ClearBreakPoints(Handle<DebugInfo> debug_info);
void ClearAllBreakPoints();
void FloodWithOneShot(Handle<SharedFunctionInfo> function,
bool returns_only = false);
void ClearOneShot();
void SetMutedLocation(DirectHandle<SharedFunctionInfo> function,
const BreakLocation& location);
bool IsFrameBlackboxed(JavaScriptFrame* frame);
void ActivateStepOut(StackFrame* frame);
bool IsBreakOnInstrumentation(Handle<DebugInfo> debug_info,
const BreakLocation& location);
bool IsBreakOnDebuggerStatement(DirectHandle<SharedFunctionInfo> function,
const BreakLocation& location);
MaybeHandle<FixedArray> CheckBreakPoints(Handle<DebugInfo> debug_info,
BreakLocation* location,
bool* has_break_points);
MaybeDirectHandle<FixedArray> CheckBreakPointsForLocations(
Handle<DebugInfo> debug_info, std::vector<BreakLocation>& break_locations,
bool* has_break_points);
bool IsMutedAtAnyBreakLocation(DirectHandle<SharedFunctionInfo> function,
const std::vector<BreakLocation>& locations);
#if V8_ENABLE_WEBASSEMBLY
bool IsMutedAtWasmLocation(Tagged<Script> script, int position);
#endif
bool CheckBreakPoint(DirectHandle<BreakPoint> break_point,
bool is_break_at_entry);
inline void AssertDebugContext() { DCHECK(in_debug_scope()); }
void ThreadInit();
void PrintBreakLocation();
void ClearAllDebuggerHints();
using DebugInfoClearFunction = std::function<void(Handle<DebugInfo>)>;
void ClearAllDebugInfos(const DebugInfoClearFunction& clear_function);
void SetTemporaryObjectTrackingDisabled(bool disabled);
bool GetTemporaryObjectTrackingDisabled() const;
debug::DebugDelegate* debug_delegate_ = nullptr;
std::atomic<bool> is_active_;
bool hook_on_function_call_;
bool is_suppressed_;
bool running_live_edit_ = false;
bool break_disabled_;
bool break_points_active_;
bool break_on_caught_exception_;
bool break_on_uncaught_exception_;
bool side_effect_check_failed_;
DebugInfoCollection debug_infos_;
class TemporaryObjectsTracker;
std::unique_ptr<TemporaryObjectsTracker> temporary_objects_;
IndirectHandle<RegExpMatchInfo> regexp_match_info_;
class ThreadLocal {
public:
base::AtomicWord current_debug_scope_;
StackFrameId break_frame_id_;
StepAction last_step_action_;
Tagged<Object> ignore_step_into_function_;
bool fast_forward_to_return_;
int last_statement_position_;
int last_bytecode_offset_;
int last_frame_count_;
int target_frame_count_;
Tagged<Object> return_value_;
Tagged<Object> suspended_generator_;
int last_breakpoint_id_;
bool break_on_next_function_call_;
bool scheduled_break_on_next_function_call_;
StackFrameId restart_frame_id_;
int restart_inline_frame_index_;
Tagged<Object> muted_function_;
int muted_position_;
};
static void Iterate(RootVisitor* v, ThreadLocal* thread_local_data);
ThreadLocal thread_local_;
#if V8_ENABLE_WEBASSEMBLY
IndirectHandle<WeakArrayList> wasm_scripts_with_break_points_;
#endif
IndirectHandle<FunctionTemplateInfo>
ignore_side_effects_for_function_template_info_;
Isolate* isolate_;
uint64_t isolate_id_;
friend class Isolate;
friend class DebugScope;
friend class DisableBreak;
friend class DisableTemporaryObjectTracking;
friend class LiveEdit;
friend class SuppressDebug;
friend DirectHandle<FixedArray> GetDebuggedFunctions();
friend void CheckDebuggerUnloaded();
};
class V8_NODISCARD DebugScope {
public:
explicit DebugScope(Debug* debug);
~DebugScope();
void set_terminate_on_resume();
base::TimeDelta ElapsedTimeSinceCreation();
private:
Isolate* isolate() { return debug_->isolate_; }
Debug* debug_;
DebugScope* prev_;
StackFrameId break_frame_id_;
PostponeInterruptsScope no_interrupts_;
bool terminate_on_resume_ = false;
base::ElapsedTimer timer_;
};
class V8_NODISCARD ReturnValueScope {
public:
explicit ReturnValueScope(Debug* debug);
~ReturnValueScope();
private:
Debug* debug_;
Handle<Object> return_value_;
};
class DisableBreak {
public:
explicit DisableBreak(Debug* debug, bool disable = true)
: debug_(debug), previous_break_disabled_(debug->break_disabled_) {
debug_->break_disabled_ = disable;
}
~DisableBreak() { debug_->break_disabled_ = previous_break_disabled_; }
DisableBreak(const DisableBreak&) = delete;
DisableBreak& operator=(const DisableBreak&) = delete;
private:
Debug* debug_;
bool previous_break_disabled_;
};
class DisableTemporaryObjectTracking {
public:
explicit DisableTemporaryObjectTracking(Debug* debug)
: debug_(debug),
previous_tracking_disabled_(
debug->GetTemporaryObjectTrackingDisabled()) {
debug_->SetTemporaryObjectTrackingDisabled(true);
}
~DisableTemporaryObjectTracking() {
debug_->SetTemporaryObjectTrackingDisabled(previous_tracking_disabled_);
}
DisableTemporaryObjectTracking(const DisableTemporaryObjectTracking&) =
delete;
DisableTemporaryObjectTracking& operator=(
const DisableTemporaryObjectTracking&) = delete;
private:
Debug* debug_;
bool previous_tracking_disabled_;
};
class SuppressDebug {
public:
explicit SuppressDebug(Debug* debug)
: debug_(debug), old_state_(debug->is_suppressed_) {
debug_->is_suppressed_ = true;
}
~SuppressDebug() { debug_->is_suppressed_ = old_state_; }
SuppressDebug(const SuppressDebug&) = delete;
SuppressDebug& operator=(const SuppressDebug&) = delete;
private:
Debug* debug_;
bool old_state_;
};
}
}
#endif