blob: d5125956a0e96a03294d60cee1bd144121cbd77e [file] [log] [blame]
Steve Blocka7e24c12009-10-30 11:49:00 +00001// Copyright 2006-2008 the V8 project authors. All rights reserved.
2// Redistribution and use in source and binary forms, with or without
3// modification, are permitted provided that the following conditions are
4// met:
5//
6// * Redistributions of source code must retain the above copyright
7// notice, this list of conditions and the following disclaimer.
8// * Redistributions in binary form must reproduce the above
9// copyright notice, this list of conditions and the following
10// disclaimer in the documentation and/or other materials provided
11// with the distribution.
12// * Neither the name of Google Inc. nor the names of its
13// contributors may be used to endorse or promote products derived
14// from this software without specific prior written permission.
15//
16// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
17// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
18// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
19// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
20// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
21// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
22// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
26// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27
28#ifndef V8_DEBUG_H_
29#define V8_DEBUG_H_
30
Steve Block44f0eee2011-05-26 01:26:41 +010031#include "arguments.h"
Steve Blocka7e24c12009-10-30 11:49:00 +000032#include "assembler.h"
Steve Blocka7e24c12009-10-30 11:49:00 +000033#include "debug-agent.h"
34#include "execution.h"
35#include "factory.h"
Ben Murdoch086aeea2011-05-13 15:57:08 +010036#include "flags.h"
Steve Blocka7e24c12009-10-30 11:49:00 +000037#include "hashmap.h"
38#include "platform.h"
39#include "string-stream.h"
40#include "v8threads.h"
41
42#ifdef ENABLE_DEBUGGER_SUPPORT
43#include "../include/v8-debug.h"
44
45namespace v8 {
46namespace internal {
47
48
49// Forward declarations.
50class EnterDebugger;
51
52
53// Step actions. NOTE: These values are in macros.py as well.
54enum StepAction {
55 StepNone = -1, // Stepping not prepared.
56 StepOut = 0, // Step out of the current function.
57 StepNext = 1, // Step to the next statement in the current function.
58 StepIn = 2, // Step into new functions invoked or the next statement
59 // in the current function.
60 StepMin = 3, // Perform a minimum step in the current function.
61 StepInMin = 4 // Step into new functions invoked or perform a minimum step
62 // in the current function.
63};
64
65
66// Type of exception break. NOTE: These values are in macros.py as well.
67enum ExceptionBreakType {
68 BreakException = 0,
69 BreakUncaughtException = 1
70};
71
72
73// Type of exception break. NOTE: These values are in macros.py as well.
74enum BreakLocatorType {
75 ALL_BREAK_LOCATIONS = 0,
76 SOURCE_BREAK_LOCATIONS = 1
77};
78
79
80// Class for iterating through the break points in a function and changing
81// them.
82class BreakLocationIterator {
83 public:
84 explicit BreakLocationIterator(Handle<DebugInfo> debug_info,
85 BreakLocatorType type);
86 virtual ~BreakLocationIterator();
87
88 void Next();
89 void Next(int count);
90 void FindBreakLocationFromAddress(Address pc);
91 void FindBreakLocationFromPosition(int position);
92 void Reset();
93 bool Done() const;
94 void SetBreakPoint(Handle<Object> break_point_object);
95 void ClearBreakPoint(Handle<Object> break_point_object);
96 void SetOneShot();
97 void ClearOneShot();
98 void PrepareStepIn();
99 bool IsExit() const;
100 bool HasBreakPoint();
101 bool IsDebugBreak();
102 Object* BreakPointObjects();
103 void ClearAllDebugBreak();
104
105
Steve Blockd0582a62009-12-15 09:54:21 +0000106 inline int code_position() {
107 return static_cast<int>(pc() - debug_info_->code()->entry());
108 }
Steve Blocka7e24c12009-10-30 11:49:00 +0000109 inline int break_point() { return break_point_; }
110 inline int position() { return position_; }
111 inline int statement_position() { return statement_position_; }
112 inline Address pc() { return reloc_iterator_->rinfo()->pc(); }
113 inline Code* code() { return debug_info_->code(); }
114 inline RelocInfo* rinfo() { return reloc_iterator_->rinfo(); }
115 inline RelocInfo::Mode rmode() const {
116 return reloc_iterator_->rinfo()->rmode();
117 }
118 inline RelocInfo* original_rinfo() {
119 return reloc_iterator_original_->rinfo();
120 }
121 inline RelocInfo::Mode original_rmode() const {
122 return reloc_iterator_original_->rinfo()->rmode();
123 }
124
125 bool IsDebuggerStatement();
126
127 protected:
128 bool RinfoDone() const;
129 void RinfoNext();
130
131 BreakLocatorType type_;
132 int break_point_;
133 int position_;
134 int statement_position_;
135 Handle<DebugInfo> debug_info_;
Steve Blocka7e24c12009-10-30 11:49:00 +0000136 RelocIterator* reloc_iterator_;
137 RelocIterator* reloc_iterator_original_;
138
139 private:
140 void SetDebugBreak();
141 void ClearDebugBreak();
142
143 void SetDebugBreakAtIC();
144 void ClearDebugBreakAtIC();
145
146 bool IsDebugBreakAtReturn();
147 void SetDebugBreakAtReturn();
148 void ClearDebugBreakAtReturn();
149
Ben Murdoch7f4d5bd2010-06-15 11:15:29 +0100150 bool IsDebugBreakSlot();
151 bool IsDebugBreakAtSlot();
152 void SetDebugBreakAtSlot();
153 void ClearDebugBreakAtSlot();
154
Steve Blocka7e24c12009-10-30 11:49:00 +0000155 DISALLOW_COPY_AND_ASSIGN(BreakLocationIterator);
156};
157
158
159// Cache of all script objects in the heap. When a script is added a weak handle
160// to it is created and that weak handle is stored in the cache. The weak handle
161// callback takes care of removing the script from the cache. The key used in
162// the cache is the script id.
163class ScriptCache : private HashMap {
164 public:
165 ScriptCache() : HashMap(ScriptMatch), collected_scripts_(10) {}
166 virtual ~ScriptCache() { Clear(); }
167
168 // Add script to the cache.
169 void Add(Handle<Script> script);
170
171 // Return the scripts in the cache.
172 Handle<FixedArray> GetScripts();
173
174 // Generate debugger events for collected scripts.
175 void ProcessCollectedScripts();
176
177 private:
178 // Calculate the hash value from the key (script id).
179 static uint32_t Hash(int key) { return ComputeIntegerHash(key); }
180
181 // Scripts match if their keys (script id) match.
182 static bool ScriptMatch(void* key1, void* key2) { return key1 == key2; }
183
184 // Clear the cache releasing all the weak handles.
185 void Clear();
186
187 // Weak handle callback for scripts in the cache.
188 static void HandleWeakScript(v8::Persistent<v8::Value> obj, void* data);
189
190 // List used during GC to temporarily store id's of collected scripts.
191 List<int> collected_scripts_;
192};
193
194
195// Linked list holding debug info objects. The debug info objects are kept as
196// weak handles to avoid a debug info object to keep a function alive.
197class DebugInfoListNode {
198 public:
199 explicit DebugInfoListNode(DebugInfo* debug_info);
200 virtual ~DebugInfoListNode();
201
202 DebugInfoListNode* next() { return next_; }
203 void set_next(DebugInfoListNode* next) { next_ = next; }
204 Handle<DebugInfo> debug_info() { return debug_info_; }
205
206 private:
207 // Global (weak) handle to the debug info object.
208 Handle<DebugInfo> debug_info_;
209
210 // Next pointer for linked list.
211 DebugInfoListNode* next_;
212};
213
Steve Blocka7e24c12009-10-30 11:49:00 +0000214// This class contains the debugger support. The main purpose is to handle
215// setting break points in the code.
216//
217// This class controls the debug info for all functions which currently have
218// active breakpoints in them. This debug info is held in the heap root object
219// debug_info which is a FixedArray. Each entry in this list is of class
220// DebugInfo.
221class Debug {
222 public:
Steve Block44f0eee2011-05-26 01:26:41 +0100223 void Setup(bool create_heap_objects);
224 bool Load();
225 void Unload();
226 bool IsLoaded() { return !debug_context_.is_null(); }
227 bool InDebugger() { return thread_local_.debugger_entry_ != NULL; }
228 void PreemptionWhileInDebugger();
229 void Iterate(ObjectVisitor* v);
Steve Blocka7e24c12009-10-30 11:49:00 +0000230
Steve Block44f0eee2011-05-26 01:26:41 +0100231 static Object* Break(RUNTIME_CALLING_CONVENTION);
232 void SetBreakPoint(Handle<SharedFunctionInfo> shared,
233 Handle<Object> break_point_object,
234 int* source_position);
235 void ClearBreakPoint(Handle<Object> break_point_object);
236 void ClearAllBreakPoints();
237 void FloodWithOneShot(Handle<SharedFunctionInfo> shared);
238 void FloodHandlerWithOneShot();
239 void ChangeBreakOnException(ExceptionBreakType type, bool enable);
240 bool IsBreakOnException(ExceptionBreakType type);
241 void PrepareStep(StepAction step_action, int step_count);
242 void ClearStepping();
243 bool StepNextContinue(BreakLocationIterator* break_location_iterator,
244 JavaScriptFrame* frame);
Steve Blocka7e24c12009-10-30 11:49:00 +0000245 static Handle<DebugInfo> GetDebugInfo(Handle<SharedFunctionInfo> shared);
246 static bool HasDebugInfo(Handle<SharedFunctionInfo> shared);
247
248 // Returns whether the operation succeeded.
Steve Block44f0eee2011-05-26 01:26:41 +0100249 bool EnsureDebugInfo(Handle<SharedFunctionInfo> shared);
Steve Blocka7e24c12009-10-30 11:49:00 +0000250
251 // Returns true if the current stub call is patched to call the debugger.
252 static bool IsDebugBreak(Address addr);
253 // Returns true if the current return statement has been patched to be
254 // a debugger breakpoint.
255 static bool IsDebugBreakAtReturn(RelocInfo* rinfo);
256
257 // Check whether a code stub with the specified major key is a possible break
258 // point location.
259 static bool IsSourceBreakStub(Code* code);
260 static bool IsBreakStub(Code* code);
261
262 // Find the builtin to use for invoking the debug break
263 static Handle<Code> FindDebugBreak(Handle<Code> code, RelocInfo::Mode mode);
264
265 static Handle<Object> GetSourceBreakLocations(
266 Handle<SharedFunctionInfo> shared);
267
268 // Getter for the debug_context.
Steve Block44f0eee2011-05-26 01:26:41 +0100269 inline Handle<Context> debug_context() { return debug_context_; }
Steve Blocka7e24c12009-10-30 11:49:00 +0000270
271 // Check whether a global object is the debug global object.
Steve Block44f0eee2011-05-26 01:26:41 +0100272 bool IsDebugGlobal(GlobalObject* global);
Steve Blocka7e24c12009-10-30 11:49:00 +0000273
Ben Murdoch7f4d5bd2010-06-15 11:15:29 +0100274 // Check whether this frame is just about to return.
Steve Block44f0eee2011-05-26 01:26:41 +0100275 bool IsBreakAtReturn(JavaScriptFrame* frame);
Ben Murdoch7f4d5bd2010-06-15 11:15:29 +0100276
Steve Blocka7e24c12009-10-30 11:49:00 +0000277 // Fast check to see if any break points are active.
Steve Block44f0eee2011-05-26 01:26:41 +0100278 inline bool has_break_points() { return has_break_points_; }
Steve Blocka7e24c12009-10-30 11:49:00 +0000279
Steve Block44f0eee2011-05-26 01:26:41 +0100280 void NewBreak(StackFrame::Id break_frame_id);
281 void SetBreak(StackFrame::Id break_frame_id, int break_id);
282 StackFrame::Id break_frame_id() {
Steve Blocka7e24c12009-10-30 11:49:00 +0000283 return thread_local_.break_frame_id_;
284 }
Steve Block44f0eee2011-05-26 01:26:41 +0100285 int break_id() { return thread_local_.break_id_; }
Steve Blocka7e24c12009-10-30 11:49:00 +0000286
Steve Block44f0eee2011-05-26 01:26:41 +0100287 bool StepInActive() { return thread_local_.step_into_fp_ != 0; }
288 void HandleStepIn(Handle<JSFunction> function,
289 Handle<Object> holder,
290 Address fp,
291 bool is_constructor);
292 Address step_in_fp() { return thread_local_.step_into_fp_; }
293 Address* step_in_fp_addr() { return &thread_local_.step_into_fp_; }
Steve Blocka7e24c12009-10-30 11:49:00 +0000294
Steve Block44f0eee2011-05-26 01:26:41 +0100295 bool StepOutActive() { return thread_local_.step_out_fp_ != 0; }
296 Address step_out_fp() { return thread_local_.step_out_fp_; }
Steve Blocka7e24c12009-10-30 11:49:00 +0000297
Steve Block44f0eee2011-05-26 01:26:41 +0100298 EnterDebugger* debugger_entry() {
Steve Blocka7e24c12009-10-30 11:49:00 +0000299 return thread_local_.debugger_entry_;
300 }
Steve Block44f0eee2011-05-26 01:26:41 +0100301 void set_debugger_entry(EnterDebugger* entry) {
Steve Blocka7e24c12009-10-30 11:49:00 +0000302 thread_local_.debugger_entry_ = entry;
303 }
304
305 // Check whether any of the specified interrupts are pending.
Steve Block44f0eee2011-05-26 01:26:41 +0100306 bool is_interrupt_pending(InterruptFlag what) {
Steve Blocka7e24c12009-10-30 11:49:00 +0000307 return (thread_local_.pending_interrupts_ & what) != 0;
308 }
309
310 // Set specified interrupts as pending.
Steve Block44f0eee2011-05-26 01:26:41 +0100311 void set_interrupts_pending(InterruptFlag what) {
Steve Blocka7e24c12009-10-30 11:49:00 +0000312 thread_local_.pending_interrupts_ |= what;
313 }
314
315 // Clear specified interrupts from pending.
Steve Block44f0eee2011-05-26 01:26:41 +0100316 void clear_interrupt_pending(InterruptFlag what) {
Steve Blocka7e24c12009-10-30 11:49:00 +0000317 thread_local_.pending_interrupts_ &= ~static_cast<int>(what);
318 }
319
320 // Getter and setter for the disable break state.
Steve Block44f0eee2011-05-26 01:26:41 +0100321 bool disable_break() { return disable_break_; }
322 void set_disable_break(bool disable_break) {
Steve Blocka7e24c12009-10-30 11:49:00 +0000323 disable_break_ = disable_break;
324 }
325
326 // Getters for the current exception break state.
Steve Block44f0eee2011-05-26 01:26:41 +0100327 bool break_on_exception() { return break_on_exception_; }
328 bool break_on_uncaught_exception() {
Steve Blocka7e24c12009-10-30 11:49:00 +0000329 return break_on_uncaught_exception_;
330 }
331
332 enum AddressId {
333 k_after_break_target_address,
334 k_debug_break_return_address,
Ben Murdoch7f4d5bd2010-06-15 11:15:29 +0100335 k_debug_break_slot_address,
Kristian Monsen80d68ea2010-09-08 11:05:35 +0100336 k_restarter_frame_function_pointer
Steve Blocka7e24c12009-10-30 11:49:00 +0000337 };
338
339 // Support for setting the address to jump to when returning from break point.
Steve Block44f0eee2011-05-26 01:26:41 +0100340 Address* after_break_target_address() {
Steve Blocka7e24c12009-10-30 11:49:00 +0000341 return reinterpret_cast<Address*>(&thread_local_.after_break_target_);
342 }
Steve Block44f0eee2011-05-26 01:26:41 +0100343 Address* restarter_frame_function_pointer_address() {
Ben Murdochbb769b22010-08-11 14:56:33 +0100344 Object*** address = &thread_local_.restarter_frame_function_pointer_;
345 return reinterpret_cast<Address*>(address);
346 }
Steve Blocka7e24c12009-10-30 11:49:00 +0000347
348 // Support for saving/restoring registers when handling debug break calls.
Steve Block44f0eee2011-05-26 01:26:41 +0100349 Object** register_address(int r) {
Steve Blocka7e24c12009-10-30 11:49:00 +0000350 return &registers_[r];
351 }
352
353 // Access to the debug break on return code.
Steve Block44f0eee2011-05-26 01:26:41 +0100354 Code* debug_break_return() { return debug_break_return_; }
355 Code** debug_break_return_address() {
Steve Blocka7e24c12009-10-30 11:49:00 +0000356 return &debug_break_return_;
357 }
358
Ben Murdoch7f4d5bd2010-06-15 11:15:29 +0100359 // Access to the debug break in debug break slot code.
Steve Block44f0eee2011-05-26 01:26:41 +0100360 Code* debug_break_slot() { return debug_break_slot_; }
361 Code** debug_break_slot_address() {
Ben Murdoch7f4d5bd2010-06-15 11:15:29 +0100362 return &debug_break_slot_;
363 }
364
Steve Blocka7e24c12009-10-30 11:49:00 +0000365 static const int kEstimatedNofDebugInfoEntries = 16;
366 static const int kEstimatedNofBreakPointsInFunction = 16;
367
Steve Block44f0eee2011-05-26 01:26:41 +0100368 // Passed to MakeWeak.
Steve Blocka7e24c12009-10-30 11:49:00 +0000369 static void HandleWeakDebugInfo(v8::Persistent<v8::Value> obj, void* data);
370
371 friend class Debugger;
372 friend Handle<FixedArray> GetDebuggedFunctions(); // In test-debug.cc
373 friend void CheckDebuggerUnloaded(bool check_functions); // In test-debug.cc
374
375 // Threading support.
Steve Block44f0eee2011-05-26 01:26:41 +0100376 char* ArchiveDebug(char* to);
377 char* RestoreDebug(char* from);
Steve Blocka7e24c12009-10-30 11:49:00 +0000378 static int ArchiveSpacePerThread();
Steve Block44f0eee2011-05-26 01:26:41 +0100379 void FreeThreadResources() { }
Steve Blocka7e24c12009-10-30 11:49:00 +0000380
381 // Mirror cache handling.
Steve Block44f0eee2011-05-26 01:26:41 +0100382 void ClearMirrorCache();
Steve Blocka7e24c12009-10-30 11:49:00 +0000383
384 // Script cache handling.
Steve Block44f0eee2011-05-26 01:26:41 +0100385 void CreateScriptCache();
386 void DestroyScriptCache();
387 void AddScriptToScriptCache(Handle<Script> script);
388 Handle<FixedArray> GetLoadedScripts();
Steve Blocka7e24c12009-10-30 11:49:00 +0000389
390 // Garbage collection notifications.
Steve Block44f0eee2011-05-26 01:26:41 +0100391 void AfterGarbageCollection();
Steve Blocka7e24c12009-10-30 11:49:00 +0000392
Steve Blocka7e24c12009-10-30 11:49:00 +0000393 // Code generator routines.
Ben Murdoch7f4d5bd2010-06-15 11:15:29 +0100394 static void GenerateSlot(MacroAssembler* masm);
Steve Blocka7e24c12009-10-30 11:49:00 +0000395 static void GenerateLoadICDebugBreak(MacroAssembler* masm);
396 static void GenerateStoreICDebugBreak(MacroAssembler* masm);
397 static void GenerateKeyedLoadICDebugBreak(MacroAssembler* masm);
398 static void GenerateKeyedStoreICDebugBreak(MacroAssembler* masm);
399 static void GenerateConstructCallDebugBreak(MacroAssembler* masm);
400 static void GenerateReturnDebugBreak(MacroAssembler* masm);
401 static void GenerateStubNoRegistersDebugBreak(MacroAssembler* masm);
Ben Murdoch7f4d5bd2010-06-15 11:15:29 +0100402 static void GenerateSlotDebugBreak(MacroAssembler* masm);
Steve Block6ded16b2010-05-10 14:33:55 +0100403 static void GeneratePlainReturnLiveEdit(MacroAssembler* masm);
Iain Merrick75681382010-08-19 15:07:18 +0100404
405 // FrameDropper is a code replacement for a JavaScript frame with possibly
406 // several frames above.
407 // There is no calling conventions here, because it never actually gets
408 // called, it only gets returned to.
Steve Block6ded16b2010-05-10 14:33:55 +0100409 static void GenerateFrameDropperLiveEdit(MacroAssembler* masm);
Steve Blocka7e24c12009-10-30 11:49:00 +0000410
411 // Called from stub-cache.cc.
412 static void GenerateCallICDebugBreak(MacroAssembler* masm);
413
Steve Block8defd9f2010-07-08 12:39:36 +0100414 // Describes how exactly a frame has been dropped from stack.
415 enum FrameDropMode {
416 // No frame has been dropped.
417 FRAMES_UNTOUCHED,
418 // The top JS frame had been calling IC stub. IC stub mustn't be called now.
419 FRAME_DROPPED_IN_IC_CALL,
420 // The top JS frame had been calling debug break slot stub. Patch the
421 // address this stub jumps to in the end.
422 FRAME_DROPPED_IN_DEBUG_SLOT_CALL,
423 // The top JS frame had been calling some C++ function. The return address
424 // gets patched automatically.
425 FRAME_DROPPED_IN_DIRECT_CALL
426 };
427
Steve Block44f0eee2011-05-26 01:26:41 +0100428 void FramesHaveBeenDropped(StackFrame::Id new_break_frame_id,
Ben Murdochbb769b22010-08-11 14:56:33 +0100429 FrameDropMode mode,
430 Object** restarter_frame_function_pointer);
Steve Block6ded16b2010-05-10 14:33:55 +0100431
Ben Murdochbb769b22010-08-11 14:56:33 +0100432 // Initializes an artificial stack frame. The data it contains is used for:
433 // a. successful work of frame dropper code which eventually gets control,
434 // b. being compatible with regular stack structure for various stack
435 // iterators.
436 // Returns address of stack allocated pointer to restarted function,
437 // the value that is called 'restarter_frame_function_pointer'. The value
438 // at this address (possibly updated by GC) may be used later when preparing
439 // 'step in' operation.
Ben Murdochbb769b22010-08-11 14:56:33 +0100440 static Object** SetUpFrameDropperFrame(StackFrame* bottom_js_frame,
441 Handle<Code> code);
442
Steve Block6ded16b2010-05-10 14:33:55 +0100443 static const int kFrameDropperFrameSize;
444
Iain Merrick75681382010-08-19 15:07:18 +0100445 // Architecture-specific constant.
446 static const bool kFrameDropperSupported;
447
Steve Blocka7e24c12009-10-30 11:49:00 +0000448 private:
Steve Block44f0eee2011-05-26 01:26:41 +0100449 explicit Debug(Isolate* isolate);
450 ~Debug();
451
Steve Blocka7e24c12009-10-30 11:49:00 +0000452 static bool CompileDebuggerScript(int index);
Steve Block44f0eee2011-05-26 01:26:41 +0100453 void ClearOneShot();
454 void ActivateStepIn(StackFrame* frame);
455 void ClearStepIn();
456 void ActivateStepOut(StackFrame* frame);
457 void ClearStepOut();
458 void ClearStepNext();
Steve Blocka7e24c12009-10-30 11:49:00 +0000459 // Returns whether the compile succeeded.
Steve Block44f0eee2011-05-26 01:26:41 +0100460 void RemoveDebugInfo(Handle<DebugInfo> debug_info);
461 void SetAfterBreakTarget(JavaScriptFrame* frame);
462 Handle<Object> CheckBreakPoints(Handle<Object> break_point);
463 bool CheckBreakPoint(Handle<Object> break_point_object);
Steve Blocka7e24c12009-10-30 11:49:00 +0000464
465 // Global handle to debug context where all the debugger JavaScript code is
466 // loaded.
Steve Block44f0eee2011-05-26 01:26:41 +0100467 Handle<Context> debug_context_;
Steve Blocka7e24c12009-10-30 11:49:00 +0000468
469 // Boolean state indicating whether any break points are set.
Steve Block44f0eee2011-05-26 01:26:41 +0100470 bool has_break_points_;
Steve Blocka7e24c12009-10-30 11:49:00 +0000471
472 // Cache of all scripts in the heap.
Steve Block44f0eee2011-05-26 01:26:41 +0100473 ScriptCache* script_cache_;
Steve Blocka7e24c12009-10-30 11:49:00 +0000474
475 // List of active debug info objects.
Steve Block44f0eee2011-05-26 01:26:41 +0100476 DebugInfoListNode* debug_info_list_;
Steve Blocka7e24c12009-10-30 11:49:00 +0000477
Steve Block44f0eee2011-05-26 01:26:41 +0100478 bool disable_break_;
479 bool break_on_exception_;
480 bool break_on_uncaught_exception_;
Steve Blocka7e24c12009-10-30 11:49:00 +0000481
482 // Per-thread data.
483 class ThreadLocal {
484 public:
485 // Counter for generating next break id.
486 int break_count_;
487
488 // Current break id.
489 int break_id_;
490
491 // Frame id for the frame of the current break.
492 StackFrame::Id break_frame_id_;
493
494 // Step action for last step performed.
495 StepAction last_step_action_;
496
497 // Source statement position from last step next action.
498 int last_statement_position_;
499
500 // Number of steps left to perform before debug event.
501 int step_count_;
502
503 // Frame pointer from last step next action.
504 Address last_fp_;
505
506 // Frame pointer for frame from which step in was performed.
507 Address step_into_fp_;
508
509 // Frame pointer for the frame where debugger should be called when current
510 // step out action is completed.
511 Address step_out_fp_;
512
513 // Storage location for jump when exiting debug break calls.
514 Address after_break_target_;
515
Steve Block8defd9f2010-07-08 12:39:36 +0100516 // Stores the way how LiveEdit has patched the stack. It is used when
517 // debugger returns control back to user script.
518 FrameDropMode frame_drop_mode_;
Steve Block6ded16b2010-05-10 14:33:55 +0100519
Steve Blocka7e24c12009-10-30 11:49:00 +0000520 // Top debugger entry.
521 EnterDebugger* debugger_entry_;
522
523 // Pending interrupts scheduled while debugging.
524 int pending_interrupts_;
Ben Murdochbb769b22010-08-11 14:56:33 +0100525
526 // When restarter frame is on stack, stores the address
527 // of the pointer to function being restarted. Otherwise (most of the time)
528 // stores NULL. This pointer is used with 'step in' implementation.
529 Object** restarter_frame_function_pointer_;
Steve Blocka7e24c12009-10-30 11:49:00 +0000530 };
531
532 // Storage location for registers when handling debug break calls
Steve Block44f0eee2011-05-26 01:26:41 +0100533 JSCallerSavedBuffer registers_;
534 ThreadLocal thread_local_;
535 void ThreadInit();
Steve Blocka7e24c12009-10-30 11:49:00 +0000536
537 // Code to call for handling debug break on return.
Steve Block44f0eee2011-05-26 01:26:41 +0100538 Code* debug_break_return_;
Steve Blocka7e24c12009-10-30 11:49:00 +0000539
Ben Murdoch7f4d5bd2010-06-15 11:15:29 +0100540 // Code to call for handling debug break in debug break slots.
Steve Block44f0eee2011-05-26 01:26:41 +0100541 Code* debug_break_slot_;
542
543 Isolate* isolate_;
544
545 friend class Isolate;
Ben Murdoch7f4d5bd2010-06-15 11:15:29 +0100546
Steve Blocka7e24c12009-10-30 11:49:00 +0000547 DISALLOW_COPY_AND_ASSIGN(Debug);
548};
549
550
551// Message delivered to the message handler callback. This is either a debugger
552// event or the response to a command.
553class MessageImpl: public v8::Debug::Message {
554 public:
555 // Create a message object for a debug event.
556 static MessageImpl NewEvent(DebugEvent event,
557 bool running,
558 Handle<JSObject> exec_state,
559 Handle<JSObject> event_data);
560
561 // Create a message object for the response to a debug command.
562 static MessageImpl NewResponse(DebugEvent event,
563 bool running,
564 Handle<JSObject> exec_state,
565 Handle<JSObject> event_data,
566 Handle<String> response_json,
567 v8::Debug::ClientData* client_data);
568
569 // Implementation of interface v8::Debug::Message.
570 virtual bool IsEvent() const;
571 virtual bool IsResponse() const;
572 virtual DebugEvent GetEvent() const;
573 virtual bool WillStartRunning() const;
574 virtual v8::Handle<v8::Object> GetExecutionState() const;
575 virtual v8::Handle<v8::Object> GetEventData() const;
576 virtual v8::Handle<v8::String> GetJSON() const;
577 virtual v8::Handle<v8::Context> GetEventContext() const;
578 virtual v8::Debug::ClientData* GetClientData() const;
579
580 private:
581 MessageImpl(bool is_event,
582 DebugEvent event,
583 bool running,
584 Handle<JSObject> exec_state,
585 Handle<JSObject> event_data,
586 Handle<String> response_json,
587 v8::Debug::ClientData* client_data);
588
589 bool is_event_; // Does this message represent a debug event?
590 DebugEvent event_; // Debug event causing the break.
591 bool running_; // Will the VM start running after this event?
592 Handle<JSObject> exec_state_; // Current execution state.
593 Handle<JSObject> event_data_; // Data associated with the event.
594 Handle<String> response_json_; // Response JSON if message holds a response.
595 v8::Debug::ClientData* client_data_; // Client data passed with the request.
596};
597
598
Leon Clarkef7060e22010-06-03 12:02:55 +0100599// Details of the debug event delivered to the debug event listener.
600class EventDetailsImpl : public v8::Debug::EventDetails {
601 public:
602 EventDetailsImpl(DebugEvent event,
603 Handle<JSObject> exec_state,
604 Handle<JSObject> event_data,
Ben Murdoch3bec4d22010-07-22 14:51:16 +0100605 Handle<Object> callback_data,
606 v8::Debug::ClientData* client_data);
Leon Clarkef7060e22010-06-03 12:02:55 +0100607 virtual DebugEvent GetEvent() const;
608 virtual v8::Handle<v8::Object> GetExecutionState() const;
609 virtual v8::Handle<v8::Object> GetEventData() const;
610 virtual v8::Handle<v8::Context> GetEventContext() const;
611 virtual v8::Handle<v8::Value> GetCallbackData() const;
Ben Murdoch3bec4d22010-07-22 14:51:16 +0100612 virtual v8::Debug::ClientData* GetClientData() const;
Leon Clarkef7060e22010-06-03 12:02:55 +0100613 private:
614 DebugEvent event_; // Debug event causing the break.
Ben Murdoch3bec4d22010-07-22 14:51:16 +0100615 Handle<JSObject> exec_state_; // Current execution state.
616 Handle<JSObject> event_data_; // Data associated with the event.
617 Handle<Object> callback_data_; // User data passed with the callback
618 // when it was registered.
619 v8::Debug::ClientData* client_data_; // Data passed to DebugBreakForCommand.
Leon Clarkef7060e22010-06-03 12:02:55 +0100620};
621
622
Steve Blocka7e24c12009-10-30 11:49:00 +0000623// Message send by user to v8 debugger or debugger output message.
624// In addition to command text it may contain a pointer to some user data
625// which are expected to be passed along with the command reponse to message
626// handler.
627class CommandMessage {
628 public:
629 static CommandMessage New(const Vector<uint16_t>& command,
630 v8::Debug::ClientData* data);
631 CommandMessage();
632 ~CommandMessage();
633
634 // Deletes user data and disposes of the text.
635 void Dispose();
636 Vector<uint16_t> text() const { return text_; }
637 v8::Debug::ClientData* client_data() const { return client_data_; }
638 private:
639 CommandMessage(const Vector<uint16_t>& text,
640 v8::Debug::ClientData* data);
641
642 Vector<uint16_t> text_;
643 v8::Debug::ClientData* client_data_;
644};
645
646// A Queue of CommandMessage objects. A thread-safe version is
647// LockingCommandMessageQueue, based on this class.
648class CommandMessageQueue BASE_EMBEDDED {
649 public:
650 explicit CommandMessageQueue(int size);
651 ~CommandMessageQueue();
652 bool IsEmpty() const { return start_ == end_; }
653 CommandMessage Get();
654 void Put(const CommandMessage& message);
655 void Clear() { start_ = end_ = 0; } // Queue is empty after Clear().
656 private:
657 // Doubles the size of the message queue, and copies the messages.
658 void Expand();
659
660 CommandMessage* messages_;
661 int start_;
662 int end_;
663 int size_; // The size of the queue buffer. Queue can hold size-1 messages.
664};
665
666
Leon Clarkee46be812010-01-19 14:06:41 +0000667class MessageDispatchHelperThread;
668
669
Steve Blocka7e24c12009-10-30 11:49:00 +0000670// LockingCommandMessageQueue is a thread-safe circular buffer of CommandMessage
671// messages. The message data is not managed by LockingCommandMessageQueue.
672// Pointers to the data are passed in and out. Implemented by adding a
673// Mutex to CommandMessageQueue. Includes logging of all puts and gets.
674class LockingCommandMessageQueue BASE_EMBEDDED {
675 public:
676 explicit LockingCommandMessageQueue(int size);
677 ~LockingCommandMessageQueue();
678 bool IsEmpty() const;
679 CommandMessage Get();
680 void Put(const CommandMessage& message);
681 void Clear();
682 private:
683 CommandMessageQueue queue_;
684 Mutex* lock_;
685 DISALLOW_COPY_AND_ASSIGN(LockingCommandMessageQueue);
686};
687
688
689class Debugger {
690 public:
Steve Block44f0eee2011-05-26 01:26:41 +0100691 ~Debugger();
Steve Blocka7e24c12009-10-30 11:49:00 +0000692
Steve Block44f0eee2011-05-26 01:26:41 +0100693 void DebugRequest(const uint16_t* json_request, int length);
694
695 Handle<Object> MakeJSObject(Vector<const char> constructor_name,
696 int argc, Object*** argv,
697 bool* caught_exception);
698 Handle<Object> MakeExecutionState(bool* caught_exception);
699 Handle<Object> MakeBreakEvent(Handle<Object> exec_state,
700 Handle<Object> break_points_hit,
701 bool* caught_exception);
702 Handle<Object> MakeExceptionEvent(Handle<Object> exec_state,
703 Handle<Object> exception,
704 bool uncaught,
705 bool* caught_exception);
706 Handle<Object> MakeNewFunctionEvent(Handle<Object> func,
707 bool* caught_exception);
708 Handle<Object> MakeCompileEvent(Handle<Script> script,
709 bool before,
710 bool* caught_exception);
711 Handle<Object> MakeScriptCollectedEvent(int id,
712 bool* caught_exception);
713 void OnDebugBreak(Handle<Object> break_points_hit, bool auto_continue);
714 void OnException(Handle<Object> exception, bool uncaught);
715 void OnBeforeCompile(Handle<Script> script);
Steve Block6ded16b2010-05-10 14:33:55 +0100716
717 enum AfterCompileFlags {
718 NO_AFTER_COMPILE_FLAGS,
719 SEND_WHEN_DEBUGGING
720 };
Steve Block44f0eee2011-05-26 01:26:41 +0100721 void OnAfterCompile(Handle<Script> script,
722 AfterCompileFlags after_compile_flags);
723 void OnNewFunction(Handle<JSFunction> fun);
724 void OnScriptCollected(int id);
725 void ProcessDebugEvent(v8::DebugEvent event,
726 Handle<JSObject> event_data,
727 bool auto_continue);
728 void NotifyMessageHandler(v8::DebugEvent event,
729 Handle<JSObject> exec_state,
730 Handle<JSObject> event_data,
731 bool auto_continue);
732 void SetEventListener(Handle<Object> callback, Handle<Object> data);
733 void SetMessageHandler(v8::Debug::MessageHandler2 handler);
734 void SetHostDispatchHandler(v8::Debug::HostDispatchHandler handler,
735 int period);
736 void SetDebugMessageDispatchHandler(
Leon Clarkee46be812010-01-19 14:06:41 +0000737 v8::Debug::DebugMessageDispatchHandler handler,
738 bool provide_locker);
Steve Blocka7e24c12009-10-30 11:49:00 +0000739
740 // Invoke the message handler function.
Steve Block44f0eee2011-05-26 01:26:41 +0100741 void InvokeMessageHandler(MessageImpl message);
Steve Blocka7e24c12009-10-30 11:49:00 +0000742
743 // Add a debugger command to the command queue.
Steve Block44f0eee2011-05-26 01:26:41 +0100744 void ProcessCommand(Vector<const uint16_t> command,
745 v8::Debug::ClientData* client_data = NULL);
Steve Blocka7e24c12009-10-30 11:49:00 +0000746
747 // Check whether there are commands in the command queue.
Steve Block44f0eee2011-05-26 01:26:41 +0100748 bool HasCommands();
Steve Blocka7e24c12009-10-30 11:49:00 +0000749
Ben Murdoch3bec4d22010-07-22 14:51:16 +0100750 // Enqueue a debugger command to the command queue for event listeners.
Steve Block44f0eee2011-05-26 01:26:41 +0100751 void EnqueueDebugCommand(v8::Debug::ClientData* client_data = NULL);
Ben Murdoch3bec4d22010-07-22 14:51:16 +0100752
Steve Block44f0eee2011-05-26 01:26:41 +0100753 Handle<Object> Call(Handle<JSFunction> fun,
754 Handle<Object> data,
755 bool* pending_exception);
Steve Blocka7e24c12009-10-30 11:49:00 +0000756
757 // Start the debugger agent listening on the provided port.
Steve Block44f0eee2011-05-26 01:26:41 +0100758 bool StartAgent(const char* name, int port,
759 bool wait_for_connection = false);
Steve Blocka7e24c12009-10-30 11:49:00 +0000760
761 // Stop the debugger agent.
Steve Block44f0eee2011-05-26 01:26:41 +0100762 void StopAgent();
Steve Blocka7e24c12009-10-30 11:49:00 +0000763
764 // Blocks until the agent has started listening for connections
Steve Block44f0eee2011-05-26 01:26:41 +0100765 void WaitForAgent();
Steve Blocka7e24c12009-10-30 11:49:00 +0000766
Steve Block44f0eee2011-05-26 01:26:41 +0100767 void CallMessageDispatchHandler();
Leon Clarkee46be812010-01-19 14:06:41 +0000768
Steve Block44f0eee2011-05-26 01:26:41 +0100769 Handle<Context> GetDebugContext();
Steve Block6ded16b2010-05-10 14:33:55 +0100770
Steve Blocka7e24c12009-10-30 11:49:00 +0000771 // Unload the debugger if possible. Only called when no debugger is currently
772 // active.
Steve Block44f0eee2011-05-26 01:26:41 +0100773 void UnloadDebugger();
Steve Block6ded16b2010-05-10 14:33:55 +0100774 friend void ForceUnloadDebugger(); // In test-debug.cc
Steve Blocka7e24c12009-10-30 11:49:00 +0000775
Steve Block44f0eee2011-05-26 01:26:41 +0100776 inline bool EventActive(v8::DebugEvent event) {
Steve Blocka7e24c12009-10-30 11:49:00 +0000777 ScopedLock with(debugger_access_);
778
779 // Check whether the message handler was been cleared.
780 if (debugger_unload_pending_) {
Steve Block44f0eee2011-05-26 01:26:41 +0100781 if (isolate_->debug()->debugger_entry() == NULL) {
Leon Clarkee46be812010-01-19 14:06:41 +0000782 UnloadDebugger();
783 }
Steve Blocka7e24c12009-10-30 11:49:00 +0000784 }
785
Ben Murdoch086aeea2011-05-13 15:57:08 +0100786 if (((event == v8::BeforeCompile) || (event == v8::AfterCompile)) &&
787 !FLAG_debug_compile_events) {
788 return false;
789
790 } else if ((event == v8::ScriptCollected) &&
791 !FLAG_debug_script_collected_events) {
792 return false;
793 }
794
Steve Blocka7e24c12009-10-30 11:49:00 +0000795 // Currently argument event is not used.
796 return !compiling_natives_ && Debugger::IsDebuggerActive();
797 }
798
Steve Block44f0eee2011-05-26 01:26:41 +0100799 void set_compiling_natives(bool compiling_natives) {
Steve Blocka7e24c12009-10-30 11:49:00 +0000800 Debugger::compiling_natives_ = compiling_natives;
801 }
Steve Block44f0eee2011-05-26 01:26:41 +0100802 bool compiling_natives() const { return compiling_natives_; }
803 void set_loading_debugger(bool v) { is_loading_debugger_ = v; }
804 bool is_loading_debugger() const { return is_loading_debugger_; }
Steve Blocka7e24c12009-10-30 11:49:00 +0000805
Steve Block44f0eee2011-05-26 01:26:41 +0100806 bool IsDebuggerActive();
Leon Clarkef7060e22010-06-03 12:02:55 +0100807
808 private:
Steve Block44f0eee2011-05-26 01:26:41 +0100809 Debugger();
Steve Blocka7e24c12009-10-30 11:49:00 +0000810
Steve Block44f0eee2011-05-26 01:26:41 +0100811 void CallEventCallback(v8::DebugEvent event,
812 Handle<Object> exec_state,
813 Handle<Object> event_data,
814 v8::Debug::ClientData* client_data);
815 void CallCEventCallback(v8::DebugEvent event,
816 Handle<Object> exec_state,
817 Handle<Object> event_data,
818 v8::Debug::ClientData* client_data);
819 void CallJSEventCallback(v8::DebugEvent event,
820 Handle<Object> exec_state,
821 Handle<Object> event_data);
822 void ListenersChanged();
Steve Blocka7e24c12009-10-30 11:49:00 +0000823
Steve Block44f0eee2011-05-26 01:26:41 +0100824 Mutex* debugger_access_; // Mutex guarding debugger variables.
825 Handle<Object> event_listener_; // Global handle to listener.
826 Handle<Object> event_listener_data_;
827 bool compiling_natives_; // Are we compiling natives?
828 bool is_loading_debugger_; // Are we loading the debugger?
829 bool never_unload_debugger_; // Can we unload the debugger?
830 v8::Debug::MessageHandler2 message_handler_;
831 bool debugger_unload_pending_; // Was message handler cleared?
832 v8::Debug::HostDispatchHandler host_dispatch_handler_;
833 Mutex* dispatch_handler_access_; // Mutex guarding dispatch handler.
834 v8::Debug::DebugMessageDispatchHandler debug_message_dispatch_handler_;
835 MessageDispatchHelperThread* message_dispatch_helper_thread_;
836 int host_dispatch_micros_;
837
838 DebuggerAgent* agent_;
Steve Blocka7e24c12009-10-30 11:49:00 +0000839
840 static const int kQueueInitialSize = 4;
Steve Block44f0eee2011-05-26 01:26:41 +0100841 LockingCommandMessageQueue command_queue_;
842 Semaphore* command_received_; // Signaled for each command received.
843 LockingCommandMessageQueue event_command_queue_;
Steve Blocka7e24c12009-10-30 11:49:00 +0000844
Steve Block44f0eee2011-05-26 01:26:41 +0100845 Isolate* isolate_;
Ben Murdoch3bec4d22010-07-22 14:51:16 +0100846
Steve Blocka7e24c12009-10-30 11:49:00 +0000847 friend class EnterDebugger;
Steve Block44f0eee2011-05-26 01:26:41 +0100848 friend class Isolate;
849
850 DISALLOW_COPY_AND_ASSIGN(Debugger);
Steve Blocka7e24c12009-10-30 11:49:00 +0000851};
852
853
854// This class is used for entering the debugger. Create an instance in the stack
855// to enter the debugger. This will set the current break state, make sure the
856// debugger is loaded and switch to the debugger context. If the debugger for
857// some reason could not be entered FailedToEnter will return true.
858class EnterDebugger BASE_EMBEDDED {
859 public:
860 EnterDebugger()
Steve Block44f0eee2011-05-26 01:26:41 +0100861 : isolate_(Isolate::Current()),
862 prev_(isolate_->debug()->debugger_entry()),
863 has_js_frames_(!it_.done()),
864 save_(isolate_) {
865 Debug* debug = isolate_->debug();
866 ASSERT(prev_ != NULL || !debug->is_interrupt_pending(PREEMPT));
867 ASSERT(prev_ != NULL || !debug->is_interrupt_pending(DEBUGBREAK));
Steve Blocka7e24c12009-10-30 11:49:00 +0000868
869 // Link recursive debugger entry.
Steve Block44f0eee2011-05-26 01:26:41 +0100870 debug->set_debugger_entry(this);
Steve Blocka7e24c12009-10-30 11:49:00 +0000871
872 // Store the previous break id and frame id.
Steve Block44f0eee2011-05-26 01:26:41 +0100873 break_id_ = debug->break_id();
874 break_frame_id_ = debug->break_frame_id();
Steve Blocka7e24c12009-10-30 11:49:00 +0000875
876 // Create the new break info. If there is no JavaScript frames there is no
877 // break frame id.
878 if (has_js_frames_) {
Steve Block44f0eee2011-05-26 01:26:41 +0100879 debug->NewBreak(it_.frame()->id());
Steve Blocka7e24c12009-10-30 11:49:00 +0000880 } else {
Steve Block44f0eee2011-05-26 01:26:41 +0100881 debug->NewBreak(StackFrame::NO_ID);
Steve Blocka7e24c12009-10-30 11:49:00 +0000882 }
883
884 // Make sure that debugger is loaded and enter the debugger context.
Steve Block44f0eee2011-05-26 01:26:41 +0100885 load_failed_ = !debug->Load();
Steve Blocka7e24c12009-10-30 11:49:00 +0000886 if (!load_failed_) {
887 // NOTE the member variable save which saves the previous context before
888 // this change.
Steve Block44f0eee2011-05-26 01:26:41 +0100889 isolate_->set_context(*debug->debug_context());
Steve Blocka7e24c12009-10-30 11:49:00 +0000890 }
891 }
892
893 ~EnterDebugger() {
Steve Block44f0eee2011-05-26 01:26:41 +0100894 ASSERT(Isolate::Current() == isolate_);
895 Debug* debug = isolate_->debug();
896
Steve Blocka7e24c12009-10-30 11:49:00 +0000897 // Restore to the previous break state.
Steve Block44f0eee2011-05-26 01:26:41 +0100898 debug->SetBreak(break_frame_id_, break_id_);
Steve Blocka7e24c12009-10-30 11:49:00 +0000899
900 // Check for leaving the debugger.
901 if (prev_ == NULL) {
902 // Clear mirror cache when leaving the debugger. Skip this if there is a
903 // pending exception as clearing the mirror cache calls back into
904 // JavaScript. This can happen if the v8::Debug::Call is used in which
905 // case the exception should end up in the calling code.
Steve Block44f0eee2011-05-26 01:26:41 +0100906 if (!isolate_->has_pending_exception()) {
Steve Blocka7e24c12009-10-30 11:49:00 +0000907 // Try to avoid any pending debug break breaking in the clear mirror
908 // cache JavaScript code.
Steve Block44f0eee2011-05-26 01:26:41 +0100909 if (isolate_->stack_guard()->IsDebugBreak()) {
910 debug->set_interrupts_pending(DEBUGBREAK);
911 isolate_->stack_guard()->Continue(DEBUGBREAK);
Steve Blocka7e24c12009-10-30 11:49:00 +0000912 }
Steve Block44f0eee2011-05-26 01:26:41 +0100913 debug->ClearMirrorCache();
Steve Blocka7e24c12009-10-30 11:49:00 +0000914 }
915
916 // Request preemption and debug break when leaving the last debugger entry
917 // if any of these where recorded while debugging.
Steve Block44f0eee2011-05-26 01:26:41 +0100918 if (debug->is_interrupt_pending(PREEMPT)) {
Steve Blocka7e24c12009-10-30 11:49:00 +0000919 // This re-scheduling of preemption is to avoid starvation in some
920 // debugging scenarios.
Steve Block44f0eee2011-05-26 01:26:41 +0100921 debug->clear_interrupt_pending(PREEMPT);
922 isolate_->stack_guard()->Preempt();
Steve Blocka7e24c12009-10-30 11:49:00 +0000923 }
Steve Block44f0eee2011-05-26 01:26:41 +0100924 if (debug->is_interrupt_pending(DEBUGBREAK)) {
925 debug->clear_interrupt_pending(DEBUGBREAK);
926 isolate_->stack_guard()->DebugBreak();
Steve Blocka7e24c12009-10-30 11:49:00 +0000927 }
928
929 // If there are commands in the queue when leaving the debugger request
930 // that these commands are processed.
Steve Block44f0eee2011-05-26 01:26:41 +0100931 if (isolate_->debugger()->HasCommands()) {
932 isolate_->stack_guard()->DebugCommand();
Steve Blocka7e24c12009-10-30 11:49:00 +0000933 }
934
935 // If leaving the debugger with the debugger no longer active unload it.
Steve Block44f0eee2011-05-26 01:26:41 +0100936 if (!isolate_->debugger()->IsDebuggerActive()) {
937 isolate_->debugger()->UnloadDebugger();
Steve Blocka7e24c12009-10-30 11:49:00 +0000938 }
939 }
940
941 // Leaving this debugger entry.
Steve Block44f0eee2011-05-26 01:26:41 +0100942 debug->set_debugger_entry(prev_);
Steve Blocka7e24c12009-10-30 11:49:00 +0000943 }
944
945 // Check whether the debugger could be entered.
946 inline bool FailedToEnter() { return load_failed_; }
947
948 // Check whether there are any JavaScript frames on the stack.
949 inline bool HasJavaScriptFrames() { return has_js_frames_; }
950
951 // Get the active context from before entering the debugger.
952 inline Handle<Context> GetContext() { return save_.context(); }
953
954 private:
Steve Block44f0eee2011-05-26 01:26:41 +0100955 Isolate* isolate_;
Steve Blocka7e24c12009-10-30 11:49:00 +0000956 EnterDebugger* prev_; // Previous debugger entry if entered recursively.
957 JavaScriptFrameIterator it_;
958 const bool has_js_frames_; // Were there any JavaScript frames?
959 StackFrame::Id break_frame_id_; // Previous break frame id.
960 int break_id_; // Previous break id.
961 bool load_failed_; // Did the debugger fail to load?
962 SaveContext save_; // Saves previous context.
963};
964
965
966// Stack allocated class for disabling break.
967class DisableBreak BASE_EMBEDDED {
968 public:
Steve Block44f0eee2011-05-26 01:26:41 +0100969 explicit DisableBreak(bool disable_break) : isolate_(Isolate::Current()) {
970 prev_disable_break_ = isolate_->debug()->disable_break();
971 isolate_->debug()->set_disable_break(disable_break);
Steve Blocka7e24c12009-10-30 11:49:00 +0000972 }
973 ~DisableBreak() {
Steve Block44f0eee2011-05-26 01:26:41 +0100974 ASSERT(Isolate::Current() == isolate_);
975 isolate_->debug()->set_disable_break(prev_disable_break_);
Steve Blocka7e24c12009-10-30 11:49:00 +0000976 }
977
978 private:
Steve Block44f0eee2011-05-26 01:26:41 +0100979 Isolate* isolate_;
Steve Blocka7e24c12009-10-30 11:49:00 +0000980 // The previous state of the disable break used to restore the value when this
981 // object is destructed.
982 bool prev_disable_break_;
983};
984
985
986// Debug_Address encapsulates the Address pointers used in generating debug
987// code.
988class Debug_Address {
989 public:
Kristian Monsen80d68ea2010-09-08 11:05:35 +0100990 explicit Debug_Address(Debug::AddressId id) : id_(id) { }
Steve Blocka7e24c12009-10-30 11:49:00 +0000991
992 static Debug_Address AfterBreakTarget() {
993 return Debug_Address(Debug::k_after_break_target_address);
994 }
995
996 static Debug_Address DebugBreakReturn() {
997 return Debug_Address(Debug::k_debug_break_return_address);
998 }
999
Ben Murdochbb769b22010-08-11 14:56:33 +01001000 static Debug_Address RestarterFrameFunctionPointer() {
1001 return Debug_Address(Debug::k_restarter_frame_function_pointer);
1002 }
1003
Steve Block44f0eee2011-05-26 01:26:41 +01001004 Address address(Isolate* isolate) const {
1005 Debug* debug = isolate->debug();
Steve Blocka7e24c12009-10-30 11:49:00 +00001006 switch (id_) {
1007 case Debug::k_after_break_target_address:
Steve Block44f0eee2011-05-26 01:26:41 +01001008 return reinterpret_cast<Address>(debug->after_break_target_address());
Steve Blocka7e24c12009-10-30 11:49:00 +00001009 case Debug::k_debug_break_return_address:
Steve Block44f0eee2011-05-26 01:26:41 +01001010 return reinterpret_cast<Address>(debug->debug_break_return_address());
Ben Murdoch7f4d5bd2010-06-15 11:15:29 +01001011 case Debug::k_debug_break_slot_address:
Steve Block44f0eee2011-05-26 01:26:41 +01001012 return reinterpret_cast<Address>(debug->debug_break_slot_address());
Ben Murdochbb769b22010-08-11 14:56:33 +01001013 case Debug::k_restarter_frame_function_pointer:
1014 return reinterpret_cast<Address>(
Steve Block44f0eee2011-05-26 01:26:41 +01001015 debug->restarter_frame_function_pointer_address());
Steve Blocka7e24c12009-10-30 11:49:00 +00001016 default:
1017 UNREACHABLE();
1018 return NULL;
1019 }
1020 }
1021 private:
1022 Debug::AddressId id_;
Steve Blocka7e24c12009-10-30 11:49:00 +00001023};
1024
Leon Clarkee46be812010-01-19 14:06:41 +00001025// The optional thread that Debug Agent may use to temporary call V8 to process
1026// pending debug requests if debuggee is not running V8 at the moment.
1027// Techincally it does not call V8 itself, rather it asks embedding program
1028// to do this via v8::Debug::HostDispatchHandler
1029class MessageDispatchHelperThread: public Thread {
1030 public:
Steve Block44f0eee2011-05-26 01:26:41 +01001031 explicit MessageDispatchHelperThread(Isolate* isolate);
Leon Clarkee46be812010-01-19 14:06:41 +00001032 ~MessageDispatchHelperThread();
1033
1034 void Schedule();
1035
1036 private:
1037 void Run();
1038
1039 Semaphore* const sem_;
1040 Mutex* const mutex_;
1041 bool already_signalled_;
1042
1043 DISALLOW_COPY_AND_ASSIGN(MessageDispatchHelperThread);
1044};
1045
Steve Blocka7e24c12009-10-30 11:49:00 +00001046
1047} } // namespace v8::internal
1048
1049#endif // ENABLE_DEBUGGER_SUPPORT
1050
1051#endif // V8_DEBUG_H_