blob: e2eecb8bfbc1bc6d9be69ae3a5fc3150136ccbf5 [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
31#include "assembler.h"
32#include "code-stubs.h"
33#include "debug-agent.h"
34#include "execution.h"
35#include "factory.h"
36#include "hashmap.h"
37#include "platform.h"
38#include "string-stream.h"
39#include "v8threads.h"
40
41#ifdef ENABLE_DEBUGGER_SUPPORT
42#include "../include/v8-debug.h"
43
44namespace v8 {
45namespace internal {
46
47
48// Forward declarations.
49class EnterDebugger;
50
51
52// Step actions. NOTE: These values are in macros.py as well.
53enum StepAction {
54 StepNone = -1, // Stepping not prepared.
55 StepOut = 0, // Step out of the current function.
56 StepNext = 1, // Step to the next statement in the current function.
57 StepIn = 2, // Step into new functions invoked or the next statement
58 // in the current function.
59 StepMin = 3, // Perform a minimum step in the current function.
60 StepInMin = 4 // Step into new functions invoked or perform a minimum step
61 // in the current function.
62};
63
64
65// Type of exception break. NOTE: These values are in macros.py as well.
66enum ExceptionBreakType {
67 BreakException = 0,
68 BreakUncaughtException = 1
69};
70
71
72// Type of exception break. NOTE: These values are in macros.py as well.
73enum BreakLocatorType {
74 ALL_BREAK_LOCATIONS = 0,
75 SOURCE_BREAK_LOCATIONS = 1
76};
77
78
79// Class for iterating through the break points in a function and changing
80// them.
81class BreakLocationIterator {
82 public:
83 explicit BreakLocationIterator(Handle<DebugInfo> debug_info,
84 BreakLocatorType type);
85 virtual ~BreakLocationIterator();
86
87 void Next();
88 void Next(int count);
89 void FindBreakLocationFromAddress(Address pc);
90 void FindBreakLocationFromPosition(int position);
91 void Reset();
92 bool Done() const;
93 void SetBreakPoint(Handle<Object> break_point_object);
94 void ClearBreakPoint(Handle<Object> break_point_object);
95 void SetOneShot();
96 void ClearOneShot();
97 void PrepareStepIn();
98 bool IsExit() const;
99 bool HasBreakPoint();
100 bool IsDebugBreak();
101 Object* BreakPointObjects();
102 void ClearAllDebugBreak();
103
104
Steve Blockd0582a62009-12-15 09:54:21 +0000105 inline int code_position() {
106 return static_cast<int>(pc() - debug_info_->code()->entry());
107 }
Steve Blocka7e24c12009-10-30 11:49:00 +0000108 inline int break_point() { return break_point_; }
109 inline int position() { return position_; }
110 inline int statement_position() { return statement_position_; }
111 inline Address pc() { return reloc_iterator_->rinfo()->pc(); }
112 inline Code* code() { return debug_info_->code(); }
113 inline RelocInfo* rinfo() { return reloc_iterator_->rinfo(); }
114 inline RelocInfo::Mode rmode() const {
115 return reloc_iterator_->rinfo()->rmode();
116 }
117 inline RelocInfo* original_rinfo() {
118 return reloc_iterator_original_->rinfo();
119 }
120 inline RelocInfo::Mode original_rmode() const {
121 return reloc_iterator_original_->rinfo()->rmode();
122 }
123
124 bool IsDebuggerStatement();
125
126 protected:
127 bool RinfoDone() const;
128 void RinfoNext();
129
130 BreakLocatorType type_;
131 int break_point_;
132 int position_;
133 int statement_position_;
134 Handle<DebugInfo> debug_info_;
Steve Blocka7e24c12009-10-30 11:49:00 +0000135 RelocIterator* reloc_iterator_;
136 RelocIterator* reloc_iterator_original_;
137
138 private:
139 void SetDebugBreak();
140 void ClearDebugBreak();
141
142 void SetDebugBreakAtIC();
143 void ClearDebugBreakAtIC();
144
145 bool IsDebugBreakAtReturn();
146 void SetDebugBreakAtReturn();
147 void ClearDebugBreakAtReturn();
148
149 DISALLOW_COPY_AND_ASSIGN(BreakLocationIterator);
150};
151
152
153// Cache of all script objects in the heap. When a script is added a weak handle
154// to it is created and that weak handle is stored in the cache. The weak handle
155// callback takes care of removing the script from the cache. The key used in
156// the cache is the script id.
157class ScriptCache : private HashMap {
158 public:
159 ScriptCache() : HashMap(ScriptMatch), collected_scripts_(10) {}
160 virtual ~ScriptCache() { Clear(); }
161
162 // Add script to the cache.
163 void Add(Handle<Script> script);
164
165 // Return the scripts in the cache.
166 Handle<FixedArray> GetScripts();
167
168 // Generate debugger events for collected scripts.
169 void ProcessCollectedScripts();
170
171 private:
172 // Calculate the hash value from the key (script id).
173 static uint32_t Hash(int key) { return ComputeIntegerHash(key); }
174
175 // Scripts match if their keys (script id) match.
176 static bool ScriptMatch(void* key1, void* key2) { return key1 == key2; }
177
178 // Clear the cache releasing all the weak handles.
179 void Clear();
180
181 // Weak handle callback for scripts in the cache.
182 static void HandleWeakScript(v8::Persistent<v8::Value> obj, void* data);
183
184 // List used during GC to temporarily store id's of collected scripts.
185 List<int> collected_scripts_;
186};
187
188
189// Linked list holding debug info objects. The debug info objects are kept as
190// weak handles to avoid a debug info object to keep a function alive.
191class DebugInfoListNode {
192 public:
193 explicit DebugInfoListNode(DebugInfo* debug_info);
194 virtual ~DebugInfoListNode();
195
196 DebugInfoListNode* next() { return next_; }
197 void set_next(DebugInfoListNode* next) { next_ = next; }
198 Handle<DebugInfo> debug_info() { return debug_info_; }
199
200 private:
201 // Global (weak) handle to the debug info object.
202 Handle<DebugInfo> debug_info_;
203
204 // Next pointer for linked list.
205 DebugInfoListNode* next_;
206};
207
208
209// This class contains the debugger support. The main purpose is to handle
210// setting break points in the code.
211//
212// This class controls the debug info for all functions which currently have
213// active breakpoints in them. This debug info is held in the heap root object
214// debug_info which is a FixedArray. Each entry in this list is of class
215// DebugInfo.
216class Debug {
217 public:
218 static void Setup(bool create_heap_objects);
219 static bool Load();
220 static void Unload();
221 static bool IsLoaded() { return !debug_context_.is_null(); }
222 static bool InDebugger() { return thread_local_.debugger_entry_ != NULL; }
223 static void PreemptionWhileInDebugger();
224 static void Iterate(ObjectVisitor* v);
225
226 static Object* Break(Arguments args);
227 static void SetBreakPoint(Handle<SharedFunctionInfo> shared,
228 int source_position,
229 Handle<Object> break_point_object);
230 static void ClearBreakPoint(Handle<Object> break_point_object);
231 static void ClearAllBreakPoints();
232 static void FloodWithOneShot(Handle<SharedFunctionInfo> shared);
233 static void FloodHandlerWithOneShot();
234 static void ChangeBreakOnException(ExceptionBreakType type, bool enable);
235 static void PrepareStep(StepAction step_action, int step_count);
236 static void ClearStepping();
237 static bool StepNextContinue(BreakLocationIterator* break_location_iterator,
238 JavaScriptFrame* frame);
239 static Handle<DebugInfo> GetDebugInfo(Handle<SharedFunctionInfo> shared);
240 static bool HasDebugInfo(Handle<SharedFunctionInfo> shared);
241
242 // Returns whether the operation succeeded.
243 static bool EnsureDebugInfo(Handle<SharedFunctionInfo> shared);
244
245 // Returns true if the current stub call is patched to call the debugger.
246 static bool IsDebugBreak(Address addr);
247 // Returns true if the current return statement has been patched to be
248 // a debugger breakpoint.
249 static bool IsDebugBreakAtReturn(RelocInfo* rinfo);
250
251 // Check whether a code stub with the specified major key is a possible break
252 // point location.
253 static bool IsSourceBreakStub(Code* code);
254 static bool IsBreakStub(Code* code);
255
256 // Find the builtin to use for invoking the debug break
257 static Handle<Code> FindDebugBreak(Handle<Code> code, RelocInfo::Mode mode);
258
259 static Handle<Object> GetSourceBreakLocations(
260 Handle<SharedFunctionInfo> shared);
261
262 // Getter for the debug_context.
263 inline static Handle<Context> debug_context() { return debug_context_; }
264
265 // Check whether a global object is the debug global object.
266 static bool IsDebugGlobal(GlobalObject* global);
267
268 // Fast check to see if any break points are active.
269 inline static bool has_break_points() { return has_break_points_; }
270
271 static void NewBreak(StackFrame::Id break_frame_id);
272 static void SetBreak(StackFrame::Id break_frame_id, int break_id);
273 static StackFrame::Id break_frame_id() {
274 return thread_local_.break_frame_id_;
275 }
276 static int break_id() { return thread_local_.break_id_; }
277
278 static bool StepInActive() { return thread_local_.step_into_fp_ != 0; }
279 static void HandleStepIn(Handle<JSFunction> function,
280 Handle<Object> holder,
281 Address fp,
282 bool is_constructor);
283 static Address step_in_fp() { return thread_local_.step_into_fp_; }
284 static Address* step_in_fp_addr() { return &thread_local_.step_into_fp_; }
285
286 static bool StepOutActive() { return thread_local_.step_out_fp_ != 0; }
287 static Address step_out_fp() { return thread_local_.step_out_fp_; }
288
289 static EnterDebugger* debugger_entry() {
290 return thread_local_.debugger_entry_;
291 }
292 static void set_debugger_entry(EnterDebugger* entry) {
293 thread_local_.debugger_entry_ = entry;
294 }
295
296 // Check whether any of the specified interrupts are pending.
297 static bool is_interrupt_pending(InterruptFlag what) {
298 return (thread_local_.pending_interrupts_ & what) != 0;
299 }
300
301 // Set specified interrupts as pending.
302 static void set_interrupts_pending(InterruptFlag what) {
303 thread_local_.pending_interrupts_ |= what;
304 }
305
306 // Clear specified interrupts from pending.
307 static void clear_interrupt_pending(InterruptFlag what) {
308 thread_local_.pending_interrupts_ &= ~static_cast<int>(what);
309 }
310
311 // Getter and setter for the disable break state.
312 static bool disable_break() { return disable_break_; }
313 static void set_disable_break(bool disable_break) {
314 disable_break_ = disable_break;
315 }
316
317 // Getters for the current exception break state.
318 static bool break_on_exception() { return break_on_exception_; }
319 static bool break_on_uncaught_exception() {
320 return break_on_uncaught_exception_;
321 }
322
323 enum AddressId {
324 k_after_break_target_address,
325 k_debug_break_return_address,
326 k_register_address
327 };
328
329 // Support for setting the address to jump to when returning from break point.
330 static Address* after_break_target_address() {
331 return reinterpret_cast<Address*>(&thread_local_.after_break_target_);
332 }
333
334 // Support for saving/restoring registers when handling debug break calls.
335 static Object** register_address(int r) {
336 return &registers_[r];
337 }
338
339 // Access to the debug break on return code.
340 static Code* debug_break_return() { return debug_break_return_; }
341 static Code** debug_break_return_address() {
342 return &debug_break_return_;
343 }
344
345 static const int kEstimatedNofDebugInfoEntries = 16;
346 static const int kEstimatedNofBreakPointsInFunction = 16;
347
348 static void HandleWeakDebugInfo(v8::Persistent<v8::Value> obj, void* data);
349
350 friend class Debugger;
351 friend Handle<FixedArray> GetDebuggedFunctions(); // In test-debug.cc
352 friend void CheckDebuggerUnloaded(bool check_functions); // In test-debug.cc
353
354 // Threading support.
355 static char* ArchiveDebug(char* to);
356 static char* RestoreDebug(char* from);
357 static int ArchiveSpacePerThread();
358 static void FreeThreadResources() { }
359
360 // Mirror cache handling.
361 static void ClearMirrorCache();
362
363 // Script cache handling.
364 static void CreateScriptCache();
365 static void DestroyScriptCache();
366 static void AddScriptToScriptCache(Handle<Script> script);
367 static Handle<FixedArray> GetLoadedScripts();
368
369 // Garbage collection notifications.
370 static void AfterGarbageCollection();
371
Steve Blocka7e24c12009-10-30 11:49:00 +0000372 // Code generator routines.
373 static void GenerateLoadICDebugBreak(MacroAssembler* masm);
374 static void GenerateStoreICDebugBreak(MacroAssembler* masm);
375 static void GenerateKeyedLoadICDebugBreak(MacroAssembler* masm);
376 static void GenerateKeyedStoreICDebugBreak(MacroAssembler* masm);
377 static void GenerateConstructCallDebugBreak(MacroAssembler* masm);
378 static void GenerateReturnDebugBreak(MacroAssembler* masm);
379 static void GenerateStubNoRegistersDebugBreak(MacroAssembler* masm);
Steve Block6ded16b2010-05-10 14:33:55 +0100380 static void GeneratePlainReturnLiveEdit(MacroAssembler* masm);
381 static void GenerateFrameDropperLiveEdit(MacroAssembler* masm);
Steve Blocka7e24c12009-10-30 11:49:00 +0000382
383 // Called from stub-cache.cc.
384 static void GenerateCallICDebugBreak(MacroAssembler* masm);
385
Steve Block6ded16b2010-05-10 14:33:55 +0100386 static void FramesHaveBeenDropped(StackFrame::Id new_break_frame_id);
387
388 static void SetUpFrameDropperFrame(StackFrame* bottom_js_frame,
389 Handle<Code> code);
390 static const int kFrameDropperFrameSize;
391
Steve Blocka7e24c12009-10-30 11:49:00 +0000392 private:
393 static bool CompileDebuggerScript(int index);
394 static void ClearOneShot();
395 static void ActivateStepIn(StackFrame* frame);
396 static void ClearStepIn();
397 static void ActivateStepOut(StackFrame* frame);
398 static void ClearStepOut();
399 static void ClearStepNext();
400 // Returns whether the compile succeeded.
Steve Blocka7e24c12009-10-30 11:49:00 +0000401 static void RemoveDebugInfo(Handle<DebugInfo> debug_info);
402 static void SetAfterBreakTarget(JavaScriptFrame* frame);
403 static Handle<Object> CheckBreakPoints(Handle<Object> break_point);
404 static bool CheckBreakPoint(Handle<Object> break_point_object);
405
406 // Global handle to debug context where all the debugger JavaScript code is
407 // loaded.
408 static Handle<Context> debug_context_;
409
410 // Boolean state indicating whether any break points are set.
411 static bool has_break_points_;
412
413 // Cache of all scripts in the heap.
414 static ScriptCache* script_cache_;
415
416 // List of active debug info objects.
417 static DebugInfoListNode* debug_info_list_;
418
419 static bool disable_break_;
420 static bool break_on_exception_;
421 static bool break_on_uncaught_exception_;
422
423 // Per-thread data.
424 class ThreadLocal {
425 public:
426 // Counter for generating next break id.
427 int break_count_;
428
429 // Current break id.
430 int break_id_;
431
432 // Frame id for the frame of the current break.
433 StackFrame::Id break_frame_id_;
434
435 // Step action for last step performed.
436 StepAction last_step_action_;
437
438 // Source statement position from last step next action.
439 int last_statement_position_;
440
441 // Number of steps left to perform before debug event.
442 int step_count_;
443
444 // Frame pointer from last step next action.
445 Address last_fp_;
446
447 // Frame pointer for frame from which step in was performed.
448 Address step_into_fp_;
449
450 // Frame pointer for the frame where debugger should be called when current
451 // step out action is completed.
452 Address step_out_fp_;
453
454 // Storage location for jump when exiting debug break calls.
455 Address after_break_target_;
456
Steve Block6ded16b2010-05-10 14:33:55 +0100457 // Indicates that LiveEdit has patched the stack.
458 bool frames_are_dropped_;
459
Steve Blocka7e24c12009-10-30 11:49:00 +0000460 // Top debugger entry.
461 EnterDebugger* debugger_entry_;
462
463 // Pending interrupts scheduled while debugging.
464 int pending_interrupts_;
465 };
466
467 // Storage location for registers when handling debug break calls
468 static JSCallerSavedBuffer registers_;
469 static ThreadLocal thread_local_;
470 static void ThreadInit();
471
472 // Code to call for handling debug break on return.
473 static Code* debug_break_return_;
474
475 DISALLOW_COPY_AND_ASSIGN(Debug);
476};
477
478
479// Message delivered to the message handler callback. This is either a debugger
480// event or the response to a command.
481class MessageImpl: public v8::Debug::Message {
482 public:
483 // Create a message object for a debug event.
484 static MessageImpl NewEvent(DebugEvent event,
485 bool running,
486 Handle<JSObject> exec_state,
487 Handle<JSObject> event_data);
488
489 // Create a message object for the response to a debug command.
490 static MessageImpl NewResponse(DebugEvent event,
491 bool running,
492 Handle<JSObject> exec_state,
493 Handle<JSObject> event_data,
494 Handle<String> response_json,
495 v8::Debug::ClientData* client_data);
496
497 // Implementation of interface v8::Debug::Message.
498 virtual bool IsEvent() const;
499 virtual bool IsResponse() const;
500 virtual DebugEvent GetEvent() const;
501 virtual bool WillStartRunning() const;
502 virtual v8::Handle<v8::Object> GetExecutionState() const;
503 virtual v8::Handle<v8::Object> GetEventData() const;
504 virtual v8::Handle<v8::String> GetJSON() const;
505 virtual v8::Handle<v8::Context> GetEventContext() const;
506 virtual v8::Debug::ClientData* GetClientData() const;
507
508 private:
509 MessageImpl(bool is_event,
510 DebugEvent event,
511 bool running,
512 Handle<JSObject> exec_state,
513 Handle<JSObject> event_data,
514 Handle<String> response_json,
515 v8::Debug::ClientData* client_data);
516
517 bool is_event_; // Does this message represent a debug event?
518 DebugEvent event_; // Debug event causing the break.
519 bool running_; // Will the VM start running after this event?
520 Handle<JSObject> exec_state_; // Current execution state.
521 Handle<JSObject> event_data_; // Data associated with the event.
522 Handle<String> response_json_; // Response JSON if message holds a response.
523 v8::Debug::ClientData* client_data_; // Client data passed with the request.
524};
525
526
Leon Clarkef7060e22010-06-03 12:02:55 +0100527// Details of the debug event delivered to the debug event listener.
528class EventDetailsImpl : public v8::Debug::EventDetails {
529 public:
530 EventDetailsImpl(DebugEvent event,
531 Handle<JSObject> exec_state,
532 Handle<JSObject> event_data,
533 Handle<Object> callback_data);
534 virtual DebugEvent GetEvent() const;
535 virtual v8::Handle<v8::Object> GetExecutionState() const;
536 virtual v8::Handle<v8::Object> GetEventData() const;
537 virtual v8::Handle<v8::Context> GetEventContext() const;
538 virtual v8::Handle<v8::Value> GetCallbackData() const;
539 private:
540 DebugEvent event_; // Debug event causing the break.
541 Handle<JSObject> exec_state_; // Current execution state.
542 Handle<JSObject> event_data_; // Data associated with the event.
543 Handle<Object> callback_data_; // User data passed with the callback when
544 // it was registered.
545};
546
547
Steve Blocka7e24c12009-10-30 11:49:00 +0000548// Message send by user to v8 debugger or debugger output message.
549// In addition to command text it may contain a pointer to some user data
550// which are expected to be passed along with the command reponse to message
551// handler.
552class CommandMessage {
553 public:
554 static CommandMessage New(const Vector<uint16_t>& command,
555 v8::Debug::ClientData* data);
556 CommandMessage();
557 ~CommandMessage();
558
559 // Deletes user data and disposes of the text.
560 void Dispose();
561 Vector<uint16_t> text() const { return text_; }
562 v8::Debug::ClientData* client_data() const { return client_data_; }
563 private:
564 CommandMessage(const Vector<uint16_t>& text,
565 v8::Debug::ClientData* data);
566
567 Vector<uint16_t> text_;
568 v8::Debug::ClientData* client_data_;
569};
570
571// A Queue of CommandMessage objects. A thread-safe version is
572// LockingCommandMessageQueue, based on this class.
573class CommandMessageQueue BASE_EMBEDDED {
574 public:
575 explicit CommandMessageQueue(int size);
576 ~CommandMessageQueue();
577 bool IsEmpty() const { return start_ == end_; }
578 CommandMessage Get();
579 void Put(const CommandMessage& message);
580 void Clear() { start_ = end_ = 0; } // Queue is empty after Clear().
581 private:
582 // Doubles the size of the message queue, and copies the messages.
583 void Expand();
584
585 CommandMessage* messages_;
586 int start_;
587 int end_;
588 int size_; // The size of the queue buffer. Queue can hold size-1 messages.
589};
590
591
Leon Clarkee46be812010-01-19 14:06:41 +0000592class MessageDispatchHelperThread;
593
594
Steve Blocka7e24c12009-10-30 11:49:00 +0000595// LockingCommandMessageQueue is a thread-safe circular buffer of CommandMessage
596// messages. The message data is not managed by LockingCommandMessageQueue.
597// Pointers to the data are passed in and out. Implemented by adding a
598// Mutex to CommandMessageQueue. Includes logging of all puts and gets.
599class LockingCommandMessageQueue BASE_EMBEDDED {
600 public:
601 explicit LockingCommandMessageQueue(int size);
602 ~LockingCommandMessageQueue();
603 bool IsEmpty() const;
604 CommandMessage Get();
605 void Put(const CommandMessage& message);
606 void Clear();
607 private:
608 CommandMessageQueue queue_;
609 Mutex* lock_;
610 DISALLOW_COPY_AND_ASSIGN(LockingCommandMessageQueue);
611};
612
613
614class Debugger {
615 public:
616 static void DebugRequest(const uint16_t* json_request, int length);
617
618 static Handle<Object> MakeJSObject(Vector<const char> constructor_name,
619 int argc, Object*** argv,
620 bool* caught_exception);
621 static Handle<Object> MakeExecutionState(bool* caught_exception);
622 static Handle<Object> MakeBreakEvent(Handle<Object> exec_state,
623 Handle<Object> break_points_hit,
624 bool* caught_exception);
625 static Handle<Object> MakeExceptionEvent(Handle<Object> exec_state,
626 Handle<Object> exception,
627 bool uncaught,
628 bool* caught_exception);
629 static Handle<Object> MakeNewFunctionEvent(Handle<Object> func,
630 bool* caught_exception);
631 static Handle<Object> MakeCompileEvent(Handle<Script> script,
632 bool before,
633 bool* caught_exception);
634 static Handle<Object> MakeScriptCollectedEvent(int id,
635 bool* caught_exception);
636 static void OnDebugBreak(Handle<Object> break_points_hit, bool auto_continue);
637 static void OnException(Handle<Object> exception, bool uncaught);
638 static void OnBeforeCompile(Handle<Script> script);
Steve Block6ded16b2010-05-10 14:33:55 +0100639
640 enum AfterCompileFlags {
641 NO_AFTER_COMPILE_FLAGS,
642 SEND_WHEN_DEBUGGING
643 };
Steve Blocka7e24c12009-10-30 11:49:00 +0000644 static void OnAfterCompile(Handle<Script> script,
Steve Block6ded16b2010-05-10 14:33:55 +0100645 AfterCompileFlags after_compile_flags);
Steve Blocka7e24c12009-10-30 11:49:00 +0000646 static void OnNewFunction(Handle<JSFunction> fun);
647 static void OnScriptCollected(int id);
648 static void ProcessDebugEvent(v8::DebugEvent event,
649 Handle<JSObject> event_data,
650 bool auto_continue);
651 static void NotifyMessageHandler(v8::DebugEvent event,
652 Handle<JSObject> exec_state,
653 Handle<JSObject> event_data,
654 bool auto_continue);
655 static void SetEventListener(Handle<Object> callback, Handle<Object> data);
656 static void SetMessageHandler(v8::Debug::MessageHandler2 handler);
657 static void SetHostDispatchHandler(v8::Debug::HostDispatchHandler handler,
658 int period);
Steve Blockd0582a62009-12-15 09:54:21 +0000659 static void SetDebugMessageDispatchHandler(
Leon Clarkee46be812010-01-19 14:06:41 +0000660 v8::Debug::DebugMessageDispatchHandler handler,
661 bool provide_locker);
Steve Blocka7e24c12009-10-30 11:49:00 +0000662
663 // Invoke the message handler function.
664 static void InvokeMessageHandler(MessageImpl message);
665
666 // Add a debugger command to the command queue.
667 static void ProcessCommand(Vector<const uint16_t> command,
668 v8::Debug::ClientData* client_data = NULL);
669
670 // Check whether there are commands in the command queue.
671 static bool HasCommands();
672
673 static Handle<Object> Call(Handle<JSFunction> fun,
674 Handle<Object> data,
675 bool* pending_exception);
676
677 // Start the debugger agent listening on the provided port.
Leon Clarkee46be812010-01-19 14:06:41 +0000678 static bool StartAgent(const char* name, int port,
679 bool wait_for_connection = false);
Steve Blocka7e24c12009-10-30 11:49:00 +0000680
681 // Stop the debugger agent.
682 static void StopAgent();
683
684 // Blocks until the agent has started listening for connections
685 static void WaitForAgent();
686
Leon Clarkee46be812010-01-19 14:06:41 +0000687 static void CallMessageDispatchHandler();
688
Steve Block6ded16b2010-05-10 14:33:55 +0100689 static Handle<Context> GetDebugContext();
690
Steve Blocka7e24c12009-10-30 11:49:00 +0000691 // Unload the debugger if possible. Only called when no debugger is currently
692 // active.
693 static void UnloadDebugger();
Steve Block6ded16b2010-05-10 14:33:55 +0100694 friend void ForceUnloadDebugger(); // In test-debug.cc
Steve Blocka7e24c12009-10-30 11:49:00 +0000695
696 inline static bool EventActive(v8::DebugEvent event) {
697 ScopedLock with(debugger_access_);
698
699 // Check whether the message handler was been cleared.
700 if (debugger_unload_pending_) {
Leon Clarkee46be812010-01-19 14:06:41 +0000701 if (Debug::debugger_entry() == NULL) {
702 UnloadDebugger();
703 }
Steve Blocka7e24c12009-10-30 11:49:00 +0000704 }
705
706 // Currently argument event is not used.
707 return !compiling_natives_ && Debugger::IsDebuggerActive();
708 }
709
710 static void set_compiling_natives(bool compiling_natives) {
711 Debugger::compiling_natives_ = compiling_natives;
712 }
713 static bool compiling_natives() { return Debugger::compiling_natives_; }
714 static void set_loading_debugger(bool v) { is_loading_debugger_ = v; }
715 static bool is_loading_debugger() { return Debugger::is_loading_debugger_; }
716
Steve Blocka7e24c12009-10-30 11:49:00 +0000717 static bool IsDebuggerActive();
Leon Clarkef7060e22010-06-03 12:02:55 +0100718
719 private:
Steve Blocka7e24c12009-10-30 11:49:00 +0000720 static void ListenersChanged();
721
722 static Mutex* debugger_access_; // Mutex guarding debugger variables.
723 static Handle<Object> event_listener_; // Global handle to listener.
724 static Handle<Object> event_listener_data_;
725 static bool compiling_natives_; // Are we compiling natives?
726 static bool is_loading_debugger_; // Are we loading the debugger?
727 static bool never_unload_debugger_; // Can we unload the debugger?
728 static v8::Debug::MessageHandler2 message_handler_;
729 static bool debugger_unload_pending_; // Was message handler cleared?
730 static v8::Debug::HostDispatchHandler host_dispatch_handler_;
Leon Clarkee46be812010-01-19 14:06:41 +0000731 static Mutex* dispatch_handler_access_; // Mutex guarding dispatch handler.
Steve Blockd0582a62009-12-15 09:54:21 +0000732 static v8::Debug::DebugMessageDispatchHandler debug_message_dispatch_handler_;
Leon Clarkee46be812010-01-19 14:06:41 +0000733 static MessageDispatchHelperThread* message_dispatch_helper_thread_;
Steve Blocka7e24c12009-10-30 11:49:00 +0000734 static int host_dispatch_micros_;
735
736 static DebuggerAgent* agent_;
737
738 static const int kQueueInitialSize = 4;
739 static LockingCommandMessageQueue command_queue_;
740 static Semaphore* command_received_; // Signaled for each command received.
741
742 friend class EnterDebugger;
743};
744
745
746// This class is used for entering the debugger. Create an instance in the stack
747// to enter the debugger. This will set the current break state, make sure the
748// debugger is loaded and switch to the debugger context. If the debugger for
749// some reason could not be entered FailedToEnter will return true.
750class EnterDebugger BASE_EMBEDDED {
751 public:
752 EnterDebugger()
753 : prev_(Debug::debugger_entry()),
754 has_js_frames_(!it_.done()) {
755 ASSERT(prev_ != NULL || !Debug::is_interrupt_pending(PREEMPT));
756 ASSERT(prev_ != NULL || !Debug::is_interrupt_pending(DEBUGBREAK));
757
758 // Link recursive debugger entry.
759 Debug::set_debugger_entry(this);
760
761 // Store the previous break id and frame id.
762 break_id_ = Debug::break_id();
763 break_frame_id_ = Debug::break_frame_id();
764
765 // Create the new break info. If there is no JavaScript frames there is no
766 // break frame id.
767 if (has_js_frames_) {
768 Debug::NewBreak(it_.frame()->id());
769 } else {
770 Debug::NewBreak(StackFrame::NO_ID);
771 }
772
773 // Make sure that debugger is loaded and enter the debugger context.
774 load_failed_ = !Debug::Load();
775 if (!load_failed_) {
776 // NOTE the member variable save which saves the previous context before
777 // this change.
778 Top::set_context(*Debug::debug_context());
779 }
780 }
781
782 ~EnterDebugger() {
783 // Restore to the previous break state.
784 Debug::SetBreak(break_frame_id_, break_id_);
785
786 // Check for leaving the debugger.
787 if (prev_ == NULL) {
788 // Clear mirror cache when leaving the debugger. Skip this if there is a
789 // pending exception as clearing the mirror cache calls back into
790 // JavaScript. This can happen if the v8::Debug::Call is used in which
791 // case the exception should end up in the calling code.
792 if (!Top::has_pending_exception()) {
793 // Try to avoid any pending debug break breaking in the clear mirror
794 // cache JavaScript code.
795 if (StackGuard::IsDebugBreak()) {
796 Debug::set_interrupts_pending(DEBUGBREAK);
797 StackGuard::Continue(DEBUGBREAK);
798 }
799 Debug::ClearMirrorCache();
800 }
801
802 // Request preemption and debug break when leaving the last debugger entry
803 // if any of these where recorded while debugging.
804 if (Debug::is_interrupt_pending(PREEMPT)) {
805 // This re-scheduling of preemption is to avoid starvation in some
806 // debugging scenarios.
807 Debug::clear_interrupt_pending(PREEMPT);
808 StackGuard::Preempt();
809 }
810 if (Debug::is_interrupt_pending(DEBUGBREAK)) {
811 Debug::clear_interrupt_pending(DEBUGBREAK);
812 StackGuard::DebugBreak();
813 }
814
815 // If there are commands in the queue when leaving the debugger request
816 // that these commands are processed.
817 if (Debugger::HasCommands()) {
818 StackGuard::DebugCommand();
819 }
820
821 // If leaving the debugger with the debugger no longer active unload it.
822 if (!Debugger::IsDebuggerActive()) {
823 Debugger::UnloadDebugger();
824 }
825 }
826
827 // Leaving this debugger entry.
828 Debug::set_debugger_entry(prev_);
829 }
830
831 // Check whether the debugger could be entered.
832 inline bool FailedToEnter() { return load_failed_; }
833
834 // Check whether there are any JavaScript frames on the stack.
835 inline bool HasJavaScriptFrames() { return has_js_frames_; }
836
837 // Get the active context from before entering the debugger.
838 inline Handle<Context> GetContext() { return save_.context(); }
839
840 private:
841 EnterDebugger* prev_; // Previous debugger entry if entered recursively.
842 JavaScriptFrameIterator it_;
843 const bool has_js_frames_; // Were there any JavaScript frames?
844 StackFrame::Id break_frame_id_; // Previous break frame id.
845 int break_id_; // Previous break id.
846 bool load_failed_; // Did the debugger fail to load?
847 SaveContext save_; // Saves previous context.
848};
849
850
851// Stack allocated class for disabling break.
852class DisableBreak BASE_EMBEDDED {
853 public:
854 // Enter the debugger by storing the previous top context and setting the
855 // current top context to the debugger context.
856 explicit DisableBreak(bool disable_break) {
857 prev_disable_break_ = Debug::disable_break();
858 Debug::set_disable_break(disable_break);
859 }
860 ~DisableBreak() {
861 Debug::set_disable_break(prev_disable_break_);
862 }
863
864 private:
865 // The previous state of the disable break used to restore the value when this
866 // object is destructed.
867 bool prev_disable_break_;
868};
869
870
871// Debug_Address encapsulates the Address pointers used in generating debug
872// code.
873class Debug_Address {
874 public:
875 Debug_Address(Debug::AddressId id, int reg = 0)
876 : id_(id), reg_(reg) {
877 ASSERT(reg == 0 || id == Debug::k_register_address);
878 }
879
880 static Debug_Address AfterBreakTarget() {
881 return Debug_Address(Debug::k_after_break_target_address);
882 }
883
884 static Debug_Address DebugBreakReturn() {
885 return Debug_Address(Debug::k_debug_break_return_address);
886 }
887
888 static Debug_Address Register(int reg) {
889 return Debug_Address(Debug::k_register_address, reg);
890 }
891
892 Address address() const {
893 switch (id_) {
894 case Debug::k_after_break_target_address:
895 return reinterpret_cast<Address>(Debug::after_break_target_address());
896 case Debug::k_debug_break_return_address:
897 return reinterpret_cast<Address>(Debug::debug_break_return_address());
898 case Debug::k_register_address:
899 return reinterpret_cast<Address>(Debug::register_address(reg_));
900 default:
901 UNREACHABLE();
902 return NULL;
903 }
904 }
905 private:
906 Debug::AddressId id_;
907 int reg_;
908};
909
Leon Clarkee46be812010-01-19 14:06:41 +0000910// The optional thread that Debug Agent may use to temporary call V8 to process
911// pending debug requests if debuggee is not running V8 at the moment.
912// Techincally it does not call V8 itself, rather it asks embedding program
913// to do this via v8::Debug::HostDispatchHandler
914class MessageDispatchHelperThread: public Thread {
915 public:
916 MessageDispatchHelperThread();
917 ~MessageDispatchHelperThread();
918
919 void Schedule();
920
921 private:
922 void Run();
923
924 Semaphore* const sem_;
925 Mutex* const mutex_;
926 bool already_signalled_;
927
928 DISALLOW_COPY_AND_ASSIGN(MessageDispatchHelperThread);
929};
930
Steve Blocka7e24c12009-10-30 11:49:00 +0000931
932} } // namespace v8::internal
933
934#endif // ENABLE_DEBUGGER_SUPPORT
935
936#endif // V8_DEBUG_H_