?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
2010-04-01 Zoltan Varga <vargaz@gmail.com>
[mono/afaerber.git] / mono / mini / debugger-agent.c
blob03d0f6d3d55f13363a4466cf50f133714efe7f6b
1 /*
2 * debugger-agent.c: Debugger back-end module
3 *
4 * Author:
5 * Zoltan Varga (vargaz@gmail.com)
6 *
7 * (C) 2009 Novell, Inc.
8 */
9
10 #include <config.h>
11 #include <stdio.h>
12 #include <stdlib.h>
13 #include <string.h>
14 #ifdef HAVE_SYS_TYPES_H
15 #include <sys/types.h>
16 #endif
17 #ifdef HAVE_SYS_SELECT_H
18 #include <sys/select.h>
19 #endif
20 #ifdef HAVE_SYS_SOCKET_H
21 #include <sys/socket.h>
22 #endif
23 #ifdef HAVE_NETINET_TCP_H
24 #include <netinet/tcp.h>
25 #endif
26 #ifdef HAVE_NETINET_IN_H
27 #include <netinet/in.h>
28 #endif
29 #ifdef HAVE_NETDB_H
30 #include <netdb.h>
31 #endif
32 #ifdef HAVE_UNISTD_H
33 #include <unistd.h>
34 #endif
35 #include <errno.h>
36 #include <glib.h>
37
38 #ifdef HAVE_PTHREAD_H
39 #include <pthread.h>
40 #endif
41
42 #ifdef HAVE_UCONTEXT_H
43 #include <ucontext.h>
44 #endif
45
46 #ifdef HOST_WIN32
47 #ifdef _MSC_VER
48 #include <winsock2.h>
49 #endif
50 #include <ws2tcpip.h>
51 #ifdef __GNUC__
52 /* cygwin's headers do not seem to define these */
53 void WSAAPI freeaddrinfo (struct addrinfo*);
54 int WSAAPI getaddrinfo (const char*,const char*,const struct addrinfo*,
55 struct addrinfo**);
56 int WSAAPI getnameinfo(const struct sockaddr*,socklen_t,char*,DWORD,
57 char*,DWORD,int);
58 #endif
59 #endif
60
61 #ifdef PLATFORM_ANDROID
62 #include <linux/in.h>
63 #include <linux/tcp.h>
64 #include <sys/endian.h>
65 #endif
66
67 #include <mono/metadata/mono-debug.h>
68 #include <mono/metadata/mono-debug-debugger.h>
69 #include <mono/metadata/debug-mono-symfile.h>
70 #include <mono/metadata/gc-internal.h>
71 #include <mono/metadata/threads-types.h>
72 #include <mono/metadata/socket-io.h>
73 #include <mono/utils/mono-semaphore.h>
74 #include "debugger-agent.h"
75 #include "mini.h"
76
77 #ifndef MONO_ARCH_SOFT_DEBUG_SUPPORTED
78 #define DISABLE_DEBUGGER_AGENT 1
79 #endif
80
81 #ifdef DISABLE_SOFT_DEBUG
82 #define DISABLE_DEBUGGER_AGENT 1
83 #endif
84
85 #ifndef DISABLE_DEBUGGER_AGENT
86 #include <mono/io-layer/mono-mutex.h>
87
88 /* Definitions to make backporting to 2.6 easier */
89 //#define MonoInternalThread MonoThread
90 //#define mono_thread_internal_current mono_thread_current
91 #define THREAD_TO_INTERNAL(thread) (thread)->internal_thread
92
93 typedef struct {
94 gboolean enabled;
95 char *transport;
96 char *address;
97 int log_level;
98 char *log_file;
99 gboolean suspend;
100 gboolean server;
101 gboolean onuncaught;
102 GSList *onthrow;
103 int timeout;
104 char *launch;
105 } AgentConfig;
106
107 typedef struct
108 {
109 int id;
110 guint32 il_offset;
111 MonoDomain *domain;
112 MonoMethod *method;
113 MonoContext ctx;
114 MonoDebugMethodJitInfo *jit;
115 int flags;
116 /*
117 * Whenever ctx is set. This is FALSE for the last frame of running threads, since
118 * the frame can become invalid.
119 */
120 gboolean has_ctx;
121 } StackFrame;
122
123 typedef struct _InvokeData InvokeData;
124
125 struct _InvokeData
126 {
127 int id;
128 int flags;
129 guint8 *p;
130 guint8 *endp;
131 /* This is the context which needs to be restored after the invoke */
132 MonoContext ctx;
133 gboolean has_ctx;
134 /*
135 * If this is set, invoke this method with the arguments given by ARGS.
136 */
137 MonoMethod *method;
138 gpointer *args;
139 guint32 suspend_count;
140
141 InvokeData *last_invoke;
142 };
143
144 typedef struct {
145 MonoContext ctx;
146 MonoLMF *lmf;
147 MonoDomain *domain;
148 gboolean has_context;
149 gpointer resume_event;
150 /* This is computed on demand when it is requested using the wire protocol */
151 /* It is freed up when the thread is resumed */
152 int frame_count;
153 StackFrame **frames;
154 /*
155 * Whenever the frame info is up-to-date. If not, compute_frame_info () will need to
156 * re-compute it.
157 */
158 gboolean frames_up_to_date;
159 /*
160 * Points to data about a pending invoke which needs to be executed after the thread
161 * resumes.
162 */
163 InvokeData *pending_invoke;
164 /*
165 * Set to TRUE if this thread is suspended in suspend_current () or it is executing
166 * native code.
167 */
168 gboolean suspended;
169 /*
170 * Signals whenever the thread is in the process of suspending, i.e. it will suspend
171 * within a finite amount of time.
172 */
173 gboolean suspending;
174 /*
175 * Set to TRUE if this thread is suspended in suspend_current ().
176 */
177 gboolean really_suspended;
178 /* Used to pass the context to the breakpoint/single step handler */
179 MonoContext handler_ctx;
180 /* Whenever thread_stop () was called for this thread */
181 gboolean terminated;
182
183 /* Number of thread interruptions not yet processed */
184 gint32 interrupt_count;
185
186 /* Whenever to disable breakpoints (used during invokes) */
187 gboolean disable_breakpoints;
188
189 /*
190 * Number of times this thread has been resumed using resume_thread ().
191 */
192 guint32 resume_count;
193
194 MonoInternalThread *thread;
195
196 /*
197 * Information about the frame which transitioned to native code for running
198 * threads.
199 */
200 StackFrameInfo async_last_frame;
201
202 /*
203 * The context where the stack walk can be started for running threads.
204 */
205 MonoContext async_ctx;
206
207 gboolean has_async_ctx;
208
209 /*
210 * The lmf where the stack walk can be started for running threads.
211 */
212 gpointer async_lmf;
213
214 /*
215 * The callee address of the last mono_runtime_invoke call
216 */
217 gpointer invoke_addr;
218
219 gboolean abort_requested;
220
221 /*
222 * The current mono_runtime_invoke invocation.
223 */
224 InvokeData *invoke;
225 } DebuggerTlsData;
226
227 /*
228 * Wire Protocol definitions
229 */
230
231 #define HEADER_LENGTH 11
232
233 #define MAJOR_VERSION 2
234 #define MINOR_VERSION 1
235
236 typedef enum {
237 CMD_SET_VM = 1,
238 CMD_SET_OBJECT_REF = 9,
239 CMD_SET_STRING_REF = 10,
240 CMD_SET_THREAD = 11,
241 CMD_SET_ARRAY_REF = 13,
242 CMD_SET_EVENT_REQUEST = 15,
243 CMD_SET_STACK_FRAME = 16,
244 CMD_SET_APPDOMAIN = 20,
245 CMD_SET_ASSEMBLY = 21,
246 CMD_SET_METHOD = 22,
247 CMD_SET_TYPE = 23,
248 CMD_SET_MODULE = 24,
249 CMD_SET_EVENT = 64
250 } CommandSet;
251
252 typedef enum {
253 EVENT_KIND_VM_START = 0,
254 EVENT_KIND_VM_DEATH = 1,
255 EVENT_KIND_THREAD_START = 2,
256 EVENT_KIND_THREAD_DEATH = 3,
257 EVENT_KIND_APPDOMAIN_CREATE = 4,
258 EVENT_KIND_APPDOMAIN_UNLOAD = 5,
259 EVENT_KIND_METHOD_ENTRY = 6,
260 EVENT_KIND_METHOD_EXIT = 7,
261 EVENT_KIND_ASSEMBLY_LOAD = 8,
262 EVENT_KIND_ASSEMBLY_UNLOAD = 9,
263 EVENT_KIND_BREAKPOINT = 10,
264 EVENT_KIND_STEP = 11,
265 EVENT_KIND_TYPE_LOAD = 12,
266 EVENT_KIND_EXCEPTION = 13
267 } EventKind;
268
269 typedef enum {
270 SUSPEND_POLICY_NONE = 0,
271 SUSPEND_POLICY_EVENT_THREAD = 1,
272 SUSPEND_POLICY_ALL = 2
273 } SuspendPolicy;
274
275 typedef enum {
276 ERR_NONE = 0,
277 ERR_INVALID_OBJECT = 20,
278 ERR_INVALID_FIELDID = 25,
279 ERR_INVALID_FRAMEID = 30,
280 ERR_NOT_IMPLEMENTED = 100,
281 ERR_NOT_SUSPENDED = 101,
282 ERR_INVALID_ARGUMENT = 102,
283 ERR_UNLOADED = 103,
284 ERR_NO_INVOCATION = 104
285 } ErrorCode;
286
287 typedef enum {
288 MOD_KIND_COUNT = 1,
289 MOD_KIND_THREAD_ONLY = 3,
290 MOD_KIND_LOCATION_ONLY = 7,
291 MOD_KIND_EXCEPTION_ONLY = 8,
292 MOD_KIND_STEP = 10,
293 MOD_KIND_ASSEMBLY_ONLY = 11
294 } ModifierKind;
295
296 typedef enum {
297 STEP_DEPTH_INTO = 0,
298 STEP_DEPTH_OVER = 1,
299 STEP_DEPTH_OUT = 2
300 } StepDepth;
301
302 typedef enum {
303 STEP_SIZE_MIN = 0,
304 STEP_SIZE_LINE = 1
305 } StepSize;
306
307 typedef enum {
308 TOKEN_TYPE_STRING = 0,
309 TOKEN_TYPE_TYPE = 1,
310 TOKEN_TYPE_FIELD = 2,
311 TOKEN_TYPE_METHOD = 3,
312 TOKEN_TYPE_UNKNOWN = 4
313 } DebuggerTokenType;
314
315 typedef enum {
316 VALUE_TYPE_ID_NULL = 0xf0,
317 VALUE_TYPE_ID_TYPE = 0xf1
318 } ValueTypeId;
319
320 typedef enum {
321 FRAME_FLAG_DEBUGGER_INVOKE = 1
322 } StackFrameFlags;
323
324 typedef enum {
325 INVOKE_FLAG_DISABLE_BREAKPOINTS = 1,
326 INVOKE_FLAG_SINGLE_THREADED = 2
327 } InvokeFlags;
328
329 typedef enum {
330 CMD_VM_VERSION = 1,
331 CMD_VM_ALL_THREADS = 2,
332 CMD_VM_SUSPEND = 3,
333 CMD_VM_RESUME = 4,
334 CMD_VM_EXIT = 5,
335 CMD_VM_DISPOSE = 6,
336 CMD_VM_INVOKE_METHOD = 7,
337 CMD_VM_SET_PROTOCOL_VERSION = 8,
338 CMD_VM_ABORT_INVOKE = 9
339 } CmdVM;
340
341 typedef enum {
342 CMD_THREAD_GET_FRAME_INFO = 1,
343 CMD_THREAD_GET_NAME = 2,
344 CMD_THREAD_GET_STATE = 3,
345 CMD_THREAD_GET_INFO = 4
346 } CmdThread;
347
348 typedef enum {
349 CMD_EVENT_REQUEST_SET = 1,
350 CMD_EVENT_REQUEST_CLEAR = 2,
351 CMD_EVENT_REQUEST_CLEAR_ALL_BREAKPOINTS = 3
352 } CmdEvent;
353
354 typedef enum {
355 CMD_COMPOSITE = 100
356 } CmdComposite;
357
358 typedef enum {
359 CMD_APPDOMAIN_GET_ROOT_DOMAIN = 1,
360 CMD_APPDOMAIN_GET_FRIENDLY_NAME = 2,
361 CMD_APPDOMAIN_GET_ASSEMBLIES = 3,
362 CMD_APPDOMAIN_GET_ENTRY_ASSEMBLY = 4,
363 CMD_APPDOMAIN_CREATE_STRING = 5,
364 CMD_APPDOMAIN_GET_CORLIB = 6,
365 CMD_APPDOMAIN_CREATE_BOXED_VALUE = 7,
366 } CmdAppDomain;
367
368 typedef enum {
369 CMD_ASSEMBLY_GET_LOCATION = 1,
370 CMD_ASSEMBLY_GET_ENTRY_POINT = 2,
371 CMD_ASSEMBLY_GET_MANIFEST_MODULE = 3,
372 CMD_ASSEMBLY_GET_OBJECT = 4,
373 CMD_ASSEMBLY_GET_TYPE = 5,
374 CMD_ASSEMBLY_GET_NAME = 6
375 } CmdAssembly;
376
377 typedef enum {
378 CMD_MODULE_GET_INFO = 1,
379 } CmdModule;
380
381 typedef enum {
382 CMD_METHOD_GET_NAME = 1,
383 CMD_METHOD_GET_DECLARING_TYPE = 2,
384 CMD_METHOD_GET_DEBUG_INFO = 3,
385 CMD_METHOD_GET_PARAM_INFO = 4,
386 CMD_METHOD_GET_LOCALS_INFO = 5,
387 CMD_METHOD_GET_INFO = 6,
388 CMD_METHOD_GET_BODY = 7,
389 CMD_METHOD_RESOLVE_TOKEN = 8,
390 } CmdMethod;
391
392 typedef enum {
393 CMD_TYPE_GET_INFO = 1,
394 CMD_TYPE_GET_METHODS = 2,
395 CMD_TYPE_GET_FIELDS = 3,
396 CMD_TYPE_GET_VALUES = 4,
397 CMD_TYPE_GET_OBJECT = 5,
398 CMD_TYPE_GET_SOURCE_FILES = 6,
399 CMD_TYPE_SET_VALUES = 7,
400 CMD_TYPE_IS_ASSIGNABLE_FROM = 8,
401 CMD_TYPE_GET_PROPERTIES = 9,
402 CMD_TYPE_GET_CATTRS = 10,
403 CMD_TYPE_GET_FIELD_CATTRS = 11,
404 CMD_TYPE_GET_PROPERTY_CATTRS = 12
405 } CmdType;
406
407 typedef enum {
408 CMD_STACK_FRAME_GET_VALUES = 1,
409 CMD_STACK_FRAME_GET_THIS = 2,
410 CMD_STACK_FRAME_SET_VALUES = 3
411 } CmdStackFrame;
412
413 typedef enum {
414 CMD_ARRAY_REF_GET_LENGTH = 1,
415 CMD_ARRAY_REF_GET_VALUES = 2,
416 CMD_ARRAY_REF_SET_VALUES = 3,
417 } CmdArray;
418
419 typedef enum {
420 CMD_STRING_REF_GET_VALUE = 1,
421 } CmdString;
422
423 typedef enum {
424 CMD_OBJECT_REF_GET_TYPE = 1,
425 CMD_OBJECT_REF_GET_VALUES = 2,
426 CMD_OBJECT_REF_IS_COLLECTED = 3,
427 CMD_OBJECT_REF_GET_ADDRESS = 4,
428 CMD_OBJECT_REF_GET_DOMAIN = 5,
429 CMD_OBJECT_REF_SET_VALUES = 6
430 } CmdObject;
431
432 typedef struct {
433 ModifierKind kind;
434 union {
435 int count; /* For kind == MOD_KIND_COUNT */
436 MonoInternalThread *thread; /* For kind == MOD_KIND_THREAD_ONLY */
437 MonoClass *exc_class; /* For kind == MONO_KIND_EXCEPTION_ONLY */
438 MonoAssembly **assemblies; /* For kind == MONO_KIND_ASSEMBLY_ONLY */
439 } data;
440 gboolean caught, uncaught; /* For kind == MOD_KIND_EXCEPTION_ONLY */
441 } Modifier;
442
443 typedef struct{
444 int id;
445 int event_kind;
446 int suspend_policy;
447 int nmodifiers;
448 gpointer info;
449 Modifier modifiers [MONO_ZERO_LEN_ARRAY];
450 } EventRequest;
451
452 /*
453 * Describes a single step request.
454 */
455 typedef struct {
456 EventRequest *req;
457 MonoInternalThread *thread;
458 StepDepth depth;
459 StepSize size;
460 gpointer last_sp;
461 gpointer start_sp;
462 MonoMethod *last_method;
463 int last_line;
464 /* Whenever single stepping is performed using start/stop_single_stepping () */
465 gboolean global;
466 /* The list of breakpoints used to implement step-over */
467 GSList *bps;
468 } SingleStepReq;
469
470 /*
471 * Contains additional information for an event
472 */
473 typedef struct {
474 /* For EVENT_KIND_EXCEPTION */
475 MonoObject *exc;
476 MonoContext catch_ctx;
477 gboolean caught;
478 } EventInfo;
479
480 /* Dummy structure used for the profiler callbacks */
481 typedef struct {
482 void* dummy;
483 } DebuggerProfiler;
484
485 #define DEBUG(level,s) do { if (G_UNLIKELY ((level) <= log_level)) { s; fflush (log_file); } } while (0)
486
487 /*
488 * Globals
489 */
490
491 static AgentConfig agent_config;
492
493 /*
494 * Whenever the agent is fully initialized.
495 * When using the onuncaught or onthrow options, only some parts of the agent are
496 * initialized on startup, and the full initialization which includes connection
497 * establishment and the startup of the agent thread is only done in response to
498 * an event.
499 */
500 static gint32 inited;
501
502 static int conn_fd;
503
504 static int packet_id = 0;
505
506 static int objref_id = 0;
507
508 static int event_request_id = 0;
509
510 static int frame_id = 0;
511
512 static GPtrArray *event_requests;
513
514 static guint32 debugger_tls_id;
515
516 static gboolean vm_start_event_sent, vm_death_event_sent, disconnected;
517
518 /* Maps MonoInternalThread -> DebuggerTlsData */
519 static MonoGHashTable *thread_to_tls;
520
521 /* Maps tid -> MonoInternalThread */
522 static MonoGHashTable *tid_to_thread;
523
524 /* Maps tid -> MonoThread (not MonoInternalThread) */
525 static MonoGHashTable *tid_to_thread_obj;
526
527 static gsize debugger_thread_id;
528
529 static HANDLE debugger_thread_handle;
530
531 static int log_level;
532
533 static FILE *log_file;
534
535 /* Classes whose class load event has been sent */
536 static GHashTable *loaded_classes;
537
538 /* Assemblies whose assembly load event has no been sent yet */
539 static GPtrArray *pending_assembly_loads;
540
541 /* Types whose type load event has no been sent yet */
542 static GPtrArray *pending_type_loads;
543
544 /* Whenever the debugger thread has exited */
545 static gboolean debugger_thread_exited;
546
547 /* Cond variable used to wait for debugger_thread_exited becoming true */
548 static mono_cond_t debugger_thread_exited_cond;
549
550 /* Mutex for the cond var above */
551 static mono_mutex_t debugger_thread_exited_mutex;
552
553 static DebuggerProfiler debugger_profiler;
554
555 /* The single step request instance */
556 static SingleStepReq *ss_req = NULL;
557 static gpointer ss_invoke_addr = NULL;
558
559 #ifdef MONO_ARCH_SOFT_DEBUG_SUPPORTED
560 /* Number of single stepping operations in progress */
561 static int ss_count;
562 #endif
563
564 /* The protocol version of the client */
565 static int major_version, minor_version;
566
567 /* Whenever the variables above are set by the client */
568 static gboolean protocol_version_set;
569
570 static void transport_connect (const char *host, int port);
571
572 static guint32 WINAPI debugger_thread (void *arg);
573
574 static void runtime_initialized (MonoProfiler *prof);
575
576 static void runtime_shutdown (MonoProfiler *prof);
577
578 static void thread_startup (MonoProfiler *prof, intptr_t tid);
579
580 static void thread_end (MonoProfiler *prof, intptr_t tid);
581
582 static void appdomain_load (MonoProfiler *prof, MonoDomain *domain, int result);
583
584 static void appdomain_unload (MonoProfiler *prof, MonoDomain *domain);
585
586 static void invalidate_each_thread (gpointer key, gpointer value, gpointer user_data);
587
588 static void assembly_load (MonoProfiler *prof, MonoAssembly *assembly, int result);
589
590 static void assembly_unload (MonoProfiler *prof, MonoAssembly *assembly);
591
592 static void start_runtime_invoke (MonoProfiler *prof, MonoMethod *method);
593
594 static void end_runtime_invoke (MonoProfiler *prof, MonoMethod *method);
595
596 static void jit_end (MonoProfiler *prof, MonoMethod *method, MonoJitInfo *jinfo, int result);
597
598 static void add_pending_breakpoints (MonoMethod *method, MonoJitInfo *jinfo);
599
600 static void start_single_stepping (void);
601
602 static void stop_single_stepping (void);
603
604 static void suspend_current (void);
605
606 static void clear_event_requests_for_assembly (MonoAssembly *assembly);
607
608 /* Submodule init/cleanup */
609 static void breakpoints_init (void);
610 static void breakpoints_cleanup (void);
611
612 static void objrefs_init (void);
613 static void objrefs_cleanup (void);
614
615 static void ids_init (void);
616 static void ids_cleanup (void);
617
618 static void suspend_init (void);
619
620 static void ss_start (SingleStepReq *ss_req, MonoMethod *method, SeqPoint *sp, MonoSeqPointInfo *info, MonoContext *ctx, DebuggerTlsData *tls);
621 static ErrorCode ss_create (MonoInternalThread *thread, StepSize size, StepDepth depth, EventRequest *req);
622 static void ss_destroy (SingleStepReq *req);
623
624 static void start_debugger_thread (void);
625
626 static void finish_agent_init (gboolean on_startup);
627
628 static int
629 parse_address (char *address, char **host, int *port)
630 {
631 char *pos = strchr (address, ':');
632
633 if (pos == NULL || pos == address)
634 return 1;
635
636 *host = g_malloc (pos - address + 1);
637 strncpy (*host, address, pos - address);
638 (*host) [pos - address] = '\0';
639
640 *port = atoi (pos + 1);
641
642 return 0;
643 }
644
645 static void
646 print_usage (void)
647 {
648 fprintf (stderr, "Usage: mono --debugger-agent=[<option>=<value>,...] ...\n");
649 fprintf (stderr, "Available options:\n");
650 fprintf (stderr, " transport=<transport>\t\tTransport to use for connecting to the debugger (mandatory, possible values: 'dt_socket')\n");
651 fprintf (stderr, " address=<hostname>:<port>\tAddress to connect to (mandatory)\n");
652 fprintf (stderr, " loglevel=<n>\t\t\tLog level (defaults to 0)\n");
653 fprintf (stderr, " logfile=<file>\t\tFile to log to (defaults to stdout)\n");
654 fprintf (stderr, " suspend=y/n\t\t\tWhenever to suspend after startup.\n");
655 fprintf (stderr, " timeout=<n>\t\t\tTimeout for connecting in milliseconds.\n");
656 fprintf (stderr, " help\t\t\t\tPrint this help.\n");
657 }
658
659 static gboolean
660 parse_flag (const char *option, char *flag)
661 {
662 if (!strcmp (flag, "y"))
663 return TRUE;
664 else if (!strcmp (flag, "n"))
665 return FALSE;
666 else {
667 fprintf (stderr, "debugger-agent: The valid values for the '%s' option are 'y' and 'n'.\n", option);
668 exit (1);
669 return FALSE;
670 }
671 }
672
673 void
674 mono_debugger_agent_parse_options (char *options)
675 {
676 char **args, **ptr;
677 char *host;
678 int port;
679
680 #ifndef MONO_ARCH_SOFT_DEBUG_SUPPORTED
681 fprintf (stderr, "--debugger-agent is not supported on this platform.\n");
682 exit (1);
683 #endif
684
685 agent_config.enabled = TRUE;
686 agent_config.suspend = TRUE;
687 agent_config.server = FALSE;
688
689 args = g_strsplit (options, ",", -1);
690 for (ptr = args; ptr && *ptr; ptr ++) {
691 char *arg = *ptr;
692
693 if (strncmp (arg, "transport=", 10) == 0) {
694 agent_config.transport = g_strdup (arg + 10);
695 } else if (strncmp (arg, "address=", 8) == 0) {
696 agent_config.address = g_strdup (arg + 8);
697 } else if (strncmp (arg, "loglevel=", 9) == 0) {
698 agent_config.log_level = atoi (arg + 9);
699 } else if (strncmp (arg, "logfile=", 8) == 0) {
700 agent_config.log_file = g_strdup (arg + 8);
701 } else if (strncmp (arg, "suspend=", 8) == 0) {
702 agent_config.suspend = parse_flag ("suspend", arg + 8);
703 } else if (strncmp (arg, "server=", 7) == 0) {
704 agent_config.server = parse_flag ("server", arg + 7);
705 } else if (strncmp (arg, "onuncaught=", 11) == 0) {
706 agent_config.onuncaught = parse_flag ("onuncaught", arg + 11);
707 } else if (strncmp (arg, "onthrow=", 8) == 0) {
708 /* We support multiple onthrow= options */
709 agent_config.onthrow = g_slist_append (agent_config.onthrow, g_strdup (arg + 8));
710 } else if (strncmp (arg, "onthrow", 7) == 0) {
711 agent_config.onthrow = g_slist_append (agent_config.onthrow, g_strdup (""));
712 } else if (strncmp (arg, "help", 4) == 0) {
713 print_usage ();
714 exit (0);
715 } else if (strncmp (arg, "timeout=", 8) == 0) {
716 agent_config.timeout = atoi (arg + 8);
717 } else if (strncmp (arg, "launch=", 7) == 0) {
718 agent_config.launch = g_strdup (arg + 7);
719 } else {
720 print_usage ();
721 exit (1);
722 }
723 }
724
725 if (agent_config.transport == NULL) {
726 fprintf (stderr, "debugger-agent: The 'transport' option is mandatory.\n");
727 exit (1);
728 }
729 if (strcmp (agent_config.transport, "dt_socket") != 0) {
730 fprintf (stderr, "debugger-agent: The only supported value for the 'transport' option is 'dt_socket'.\n");
731 exit (1);
732 }
733
734 if (agent_config.address == NULL && !agent_config.server) {
735 fprintf (stderr, "debugger-agent: The 'address' option is mandatory.\n");
736 exit (1);
737 }
738
739 if (agent_config.address && parse_address (agent_config.address, &host, &port)) {
740 fprintf (stderr, "debugger-agent: The format of the 'address' options is '<host>:<port>'\n");
741 exit (1);
742 }
743 }
744
745 void
746 mono_debugger_agent_init (void)
747 {
748 if (!agent_config.enabled)
749 return;
750
751 /* Need to know whenever a thread has acquired the loader mutex */
752 mono_loader_lock_track_ownership (TRUE);
753
754 event_requests = g_ptr_array_new ();
755
756 mono_mutex_init (&debugger_thread_exited_mutex, NULL);
757 mono_cond_init (&debugger_thread_exited_cond, NULL);
758
759 mono_profiler_install ((MonoProfiler*)&debugger_profiler, runtime_shutdown);
760 mono_profiler_set_events (MONO_PROFILE_APPDOMAIN_EVENTS | MONO_PROFILE_THREADS | MONO_PROFILE_ASSEMBLY_EVENTS | MONO_PROFILE_JIT_COMPILATION | MONO_PROFILE_METHOD_EVENTS);
761 mono_profiler_install_runtime_initialized (runtime_initialized);
762 mono_profiler_install_appdomain (NULL, appdomain_load, NULL, appdomain_unload);
763 mono_profiler_install_thread (thread_startup, thread_end);
764 mono_profiler_install_assembly (NULL, assembly_load, assembly_unload, NULL);
765 mono_profiler_install_jit_end (jit_end);
766 mono_profiler_install_method_invoke (start_runtime_invoke, end_runtime_invoke);
767
768 debugger_tls_id = TlsAlloc ();
769
770 thread_to_tls = mono_g_hash_table_new_type (NULL, NULL, MONO_HASH_KEY_GC);
771 MONO_GC_REGISTER_ROOT (thread_to_tls);
772
773 tid_to_thread = mono_g_hash_table_new_type (NULL, NULL, MONO_HASH_VALUE_GC);
774 MONO_GC_REGISTER_ROOT (tid_to_thread);
775
776 tid_to_thread_obj = mono_g_hash_table_new_type (NULL, NULL, MONO_HASH_VALUE_GC);
777 MONO_GC_REGISTER_ROOT (tid_to_thread_obj);
778
779 loaded_classes = g_hash_table_new (mono_aligned_addr_hash, NULL);
780 pending_assembly_loads = g_ptr_array_new ();
781 pending_type_loads = g_ptr_array_new ();
782
783 log_level = agent_config.log_level;
784
785 if (agent_config.log_file) {
786 log_file = fopen (agent_config.log_file, "w+");
787 if (!log_file) {
788 fprintf (stderr, "Unable to create log file '%s': %s.\n", agent_config.log_file, strerror (errno));
789 exit (1);
790 }
791 } else {
792 log_file = stdout;
793 }
794
795 ids_init ();
796 objrefs_init ();
797 breakpoints_init ();
798 suspend_init ();
799
800 mini_get_debug_options ()->gen_seq_points = TRUE;
801 /*
802 * This is needed because currently we don't handle liveness info.
803 */
804 mini_get_debug_options ()->mdb_optimizations = TRUE;
805
806 /* This is needed because we can't set local variables in registers yet */
807 mono_disable_optimizations (MONO_OPT_LINEARS);
808
809 if (!agent_config.onuncaught && !agent_config.onthrow)
810 finish_agent_init (TRUE);
811 }
812
813 /*
814 * finish_agent_init:
815 *
816 * Finish the initialization of the agent. This involves connecting the transport
817 * and starting the agent thread. This is either done at startup, or
818 * in response to some event like an unhandled exception.
819 */
820 static void
821 finish_agent_init (gboolean on_startup)
822 {
823 char *host;
824 int port;
825 int res;
826
827 if (InterlockedCompareExchange (&inited, 1, 0) == 1)
828 return;
829
830 if (agent_config.launch) {
831 char *argv [16];
832
833 // FIXME: Generated address
834 // FIXME: Races with transport_connect ()
835
836 argv [0] = agent_config.launch;
837 argv [1] = agent_config.transport;
838 argv [2] = agent_config.address;
839 argv [3] = NULL;
840
841 res = g_spawn_async_with_pipes (NULL, argv, NULL, 0, NULL, NULL, NULL, NULL, NULL, NULL, NULL);
842 if (!res) {
843 fprintf (stderr, "Failed to execute '%s'.\n", agent_config.launch);
844 exit (1);
845 }
846 }
847
848 if (agent_config.address) {
849 res = parse_address (agent_config.address, &host, &port);
850 g_assert (res == 0);
851 } else {
852 host = NULL;
853 port = 0;
854 }
855
856 transport_connect (host, port);
857
858 if (!on_startup) {
859 /* Do some which is usually done after sending the VMStart () event */
860 vm_start_event_sent = TRUE;
861 start_debugger_thread ();
862 }
863 }
864
865 static void
866 mono_debugger_agent_cleanup (void)
867 {
868 if (!inited)
869 return;
870
871 /* This will interrupt the agent thread */
872 /* Close the read part only so it can still send back replies */
873 #ifdef HOST_WIN32
874 shutdown (conn_fd, SD_RECEIVE);
875 #else
876 shutdown (conn_fd, SHUT_RD);
877 #endif
878
879 /*
880 * Wait for the thread to exit.
881 *
882 * If we continue with the shutdown without waiting for it, then the client might
883 * not receive an answer to its last command like a resume.
884 * The WaitForSingleObject infrastructure doesn't seem to work during shutdown, so
885 * use pthreads.
886 */
887 //WaitForSingleObject (debugger_thread_handle, INFINITE);
888 if (GetCurrentThreadId () != debugger_thread_id) {
889 mono_mutex_lock (&debugger_thread_exited_mutex);
890 if (!debugger_thread_exited) {
891 #ifdef HOST_WIN32
892 if (WAIT_TIMEOUT == WaitForSingleObject(debugger_thread_exited_cond, 0)) {
893 mono_mutex_unlock (&debugger_thread_exited_mutex);
894 Sleep(0);
895 mono_mutex_lock (&debugger_thread_exited_mutex);
896 }
897 #else
898 mono_cond_wait (&debugger_thread_exited_cond, &debugger_thread_exited_mutex);
899 #endif
900 }
901 mono_mutex_unlock (&debugger_thread_exited_mutex);
902 }
903
904 breakpoints_cleanup ();
905 objrefs_cleanup ();
906 ids_cleanup ();
907
908 #ifdef HOST_WIN32
909 shutdown (conn_fd, SD_BOTH);
910 #else
911 shutdown (conn_fd, SHUT_RDWR);
912 #endif
913
914 mono_mutex_destroy (&debugger_thread_exited_mutex);
915 mono_cond_destroy (&debugger_thread_exited_cond);
916 }
917
918 /*
919 * recv_length:
920 *
921 * recv() + handle incomplete reads and EINTR
922 */
923 static int
924 recv_length (int fd, void *buf, int len, int flags)
925 {
926 int res;
927 int total = 0;
928
929 do {
930 res = recv (fd, (char *) buf + total, len - total, flags);
931 if (res > 0)
932 total += res;
933 } while ((res > 0 && total < len) || (res == -1 && errno == EINTR));
934 return total;
935 }
936 /*
937 * transport_connect:
938 *
939 * Connect/Listen on HOST:PORT. If HOST is NULL, generate an address and listen on it.
940 */
941 static void
942 transport_connect (const char *host, int port)
943 {
944 struct addrinfo hints;
945 struct addrinfo *result, *rp;
946 int sfd, s, res;
947 char port_string [128];
948 char handshake_msg [128];
949 guint8 buf [128];
950
951 conn_fd = -1;
952
953 if (host) {
954 sprintf (port_string, "%d", port);
955
956 mono_network_init ();
957
958 /* Obtain address(es) matching host/port */
959
960 memset (&hints, 0, sizeof (struct addrinfo));
961 hints.ai_family = AF_UNSPEC; /* Allow IPv4 or IPv6 */
962 hints.ai_socktype = SOCK_STREAM; /* Datagram socket */
963 hints.ai_flags = 0;
964 hints.ai_protocol = 0; /* Any protocol */
965
966 s = getaddrinfo (host, port_string, &hints, &result);
967 if (s != 0) {
968 fprintf (stderr, "debugger-agent: Unable to connect to %s:%d: %s\n", host, port, gai_strerror (s));
969 exit (1);
970 }
971 }
972
973 if (agent_config.server) {
974 /* Wait for a connection */
975 if (!host) {
976 struct sockaddr_in addr;
977 socklen_t addrlen;
978
979 /* No address, generate one */
980 sfd = socket (AF_INET, SOCK_STREAM, 0);
981 g_assert (sfd);
982
983 /* This will bind the socket to a random port */
984 res = listen (sfd, 16);
985 if (res == -1) {
986 fprintf (stderr, "debugger-agent: Unable to setup listening socket: %s\n", strerror (errno));
987 exit (1);
988 }
989
990 addrlen = sizeof (addr);
991 memset (&addr, 0, sizeof (addr));
992 res = getsockname (sfd, &addr, &addrlen);
993 g_assert (res == 0);
994
995 host = "127.0.0.1";
996 port = ntohs (addr.sin_port);
997
998 /* Emit the address to stdout */
999 /* FIXME: Should print another interface, not localhost */
1000 printf ("%s:%d\n", host, port);
1001 } else {
1002 /* Listen on the provided address */
1003 for (rp = result; rp != NULL; rp = rp->ai_next) {
1004 sfd = socket (rp->ai_family, rp->ai_socktype,
1005 rp->ai_protocol);
1006 if (sfd == -1)
1007 continue;
1008
1009 res = bind (sfd, rp->ai_addr, rp->ai_addrlen);
1010 if (res == -1)
1011 continue;
1012
1013 res = listen (sfd, 16);
1014 if (res == -1)
1015 continue;
1016 break;
1017 }
1018
1019 #ifndef HOST_WIN32
1020 /*
1021 * this function is not present on win2000 which we still support, and the
1022 * workaround described here:
1023 * http://msdn.microsoft.com/en-us/library/ms737931(VS.85).aspx
1024 * only works with MSVC.
1025 */
1026 freeaddrinfo (result);
1027 #endif
1028 }
1029
1030 DEBUG (1, fprintf (log_file, "Listening on %s:%d (timeout=%d ms)...\n", host, port, agent_config.timeout));
1031
1032 if (agent_config.timeout) {
1033 fd_set readfds;
1034 struct timeval tv;
1035
1036 tv.tv_sec = 0;
1037 tv.tv_usec = agent_config.timeout * 1000;
1038 FD_ZERO (&readfds);
1039 FD_SET (sfd, &readfds);
1040 res = select (sfd + 1, &readfds, NULL, NULL, &tv);
1041 if (res == 0) {
1042 fprintf (stderr, "debugger-agent: Timed out waiting to connect.\n");
1043 exit (1);
1044 }
1045 }
1046
1047 conn_fd = accept (sfd, NULL, NULL);
1048 if (conn_fd == -1) {
1049 fprintf (stderr, "debugger-agent: Unable to listen on %s:%d\n", host, port);
1050 exit (1);
1051 }
1052
1053 DEBUG (1, fprintf (log_file, "Accepted connection from client, socket fd=%d.\n", conn_fd));
1054 } else {
1055 /* Connect to the specified address */
1056 /* FIXME: Respect the timeout */
1057 for (rp = result; rp != NULL; rp = rp->ai_next) {
1058 sfd = socket (rp->ai_family, rp->ai_socktype,
1059 rp->ai_protocol);
1060 if (sfd == -1)
1061 continue;
1062
1063 if (connect (sfd, rp->ai_addr, rp->ai_addrlen) != -1)
1064 break; /* Success */
1065
1066 close (sfd);
1067 }
1068
1069 conn_fd = sfd;
1070
1071 #ifndef HOST_WIN32
1072 /* See the comment above */
1073 freeaddrinfo (result);
1074 #endif
1075
1076 if (rp == 0) {
1077 fprintf (stderr, "debugger-agent: Unable to connect to %s:%d\n", host, port);
1078 exit (1);
1079 }
1080 }
1081
1082 /* Write handshake message */
1083 sprintf (handshake_msg, "DWP-Handshake");
1084 do {
1085 res = send (conn_fd, handshake_msg, strlen (handshake_msg), 0);
1086 } while (res == -1 && errno == EINTR);
1087 g_assert (res != -1);
1088
1089 /* Read answer */
1090 res = recv_length (conn_fd, buf, strlen (handshake_msg), 0);
1091 if ((res != strlen (handshake_msg)) || (memcmp (buf, handshake_msg, strlen (handshake_msg) != 0))) {
1092 fprintf (stderr, "debugger-agent: DWP handshake failed.\n");
1093 exit (1);
1094 }
1095
1096 /*
1097 * To support older clients, the client sends its protocol version after connecting
1098 * using a command. Until that is received, default to our protocol version.
1099 */
1100 major_version = MAJOR_VERSION;
1101 minor_version = MINOR_VERSION;
1102 protocol_version_set = FALSE;
1103
1104 /*
1105 * Set TCP_NODELAY on the socket so the client receives events/command
1106 * results immediately.
1107 */
1108 {
1109 int flag = 1;
1110 int result = setsockopt(conn_fd,
1111 IPPROTO_TCP,
1112 TCP_NODELAY,
1113 (char *) &flag,
1114 sizeof(int));
1115 g_assert (result >= 0);
1116 }
1117 }
1118
1119 static gboolean
1120 transport_send (guint8 *data, int len)
1121 {
1122 int res;
1123
1124 do {
1125 res = send (conn_fd, data, len, 0);
1126 } while (res == -1 && errno == EINTR);
1127 if (res != len)
1128 return FALSE;
1129 else
1130 return TRUE;
1131 }
1132
1133 static void
1134 start_debugger_thread (void)
1135 {
1136 gsize tid;
1137
1138 debugger_thread_handle = mono_create_thread (NULL, 0, debugger_thread, NULL, 0, &tid);
1139 g_assert (debugger_thread_handle);
1140 }
1141
1142 /*
1143 * Functions to decode protocol data
1144 */
1145
1146 static inline int
1147 decode_byte (guint8 *buf, guint8 **endbuf, guint8 *limit)
1148 {
1149 *endbuf = buf + 1;
1150 g_assert (*endbuf <= limit);
1151 return buf [0];
1152 }
1153
1154 static inline int
1155 decode_int (guint8 *buf, guint8 **endbuf, guint8 *limit)
1156 {
1157 *endbuf = buf + 4;
1158 g_assert (*endbuf <= limit);
1159
1160 return (((int)buf [0]) << 24) | (((int)buf [1]) << 16) | (((int)buf [2]) << 8) | (((int)buf [3]) << 0);
1161 }
1162
1163 static inline gint64
1164 decode_long (guint8 *buf, guint8 **endbuf, guint8 *limit)
1165 {
1166 guint32 high = decode_int (buf, &buf, limit);
1167 guint32 low = decode_int (buf, &buf, limit);
1168
1169 *endbuf = buf;
1170
1171 return ((((guint64)high) << 32) | ((guint64)low));
1172 }
1173
1174 static inline int
1175 decode_id (guint8 *buf, guint8 **endbuf, guint8 *limit)
1176 {
1177 return decode_int (buf, endbuf, limit);
1178 }
1179
1180 static inline char*
1181 decode_string (guint8 *buf, guint8 **endbuf, guint8 *limit)
1182 {
1183 int len = decode_int (buf, &buf, limit);
1184 char *s;
1185
1186 s = g_malloc (len + 1);
1187 g_assert (s);
1188
1189 memcpy (s, buf, len);
1190 s [len] = '\0';
1191 buf += len;
1192 *endbuf = buf;
1193
1194 return s;
1195 }
1196
1197 /*
1198 * Functions to encode protocol data
1199 */
1200
1201 typedef struct {
1202 guint8 *buf, *p, *end;
1203 } Buffer;
1204
1205 static inline void
1206 buffer_init (Buffer *buf, int size)
1207 {
1208 buf->buf = g_malloc (size);
1209 buf->p = buf->buf;
1210 buf->end = buf->buf + size;
1211 }
1212
1213 static inline void
1214 buffer_make_room (Buffer *buf, int size)
1215 {
1216 if (buf->end - buf->p < size) {
1217 int new_size = buf->end - buf->buf + size + 32;
1218 guint8 *p = g_realloc (buf->buf, new_size);
1219 size = buf->p - buf->buf;
1220 buf->buf = p;
1221 buf->p = p + size;
1222 buf->end = buf->buf + new_size;
1223 }
1224 }
1225
1226 static inline void
1227 buffer_add_byte (Buffer *buf, guint8 val)
1228 {
1229 buffer_make_room (buf, 1);
1230 buf->p [0] = val;
1231 buf->p++;
1232 }
1233
1234 static inline void
1235 buffer_add_int (Buffer *buf, guint32 val)
1236 {
1237 buffer_make_room (buf, 4);
1238 buf->p [0] = (val >> 24) & 0xff;
1239 buf->p [1] = (val >> 16) & 0xff;
1240 buf->p [2] = (val >> 8) & 0xff;
1241 buf->p [3] = (val >> 0) & 0xff;
1242 buf->p += 4;
1243 }
1244
1245 static inline void
1246 buffer_add_long (Buffer *buf, guint64 l)
1247 {
1248 buffer_add_int (buf, (l >> 32) & 0xffffffff);
1249 buffer_add_int (buf, (l >> 0) & 0xffffffff);
1250 }
1251
1252 static inline void
1253 buffer_add_id (Buffer *buf, int id)
1254 {
1255 buffer_add_int (buf, (guint64)id);
1256 }
1257
1258 static inline void
1259 buffer_add_data (Buffer *buf, guint8 *data, int len)
1260 {
1261 buffer_make_room (buf, len);
1262 memcpy (buf->p, data, len);
1263 buf->p += len;
1264 }
1265
1266 static inline void
1267 buffer_add_string (Buffer *buf, const char *str)
1268 {
1269 int len;
1270
1271 if (str == NULL) {
1272 buffer_add_int (buf, 0);
1273 } else {
1274 len = strlen (str);
1275 buffer_add_int (buf, len);
1276 buffer_add_data (buf, (guint8*)str, len);
1277 }
1278 }
1279
1280 static inline void
1281 buffer_free (Buffer *buf)
1282 {
1283 g_free (buf->buf);
1284 }
1285
1286 static gboolean
1287 send_packet (int command_set, int command, Buffer *data)
1288 {
1289 Buffer buf;
1290 int len, id;
1291 gboolean res;
1292
1293 id = InterlockedIncrement (&packet_id);
1294
1295 len = data->p - data->buf + 11;
1296 buffer_init (&buf, len);
1297 buffer_add_int (&buf, len);
1298 buffer_add_int (&buf, id);
1299 buffer_add_byte (&buf, 0); /* flags */
1300 buffer_add_byte (&buf, command_set);
1301 buffer_add_byte (&buf, command);
1302 memcpy (buf.buf + 11, data->buf, data->p - data->buf);
1303
1304 res = transport_send (buf.buf, len);
1305
1306 buffer_free (&buf);
1307
1308 return res;
1309 }
1310
1311 static gboolean
1312 send_reply_packet (int id, int error, Buffer *data)
1313 {
1314 Buffer buf;
1315 int len;
1316 gboolean res;
1317
1318 len = data->p - data->buf + 11;
1319 buffer_init (&buf, len);
1320 buffer_add_int (&buf, len);
1321 buffer_add_int (&buf, id);
1322 buffer_add_byte (&buf, 0x80); /* flags */
1323 buffer_add_byte (&buf, (error >> 8) & 0xff);
1324 buffer_add_byte (&buf, error);
1325 memcpy (buf.buf + 11, data->buf, data->p - data->buf);
1326
1327 res = transport_send (buf.buf, len);
1328
1329 buffer_free (&buf);
1330
1331 return res;
1332 }
1333
1334 /*
1335 * OBJECT IDS
1336 */
1337
1338 /*
1339 * Represents an object accessible by the debugger client.
1340 */
1341 typedef struct {
1342 /* Unique id used in the wire protocol to refer to objects */
1343 int id;
1344 /*
1345 * A weakref gc handle pointing to the object. The gc handle is used to
1346 * detect if the object was garbage collected.
1347 */
1348 guint32 handle;
1349 } ObjRef;
1350
1351 /* Maps objid -> ObjRef */
1352 static GHashTable *objrefs;
1353
1354 static void
1355 free_objref (gpointer value)
1356 {
1357 ObjRef *o = value;
1358
1359 mono_gchandle_free (o->handle);
1360
1361 g_free (o);
1362 }
1363
1364 static void
1365 objrefs_init (void)
1366 {
1367 objrefs = g_hash_table_new_full (NULL, NULL, NULL, free_objref);
1368 }
1369
1370 static void
1371 objrefs_cleanup (void)
1372 {
1373 g_hash_table_destroy (objrefs);
1374 objrefs = NULL;
1375 }
1376
1377 static GHashTable *obj_to_objref;
1378
1379 /*
1380 * Return an ObjRef for OBJ.
1381 */
1382 static ObjRef*
1383 get_objref (MonoObject *obj)
1384 {
1385 ObjRef *ref;
1386
1387 if (obj == NULL)
1388 return 0;
1389
1390 #ifdef HAVE_SGEN_GC
1391 NOT_IMPLEMENTED;
1392 #endif
1393
1394 /* Use a hash table with masked pointers to internalize object references */
1395 /* FIXME: This can grow indefinitely */
1396 mono_loader_lock ();
1397
1398 if (!obj_to_objref)
1399 obj_to_objref = g_hash_table_new (NULL, NULL);
1400
1401 ref = g_hash_table_lookup (obj_to_objref, GINT_TO_POINTER (~((gsize)obj)));
1402 /* ref might refer to a different object with the same addr which was GCd */
1403 if (ref && mono_gchandle_get_target (ref->handle) == obj) {
1404 mono_loader_unlock ();
1405 return ref;
1406 }
1407
1408 ref = g_new0 (ObjRef, 1);
1409 ref->id = InterlockedIncrement (&objref_id);
1410 ref->handle = mono_gchandle_new_weakref (obj, FALSE);
1411
1412 g_hash_table_insert (objrefs, GINT_TO_POINTER (ref->id), ref);
1413 g_hash_table_insert (obj_to_objref, GINT_TO_POINTER (~((gsize)obj)), ref);
1414
1415 mono_loader_unlock ();
1416
1417 return ref;
1418 }
1419
1420 static inline int
1421 get_objid (MonoObject *obj)
1422 {
1423 return get_objref (obj)->id;
1424 }
1425
1426 /*
1427 * Set OBJ to the object identified by OBJID.
1428 * Returns 0 or an error code if OBJID is invalid or the object has been garbage
1429 * collected.
1430 */
1431 static ErrorCode
1432 get_object_allow_null (int objid, MonoObject **obj)
1433 {
1434 ObjRef *ref;
1435
1436 if (objid == 0) {
1437 *obj = NULL;
1438 return 0;
1439 }
1440
1441 if (!objrefs)
1442 return ERR_INVALID_OBJECT;
1443
1444 mono_loader_lock ();
1445
1446 ref = g_hash_table_lookup (objrefs, GINT_TO_POINTER (objid));
1447
1448 if (ref) {
1449 *obj = mono_gchandle_get_target (ref->handle);
1450 mono_loader_unlock ();
1451 if (!(*obj))
1452 return ERR_INVALID_OBJECT;
1453 return 0;
1454 } else {
1455 mono_loader_unlock ();
1456 return ERR_INVALID_OBJECT;
1457 }
1458 }
1459
1460 static ErrorCode
1461 get_object (int objid, MonoObject **obj)
1462 {
1463 int err = get_object_allow_null (objid, obj);
1464
1465 if (err)
1466 return err;
1467 if (!(*obj))
1468 return ERR_INVALID_OBJECT;
1469 return 0;
1470 }
1471
1472 static inline int
1473 decode_objid (guint8 *buf, guint8 **endbuf, guint8 *limit)
1474 {
1475 return decode_id (buf, endbuf, limit);
1476 }
1477
1478 static inline void
1479 buffer_add_objid (Buffer *buf, MonoObject *o)
1480 {
1481 buffer_add_id (buf, get_objid (o));
1482 }
1483
1484 /*
1485 * IDS
1486 */
1487
1488 typedef enum {
1489 ID_ASSEMBLY = 0,
1490 ID_MODULE = 1,
1491 ID_TYPE = 2,
1492 ID_METHOD = 3,
1493 ID_FIELD = 4,
1494 ID_DOMAIN = 5,
1495 ID_PROPERTY = 6,
1496 ID_NUM
1497 } IdType;
1498
1499 /*
1500 * Represents a runtime structure accessible to the debugger client
1501 */
1502 typedef struct {
1503 /* Unique id used in the wire protocol */
1504 int id;
1505 /* Domain of the runtime structure, NULL if the domain was unloaded */
1506 MonoDomain *domain;
1507 union {
1508 gpointer val;
1509 MonoClass *klass;
1510 MonoMethod *method;
1511 MonoImage *image;
1512 MonoAssembly *assembly;
1513 MonoClassField *field;
1514 MonoDomain *domain;
1515 MonoProperty *property;
1516 } data;
1517 } Id;
1518
1519 typedef struct {
1520 /* Maps runtime structure -> Id */
1521 GHashTable *val_to_id [ID_NUM];
1522 } AgentDomainInfo;
1523
1524 /* Maps id -> Id */
1525 static GPtrArray *ids [ID_NUM];
1526
1527 static void
1528 ids_init (void)
1529 {
1530 int i;
1531
1532 for (i = 0; i < ID_NUM; ++i)
1533 ids [i] = g_ptr_array_new ();
1534 }
1535
1536 static void
1537 ids_cleanup (void)
1538 {
1539 int i, j;
1540
1541 for (i = 0; i < ID_NUM; ++i) {
1542 if (ids [i]) {
1543 for (j = 0; j < ids [i]->len; ++j)
1544 g_free (g_ptr_array_index (ids [i], j));
1545 g_ptr_array_free (ids [i], TRUE);
1546 }
1547 ids [i] = NULL;
1548 }
1549 }
1550
1551 void
1552 mono_debugger_agent_free_domain_info (MonoDomain *domain)
1553 {
1554 AgentDomainInfo *info = domain_jit_info (domain)->agent_info;
1555 int i, j;
1556
1557 if (info) {
1558 for (i = 0; i < ID_NUM; ++i)
1559 if (info->val_to_id [i])
1560 g_hash_table_destroy (info->val_to_id [i]);
1561 g_free (info);
1562 }
1563
1564 domain_jit_info (domain)->agent_info = NULL;
1565
1566 /* Clear ids referencing structures in the domain */
1567 for (i = 0; i < ID_NUM; ++i) {
1568 if (ids [i]) {
1569 for (j = 0; j < ids [i]->len; ++j) {
1570 Id *id = g_ptr_array_index (ids [i], j);
1571 if (id->domain == domain)
1572 id->domain = NULL;
1573 }
1574 }
1575 }
1576 }
1577
1578 static int
1579 get_id (MonoDomain *domain, IdType type, gpointer val)
1580 {
1581 Id *id;
1582 AgentDomainInfo *info;
1583
1584 if (val == NULL)
1585 return 0;
1586
1587 mono_loader_lock ();
1588
1589 mono_domain_lock (domain);
1590
1591 if (!domain_jit_info (domain)->agent_info)
1592 domain_jit_info (domain)->agent_info = g_new0 (AgentDomainInfo, 1);
1593 info = domain_jit_info (domain)->agent_info;
1594 if (info->val_to_id [type] == NULL)
1595 info->val_to_id [type] = g_hash_table_new (mono_aligned_addr_hash, NULL);
1596
1597 id = g_hash_table_lookup (info->val_to_id [type], val);
1598 if (id) {
1599 mono_domain_unlock (domain);
1600 mono_loader_unlock ();
1601 return id->id;
1602 }
1603
1604 id = g_new0 (Id, 1);
1605 /* Reserve id 0 */
1606 id->id = ids [type]->len + 1;
1607 id->domain = domain;
1608 id->data.val = val;
1609
1610 g_hash_table_insert (info->val_to_id [type], val, id);
1611
1612 mono_domain_unlock (domain);
1613
1614 g_ptr_array_add (ids [type], id);
1615
1616 mono_loader_unlock ();
1617
1618 return id->id;
1619 }
1620
1621 static inline gpointer
1622 decode_ptr_id (guint8 *buf, guint8 **endbuf, guint8 *limit, IdType type, MonoDomain **domain, int *err)
1623 {
1624 Id *res;
1625
1626 int id = decode_id (buf, endbuf, limit);
1627
1628 *err = 0;
1629 if (domain)
1630 *domain = NULL;
1631
1632 if (id == 0)
1633 return NULL;
1634
1635 // FIXME: error handling
1636 mono_loader_lock ();
1637 g_assert (id > 0 && id <= ids [type]->len);
1638
1639 res = g_ptr_array_index (ids [type], GPOINTER_TO_INT (id - 1));
1640 mono_loader_unlock ();
1641
1642 if (res->domain == NULL) {
1643 *err = ERR_UNLOADED;
1644 return NULL;
1645 }
1646
1647 if (domain)
1648 *domain = res->domain;
1649
1650 return res->data.val;
1651 }
1652
1653 static inline void
1654 buffer_add_ptr_id (Buffer *buf, MonoDomain *domain, IdType type, gpointer val)
1655 {
1656 buffer_add_id (buf, get_id (domain, type, val));
1657 }
1658
1659 static inline MonoClass*
1660 decode_typeid (guint8 *buf, guint8 **endbuf, guint8 *limit, MonoDomain **domain, int *err)
1661 {
1662 return decode_ptr_id (buf, endbuf, limit, ID_TYPE, domain, err);
1663 }
1664
1665 static inline MonoAssembly*
1666 decode_assemblyid (guint8 *buf, guint8 **endbuf, guint8 *limit, MonoDomain **domain, int *err)
1667 {
1668 return decode_ptr_id (buf, endbuf, limit, ID_ASSEMBLY, domain, err);
1669 }
1670
1671 static inline MonoImage*
1672 decode_moduleid (guint8 *buf, guint8 **endbuf, guint8 *limit, MonoDomain **domain, int *err)
1673 {
1674 return decode_ptr_id (buf, endbuf, limit, ID_MODULE, domain, err);
1675 }
1676
1677 static inline MonoMethod*
1678 decode_methodid (guint8 *buf, guint8 **endbuf, guint8 *limit, MonoDomain **domain, int *err)
1679 {
1680 return decode_ptr_id (buf, endbuf, limit, ID_METHOD, domain, err);
1681 }
1682
1683 static inline MonoClassField*
1684 decode_fieldid (guint8 *buf, guint8 **endbuf, guint8 *limit, MonoDomain **domain, int *err)
1685 {
1686 return decode_ptr_id (buf, endbuf, limit, ID_FIELD, domain, err);
1687 }
1688
1689 static inline MonoDomain*
1690 decode_domainid (guint8 *buf, guint8 **endbuf, guint8 *limit, MonoDomain **domain, int *err)
1691 {
1692 return decode_ptr_id (buf, endbuf, limit, ID_DOMAIN, domain, err);
1693 }
1694
1695 static inline MonoProperty*
1696 decode_propertyid (guint8 *buf, guint8 **endbuf, guint8 *limit, MonoDomain **domain, int *err)
1697 {
1698 return decode_ptr_id (buf, endbuf, limit, ID_PROPERTY, domain, err);
1699 }
1700
1701 static inline void
1702 buffer_add_typeid (Buffer *buf, MonoDomain *domain, MonoClass *klass)
1703 {
1704 buffer_add_ptr_id (buf, domain, ID_TYPE, klass);
1705 }
1706
1707 static inline void
1708 buffer_add_methodid (Buffer *buf, MonoDomain *domain, MonoMethod *method)
1709 {
1710 buffer_add_ptr_id (buf, domain, ID_METHOD, method);
1711 }
1712
1713 static inline void
1714 buffer_add_assemblyid (Buffer *buf, MonoDomain *domain, MonoAssembly *assembly)
1715 {
1716 buffer_add_ptr_id (buf, domain, ID_ASSEMBLY, assembly);
1717 }
1718
1719 static inline void
1720 buffer_add_moduleid (Buffer *buf, MonoDomain *domain, MonoImage *image)
1721 {
1722 buffer_add_ptr_id (buf, domain, ID_MODULE, image);
1723 }
1724
1725 static inline void
1726 buffer_add_fieldid (Buffer *buf, MonoDomain *domain, MonoClassField *field)
1727 {
1728 buffer_add_ptr_id (buf, domain, ID_FIELD, field);
1729 }
1730
1731 static inline void
1732 buffer_add_propertyid (Buffer *buf, MonoDomain *domain, MonoProperty *property)
1733 {
1734 buffer_add_ptr_id (buf, domain, ID_PROPERTY, property);
1735 }
1736
1737 static inline void
1738 buffer_add_domainid (Buffer *buf, MonoDomain *domain)
1739 {
1740 buffer_add_ptr_id (buf, domain, ID_DOMAIN, domain);
1741 }
1742
1743 static void invoke_method (void);
1744
1745 /*
1746 * SUSPEND/RESUME
1747 */
1748
1749 /*
1750 * save_thread_context:
1751 *
1752 * Set CTX as the current threads context which is used for computing stack traces.
1753 * This function is signal-safe.
1754 */
1755 static void
1756 save_thread_context (MonoContext *ctx)
1757 {
1758 DebuggerTlsData *tls;
1759
1760 tls = TlsGetValue (debugger_tls_id);
1761 g_assert (tls);
1762
1763 if (ctx) {
1764 memcpy (&tls->ctx, ctx, sizeof (MonoContext));
1765 } else {
1766 #ifdef MONO_INIT_CONTEXT_FROM_CURRENT
1767 MONO_INIT_CONTEXT_FROM_CURRENT (&tls->ctx);
1768 #else
1769 MONO_INIT_CONTEXT_FROM_FUNC (&tls->ctx, save_thread_context);
1770 #endif
1771 }
1772
1773 tls->lmf = mono_get_lmf ();
1774 tls->domain = mono_domain_get ();
1775 tls->has_context = TRUE;
1776 }
1777
1778 /* The number of times the runtime is suspended */
1779 static gint32 suspend_count;
1780
1781 /* Number of threads suspended */
1782 /*
1783 * If this is equal to the size of thread_to_tls, the runtime is considered
1784 * suspended.
1785 */
1786 static gint32 threads_suspend_count;
1787
1788 static mono_mutex_t suspend_mutex;
1789
1790 /* Cond variable used to wait for suspend_count becoming 0 */
1791 static mono_cond_t suspend_cond;
1792
1793 /* Semaphore used to wait for a thread becoming suspended */
1794 static MonoSemType suspend_sem;
1795
1796 static void
1797 suspend_init (void)
1798 {
1799 mono_mutex_init (&suspend_mutex, NULL);
1800 mono_cond_init (&suspend_cond, NULL);
1801 MONO_SEM_INIT (&suspend_sem, 0);
1802 }
1803
1804 typedef struct
1805 {
1806 StackFrameInfo last_frame;
1807 gboolean last_frame_set;
1808 MonoContext ctx;
1809 gpointer lmf;
1810 } GetLastFrameUserData;
1811
1812 static gboolean
1813 get_last_frame (StackFrameInfo *info, MonoContext *ctx, gpointer user_data)
1814 {
1815 GetLastFrameUserData *data = user_data;
1816
1817 if (info->type == FRAME_TYPE_MANAGED_TO_NATIVE)
1818 return FALSE;
1819
1820 if (!data->last_frame_set) {
1821 /* Store the last frame */
1822 memcpy (&data->last_frame, info, sizeof (StackFrameInfo));
1823 data->last_frame_set = TRUE;
1824 return FALSE;
1825 } else {
1826 /* Store the context/lmf for the frame above the last frame */
1827 memcpy (&data->ctx, ctx, sizeof (MonoContext));
1828 data->lmf = info->lmf;
1829
1830 return TRUE;
1831 }
1832 }
1833
1834 /*
1835 * mono_debugger_agent_thread_interrupt:
1836 *
1837 * Called by the abort signal handler.
1838 * Should be signal safe.
1839 */
1840 gboolean
1841 mono_debugger_agent_thread_interrupt (void *sigctx, MonoJitInfo *ji)
1842 {
1843 DebuggerTlsData *tls;
1844
1845 if (!inited)
1846 return FALSE;
1847
1848 tls = TlsGetValue (debugger_tls_id);
1849 if (!tls)
1850 return FALSE;
1851
1852 /*
1853 * OSX can (and will) coalesce signals, so sending multiple pthread_kills does not
1854 * guarantee the signal handler will be called that many times. Instead of tracking
1855 * interrupt_count on osx, we use this as a boolean flag to determine if a interrupt
1856 * has been requested that hasn't been handled yet, otherwise we can have threads
1857 * refuse to die when VM_EXIT is called
1858 */
1859 #if defined(__APPLE__)
1860 if (InterlockedCompareExchange (&tls->interrupt_count, 0, 1) == 0)
1861 return FALSE;
1862 #else
1863 /*
1864 * We use interrupt_count to determine whenever this interrupt should be processed
1865 * by us or the normal interrupt processing code in the signal handler.
1866 * There is no race here with notify_thread (), since the signal is sent after
1867 * incrementing interrupt_count.
1868 */
1869 if (tls->interrupt_count == 0)
1870 return FALSE;
1871
1872 InterlockedDecrement (&tls->interrupt_count);
1873 #endif
1874
1875 // FIXME: Races when the thread leaves managed code before hitting a single step
1876 // event.
1877
1878 if (ji) {
1879 /* Running managed code, will be suspended by the single step code */
1880 DEBUG (1, printf ("[%p] Received interrupt while at %s(%p), continuing.\n", (gpointer)GetCurrentThreadId (), ji->method->name, mono_arch_ip_from_context (sigctx)));
1881 return TRUE;
1882 } else {
1883 /*
1884 * Running native code, will be suspended when it returns to/enters
1885 * managed code. Treat it as already suspended.
1886 * This might interrupt the code in process_single_step_inner (), we use the
1887 * tls->suspending flag to avoid races when that happens.
1888 */
1889 if (!tls->suspended && !tls->suspending) {
1890 MonoContext ctx;
1891 GetLastFrameUserData data;
1892
1893 // FIXME: printf is not signal safe, but this is only used during
1894 // debugger debugging
1895 DEBUG (1, printf ("[%p] Received interrupt while at %p, treating as suspended.\n", (gpointer)GetCurrentThreadId (), mono_arch_ip_from_context (sigctx)));
1896 //save_thread_context (&ctx);
1897
1898 if (!tls->thread)
1899 /* Already terminated */
1900 return TRUE;
1901
1902 /*
1903 * We are in a difficult position: we want to be able to provide stack
1904 * traces for this thread, but we can't use the current ctx+lmf, since
1905 * the thread is still running, so it might return to managed code,
1906 * making these invalid.
1907 * So we start a stack walk and save the first frame, along with the
1908 * parent frame's ctx+lmf. This (hopefully) works because the thread will be
1909 * suspended when it returns to managed code, so the parent's ctx should
1910 * remain valid.
1911 */
1912 data.last_frame_set = FALSE;
1913 if (sigctx) {
1914 mono_arch_sigctx_to_monoctx (sigctx, &ctx);
1915 mono_jit_walk_stack_from_ctx_in_thread (get_last_frame, mono_domain_get (), &ctx, FALSE, tls->thread, mono_get_lmf (), &data);
1916 }
1917 if (data.last_frame_set) {
1918 memcpy (&tls->async_last_frame, &data.last_frame, sizeof (StackFrameInfo));
1919 memcpy (&tls->async_ctx, &data.ctx, sizeof (MonoContext));
1920 tls->async_lmf = data.lmf;
1921 tls->has_async_ctx = TRUE;
1922 tls->domain = mono_domain_get ();
1923 memcpy (&tls->ctx, &ctx, sizeof (MonoContext));
1924 } else {
1925 tls->has_async_ctx = FALSE;
1926 }
1927
1928 mono_memory_barrier ();
1929
1930 tls->suspended = TRUE;
1931 MONO_SEM_POST (&suspend_sem);
1932 }
1933 return TRUE;
1934 }
1935 }
1936
1937 #ifdef HOST_WIN32
1938 static void CALLBACK notify_thread_apc (ULONG_PTR param)
1939 {
1940 //DebugBreak ();
1941 mono_debugger_agent_thread_interrupt (NULL, NULL);
1942 }
1943 #endif /* HOST_WIN32 */
1944
1945 /*
1946 * reset_native_thread_suspend_state:
1947 *
1948 * Reset the suspended flag on native threads
1949 */
1950 static void
1951 reset_native_thread_suspend_state (gpointer key, gpointer value, gpointer user_data)
1952 {
1953 DebuggerTlsData *tls = value;
1954
1955 if (!tls->really_suspended && tls->suspended)
1956 tls->suspended = FALSE;
1957 }
1958
1959 /*
1960 * notify_thread:
1961 *
1962 * Notify a thread that it needs to suspend.
1963 */
1964 static void
1965 notify_thread (gpointer key, gpointer value, gpointer user_data)
1966 {
1967 MonoInternalThread *thread = key;
1968 DebuggerTlsData *tls = value;
1969 gsize tid = thread->tid;
1970
1971 if (GetCurrentThreadId () == tid || tls->terminated)
1972 return;
1973
1974 DEBUG(1, fprintf (log_file, "[%p] Interrupting %p...\n", (gpointer)GetCurrentThreadId (), (gpointer)tid));
1975
1976 /*
1977 * OSX can (and will) coalesce signals, so sending multiple pthread_kills does not
1978 * guarantee the signal handler will be called that many times. Instead of tracking
1979 * interrupt_count on osx, we use this as a boolean flag to determine if a interrupt
1980 * has been requested that hasn't been handled yet, otherwise we can have threads
1981 * refuse to die when VM_EXIT is called
1982 */
1983 #if defined(__APPLE__)
1984 if (InterlockedCompareExchange (&tls->interrupt_count, 1, 0) == 1)
1985 return;
1986 #else
1987 /*
1988 * Maybe we could use the normal interrupt infrastructure, but that does a lot
1989 * of things like breaking waits etc. which we don't want.
1990 */
1991 InterlockedIncrement (&tls->interrupt_count);
1992 #endif
1993
1994 /* This is _not_ equivalent to ves_icall_System_Threading_Thread_Abort () */
1995 #ifdef HOST_WIN32
1996 QueueUserAPC (notify_thread_apc, thread->handle, NULL);
1997 #else
1998 pthread_kill ((pthread_t) tid, mono_thread_get_abort_signal ());
1999 #endif
2000 }
2001
2002 static void
2003 process_suspend (DebuggerTlsData *tls, MonoContext *ctx)
2004 {
2005 guint8 *ip = MONO_CONTEXT_GET_IP (ctx);
2006 MonoJitInfo *ji;
2007
2008 if (debugger_thread_id == GetCurrentThreadId ())
2009 return;
2010
2011 /* Prevent races with mono_debugger_agent_thread_interrupt () */
2012 if (suspend_count - tls->resume_count > 0)
2013 tls->suspending = TRUE;
2014
2015 DEBUG(1, fprintf (log_file, "[%p] Received single step event for suspending.\n", (gpointer)GetCurrentThreadId ()));
2016
2017 if (suspend_count - tls->resume_count == 0) {
2018 /*
2019 * We are executing a single threaded invoke but the single step for
2020 * suspending is still active.
2021 * FIXME: This slows down single threaded invokes.
2022 */
2023 DEBUG(1, fprintf (log_file, "[%p] Ignored during single threaded invoke.\n", (gpointer)GetCurrentThreadId ()));
2024 return;
2025 }
2026
2027 ji = mini_jit_info_table_find (mono_domain_get (), (char*)ip, NULL);
2028
2029 /* Can't suspend in these methods */
2030 if (ji->method->klass == mono_defaults.string_class && (!strcmp (ji->method->name, "memset") || strstr (ji->method->name, "memcpy")))
2031 return;
2032
2033 save_thread_context (ctx);
2034
2035 suspend_current ();
2036 }
2037
2038 /*
2039 * suspend_vm:
2040 *
2041 * Increase the suspend count of the VM. While the suspend count is greater
2042 * than 0, runtime threads are suspended at certain points during execution.
2043 */
2044 static void
2045 suspend_vm (void)
2046 {
2047 mono_loader_lock ();
2048
2049 mono_mutex_lock (&suspend_mutex);
2050
2051 suspend_count ++;
2052
2053 DEBUG(1, fprintf (log_file, "[%p] Suspending vm...\n", (gpointer)GetCurrentThreadId ()));
2054
2055 if (suspend_count == 1) {
2056 // FIXME: Is it safe to call this inside the lock ?
2057 start_single_stepping ();
2058 mono_g_hash_table_foreach (thread_to_tls, notify_thread, NULL);
2059 }
2060
2061 mono_mutex_unlock (&suspend_mutex);
2062
2063 mono_loader_unlock ();
2064 }
2065
2066 /*
2067 * resume_vm:
2068 *
2069 * Decrease the suspend count of the VM. If the count reaches 0, runtime threads
2070 * are resumed.
2071 */
2072 static void
2073 resume_vm (void)
2074 {
2075 int err;
2076
2077 g_assert (debugger_thread_id == GetCurrentThreadId ());
2078
2079 mono_loader_lock ();
2080
2081 mono_mutex_lock (&suspend_mutex);
2082
2083 g_assert (suspend_count > 0);
2084 suspend_count --;
2085
2086 DEBUG(1, fprintf (log_file, "[%p] Resuming vm...\n", (gpointer)GetCurrentThreadId ()));
2087
2088 if (suspend_count == 0) {
2089 // FIXME: Is it safe to call this inside the lock ?
2090 stop_single_stepping ();
2091 mono_g_hash_table_foreach (thread_to_tls, reset_native_thread_suspend_state, NULL);
2092 }
2093
2094 /* Signal this even when suspend_count > 0, since some threads might have resume_count > 0 */
2095 err = mono_cond_broadcast (&suspend_cond);
2096 g_assert (err == 0);
2097
2098 mono_mutex_unlock (&suspend_mutex);
2099 //g_assert (err == 0);
2100
2101 mono_loader_unlock ();
2102 }
2103
2104 /*
2105 * resume_thread:
2106 *
2107 * Resume just one thread.
2108 */
2109 static void
2110 resume_thread (MonoInternalThread *thread)
2111 {
2112 int err;
2113 DebuggerTlsData *tls;
2114
2115 g_assert (debugger_thread_id == GetCurrentThreadId ());
2116
2117 mono_loader_lock ();
2118
2119 tls = mono_g_hash_table_lookup (thread_to_tls, thread);
2120 g_assert (tls);
2121
2122 mono_mutex_lock (&suspend_mutex);
2123
2124 g_assert (suspend_count > 0);
2125
2126 DEBUG(1, fprintf (log_file, "[%p] Resuming thread...\n", (gpointer)(gssize)thread->tid));
2127
2128 tls->resume_count += suspend_count;
2129
2130 /*
2131 * Signal suspend_count without decreasing suspend_count, the threads will wake up
2132 * but only the one whose resume_count field is > 0 will be resumed.
2133 */
2134 err = mono_cond_broadcast (&suspend_cond);
2135 g_assert (err == 0);
2136
2137 mono_mutex_unlock (&suspend_mutex);
2138 //g_assert (err == 0);
2139
2140 mono_loader_unlock ();
2141 }
2142
2143 static void
2144 invalidate_frames (DebuggerTlsData *tls)
2145 {
2146 int i;
2147
2148 if (!tls)
2149 tls = TlsGetValue (debugger_tls_id);
2150 g_assert (tls);
2151
2152 for (i = 0; i < tls->frame_count; ++i) {
2153 if (tls->frames [i]->jit)
2154 mono_debug_free_method_jit_info (tls->frames [i]->jit);
2155 g_free (tls->frames [i]);
2156 }
2157 g_free (tls->frames);
2158 tls->frame_count = 0;
2159 tls->frames = NULL;
2160 }
2161
2162 /*
2163 * suspend_current:
2164 *
2165 * Suspend the current thread until the runtime is resumed. If the thread has a
2166 * pending invoke, then the invoke is executed before this function returns.
2167 */
2168 static void
2169 suspend_current (void)
2170 {
2171 int err;
2172 DebuggerTlsData *tls;
2173
2174 g_assert (debugger_thread_id != GetCurrentThreadId ());
2175
2176 if (mono_loader_lock_is_owned_by_self ()) {
2177 /*
2178 * If we own the loader mutex, can't suspend until we release it, since the
2179 * whole runtime can deadlock otherwise.
2180 */
2181 return;
2182 }
2183
2184 tls = TlsGetValue (debugger_tls_id);
2185 g_assert (tls);
2186
2187 mono_mutex_lock (&suspend_mutex);
2188
2189 tls->suspending = FALSE;
2190 tls->really_suspended = TRUE;
2191
2192 if (!tls->suspended) {
2193 tls->suspended = TRUE;
2194 MONO_SEM_POST (&suspend_sem);
2195 }
2196
2197 DEBUG(1, fprintf (log_file, "[%p] Suspended.\n", (gpointer)GetCurrentThreadId ()));
2198
2199 while (suspend_count - tls->resume_count > 0) {
2200 #ifdef HOST_WIN32
2201 if (WAIT_TIMEOUT == WaitForSingleObject(suspend_cond, 0))
2202 {
2203 mono_mutex_unlock (&suspend_mutex);
2204 Sleep(0);
2205 mono_mutex_lock (&suspend_mutex);
2206 }
2207 else
2208 {
2209 }
2210 #else
2211 err = mono_cond_wait (&suspend_cond, &suspend_mutex);
2212 g_assert (err == 0);
2213 #endif
2214 }
2215
2216 tls->suspended = FALSE;
2217 tls->really_suspended = FALSE;
2218
2219 threads_suspend_count --;
2220
2221 mono_mutex_unlock (&suspend_mutex);
2222
2223 DEBUG(1, fprintf (log_file, "[%p] Resumed.\n", (gpointer)GetCurrentThreadId ()));
2224
2225 if (tls->pending_invoke) {
2226 /* Save the original context */
2227 tls->pending_invoke->has_ctx = TRUE;
2228 memcpy (&tls->pending_invoke->ctx, &tls->ctx, sizeof (MonoContext));
2229
2230 invoke_method ();
2231 }
2232
2233 /* The frame info becomes invalid after a resume */
2234 tls->has_context = FALSE;
2235 tls->has_async_ctx = FALSE;
2236 invalidate_frames (NULL);
2237 }
2238
2239 static void
2240 count_thread (gpointer key, gpointer value, gpointer user_data)
2241 {
2242 DebuggerTlsData *tls = value;
2243
2244 if (!tls->suspended && !tls->terminated)
2245 *(int*)user_data = *(int*)user_data + 1;
2246 }
2247
2248 static int
2249 count_threads_to_wait_for (void)
2250 {
2251 int count = 0;
2252
2253 mono_loader_lock ();
2254 mono_g_hash_table_foreach (thread_to_tls, count_thread, &count);
2255 mono_loader_unlock ();
2256
2257 return count;
2258 }
2259
2260 /*
2261 * wait_for_suspend:
2262 *
2263 * Wait until the runtime is completely suspended.
2264 */
2265 static void
2266 wait_for_suspend (void)
2267 {
2268 int nthreads, nwait, err;
2269 gboolean waited = FALSE;
2270
2271 // FIXME: Threads starting/stopping ?
2272 mono_loader_lock ();
2273 nthreads = mono_g_hash_table_size (thread_to_tls);
2274 mono_loader_unlock ();
2275
2276 while (TRUE) {
2277 nwait = count_threads_to_wait_for ();
2278 if (nwait) {
2279 DEBUG(1, fprintf (log_file, "Waiting for %d(%d) threads to suspend...\n", nwait, nthreads));
2280 err = MONO_SEM_WAIT (&suspend_sem);
2281 g_assert (err == 0);
2282 waited = TRUE;
2283 } else {
2284 break;
2285 }
2286 }
2287
2288 if (waited)
2289 DEBUG(1, fprintf (log_file, "%d threads suspended.\n", nthreads));
2290 }
2291
2292 /*
2293 * is_suspended:
2294 *
2295 * Return whenever the runtime is suspended.
2296 */
2297 static gboolean
2298 is_suspended (void)
2299 {
2300 return count_threads_to_wait_for () == 0;
2301 }
2302
2303 /*
2304 * find_seq_point_for_native_offset:
2305 *
2306 * Find the sequence point corresponding to the native offset NATIVE_OFFSET, which
2307 * should be the location of a sequence point.
2308 */
2309 static SeqPoint*
2310 find_seq_point_for_native_offset (MonoDomain *domain, MonoMethod *method, gint32 native_offset, MonoSeqPointInfo **info)
2311 {
2312 MonoSeqPointInfo *seq_points;
2313 int i;
2314
2315 mono_domain_lock (domain);
2316 seq_points = g_hash_table_lookup (domain_jit_info (domain)->seq_points, method);
2317 mono_domain_unlock (domain);
2318 g_assert (seq_points);
2319
2320 *info = seq_points;
2321
2322 for (i = 0; i < seq_points->len; ++i) {
2323 if (seq_points->seq_points [i].native_offset == native_offset)
2324 return &seq_points->seq_points [i];
2325 }
2326
2327 return NULL;
2328 }
2329
2330 /*
2331 * find_seq_point:
2332 *
2333 * Find the sequence point corresponding to the IL offset IL_OFFSET, which
2334 * should be the location of a sequence point.
2335 */
2336 static SeqPoint*
2337 find_seq_point (MonoDomain *domain, MonoMethod *method, gint32 il_offset, MonoSeqPointInfo **info)
2338 {
2339 MonoSeqPointInfo *seq_points;
2340 int i;
2341
2342 mono_domain_lock (domain);
2343 seq_points = g_hash_table_lookup (domain_jit_info (domain)->seq_points, method);
2344 mono_domain_unlock (domain);
2345 g_assert (seq_points);
2346
2347 *info = seq_points;
2348
2349 for (i = 0; i < seq_points->len; ++i) {
2350 if (seq_points->seq_points [i].il_offset == il_offset)
2351 return &seq_points->seq_points [i];
2352 }
2353
2354 return NULL;
2355 }
2356
2357 /*
2358 * compute_il_offset:
2359 *
2360 * Compute the IL offset corresponding to NATIVE_OFFSET, which should be
2361 * a location of a sequence point.
2362 * We use this function instead of mono_debug_il_offset_from_address () etc,
2363 * which doesn't seem to work in a lot of cases.
2364 */
2365 static gint32
2366 compute_il_offset (MonoDomain *domain, MonoMethod *method, gint32 native_offset)
2367 {
2368 MonoSeqPointInfo *seq_points;
2369 int i, last_il_offset, seq_il_offset, seq_native_offset;
2370
2371 mono_domain_lock (domain);
2372 seq_points = g_hash_table_lookup (domain_jit_info (domain)->seq_points, method);
2373 mono_domain_unlock (domain);
2374 g_assert (seq_points);
2375
2376 last_il_offset = -1;
2377
2378 /* Find the sequence point */
2379 for (i = 0; i < seq_points->len; ++i) {
2380 seq_il_offset = seq_points->seq_points [i].il_offset;
2381 seq_native_offset = seq_points->seq_points [i].native_offset;
2382
2383 if (seq_native_offset > native_offset)
2384 break;
2385 last_il_offset = seq_il_offset;
2386 }
2387
2388 return last_il_offset;
2389 }
2390
2391 typedef struct {
2392 DebuggerTlsData *tls;
2393 GSList *frames;
2394 } ComputeFramesUserData;
2395
2396 static gboolean
2397 process_frame (StackFrameInfo *info, MonoContext *ctx, gpointer user_data)
2398 {
2399 ComputeFramesUserData *ud = user_data;
2400 StackFrame *frame;
2401 MonoMethod *method;
2402
2403 if (info->type != FRAME_TYPE_MANAGED) {
2404 if (info->type == FRAME_TYPE_DEBUGGER_INVOKE) {
2405 /* Mark the last frame as an invoke frame */
2406 if (ud->frames)
2407 ((StackFrame*)g_slist_last (ud->frames)->data)->flags |= FRAME_FLAG_DEBUGGER_INVOKE;
2408 }
2409 return FALSE;
2410 }
2411
2412 if (info->ji)
2413 method = info->ji->method;
2414 else
2415 method = info->method;
2416
2417 if (!method || (method->wrapper_type && method->wrapper_type != MONO_WRAPPER_DYNAMIC_METHOD))
2418 return FALSE;
2419
2420 if (info->il_offset == -1) {
2421 /* Can't use compute_il_offset () since ip doesn't point precisely at at a seq point */
2422 info->il_offset = mono_debug_il_offset_from_address (method, info->domain, info->native_offset);
2423 }
2424
2425 DEBUG (1, fprintf (log_file, "\tFrame: %s %d %d %d\n", mono_method_full_name (method, TRUE), info->native_offset, info->il_offset, info->managed));
2426
2427 if (!info->managed && method->wrapper_type != MONO_WRAPPER_DYNAMIC_METHOD) {
2428 /*
2429 * mono_arch_find_jit_info () returns the context stored in the LMF for
2430 * native frames, but it should unwind once. This is why we have duplicate
2431 * frames on the stack sometimes.
2432 * !managed also seems to be set for dynamic methods.
2433 */
2434 return FALSE;
2435 }
2436
2437 frame = g_new0 (StackFrame, 1);
2438 frame->method = method;
2439 frame->il_offset = info->il_offset;
2440 if (ctx) {
2441 frame->ctx = *ctx;
2442 frame->has_ctx = TRUE;
2443 }
2444 frame->domain = info->domain;
2445
2446 ud->frames = g_slist_append (ud->frames, frame);
2447
2448 return FALSE;
2449 }
2450
2451 static void
2452 compute_frame_info (MonoInternalThread *thread, DebuggerTlsData *tls)
2453 {
2454 ComputeFramesUserData user_data;
2455 GSList *tmp;
2456 int i, findex, new_frame_count;
2457 StackFrame **new_frames, *f;
2458
2459 // FIXME: Locking on tls
2460 if (tls->frames && tls->frames_up_to_date)
2461 return;
2462
2463 DEBUG(1, fprintf (log_file, "Frames for %p(tid=%lx):\n", thread, (glong)thread->tid));
2464
2465 user_data.tls = tls;
2466 user_data.frames = NULL;
2467 if (tls->terminated) {
2468 tls->frame_count = 0;
2469 return;
2470 } if (!tls->really_suspended && tls->has_async_ctx) {
2471 /* Have to use the state saved by the signal handler */
2472 process_frame (&tls->async_last_frame, NULL, &user_data);
2473 mono_jit_walk_stack_from_ctx_in_thread (process_frame, tls->domain, &tls->async_ctx, FALSE, thread, tls->async_lmf, &user_data);
2474 } else if (tls->has_context) {
2475 mono_jit_walk_stack_from_ctx_in_thread (process_frame, tls->domain, &tls->ctx, FALSE, thread, tls->lmf, &user_data);
2476 } else {
2477 // FIXME:
2478 tls->frame_count = 0;
2479 return;
2480 }
2481
2482 new_frame_count = g_slist_length (user_data.frames);
2483 new_frames = g_new0 (StackFrame*, new_frame_count);
2484 findex = 0;
2485 for (tmp = user_data.frames; tmp; tmp = tmp->next) {
2486 f = tmp->data;
2487
2488 /*
2489 * Reuse the id for already existing stack frames, so invokes don't invalidate
2490 * the still valid stack frames.
2491 */
2492 for (i = 0; i < tls->frame_count; ++i) {
2493 if (MONO_CONTEXT_GET_SP (&tls->frames [i]->ctx) == MONO_CONTEXT_GET_SP (&f->ctx)) {
2494 f->id = tls->frames [i]->id;
2495 break;
2496 }
2497 }
2498
2499 if (i >= tls->frame_count)
2500 f->id = InterlockedIncrement (&frame_id);
2501
2502 new_frames [findex ++] = f;
2503 }
2504
2505 g_slist_free (user_data.frames);
2506
2507 invalidate_frames (tls);
2508
2509 tls->frames = new_frames;
2510 tls->frame_count = new_frame_count;
2511 tls->frames_up_to_date = TRUE;
2512 }
2513
2514 /*
2515 * EVENT HANDLING
2516 */
2517
2518 /*
2519 * create_event_list:
2520 *
2521 * Return a list of event request ids matching EVENT, starting from REQS, which
2522 * can be NULL to include all event requests. Set SUSPEND_POLICY to the suspend
2523 * policy.
2524 * We return request ids, instead of requests, to simplify threading, since
2525 * requests could be deleted anytime when the loader lock is not held.
2526 * LOCKING: Assumes the loader lock is held.
2527 */
2528 static GSList*
2529 create_event_list (EventKind event, GPtrArray *reqs, MonoJitInfo *ji, EventInfo *ei, int *suspend_policy)
2530 {
2531 int i, j;
2532 GSList *events = NULL;
2533
2534 *suspend_policy = SUSPEND_POLICY_NONE;
2535
2536 if (!reqs)
2537 reqs = event_requests;
2538
2539 if (!reqs)
2540 return NULL;
2541
2542 for (i = 0; i < reqs->len; ++i) {
2543 EventRequest *req = g_ptr_array_index (reqs, i);
2544 if (req->event_kind == event) {
2545 gboolean filtered = FALSE;
2546
2547 /* Apply filters */
2548 for (j = 0; j < req->nmodifiers; ++j) {
2549 Modifier *mod = &req->modifiers [j];
2550
2551 if (mod->kind == MOD_KIND_COUNT) {
2552 filtered = TRUE;
2553 if (mod->data.count > 0) {
2554 if (mod->data.count > 0) {
2555 mod->data.count --;
2556 if (mod->data.count == 0)
2557 filtered = FALSE;
2558 }
2559 }
2560 } else if (mod->kind == MOD_KIND_THREAD_ONLY) {
2561 if (mod->data.thread != mono_thread_internal_current ())
2562 filtered = TRUE;
2563 } else if (mod->kind == MOD_KIND_EXCEPTION_ONLY && ei) {
2564 if (mod->data.exc_class && !mono_class_is_assignable_from (mod->data.exc_class, ei->exc->vtable->klass))
2565 filtered = TRUE;
2566 if (ei->caught && !mod->caught)
2567 filtered = TRUE;
2568 if (!ei->caught && !mod->uncaught)
2569 filtered = TRUE;
2570 } else if (mod->kind == MOD_KIND_ASSEMBLY_ONLY && ji) {
2571 int k;
2572 gboolean found = FALSE;
2573 MonoAssembly **assemblies = mod->data.assemblies;
2574
2575 if (assemblies) {
2576 for (k = 0; assemblies [k]; ++k)
2577 if (assemblies [k] == ji->method->klass->image->assembly)
2578 found = TRUE;
2579 }
2580 if (!found)
2581 filtered = TRUE;
2582 }
2583 }
2584
2585 if (!filtered) {
2586 *suspend_policy = MAX (*suspend_policy, req->suspend_policy);
2587 events = g_slist_append (events, GINT_TO_POINTER (req->id));
2588 }
2589 }
2590 }
2591
2592 /* Send a VM START/DEATH event by default */
2593 if (event == EVENT_KIND_VM_START)
2594 events = g_slist_append (events, GINT_TO_POINTER (0));
2595 if (event == EVENT_KIND_VM_DEATH)
2596 events = g_slist_append (events, GINT_TO_POINTER (0));
2597
2598 return events;
2599 }
2600
2601 static G_GNUC_UNUSED const char*
2602 event_to_string (EventKind event)
2603 {
2604 switch (event) {
2605 case EVENT_KIND_VM_START: return "VM_START";
2606 case EVENT_KIND_VM_DEATH: return "VM_DEATH";
2607 case EVENT_KIND_THREAD_START: return "THREAD_START";
2608 case EVENT_KIND_THREAD_DEATH: return "THREAD_DEATH";
2609 case EVENT_KIND_APPDOMAIN_CREATE: return "APPDOMAIN_CREATE";
2610 case EVENT_KIND_APPDOMAIN_UNLOAD: return "APPDOMAIN_UNLOAD";
2611 case EVENT_KIND_METHOD_ENTRY: return "METHOD_ENTRY";
2612 case EVENT_KIND_METHOD_EXIT: return "METHOD_EXIT";
2613 case EVENT_KIND_ASSEMBLY_LOAD: return "ASSEMBLY_LOAD";
2614 case EVENT_KIND_ASSEMBLY_UNLOAD: return "ASSEMBLY_UNLOAD";
2615 case EVENT_KIND_BREAKPOINT: return "BREAKPOINT";
2616 case EVENT_KIND_STEP: return "STEP";
2617 case EVENT_KIND_TYPE_LOAD: return "TYPE_LOAD";
2618 case EVENT_KIND_EXCEPTION: return "EXCEPTION";
2619 default:
2620 g_assert_not_reached ();
2621 }
2622 }
2623
2624 /*
2625 * process_event:
2626 *
2627 * Send an event to the client, suspending the vm if needed.
2628 * LOCKING: Since this can suspend the calling thread, no locks should be held
2629 * by the caller.
2630 * The EVENTS list is freed by this function.
2631 */
2632 static void
2633 process_event (EventKind event, gpointer arg, gint32 il_offset, MonoContext *ctx, GSList *events, int suspend_policy)
2634 {
2635 Buffer buf;
2636 GSList *l;
2637 MonoDomain *domain = mono_domain_get ();
2638 MonoThread *thread;
2639
2640 if (!inited)
2641 return;
2642
2643 if (!vm_start_event_sent && event != EVENT_KIND_VM_START)
2644 // FIXME: We miss those events
2645 return;
2646
2647 if (vm_death_event_sent)
2648 return;
2649
2650 if (mono_runtime_is_shutting_down () && event != EVENT_KIND_VM_DEATH)
2651 return;
2652
2653 if (disconnected)
2654 return;
2655
2656 if (events == NULL)
2657 return;
2658
2659 if (debugger_thread_id == GetCurrentThreadId () && event != EVENT_KIND_VM_DEATH)
2660 // FIXME: Send these with a NULL thread, don't suspend the current thread
2661 return;
2662
2663 buffer_init (&buf, 128);
2664 buffer_add_byte (&buf, suspend_policy);
2665 buffer_add_int (&buf, g_slist_length (events)); // n of events
2666
2667 for (l = events; l; l = l->next) {
2668 buffer_add_byte (&buf, event); // event kind
2669 buffer_add_int (&buf, GPOINTER_TO_INT (l->data)); // request id
2670
2671 thread = mono_thread_current ();
2672
2673 if (event == EVENT_KIND_VM_START)
2674 thread = arg;
2675 else if (event == EVENT_KIND_THREAD_START)
2676 g_assert (mono_thread_internal_current () == arg);
2677
2678 buffer_add_objid (&buf, (MonoObject*)thread); // thread
2679
2680 switch (event) {
2681 case EVENT_KIND_THREAD_START:
2682 case EVENT_KIND_THREAD_DEATH:
2683 break;
2684 case EVENT_KIND_APPDOMAIN_CREATE:
2685 case EVENT_KIND_APPDOMAIN_UNLOAD:
2686 buffer_add_domainid (&buf, arg);
2687 break;
2688 case EVENT_KIND_METHOD_ENTRY:
2689 case EVENT_KIND_METHOD_EXIT:
2690 buffer_add_methodid (&buf, domain, arg);
2691 break;
2692 case EVENT_KIND_ASSEMBLY_LOAD:
2693 case EVENT_KIND_ASSEMBLY_UNLOAD:
2694 buffer_add_assemblyid (&buf, domain, arg);
2695 break;
2696 case EVENT_KIND_TYPE_LOAD:
2697 buffer_add_typeid (&buf, domain, arg);
2698 break;
2699 case EVENT_KIND_BREAKPOINT:
2700 case EVENT_KIND_STEP:
2701 buffer_add_methodid (&buf, domain, arg);
2702 buffer_add_long (&buf, il_offset);
2703 break;
2704 case EVENT_KIND_VM_START:
2705 buffer_add_domainid (&buf, mono_get_root_domain ());
2706 break;
2707 case EVENT_KIND_VM_DEATH:
2708 break;
2709 case EVENT_KIND_EXCEPTION: {
2710 EventInfo *ei = arg;
2711 buffer_add_objid (&buf, ei->exc);
2712 break;
2713 }
2714 default:
2715 g_assert_not_reached ();
2716 }
2717 }
2718
2719 if (event == EVENT_KIND_VM_START) {
2720 suspend_policy = agent_config.suspend ? SUSPEND_POLICY_ALL : SUSPEND_POLICY_NONE;
2721 start_debugger_thread ();
2722 }
2723
2724 if (event == EVENT_KIND_VM_DEATH) {
2725 vm_death_event_sent = TRUE;
2726
2727 suspend_policy = SUSPEND_POLICY_NONE;
2728 }
2729
2730 if (mono_runtime_is_shutting_down ())
2731 suspend_policy = SUSPEND_POLICY_NONE;
2732
2733 if (suspend_policy != SUSPEND_POLICY_NONE) {
2734 /*
2735 * Save the thread context and start suspending before sending the packet,
2736 * since we could be receiving the resume request before send_packet ()
2737 * returns.
2738 */
2739 save_thread_context (ctx);
2740 suspend_vm ();
2741 }
2742
2743 send_packet (CMD_SET_EVENT, CMD_COMPOSITE, &buf);
2744
2745 g_slist_free (events);
2746 events = NULL;
2747
2748 if (event == EVENT_KIND_VM_START)
2749 vm_start_event_sent = TRUE;
2750
2751 DEBUG (1, fprintf (log_file, "[%p] Sent event %s, suspend=%d.\n", (gpointer)GetCurrentThreadId (), event_to_string (event), suspend_policy));
2752
2753 buffer_free (&buf);
2754
2755 switch (suspend_policy) {
2756 case SUSPEND_POLICY_NONE:
2757 break;
2758 case SUSPEND_POLICY_ALL:
2759 suspend_current ();
2760 break;
2761 case SUSPEND_POLICY_EVENT_THREAD:
2762 NOT_IMPLEMENTED;
2763 break;
2764 default:
2765 g_assert_not_reached ();
2766 }
2767 }
2768
2769 static void
2770 process_profiler_event (EventKind event, gpointer arg)
2771 {
2772 int suspend_policy;
2773 GSList *events;
2774
2775 mono_loader_lock ();
2776 events = create_event_list (event, NULL, NULL, NULL, &suspend_policy);
2777 mono_loader_unlock ();
2778
2779 process_event (event, arg, 0, NULL, events, suspend_policy);
2780 }
2781
2782 static void
2783 runtime_initialized (MonoProfiler *prof)
2784 {
2785 process_profiler_event (EVENT_KIND_VM_START, mono_thread_current ());
2786 }
2787
2788 static void
2789 runtime_shutdown (MonoProfiler *prof)
2790 {
2791 process_profiler_event (EVENT_KIND_VM_DEATH, mono_thread_current ());
2792
2793 mono_debugger_agent_cleanup ();
2794 }
2795
2796 static void
2797 thread_startup (MonoProfiler *prof, intptr_t tid)
2798 {
2799 MonoInternalThread *thread = mono_thread_internal_current ();
2800 MonoInternalThread *old_thread;
2801 DebuggerTlsData *tls;
2802
2803 if (tid == debugger_thread_id)
2804 return;
2805
2806 g_assert (thread->tid == tid);
2807
2808 mono_loader_lock ();
2809 old_thread = mono_g_hash_table_lookup (tid_to_thread, (gpointer)tid);
2810 mono_loader_unlock ();
2811 if (old_thread) {
2812 if (thread == old_thread) {
2813 /*
2814 * For some reason, thread_startup () might be called for the same thread
2815 * multiple times (attach ?).
2816 */
2817 DEBUG (1, fprintf (log_file, "[%p] thread_start () called multiple times for %p, ignored.\n", (gpointer)tid, (gpointer)tid));
2818 return;
2819 } else {
2820 /*
2821 * thread_end () might not be called for some threads, and the tid could
2822 * get reused.
2823 */
2824 DEBUG (1, fprintf (log_file, "[%p] Removing stale data for tid %p.\n", (gpointer)tid, (gpointer)tid));
2825 mono_loader_lock ();
2826 mono_g_hash_table_remove (thread_to_tls, old_thread);
2827 mono_g_hash_table_remove (tid_to_thread, (gpointer)tid);
2828 mono_g_hash_table_remove (tid_to_thread_obj, (gpointer)tid);
2829 mono_loader_unlock ();
2830 }
2831 }
2832
2833 tls = TlsGetValue (debugger_tls_id);
2834 g_assert (!tls);
2835 // FIXME: Free this somewhere
2836 tls = g_new0 (DebuggerTlsData, 1);
2837 tls->resume_event = CreateEvent (NULL, FALSE, FALSE, NULL);
2838 MONO_GC_REGISTER_ROOT (tls->thread);
2839 tls->thread = thread;
2840 TlsSetValue (debugger_tls_id, tls);
2841
2842 DEBUG (1, fprintf (log_file, "[%p] Thread started, obj=%p, tls=%p.\n", (gpointer)tid, thread, tls));
2843
2844 mono_loader_lock ();
2845 mono_g_hash_table_insert (thread_to_tls, thread, tls);
2846 mono_g_hash_table_insert (tid_to_thread, (gpointer)tid, thread);
2847 mono_g_hash_table_insert (tid_to_thread_obj, (gpointer)tid, mono_thread_current ());
2848 mono_loader_unlock ();
2849
2850 process_profiler_event (EVENT_KIND_THREAD_START, thread);
2851
2852 /*
2853 * suspend_vm () could have missed this thread, so wait for a resume.
2854 */
2855 suspend_current ();
2856 }
2857
2858 static void
2859 thread_end (MonoProfiler *prof, intptr_t tid)
2860 {
2861 MonoInternalThread *thread;
2862 DebuggerTlsData *tls = NULL;
2863
2864 mono_loader_lock ();
2865 thread = mono_g_hash_table_lookup (tid_to_thread, (gpointer)tid);
2866 if (thread) {
2867 tls = mono_g_hash_table_lookup (thread_to_tls, thread);
2868 /* FIXME: Maybe we need to free this instead, but some code can't handle that */
2869 tls->terminated = TRUE;
2870 mono_g_hash_table_remove (tid_to_thread_obj, (gpointer)tid);
2871 /* Can't remove from tid_to_thread, as that would defeat the check in thread_start () */
2872 MONO_GC_UNREGISTER_ROOT (tls->thread);
2873 tls->thread = NULL;
2874 }
2875 mono_loader_unlock ();
2876
2877 /* We might be called for threads started before we registered the start callback */
2878 if (thread) {
2879 DEBUG (1, fprintf (log_file, "[%p] Thread terminated, obj=%p, tls=%p.\n", (gpointer)tid, thread, tls));
2880 process_profiler_event (EVENT_KIND_THREAD_DEATH, thread);
2881 }
2882 }
2883
2884 static void
2885 appdomain_load (MonoProfiler *prof, MonoDomain *domain, int result)
2886 {
2887 process_profiler_event (EVENT_KIND_APPDOMAIN_CREATE, domain);
2888 }
2889
2890 static void
2891 appdomain_unload (MonoProfiler *prof, MonoDomain *domain)
2892 {
2893 /* Invalidate each thread's frame stack */
2894 mono_g_hash_table_foreach (thread_to_tls, invalidate_each_thread, NULL);
2895 process_profiler_event (EVENT_KIND_APPDOMAIN_UNLOAD, domain);
2896 }
2897
2898 /*
2899 * invalidate_each_thread:
2900 *
2901 * A GHFunc to invalidate frames.
2902 * value must be a DebuggerTlsData*
2903 */
2904 static void
2905 invalidate_each_thread (gpointer key, gpointer value, gpointer user_data)
2906 {
2907 invalidate_frames (value);
2908 }
2909
2910 static void
2911 assembly_load (MonoProfiler *prof, MonoAssembly *assembly, int result)
2912 {
2913 /* Sent later in jit_end () */
2914 mono_loader_lock ();
2915 g_ptr_array_add (pending_assembly_loads, assembly);
2916 mono_loader_unlock ();
2917 }
2918
2919 static void
2920 assembly_unload (MonoProfiler *prof, MonoAssembly *assembly)
2921 {
2922 process_profiler_event (EVENT_KIND_ASSEMBLY_UNLOAD, assembly);
2923
2924 clear_event_requests_for_assembly (assembly);
2925 }
2926
2927 static void
2928 start_runtime_invoke (MonoProfiler *prof, MonoMethod *method)
2929 {
2930 #if defined(HOST_WIN32) && !defined(__GNUC__)
2931 gpointer stackptr = ((guint64)_AddressOfReturnAddress () - sizeof (void*));
2932 #else
2933 gpointer stackptr = __builtin_frame_address (1);
2934 #endif
2935 MonoInternalThread *thread = mono_thread_internal_current ();
2936 DebuggerTlsData *tls;
2937
2938 mono_loader_lock ();
2939
2940 tls = mono_g_hash_table_lookup (thread_to_tls, thread);
2941 /* Could be the debugger thread with assembly/type load hooks */
2942 if (tls)
2943 tls->invoke_addr = stackptr;
2944
2945 mono_loader_unlock ();
2946 }
2947
2948 static void
2949 end_runtime_invoke (MonoProfiler *prof, MonoMethod *method)
2950 {
2951 int i;
2952 #if defined(HOST_WIN32) && !defined(__GNUC__)
2953 gpointer stackptr = ((guint64)_AddressOfReturnAddress () - sizeof (void*));
2954 #else
2955 gpointer stackptr = __builtin_frame_address (1);
2956 #endif
2957
2958 if (ss_req == NULL || stackptr != ss_invoke_addr || ss_req->thread != mono_thread_internal_current ())
2959 return;
2960
2961 /*
2962 * We need to stop single stepping when exiting a runtime invoke, since if it is
2963 * a step out, it may return to native code, and thus never end.
2964 */
2965 mono_loader_lock ();
2966 ss_invoke_addr = NULL;
2967
2968 for (i = 0; i < event_requests->len; ++i) {
2969 EventRequest *req = g_ptr_array_index (event_requests, i);
2970
2971 if (req->event_kind == EVENT_KIND_STEP) {
2972 ss_destroy (req->info);
2973 g_ptr_array_remove_index_fast (event_requests, i);
2974 g_free (req);
2975 break;
2976 }
2977 }
2978 mono_loader_unlock ();
2979 }
2980
2981 static void
2982 send_type_load (MonoClass *klass)
2983 {
2984 gboolean type_load = FALSE;
2985
2986 mono_loader_lock ();
2987 if (!g_hash_table_lookup (loaded_classes, klass)) {
2988 type_load = TRUE;
2989 g_hash_table_insert (loaded_classes, klass, klass);
2990 }
2991 mono_loader_unlock ();
2992 if (type_load)
2993 process_profiler_event (EVENT_KIND_TYPE_LOAD, klass);
2994 }
2995
2996 static void
2997 jit_end (MonoProfiler *prof, MonoMethod *method, MonoJitInfo *jinfo, int result)
2998 {
2999 /*
3000 * We emit type load events when the first method of the type is JITted,
3001 * since the class load profiler callbacks might be called with the
3002 * loader lock held. They could also occur in the debugger thread.
3003 * Same for assembly load events.
3004 */
3005 while (TRUE) {
3006 MonoAssembly *assembly = NULL;
3007
3008 // FIXME: Maybe store this in TLS so the thread of the event is correct ?
3009 mono_loader_lock ();
3010 if (pending_assembly_loads->len > 0) {
3011 assembly = g_ptr_array_index (pending_assembly_loads, 0);
3012 g_ptr_array_remove_index (pending_assembly_loads, 0);
3013 }
3014 mono_loader_unlock ();
3015
3016 if (assembly)
3017 process_profiler_event (EVENT_KIND_ASSEMBLY_LOAD, assembly);
3018 else
3019 break;
3020 }
3021
3022 if (!vm_start_event_sent) {
3023 /* Save these so they can be sent after the vm start event */
3024 mono_loader_lock ();
3025 g_ptr_array_add (pending_type_loads, method->klass);
3026 mono_loader_unlock ();
3027 } else {
3028 /* Send all pending type load events */
3029 MonoClass *klass;
3030 while (TRUE) {
3031 klass = NULL;
3032 mono_loader_lock ();
3033 if (pending_type_loads->len > 0) {
3034 klass = g_ptr_array_index (pending_type_loads, 0);
3035 g_ptr_array_remove_index (pending_type_loads, 0);
3036 }
3037 mono_loader_unlock ();
3038 if (klass)
3039 send_type_load (klass);
3040 else
3041 break;
3042 }
3043
3044 send_type_load (method->klass);
3045 }
3046
3047 if (!result)
3048 add_pending_breakpoints (method, jinfo);
3049 }
3050
3051 /*
3052 * BREAKPOINTS/SINGLE STEPPING
3053 */
3054
3055 /*
3056 * Contains information about an inserted breakpoint.
3057 */
3058 typedef struct {
3059 long il_offset, native_offset;
3060 guint8 *ip;
3061 MonoJitInfo *ji;
3062 } BreakpointInstance;
3063
3064 /*
3065 * Contains generic information about a breakpoint.
3066 */
3067 typedef struct {
3068 /*
3069 * The method where the breakpoint is placed. Can be NULL in which case it
3070 * is inserted into every method. This is used to implement method entry/
3071 * exit events. Can be a generic method definition, in which case the
3072 * breakpoint is inserted into every instance.
3073 */
3074 MonoMethod *method;
3075 long il_offset;
3076 EventRequest *req;
3077 /*
3078 * A list of BreakpointInstance structures describing where the breakpoint
3079 * was inserted. There could be more than one because of
3080 * generics/appdomains/method entry/exit.
3081 */
3082 GPtrArray *children;
3083 } MonoBreakpoint;
3084
3085 /* List of breakpoints */
3086 static GPtrArray *breakpoints;
3087 /* Maps breakpoint locations to the number of breakpoints at that location */
3088 static GHashTable *bp_locs;
3089
3090 static void
3091 breakpoints_init (void)
3092 {
3093 breakpoints = g_ptr_array_new ();
3094 bp_locs = g_hash_table_new (NULL, NULL);
3095 }
3096
3097 static void
3098 breakpoints_cleanup (void)
3099 {
3100 int i;
3101
3102 mono_loader_lock ();
3103
3104 for (i = 0; i < breakpoints->len; ++i)
3105 g_free (g_ptr_array_index (breakpoints, i));
3106
3107 g_ptr_array_free (breakpoints, TRUE);
3108 g_hash_table_destroy (bp_locs);
3109
3110 mono_loader_unlock ();
3111 }
3112
3113 /*
3114 * insert_breakpoint:
3115 *
3116 * Insert the breakpoint described by BP into the method described by
3117 * JI.
3118 */
3119 static void
3120 insert_breakpoint (MonoSeqPointInfo *seq_points, MonoJitInfo *ji, MonoBreakpoint *bp)
3121 {
3122 int i, count;
3123 gint32 il_offset = -1, native_offset;
3124 BreakpointInstance *inst;
3125
3126 native_offset = 0;
3127 for (i = 0; i < seq_points->len; ++i) {
3128 il_offset = seq_points->seq_points [i].il_offset;
3129 native_offset = seq_points->seq_points [i].native_offset;
3130
3131 if (il_offset == bp->il_offset)
3132 break;
3133 }
3134
3135 if (i == seq_points->len)
3136 /* Have to handle this somehow */
3137 NOT_IMPLEMENTED;
3138
3139 inst = g_new0 (BreakpointInstance, 1);
3140 inst->native_offset = native_offset;
3141 inst->ip = (guint8*)ji->code_start + native_offset;
3142 inst->ji = ji;
3143
3144 mono_loader_lock ();
3145
3146 g_ptr_array_add (bp->children, inst);
3147
3148 count = GPOINTER_TO_INT (g_hash_table_lookup (bp_locs, inst->ip));
3149 g_hash_table_insert (bp_locs, inst->ip, GINT_TO_POINTER (count + 1));
3150 mono_loader_unlock ();
3151
3152 if (count == 0) {
3153 #ifdef MONO_ARCH_SOFT_DEBUG_SUPPORTED
3154 mono_arch_set_breakpoint (ji, inst->ip);
3155 #else
3156 NOT_IMPLEMENTED;
3157 #endif
3158 }
3159
3160 DEBUG(1, fprintf (log_file, "[dbg] Inserted breakpoint at %s:0x%x.\n", mono_method_full_name (ji->method, TRUE), (int)il_offset));
3161 }
3162
3163 static void
3164 remove_breakpoint (BreakpointInstance *inst)
3165 {
3166 #ifdef MONO_ARCH_SOFT_DEBUG_SUPPORTED
3167 int count;
3168 MonoJitInfo *ji = inst->ji;
3169 guint8 *ip = inst->ip;
3170
3171 mono_loader_lock ();
3172 count = GPOINTER_TO_INT (g_hash_table_lookup (bp_locs, ip));
3173 g_hash_table_insert (bp_locs, ip, GINT_TO_POINTER (count - 1));
3174 mono_loader_unlock ();
3175
3176 g_assert (count > 0);
3177
3178 if (count == 1) {
3179 mono_arch_clear_breakpoint (ji, ip);
3180 }
3181 #else
3182 NOT_IMPLEMENTED;
3183 #endif
3184 }
3185
3186 static inline gboolean
3187 bp_matches_method (MonoBreakpoint *bp, MonoMethod *method)
3188 {
3189 return (!bp->method || method == bp->method || (method->is_inflated && ((MonoMethodInflated*)method)->declaring == bp->method));
3190 }
3191
3192 /*
3193 * add_pending_breakpoints:
3194 *
3195 * Insert pending breakpoints into the newly JITted method METHOD.
3196 */
3197 static void
3198 add_pending_breakpoints (MonoMethod *method, MonoJitInfo *ji)
3199 {
3200 int i, j;
3201 MonoSeqPointInfo *seq_points;
3202 MonoDomain *domain;
3203
3204 if (!breakpoints)
3205 return;
3206
3207 domain = mono_domain_get ();
3208
3209 mono_loader_lock ();
3210
3211 for (i = 0; i < breakpoints->len; ++i) {
3212 MonoBreakpoint *bp = g_ptr_array_index (breakpoints, i);
3213 gboolean found = FALSE;
3214
3215 if (!bp_matches_method (bp, method))
3216 continue;
3217
3218 for (j = 0; j < bp->children->len; ++j) {
3219 BreakpointInstance *inst = g_ptr_array_index (bp->children, j);
3220
3221 if (inst->ji == ji)
3222 found = TRUE;
3223 }
3224
3225 if (!found) {
3226 mono_domain_lock (domain);
3227 seq_points = g_hash_table_lookup (domain_jit_info (domain)->seq_points, ji->method);
3228 mono_domain_unlock (domain);
3229 if (!seq_points)
3230 /* Could be AOT code */
3231 continue;
3232 g_assert (seq_points);
3233
3234 insert_breakpoint (seq_points, ji, bp);
3235 }
3236 }
3237
3238 mono_loader_unlock ();
3239 }
3240
3241 static void
3242 set_bp_in_method (MonoDomain *domain, MonoMethod *method, MonoSeqPointInfo *seq_points, MonoBreakpoint *bp)
3243 {
3244 gpointer code;
3245 MonoJitInfo *ji;
3246
3247 code = mono_jit_find_compiled_method_with_jit_info (domain, method, &ji);
3248 if (!code) {
3249 /* Might be AOTed code */
3250 code = mono_aot_get_method (domain, method);
3251 g_assert (code);
3252 ji = mono_jit_info_table_find (domain, code);
3253 g_assert (ji);
3254 }
3255 g_assert (code);
3256
3257 insert_breakpoint (seq_points, ji, bp);
3258 }
3259
3260 static void
3261 set_bp_in_method_cb (gpointer key, gpointer value, gpointer user_data)
3262 {
3263 MonoMethod *method = key;
3264 MonoSeqPointInfo *seq_points = value;
3265 MonoBreakpoint *bp = user_data;
3266 MonoDomain *domain = mono_domain_get ();
3267
3268 if (bp_matches_method (bp, method))
3269 set_bp_in_method (domain, method, seq_points, bp);
3270 }
3271
3272 /*
3273 * set_breakpoint:
3274 *
3275 * Set a breakpoint at IL_OFFSET in METHOD.
3276 * METHOD can be NULL, in which case a breakpoint is placed in all methods.
3277 * METHOD can also be a generic method definition, in which case a breakpoint
3278 * is placed in all instances of the method.
3279 */
3280 static MonoBreakpoint*
3281 set_breakpoint (MonoMethod *method, long il_offset, EventRequest *req)
3282 {
3283 MonoDomain *domain;
3284 MonoBreakpoint *bp;
3285
3286 // FIXME:
3287 // - suspend/resume the vm to prevent code patching problems
3288 // - multiple breakpoints on the same location
3289 // - dynamic methods
3290 // - races
3291
3292 bp = g_new0 (MonoBreakpoint, 1);
3293 bp->method = method;
3294 bp->il_offset = il_offset;
3295 bp->req = req;
3296 bp->children = g_ptr_array_new ();
3297
3298 DEBUG(1, fprintf (log_file, "[dbg] Setting %sbreakpoint at %s:0x%x.\n", (req->event_kind == EVENT_KIND_STEP) ? "single step " : "", method ? mono_method_full_name (method, TRUE) : "<all>", (int)il_offset));
3299
3300 domain = mono_domain_get ();
3301 mono_domain_lock (domain);
3302 g_hash_table_foreach (domain_jit_info (domain)->seq_points, set_bp_in_method_cb, bp);
3303 mono_domain_unlock (domain);
3304
3305 mono_loader_lock ();
3306 g_ptr_array_add (breakpoints, bp);
3307 mono_loader_unlock ();
3308
3309 return bp;
3310 }
3311
3312 static void
3313 clear_breakpoint (MonoBreakpoint *bp)
3314 {
3315 int i;
3316
3317 // FIXME: locking, races
3318 for (i = 0; i < bp->children->len; ++i) {
3319 BreakpointInstance *inst = g_ptr_array_index (bp->children, i);
3320
3321 remove_breakpoint (inst);
3322
3323 g_free (inst);
3324 }
3325
3326 mono_loader_lock ();
3327 g_ptr_array_remove (breakpoints, bp);
3328 mono_loader_unlock ();
3329
3330 g_ptr_array_free (bp->children, TRUE);
3331 g_free (bp);
3332 }
3333
3334 static gboolean
3335 breakpoint_matches_assembly (MonoBreakpoint *bp, MonoAssembly *assembly)
3336 {
3337 return bp->method && bp->method->klass->image->assembly == assembly;
3338 }
3339
3340 static void
3341 process_breakpoint_inner (DebuggerTlsData *tls, MonoContext *ctx)
3342 {
3343 MonoJitInfo *ji;
3344 guint8 *orig_ip, *ip;
3345 int i, j, suspend_policy;
3346 guint32 native_offset;
3347 MonoBreakpoint *bp;
3348 BreakpointInstance *inst;
3349 GPtrArray *bp_reqs, *ss_reqs_orig, *ss_reqs;
3350 GSList *bp_events = NULL, *ss_events = NULL, *enter_leave_events = NULL;
3351 EventKind kind = EVENT_KIND_BREAKPOINT;
3352
3353 // FIXME: Speed this up
3354
3355 orig_ip = ip = MONO_CONTEXT_GET_IP (ctx);
3356 ji = mini_jit_info_table_find (mono_domain_get (), (char*)ip, NULL);
3357 g_assert (ji);
3358 g_assert (ji->method);
3359
3360 /* Compute the native offset of the breakpoint from the ip */
3361 #ifdef MONO_ARCH_SOFT_DEBUG_SUPPORTED
3362 ip = mono_arch_get_ip_for_breakpoint (ji, ctx);
3363 native_offset = ip - (guint8*)ji->code_start;
3364 #else
3365 NOT_IMPLEMENTED;
3366 #endif
3367
3368 /*
3369 * Skip the instruction causing the breakpoint signal.
3370 */
3371 mono_arch_skip_breakpoint (ctx);
3372
3373 if (ji->method->wrapper_type || tls->disable_breakpoints)
3374 return;
3375
3376 bp_reqs = g_ptr_array_new ();
3377 ss_reqs = g_ptr_array_new ();
3378 ss_reqs_orig = g_ptr_array_new ();
3379
3380 DEBUG(1, fprintf (log_file, "[%p] Breakpoint hit, method=%s, offset=0x%x.\n", (gpointer)GetCurrentThreadId (), ji->method->name, native_offset));
3381
3382 mono_loader_lock ();
3383
3384 bp = NULL;
3385 for (i = 0; i < breakpoints->len; ++i) {
3386 bp = g_ptr_array_index (breakpoints, i);
3387
3388 if (!bp->method)
3389 continue;
3390
3391 for (j = 0; j < bp->children->len; ++j) {
3392 inst = g_ptr_array_index (bp->children, j);
3393 if (inst->ji == ji && inst->native_offset == native_offset) {
3394 if (bp->req->event_kind == EVENT_KIND_STEP) {
3395 g_ptr_array_add (ss_reqs_orig, bp->req);
3396 } else {
3397 g_ptr_array_add (bp_reqs, bp->req);
3398 }
3399 }
3400 }
3401 }
3402 if (bp_reqs->len == 0 && ss_reqs_orig->len == 0) {
3403 MonoSeqPointInfo *seq_points;
3404 int seq_il_offset, seq_native_offset;
3405 MonoDomain *domain = mono_domain_get ();
3406
3407 /* Maybe a method entry/exit event */
3408 mono_domain_lock (domain);
3409 seq_points = g_hash_table_lookup (domain_jit_info (domain)->seq_points, ji->method);
3410 mono_domain_unlock (domain);
3411 if (!seq_points) {
3412 // FIXME: Generic sharing */
3413 mono_loader_unlock ();
3414 return;
3415 }
3416 g_assert (seq_points);
3417
3418 for (i = 0; i < seq_points->len; ++i) {
3419 seq_il_offset = seq_points->seq_points [i].il_offset;
3420 seq_native_offset = seq_points->seq_points [i].native_offset;
3421
3422 if (native_offset == seq_native_offset) {
3423 if (seq_il_offset == METHOD_ENTRY_IL_OFFSET)
3424 kind = EVENT_KIND_METHOD_ENTRY;
3425 else if (seq_il_offset == METHOD_EXIT_IL_OFFSET)
3426 kind = EVENT_KIND_METHOD_EXIT;
3427 break;
3428 }
3429 }
3430 }
3431
3432 /* Process single step requests */
3433 for (i = 0; i < ss_reqs_orig->len; ++i) {
3434 EventRequest *req = g_ptr_array_index (ss_reqs_orig, i);
3435 SingleStepReq *ss_req = bp->req->info;
3436 gboolean hit = TRUE;
3437 MonoSeqPointInfo *info;
3438 SeqPoint *sp;
3439
3440 sp = find_seq_point_for_native_offset (mono_domain_get (), ji->method, native_offset, &info);
3441 g_assert (sp);
3442
3443 if (ss_req->size == STEP_SIZE_LINE) {
3444 /* Have to check whenever a different source line was reached */
3445 MonoDebugMethodInfo *minfo;
3446 MonoDebugSourceLocation *loc = NULL;
3447
3448 minfo = mono_debug_lookup_method (ji->method);
3449
3450 if (minfo)
3451 loc = mono_debug_symfile_lookup_location (minfo, sp->il_offset);
3452
3453 if (!loc || (loc && ji->method == ss_req->last_method && loc->row == ss_req->last_line))
3454 /* Have to continue single stepping */
3455 hit = FALSE;
3456
3457 if (loc) {
3458 ss_req->last_method = ji->method;
3459 ss_req->last_line = loc->row;
3460 mono_debug_free_source_location (loc);
3461 }
3462 }
3463
3464 if (hit)
3465 g_ptr_array_add (ss_reqs, req);
3466
3467 /* Start single stepping again from the current sequence point */
3468 ss_start (ss_req, ji->method, sp, info, ctx, NULL);
3469 }
3470
3471 if (ss_reqs->len > 0)
3472 ss_events = create_event_list (EVENT_KIND_STEP, ss_reqs, ji, NULL, &suspend_policy);
3473 if (bp_reqs->len > 0)
3474 bp_events = create_event_list (EVENT_KIND_BREAKPOINT, bp_reqs, ji, NULL, &suspend_policy);
3475 if (kind != EVENT_KIND_BREAKPOINT)
3476 enter_leave_events = create_event_list (kind, NULL, ji, NULL, &suspend_policy);
3477
3478 mono_loader_unlock ();
3479
3480 g_ptr_array_free (bp_reqs, TRUE);
3481 g_ptr_array_free (ss_reqs, TRUE);
3482
3483 /*
3484 * FIXME: The first event will suspend, so the second will only be sent after the
3485 * resume.
3486 */
3487 if (ss_events)
3488 process_event (EVENT_KIND_STEP, ji->method, 0, ctx, ss_events, suspend_policy);
3489 if (bp_events)
3490 process_event (kind, ji->method, 0, ctx, bp_events, suspend_policy);
3491 if (enter_leave_events)
3492 process_event (kind, ji->method, 0, ctx, enter_leave_events, suspend_policy);
3493 }
3494
3495 static void
3496 process_breakpoint (void)
3497 {
3498 DebuggerTlsData *tls;
3499 MonoContext ctx;
3500 static void (*restore_context) (void *);
3501
3502 if (!restore_context)
3503 restore_context = mono_get_restore_context ();
3504
3505 tls = TlsGetValue (debugger_tls_id);
3506 memcpy (&ctx, &tls->handler_ctx, sizeof (MonoContext));
3507
3508 process_breakpoint_inner (tls, &ctx);
3509
3510 /* This is called when resuming from a signal handler, so it shouldn't return */
3511 restore_context (&ctx);
3512 g_assert_not_reached ();
3513 }
3514
3515 static void
3516 resume_from_signal_handler (void *sigctx, void *func)
3517 {
3518 DebuggerTlsData *tls;
3519 MonoContext ctx;
3520
3521 /* Save the original context in TLS */
3522 // FIXME: This might not work on an altstack ?
3523 tls = TlsGetValue (debugger_tls_id);
3524 g_assert (tls);
3525
3526 // FIXME: MonoContext usually doesn't include the fp registers, so these are
3527 // clobbered by a single step/breakpoint event. If this turns out to be a problem,
3528 // clob:c could be added to op_seq_point.
3529
3530 mono_arch_sigctx_to_monoctx (sigctx, &ctx);
3531 memcpy (&tls->handler_ctx, &ctx, sizeof (MonoContext));
3532 MONO_CONTEXT_SET_IP (&ctx, func);
3533 mono_arch_monoctx_to_sigctx (&ctx, sigctx);
3534
3535 #ifdef PPC_USES_FUNCTION_DESCRIPTOR
3536 mono_ppc_set_func_into_sigctx (sigctx, func);
3537 #endif
3538 }
3539
3540 void
3541 mono_debugger_agent_breakpoint_hit (void *sigctx)
3542 {
3543 /*
3544 * We are called from a signal handler, and running code there causes all kinds of
3545 * problems, like the original signal is disabled, libgc can't handle altstack, etc.
3546 * So set up the signal context to return to the real breakpoint handler function.
3547 */
3548
3549 resume_from_signal_handler (sigctx, process_breakpoint);
3550 }
3551
3552 static void
3553 process_single_step_inner (DebuggerTlsData *tls, MonoContext *ctx)
3554 {
3555 MonoJitInfo *ji;
3556 guint8 *ip;
3557 GPtrArray *reqs;
3558 int il_offset, suspend_policy;
3559 MonoDomain *domain;
3560 GSList *events;
3561
3562 // FIXME: Speed this up
3563
3564 ip = MONO_CONTEXT_GET_IP (ctx);
3565
3566 /* Skip the instruction causing the single step */
3567 mono_arch_skip_single_step (ctx);
3568
3569 if (suspend_count > 0) {
3570 process_suspend (tls, ctx);
3571 return;
3572 }
3573
3574 if (!ss_req)
3575 // FIXME: A suspend race
3576 return;
3577
3578 if (mono_thread_internal_current () != ss_req->thread)
3579 return;
3580
3581 if (log_level > 0) {
3582 const char *depth = NULL;
3583
3584 ji = mini_jit_info_table_find (mono_domain_get (), (char*)ip, &domain);
3585
3586 switch (ss_req->depth) {
3587 case STEP_DEPTH_OVER:
3588 depth = "over";
3589 break;
3590 case STEP_DEPTH_OUT:
3591 depth = "out";
3592 break;
3593 case STEP_DEPTH_INTO:
3594 depth = "into";
3595 break;
3596 default:
3597 g_assert_not_reached ();
3598 }
3599
3600 DEBUG (1, fprintf (log_file, "[%p] Single step event (depth=%s) at %s (%p), sp %p, last sp %p\n", (gpointer)GetCurrentThreadId (), ss_req->depth == STEP_DEPTH_OVER ? "over" : "out", mono_method_full_name (ji->method, TRUE), MONO_CONTEXT_GET_IP (ctx), MONO_CONTEXT_GET_SP (ctx), ss_req->last_sp));
3601 }
3602
3603 /*
3604 * We implement step over/out by single stepping until we reach the same
3605 * frame/parent frame.
3606 * FIXME:
3607 * - this is slow
3608 * - stack growing upward
3609 * - localloc
3610 * - exceptions
3611 */
3612 if (ss_req->depth != STEP_DEPTH_INTO) {
3613 if (ss_req->depth == STEP_DEPTH_OVER && MONO_CONTEXT_GET_SP (ctx) < ss_req->last_sp)
3614 return;
3615 if (ss_req->depth == STEP_DEPTH_OUT && MONO_CONTEXT_GET_SP (ctx) <= ss_req->last_sp)
3616 return;
3617
3618 ss_req->last_sp = MONO_CONTEXT_GET_SP (ctx);
3619 }
3620
3621 ji = mini_jit_info_table_find (mono_domain_get (), (char*)ip, &domain);
3622 g_assert (ji);
3623 g_assert (ji->method);
3624
3625 if (ji->method->wrapper_type && ji->method->wrapper_type != MONO_WRAPPER_DYNAMIC_METHOD)
3626 return;
3627
3628 /*
3629 * FIXME:
3630 * Stopping in memset makes half-initialized vtypes visible.
3631 * Stopping in memcpy makes half-copied vtypes visible.
3632 */
3633 if (ji->method->klass == mono_defaults.string_class && (!strcmp (ji->method->name, "memset") || strstr (ji->method->name, "memcpy")))
3634 return;
3635
3636 /*
3637 * The ip points to the instruction causing the single step event, convert it
3638 * to the offset stored in seq_points.
3639 */
3640 #ifdef MONO_ARCH_SOFT_DEBUG_SUPPORTED
3641 ip = mono_arch_get_ip_for_single_step (ji, ctx);
3642 #else
3643 g_assert_not_reached ();
3644 #endif
3645
3646 /*
3647 * mono_debug_lookup_source_location () doesn't work for IL offset 0 for
3648 * example, so do things by hand.
3649 */
3650 il_offset = compute_il_offset (domain, ji->method, (guint8*)ip - (guint8*)ji->code_start);
3651
3652 if (il_offset == -1)
3653 return;
3654
3655 if (ss_req->size == STEP_SIZE_LINE) {
3656 /* Step until a different source line is reached */
3657 MonoDebugMethodInfo *minfo;
3658
3659 minfo = mono_debug_lookup_method (ji->method);
3660
3661 if (minfo) {
3662 MonoDebugSourceLocation *loc = mono_debug_symfile_lookup_location (minfo, il_offset);
3663
3664 if (loc && ji->method == ss_req->last_method && loc->row == ss_req->last_line) {
3665 mono_debug_free_source_location (loc);
3666 return;
3667 }
3668 if (!loc)
3669 /*
3670 * Step until we reach a location with line number info,
3671 * otherwise the client can't show a location.
3672 * This can happen for example with statics initialized inline
3673 * outside of a cctor.
3674 */
3675 return;
3676
3677 if (loc) {
3678 ss_req->last_method = ji->method;
3679 ss_req->last_line = loc->row;
3680 mono_debug_free_source_location (loc);
3681 }
3682 }
3683 }
3684
3685 // FIXME: Has to lock earlier
3686
3687 reqs = g_ptr_array_new ();
3688
3689 mono_loader_lock ();
3690
3691 g_ptr_array_add (reqs, ss_req->req);
3692
3693 events = create_event_list (EVENT_KIND_STEP, reqs, ji, NULL, &suspend_policy);
3694
3695 g_ptr_array_free (reqs, TRUE);
3696
3697 mono_loader_unlock ();
3698
3699 process_event (EVENT_KIND_STEP, ji->method, il_offset, ctx, events, suspend_policy);
3700 }
3701
3702 static void
3703 process_single_step (void)
3704 {
3705 DebuggerTlsData *tls;
3706 MonoContext ctx;
3707 static void (*restore_context) (void *);
3708
3709 if (!restore_context)
3710 restore_context = mono_get_restore_context ();
3711
3712 tls = TlsGetValue (debugger_tls_id);
3713 memcpy (&ctx, &tls->handler_ctx, sizeof (MonoContext));
3714
3715 process_single_step_inner (tls, &ctx);
3716
3717 /* This is called when resuming from a signal handler, so it shouldn't return */
3718 restore_context (&ctx);
3719 g_assert_not_reached ();
3720 }
3721
3722 /*
3723 * mono_debugger_agent_single_step_event:
3724 *
3725 * Called from a signal handler to handle a single step event.
3726 */
3727 void
3728 mono_debugger_agent_single_step_event (void *sigctx)
3729 {
3730 /* Resume to process_single_step through the signal context */
3731
3732 // FIXME: Since step out/over is implemented using step in, the step in case should
3733 // be as fast as possible. Move the relevant code from process_single_step_inner ()
3734 // here
3735
3736 if (GetCurrentThreadId () == debugger_thread_id) {
3737 /*
3738 * This could happen despite our best effors when the runtime calls
3739 * assembly/type resolve hooks.
3740 * FIXME: Breakpoints too.
3741 */
3742 MonoContext ctx;
3743
3744 mono_arch_sigctx_to_monoctx (sigctx, &ctx);
3745 mono_arch_skip_single_step (&ctx);
3746 mono_arch_monoctx_to_sigctx (&ctx, sigctx);
3747 return;
3748 }
3749
3750 resume_from_signal_handler (sigctx, process_single_step);
3751 }
3752
3753 /*
3754 * start_single_stepping:
3755 *
3756 * Turn on single stepping. Can be called multiple times, for example,
3757 * by a single step event request + a suspend.
3758 */
3759 static void
3760 start_single_stepping (void)
3761 {
3762 #ifdef MONO_ARCH_SOFT_DEBUG_SUPPORTED
3763 int val = InterlockedIncrement (&ss_count);
3764
3765 if (val == 1)
3766 mono_arch_start_single_stepping ();
3767
3768 if (ss_req != NULL && ss_invoke_addr == NULL) {
3769 DebuggerTlsData *tls;
3770
3771 mono_loader_lock ();
3772
3773 tls = mono_g_hash_table_lookup (thread_to_tls, ss_req->thread);
3774 ss_invoke_addr = tls->invoke_addr;
3775
3776 mono_loader_unlock ();
3777 }
3778 #else
3779 g_assert_not_reached ();
3780 #endif
3781 }
3782
3783 static void
3784 stop_single_stepping (void)
3785 {
3786 #ifdef MONO_ARCH_SOFT_DEBUG_SUPPORTED
3787 int val = InterlockedDecrement (&ss_count);
3788
3789 if (val == 0)
3790 mono_arch_stop_single_stepping ();
3791 #else
3792 g_assert_not_reached ();
3793 #endif
3794 }
3795
3796 /*
3797 * ss_stop:
3798 *
3799 * Stop the single stepping operation given by SS_REQ.
3800 */
3801 static void
3802 ss_stop (SingleStepReq *ss_req)
3803 {
3804 gboolean use_bps = FALSE;
3805
3806 if (ss_req->bps) {
3807 GSList *l;
3808
3809 use_bps = TRUE;
3810
3811 for (l = ss_req->bps; l; l = l->next) {
3812 clear_breakpoint (l->data);
3813 }
3814 g_slist_free (ss_req->bps);
3815 ss_req->bps = NULL;
3816 }
3817
3818 if (ss_req->global) {
3819 stop_single_stepping ();
3820 ss_req->global = FALSE;
3821 }
3822 }
3823
3824 /*
3825 * ss_start:
3826 *
3827 * Start the single stepping operation given by SS_REQ from the sequence point SP.
3828 */
3829 static void
3830 ss_start (SingleStepReq *ss_req, MonoMethod *method, SeqPoint *sp, MonoSeqPointInfo *info, MonoContext *ctx, DebuggerTlsData *tls)
3831 {
3832 gboolean use_bp = FALSE;
3833 int i, frame_index;
3834 SeqPoint *next_sp;
3835 MonoBreakpoint *bp;
3836
3837 /* Stop the previous operation */
3838 ss_stop (ss_req);
3839
3840 /*
3841 * Implement single stepping using breakpoints if possible.
3842 */
3843 if (ss_req->depth == STEP_DEPTH_OVER) {
3844 frame_index = 1;
3845 /*
3846 * Find the first sequence point in the current or in a previous frame which
3847 * is not the last in its method.
3848 */
3849 while (sp && sp->next_len == 0) {
3850 sp = NULL;
3851 if (tls && frame_index < tls->frame_count) {
3852 StackFrame *frame = tls->frames [frame_index];
3853
3854 method = frame->method;
3855 if (frame->il_offset != -1) {
3856 sp = find_seq_point (frame->domain, frame->method, frame->il_offset, &info);
3857 }
3858 frame_index ++;
3859 }
3860 }
3861
3862 if (sp && sp->next_len > 0) {
3863 use_bp = TRUE;
3864 for (i = 0; i < sp->next_len; ++i) {
3865 next_sp = &info->seq_points [sp->next [i]];
3866
3867 bp = set_breakpoint (method, next_sp->il_offset, ss_req->req);
3868 ss_req->bps = g_slist_append (ss_req->bps, bp);
3869 }
3870 }
3871 }
3872
3873 if (!ss_req->bps) {
3874 ss_req->global = TRUE;
3875 start_single_stepping ();
3876 } else {
3877 ss_req->global = FALSE;
3878 }
3879 }
3880
3881 /*
3882 * Start single stepping of thread THREAD
3883 */
3884 static ErrorCode
3885 ss_create (MonoInternalThread *thread, StepSize size, StepDepth depth, EventRequest *req)
3886 {
3887 DebuggerTlsData *tls;
3888 MonoSeqPointInfo *info;
3889 SeqPoint *sp = NULL;
3890 MonoMethod *method = NULL;
3891
3892 if (suspend_count == 0)
3893 return ERR_NOT_SUSPENDED;
3894
3895 wait_for_suspend ();
3896
3897 // FIXME: Multiple requests
3898 if (ss_req) {
3899 DEBUG (0, printf ("Received a single step request while the previous one was still active.\n"));
3900 return ERR_NOT_IMPLEMENTED;
3901 }
3902
3903 ss_req = g_new0 (SingleStepReq, 1);
3904 ss_req->req = req;
3905 ss_req->thread = thread;
3906 ss_req->size = size;
3907 ss_req->depth = depth;
3908 req->info = ss_req;
3909
3910 mono_loader_lock ();
3911 tls = mono_g_hash_table_lookup (thread_to_tls, thread);
3912 mono_loader_unlock ();
3913 g_assert (tls);
3914 g_assert (tls->has_context);
3915 ss_req->start_sp = ss_req->last_sp = MONO_CONTEXT_GET_SP (&tls->ctx);
3916
3917 if (ss_req->size == STEP_SIZE_LINE) {
3918 StackFrame *frame;
3919 MonoDebugMethodInfo *minfo;
3920
3921 /* Compute the initial line info */
3922 compute_frame_info (thread, tls);
3923
3924 g_assert (tls->frame_count);
3925 frame = tls->frames [0];
3926
3927 ss_req->last_method = frame->method;
3928 ss_req->last_line = -1;
3929
3930 minfo = mono_debug_lookup_method (frame->method);
3931 if (minfo && frame->il_offset != -1) {
3932 MonoDebugSourceLocation *loc = mono_debug_symfile_lookup_location (minfo, frame->il_offset);
3933
3934 if (loc) {
3935 ss_req->last_line = loc->row;
3936 g_free (loc);
3937 }
3938 }
3939 }
3940
3941 if (ss_req->depth == STEP_DEPTH_OVER) {
3942 StackFrame *frame;
3943
3944 compute_frame_info (thread, tls);
3945
3946 g_assert (tls->frame_count);
3947 frame = tls->frames [0];
3948
3949 if (frame->il_offset != -1) {
3950 /* FIXME: Sort the table and use a binary search */
3951 sp = find_seq_point (frame->domain, frame->method, frame->il_offset, &info);
3952 g_assert (sp);
3953 method = frame->method;
3954 }
3955 }
3956
3957 ss_start (ss_req, method, sp, info, NULL, tls);
3958
3959 return 0;
3960 }
3961
3962 static void
3963 ss_destroy (SingleStepReq *req)
3964 {
3965 // FIXME: Locking
3966 g_assert (ss_req == req);
3967
3968 ss_stop (ss_req);
3969
3970 g_free (ss_req);
3971 ss_req = NULL;
3972 }
3973
3974 void
3975 mono_debugger_agent_handle_exception (MonoException *exc, MonoContext *throw_ctx,
3976 MonoContext *catch_ctx)
3977 {
3978 int suspend_policy;
3979 GSList *events;
3980 MonoJitInfo *ji;
3981 EventInfo ei;
3982
3983 if (thread_to_tls != NULL) {
3984 MonoInternalThread *thread = mono_thread_internal_current ();
3985 DebuggerTlsData *tls;
3986
3987 mono_loader_lock ();
3988 tls = mono_g_hash_table_lookup (thread_to_tls, thread);
3989 mono_loader_unlock ();
3990
3991 if (tls && tls->abort_requested)
3992 return;
3993 }
3994
3995 memset (&ei, 0, sizeof (EventInfo));
3996
3997 /* Just-In-Time debugging */
3998 if (!catch_ctx) {
3999 if (agent_config.onuncaught && !inited) {
4000 finish_agent_init (FALSE);
4001
4002 /*
4003 * Send an unsolicited EXCEPTION event with a dummy request id.
4004 */
4005 events = g_slist_append (NULL, GUINT_TO_POINTER (0xffffff));
4006 ei.exc = (MonoObject*)exc;
4007 process_event (EVENT_KIND_EXCEPTION, &ei, 0, throw_ctx, events, SUSPEND_POLICY_ALL);
4008 return;
4009 }
4010 } else if (agent_config.onthrow && !inited) {
4011 GSList *l;
4012 gboolean found = FALSE;
4013
4014 for (l = agent_config.onthrow; l; l = l->next) {
4015 char *ex_type = l->data;
4016 char *f = mono_type_full_name (&exc->object.vtable->klass->byval_arg);
4017
4018 if (!strcmp (ex_type, "") || !strcmp (ex_type, f))
4019 found = TRUE;
4020
4021 g_free (f);
4022 }
4023
4024 if (found) {
4025 finish_agent_init (FALSE);
4026
4027 /*
4028 * Send an unsolicited EXCEPTION event with a dummy request id.
4029 */
4030 events = g_slist_append (NULL, GUINT_TO_POINTER (0xffffff));
4031 ei.exc = (MonoObject*)exc;
4032 process_event (EVENT_KIND_EXCEPTION, &ei, 0, throw_ctx, events, SUSPEND_POLICY_ALL);
4033 return;
4034 }
4035 }
4036
4037 if (!inited)
4038 return;
4039
4040 ji = mini_jit_info_table_find (mono_domain_get (), MONO_CONTEXT_GET_IP (throw_ctx), NULL);
4041
4042 ei.exc = (MonoObject*)exc;
4043 ei.caught = catch_ctx != NULL;
4044
4045 mono_loader_lock ();
4046 events = create_event_list (EVENT_KIND_EXCEPTION, NULL, ji, &ei, &suspend_policy);
4047 mono_loader_unlock ();
4048
4049 process_event (EVENT_KIND_EXCEPTION, &ei, 0, throw_ctx, events, suspend_policy);
4050 }
4051
4052 /*
4053 * buffer_add_value_full:
4054 *
4055 * Add the encoding of the value at ADDR described by T to the buffer.
4056 * AS_VTYPE determines whenever to treat primitive types as primitive types or
4057 * vtypes.
4058 */
4059 static void
4060 buffer_add_value_full (Buffer *buf, MonoType *t, void *addr, MonoDomain *domain,
4061 gboolean as_vtype)
4062 {
4063 MonoObject *obj;
4064
4065 if (t->byref) {
4066 g_assert (*(void**)addr);
4067 addr = *(void**)addr;
4068 }
4069
4070 if (as_vtype) {
4071 switch (t->type) {
4072 case MONO_TYPE_BOOLEAN:
4073 case MONO_TYPE_I1:
4074 case MONO_TYPE_U1:
4075 case MONO_TYPE_CHAR:
4076 case MONO_TYPE_I2:
4077 case MONO_TYPE_U2:
4078 case MONO_TYPE_I4:
4079 case MONO_TYPE_U4:
4080 case MONO_TYPE_R4:
4081 case MONO_TYPE_I8:
4082 case MONO_TYPE_U8:
4083 case MONO_TYPE_R8:
4084 case MONO_TYPE_I:
4085 case MONO_TYPE_U:
4086 case MONO_TYPE_PTR:
4087 goto handle_vtype;
4088 break;
4089 default:
4090 break;
4091 }
4092 }
4093
4094 switch (t->type) {
4095 case MONO_TYPE_VOID:
4096 buffer_add_byte (buf, t->type);
4097 break;
4098 case MONO_TYPE_BOOLEAN:
4099 case MONO_TYPE_I1:
4100 case MONO_TYPE_U1:
4101 buffer_add_byte (buf, t->type);
4102 buffer_add_int (buf, *(gint8*)addr);
4103 break;
4104 case MONO_TYPE_CHAR:
4105 case MONO_TYPE_I2:
4106 case MONO_TYPE_U2:
4107 buffer_add_byte (buf, t->type);
4108 buffer_add_int (buf, *(gint16*)addr);
4109 break;
4110 case MONO_TYPE_I4:
4111 case MONO_TYPE_U4:
4112 case MONO_TYPE_R4:
4113 buffer_add_byte (buf, t->type);
4114 buffer_add_int (buf, *(gint32*)addr);
4115 break;
4116 case MONO_TYPE_I8:
4117 case MONO_TYPE_U8:
4118 case MONO_TYPE_R8:
4119 buffer_add_byte (buf, t->type);
4120 buffer_add_long (buf, *(gint64*)addr);
4121 break;
4122 case MONO_TYPE_I:
4123 case MONO_TYPE_U:
4124 /* Treat it as a vtype */
4125 goto handle_vtype;
4126 case MONO_TYPE_PTR: {
4127 gssize val = *(gssize*)addr;
4128
4129 buffer_add_byte (buf, t->type);
4130 buffer_add_long (buf, val);
4131 break;
4132 }
4133 handle_ref:
4134 case MONO_TYPE_STRING:
4135 case MONO_TYPE_SZARRAY:
4136 case MONO_TYPE_OBJECT:
4137 case MONO_TYPE_CLASS:
4138 case MONO_TYPE_ARRAY:
4139 obj = *(MonoObject**)addr;
4140
4141 if (!obj) {
4142 buffer_add_byte (buf, VALUE_TYPE_ID_NULL);
4143 } else {
4144 if (obj->vtable->klass->valuetype) {
4145 t = &obj->vtable->klass->byval_arg;
4146 addr = mono_object_unbox (obj);
4147 goto handle_vtype;
4148 } else if (obj->vtable->klass->rank) {
4149 buffer_add_byte (buf, obj->vtable->klass->byval_arg.type);
4150 } else if (obj->vtable->klass->byval_arg.type == MONO_TYPE_GENERICINST) {
4151 buffer_add_byte (buf, MONO_TYPE_CLASS);
4152 } else {
4153 buffer_add_byte (buf, obj->vtable->klass->byval_arg.type);
4154 }
4155 buffer_add_objid (buf, obj);
4156 }
4157 break;
4158 handle_vtype:
4159 case MONO_TYPE_VALUETYPE: {
4160 int nfields;
4161 gpointer iter;
4162 MonoClassField *f;
4163 MonoClass *klass = mono_class_from_mono_type (t);
4164
4165 buffer_add_byte (buf, MONO_TYPE_VALUETYPE);
4166 buffer_add_byte (buf, klass->enumtype);
4167 buffer_add_typeid (buf, domain, klass);
4168
4169 nfields = 0;
4170 iter = NULL;
4171 while ((f = mono_class_get_fields (klass, &iter))) {
4172 if (f->type->attrs & FIELD_ATTRIBUTE_STATIC)
4173 continue;
4174 if (mono_field_is_deleted (f))
4175 continue;
4176 nfields ++;
4177 }
4178 buffer_add_int (buf, nfields);
4179
4180 iter = NULL;
4181 while ((f = mono_class_get_fields (klass, &iter))) {
4182 if (f->type->attrs & FIELD_ATTRIBUTE_STATIC)
4183 continue;
4184 if (mono_field_is_deleted (f))
4185 continue;
4186 buffer_add_value_full (buf, f->type, (guint8*)addr + f->offset - sizeof (MonoObject), domain, FALSE);
4187 }
4188 break;
4189 }
4190 case MONO_TYPE_GENERICINST:
4191 if (mono_type_generic_inst_is_valuetype (t)) {
4192 goto handle_vtype;
4193 } else {
4194 goto handle_ref;
4195 }
4196 break;
4197 default:
4198 NOT_IMPLEMENTED;
4199 }
4200 }
4201
4202 static void
4203 buffer_add_value (Buffer *buf, MonoType *t, void *addr, MonoDomain *domain)
4204 {
4205 buffer_add_value_full (buf, t, addr, domain, FALSE);
4206 }
4207
4208 static ErrorCode
4209 decode_value (MonoType *t, MonoDomain *domain, guint8 *addr, guint8 *buf, guint8 **endbuf, guint8 *limit)
4210 {
4211 int err;
4212 int type = decode_byte (buf, &buf, limit);
4213
4214 if (type != t->type && !MONO_TYPE_IS_REFERENCE (t) &&
4215 !(t->type == MONO_TYPE_I && type == MONO_TYPE_VALUETYPE) &&
4216 !(t->type == MONO_TYPE_U && type == MONO_TYPE_VALUETYPE) &&
4217 !(t->type == MONO_TYPE_PTR && type == MONO_TYPE_I8) &&
4218 !(t->type == MONO_TYPE_GENERICINST && type == MONO_TYPE_VALUETYPE)) {
4219 char *name = mono_type_full_name (t);
4220 DEBUG(1, fprintf (log_file, "[%p] Expected value of type %s, got 0x%0x.\n", (gpointer)GetCurrentThreadId (), name, type));
4221 g_free (name);
4222 return ERR_INVALID_ARGUMENT;
4223 }
4224
4225 switch (t->type) {
4226 case MONO_TYPE_BOOLEAN:
4227 *(guint8*)addr = decode_int (buf, &buf, limit);
4228 break;
4229 case MONO_TYPE_CHAR:
4230 *(gunichar2*)addr = decode_int (buf, &buf, limit);
4231 break;
4232 case MONO_TYPE_I1:
4233 *(gint8*)addr = decode_int (buf, &buf, limit);
4234 break;
4235 case MONO_TYPE_U1:
4236 *(guint8*)addr = decode_int (buf, &buf, limit);
4237 break;
4238 case MONO_TYPE_I2:
4239 *(gint16*)addr = decode_int (buf, &buf, limit);
4240 break;
4241 case MONO_TYPE_U2:
4242 *(guint16*)addr = decode_int (buf, &buf, limit);
4243 break;
4244 case MONO_TYPE_I4:
4245 *(gint32*)addr = decode_int (buf, &buf, limit);
4246 break;
4247 case MONO_TYPE_U4:
4248 *(guint32*)addr = decode_int (buf, &buf, limit);
4249 break;
4250 case MONO_TYPE_I8:
4251 *(gint64*)addr = decode_long (buf, &buf, limit);
4252 break;
4253 case MONO_TYPE_U8:
4254 *(guint64*)addr = decode_long (buf, &buf, limit);
4255 break;
4256 case MONO_TYPE_R4:
4257 *(guint32*)addr = decode_int (buf, &buf, limit);
4258 break;
4259 case MONO_TYPE_R8:
4260 *(guint64*)addr = decode_long (buf, &buf, limit);
4261 break;
4262 case MONO_TYPE_PTR:
4263 /* We send these as I8, so we get them back as such */
4264 g_assert (type == MONO_TYPE_I8);
4265 *(gssize*)addr = decode_long (buf, &buf, limit);
4266 break;
4267 case MONO_TYPE_GENERICINST:
4268 if (MONO_TYPE_ISSTRUCT (t)) {
4269 /* The client sends these as a valuetype */
4270 goto handle_vtype;
4271 } else {
4272 goto handle_ref;
4273 }
4274 break;
4275 case MONO_TYPE_I:
4276 case MONO_TYPE_U:
4277 /* We send these as vtypes, so we get them back as such */
4278 g_assert (type == MONO_TYPE_VALUETYPE);
4279 /* Fall through */
4280 handle_vtype:
4281 case MONO_TYPE_VALUETYPE: {
4282 gboolean is_enum = decode_byte (buf, &buf, limit);
4283 MonoClass *klass;
4284 MonoClassField *f;
4285 int nfields;
4286 gpointer iter = NULL;
4287 MonoDomain *d;
4288
4289 /* Enums are sent as a normal vtype */
4290 if (is_enum)
4291 return ERR_NOT_IMPLEMENTED;
4292 klass = decode_typeid (buf, &buf, limit, &d, &err);
4293 if (err)
4294 return err;
4295
4296 if (klass != mono_class_from_mono_type (t))
4297 return ERR_INVALID_ARGUMENT;
4298
4299 nfields = decode_int (buf, &buf, limit);
4300 while ((f = mono_class_get_fields (klass, &iter))) {
4301 if (f->type->attrs & FIELD_ATTRIBUTE_STATIC)
4302 continue;
4303 if (mono_field_is_deleted (f))
4304 continue;
4305 err = decode_value (f->type, domain, (guint8*)addr + f->offset - sizeof (MonoObject), buf, &buf, limit);
4306 if (err)
4307 return err;
4308 nfields --;
4309 }
4310 g_assert (nfields == 0);
4311 break;
4312 }
4313 handle_ref:
4314 default:
4315 if (MONO_TYPE_IS_REFERENCE (t)) {
4316 if (type == MONO_TYPE_OBJECT) {
4317 int objid = decode_objid (buf, &buf, limit);
4318 int err;
4319 MonoObject *obj;
4320
4321 err = get_object (objid, (MonoObject**)&obj);
4322 if (err)
4323 return err;
4324
4325 if (obj && !mono_class_is_assignable_from (mono_class_from_mono_type (t), obj->vtable->klass))
4326 return ERR_INVALID_ARGUMENT;
4327 if (obj && obj->vtable->domain != domain)
4328 return ERR_INVALID_ARGUMENT;
4329
4330 mono_gc_wbarrier_generic_store (addr, obj);
4331 } else if (type == VALUE_TYPE_ID_NULL) {
4332 *(MonoObject**)addr = NULL;
4333 } else {
4334 return ERR_INVALID_ARGUMENT;
4335 }
4336 } else {
4337 NOT_IMPLEMENTED;
4338 }
4339 break;
4340 }
4341
4342 *endbuf = buf;
4343
4344 return 0;
4345 }
4346
4347 static void
4348 add_var (Buffer *buf, MonoType *t, MonoDebugVarInfo *var, MonoContext *ctx, MonoDomain *domain, gboolean as_vtype)
4349 {
4350 guint32 flags;
4351 int reg;
4352 guint8 *addr;
4353 gpointer reg_val;
4354
4355 flags = var->index & MONO_DEBUG_VAR_ADDRESS_MODE_FLAGS;
4356 reg = var->index & ~MONO_DEBUG_VAR_ADDRESS_MODE_FLAGS;
4357
4358 switch (flags) {
4359 case MONO_DEBUG_VAR_ADDRESS_MODE_REGISTER:
4360 reg_val = mono_arch_context_get_int_reg (ctx, reg);
4361
4362 buffer_add_value_full (buf, t, &reg_val, domain, as_vtype);
4363 break;
4364 case MONO_DEBUG_VAR_ADDRESS_MODE_REGOFFSET:
4365 addr = mono_arch_context_get_int_reg (ctx, reg);
4366 addr += (gint32)var->offset;
4367
4368 //printf ("[R%d+%d] = %p\n", reg, var->offset, addr);
4369
4370 buffer_add_value_full (buf, t, addr, domain, as_vtype);
4371 break;
4372 case MONO_DEBUG_VAR_ADDRESS_MODE_DEAD:
4373 NOT_IMPLEMENTED;
4374 break;
4375 default:
4376 g_assert_not_reached ();
4377 }
4378 }
4379
4380 static void
4381 set_var (MonoType *t, MonoDebugVarInfo *var, MonoContext *ctx, MonoDomain *domain, guint8 *val)
4382 {
4383 guint32 flags;
4384 int reg, size;
4385 guint8 *addr;
4386
4387 flags = var->index & MONO_DEBUG_VAR_ADDRESS_MODE_FLAGS;
4388 reg = var->index & ~MONO_DEBUG_VAR_ADDRESS_MODE_FLAGS;
4389
4390 if (MONO_TYPE_IS_REFERENCE (t))
4391 size = sizeof (gpointer);
4392 else
4393 size = mono_class_value_size (mono_class_from_mono_type (t), NULL);
4394
4395 switch (flags) {
4396 case MONO_DEBUG_VAR_ADDRESS_MODE_REGISTER:
4397 // FIXME: Can't set registers, so we disable linears
4398 NOT_IMPLEMENTED;
4399 break;
4400 case MONO_DEBUG_VAR_ADDRESS_MODE_REGOFFSET:
4401 addr = mono_arch_context_get_int_reg (ctx, reg);
4402 addr += (gint32)var->offset;
4403
4404 //printf ("[R%d+%d] = %p\n", reg, var->offset, addr);
4405
4406 // FIXME: Write barriers
4407 memcpy (addr, val, size);
4408 break;
4409 case MONO_DEBUG_VAR_ADDRESS_MODE_DEAD:
4410 NOT_IMPLEMENTED;
4411 break;
4412 default:
4413 g_assert_not_reached ();
4414 }
4415 }
4416
4417 static void
4418 clear_event_request (int req_id, int etype)
4419 {
4420 int i;
4421
4422 mono_loader_lock ();
4423 for (i = 0; i < event_requests->len; ++i) {
4424 EventRequest *req = g_ptr_array_index (event_requests, i);
4425
4426 if (req->id == req_id && req->event_kind == etype) {
4427 if (req->event_kind == EVENT_KIND_BREAKPOINT)
4428 clear_breakpoint (req->info);
4429 if (req->event_kind == EVENT_KIND_STEP)
4430 ss_destroy (req->info);
4431 if (req->event_kind == EVENT_KIND_METHOD_ENTRY)
4432 clear_breakpoint (req->info);
4433 if (req->event_kind == EVENT_KIND_METHOD_EXIT)
4434 clear_breakpoint (req->info);
4435 g_ptr_array_remove_index_fast (event_requests, i);
4436 g_free (req);
4437 break;
4438 }
4439 }
4440 mono_loader_unlock ();
4441 }
4442
4443 static gboolean
4444 event_req_matches_assembly (EventRequest *req, MonoAssembly *assembly)
4445 {
4446 if (req->event_kind == EVENT_KIND_BREAKPOINT)
4447 return breakpoint_matches_assembly (req->info, assembly);
4448 else {
4449 int i, j;
4450
4451 for (i = 0; i < req->nmodifiers; ++i) {
4452 Modifier *m = &req->modifiers [i];
4453
4454 if (m->kind == MOD_KIND_EXCEPTION_ONLY && m->data.exc_class && m->data.exc_class->image->assembly == assembly)
4455 return TRUE;
4456 if (m->kind == MOD_KIND_ASSEMBLY_ONLY && m->data.assemblies) {
4457 for (j = 0; m->data.assemblies [j]; ++j)
4458 if (m->data.assemblies [j] == assembly)
4459 return TRUE;
4460 }
4461 }
4462 }
4463
4464 return FALSE;
4465 }
4466
4467 /*
4468 * clear_event_requests_for_assembly:
4469 *
4470 * Clear all events requests which reference ASSEMBLY.
4471 */
4472 static void
4473 clear_event_requests_for_assembly (MonoAssembly *assembly)
4474 {
4475 int i;
4476 gboolean found;
4477
4478 mono_loader_lock ();
4479 found = TRUE;
4480 while (found) {
4481 found = FALSE;
4482 for (i = 0; i < event_requests->len; ++i) {
4483 EventRequest *req = g_ptr_array_index (event_requests, i);
4484
4485 if (event_req_matches_assembly (req, assembly)) {
4486 clear_event_request (req->id, req->event_kind);
4487 found = TRUE;
4488 break;
4489 }
4490 }
4491 }
4492 mono_loader_unlock ();
4493 }
4494
4495 static void
4496 add_thread (gpointer key, gpointer value, gpointer user_data)
4497 {
4498 MonoInternalThread *thread = value;
4499 Buffer *buf = user_data;
4500
4501 buffer_add_objid (buf, (MonoObject*)thread);
4502 }
4503
4504 static ErrorCode
4505 do_invoke_method (DebuggerTlsData *tls, Buffer *buf, InvokeData *invoke)
4506 {
4507 guint8 *p = invoke->p;
4508 guint8 *end = invoke->endp;
4509 MonoMethod *m;
4510 int i, err, nargs;
4511 MonoMethodSignature *sig;
4512 guint8 **arg_buf;
4513 void **args;
4514 MonoObject *this, *res, *exc;
4515 MonoDomain *domain;
4516 guint8 *this_buf;
4517 #ifdef MONO_ARCH_HAVE_FIND_JIT_INFO_EXT
4518 MonoLMFExt ext;
4519 #endif
4520
4521 if (invoke->method) {
4522 /*
4523 * Invoke this method directly, currently only Environment.Exit () is supported.
4524 */
4525 this = NULL;
4526 DEBUG (1, printf ("[%p] Invoking method '%s' on receiver '%s'.\n", (gpointer)GetCurrentThreadId (), mono_method_full_name (invoke->method, TRUE), this ? this->vtable->klass->name : "<null>"));
4527 mono_runtime_invoke (invoke->method, NULL, invoke->args, &exc);
4528 g_assert_not_reached ();
4529 }
4530
4531 m = decode_methodid (p, &p, end, &domain, &err);
4532 if (err)
4533 return err;
4534 sig = mono_method_signature (m);
4535
4536 if (m->klass->valuetype)
4537 this_buf = g_alloca (mono_class_instance_size (m->klass));
4538 else
4539 this_buf = g_alloca (sizeof (MonoObject*));
4540 if (m->klass->valuetype && (m->flags & METHOD_ATTRIBUTE_STATIC)) {
4541 /* Should be null */
4542 int type = decode_byte (p, &p, end);
4543 if (type != VALUE_TYPE_ID_NULL)
4544 return ERR_INVALID_ARGUMENT;
4545 memset (this_buf, 0, mono_class_instance_size (m->klass));
4546 } else {
4547 err = decode_value (&m->klass->byval_arg, domain, this_buf, p, &p, end);
4548 if (err)
4549 return err;
4550 }
4551
4552 if (!m->klass->valuetype)
4553 this = *(MonoObject**)this_buf;
4554 else
4555 this = NULL;
4556
4557 DEBUG (1, printf ("[%p] Invoking method '%s' on receiver '%s'.\n", (gpointer)GetCurrentThreadId (), mono_method_full_name (m, TRUE), this ? this->vtable->klass->name : "<null>"));
4558
4559 if (this && this->vtable->domain != domain)
4560 NOT_IMPLEMENTED;
4561
4562 if (!m->klass->valuetype && !(m->flags & METHOD_ATTRIBUTE_STATIC) && !this) {
4563 if (!strcmp (m->name, ".ctor")) {
4564 if (m->klass->flags & TYPE_ATTRIBUTE_ABSTRACT)
4565 return ERR_INVALID_ARGUMENT;
4566 else
4567 this = mono_object_new (domain, m->klass);
4568 } else {
4569 return ERR_INVALID_ARGUMENT;
4570 }
4571 }
4572
4573 if (this && !mono_class_is_assignable_from (m->klass, this->vtable->klass))
4574 return ERR_INVALID_ARGUMENT;
4575
4576 nargs = decode_int (p, &p, end);
4577 if (nargs != sig->param_count)
4578 return ERR_INVALID_ARGUMENT;
4579 /* Use alloca to get gc tracking */
4580 arg_buf = g_alloca (nargs * sizeof (gpointer));
4581 memset (arg_buf, 0, nargs * sizeof (gpointer));
4582 args = g_alloca (nargs * sizeof (gpointer));
4583 for (i = 0; i < nargs; ++i) {
4584 if (MONO_TYPE_IS_REFERENCE (sig->params [i])) {
4585 err = decode_value (sig->params [i], domain, (guint8*)&args [i], p, &p, end);
4586 if (err)
4587 break;
4588
4589 if (args [i] && ((MonoObject*)args [i])->vtable->domain != domain)
4590 NOT_IMPLEMENTED;
4591 } else {
4592 arg_buf [i] = g_alloca (mono_class_instance_size (mono_class_from_mono_type (sig->params [i])));
4593 err = decode_value (sig->params [i], domain, arg_buf [i], p, &p, end);
4594 if (err)
4595 break;
4596 args [i] = arg_buf [i];
4597 }
4598 }
4599
4600 if (i < nargs)
4601 return err;
4602
4603 if (invoke->flags & INVOKE_FLAG_DISABLE_BREAKPOINTS)
4604 tls->disable_breakpoints = TRUE;
4605 else
4606 tls->disable_breakpoints = FALSE;
4607
4608 /*
4609 * Add an LMF frame to link the stack frames on the invoke method with our caller.
4610 */
4611 /* FIXME: Move this to arch specific code */
4612 #ifdef MONO_ARCH_HAVE_FIND_JIT_INFO_EXT
4613 if (invoke->has_ctx) {
4614 MonoLMF **lmf_addr;
4615
4616 lmf_addr = mono_get_lmf_addr ();
4617
4618 /* Setup our lmf */
4619 memset (&ext, 0, sizeof (ext));
4620 #ifdef TARGET_AMD64
4621 ext.lmf.previous_lmf = *(lmf_addr);
4622 /* Mark that this is a MonoLMFExt */
4623 ext.lmf.previous_lmf = (gpointer)(((gssize)ext.lmf.previous_lmf) | 2);
4624 ext.lmf.rsp = (gssize)&ext;
4625 #elif defined(TARGET_X86)
4626 ext.lmf.previous_lmf = (gsize)*(lmf_addr);
4627 /* Mark that this is a MonoLMFExt */
4628 ext.lmf.previous_lmf = (gsize)(gpointer)(((gssize)ext.lmf.previous_lmf) | 2);
4629 ext.lmf.ebp = (gssize)&ext;
4630 #elif defined(TARGET_ARM)
4631 ext.lmf.previous_lmf = *(lmf_addr);
4632 /* Mark that this is a MonoLMFExt */
4633 ext.lmf.previous_lmf = (gpointer)(((gssize)ext.lmf.previous_lmf) | 2);
4634 ext.lmf.ebp = (gssize)&ext;
4635 #elif defined(TARGET_POWERPC)
4636 ext.lmf.previous_lmf = *(lmf_addr);
4637 /* Mark that this is a MonoLMFExt */
4638 ext.lmf.previous_lmf = (gpointer)(((gssize)ext.lmf.previous_lmf) | 2);
4639 ext.lmf.ebp = (gssize)&ext;
4640 #else
4641 g_assert_not_reached ();
4642 #endif
4643
4644 ext.debugger_invoke = TRUE;
4645 memcpy (&ext.ctx, &invoke->ctx, sizeof (MonoContext));
4646
4647 mono_set_lmf ((MonoLMF*)&ext);
4648 }
4649 #endif
4650
4651 if (m->klass->valuetype)
4652 res = mono_runtime_invoke (m, this_buf, args, &exc);
4653 else
4654 res = mono_runtime_invoke (m, this, args, &exc);
4655 if (exc) {
4656 buffer_add_byte (buf, 0);
4657 buffer_add_value (buf, &mono_defaults.object_class->byval_arg, &exc, domain);
4658 } else {
4659 buffer_add_byte (buf, 1);
4660 if (sig->ret->type == MONO_TYPE_VOID) {
4661 if (!strcmp (m->name, ".ctor") && !m->klass->valuetype) {
4662 buffer_add_value (buf, &mono_defaults.object_class->byval_arg, &this, domain);
4663 }
4664 else
4665 buffer_add_value (buf, &mono_defaults.void_class->byval_arg, NULL, domain);
4666 } else if (MONO_TYPE_IS_REFERENCE (sig->ret)) {
4667 buffer_add_value (buf, sig->ret, &res, domain);
4668 } else if (mono_class_from_mono_type (sig->ret)->valuetype) {
4669 g_assert (res);
4670 buffer_add_value (buf, sig->ret, mono_object_unbox (res), domain);
4671 } else {
4672 NOT_IMPLEMENTED;
4673 }
4674 }
4675
4676 tls->disable_breakpoints = FALSE;
4677
4678 #ifdef MONO_ARCH_HAVE_FIND_JIT_INFO_EXT
4679 if (invoke->has_ctx)
4680 mono_set_lmf ((gpointer)(((gssize)ext.lmf.previous_lmf) & ~3));
4681 #endif
4682
4683 // FIXME: byref arguments
4684 // FIXME: varargs
4685 return ERR_NONE;
4686 }
4687
4688 /*
4689 * invoke_method:
4690 *
4691 * Invoke the method given by tls->pending_invoke in the current thread.
4692 */
4693 static void
4694 invoke_method (void)
4695 {
4696 DebuggerTlsData *tls;
4697 InvokeData *invoke;
4698 int id;
4699 int err;
4700 Buffer buf;
4701 static void (*restore_context) (void *);
4702 MonoContext restore_ctx;
4703
4704 if (!restore_context)
4705 restore_context = mono_get_restore_context ();
4706
4707 tls = TlsGetValue (debugger_tls_id);
4708 g_assert (tls);
4709
4710 /*
4711 * Store the `InvokeData *' in `tls->invoke' until we're done with
4712 * the invocation, so CMD_VM_ABORT_INVOKE can check it.
4713 */
4714
4715 mono_loader_lock ();
4716
4717 invoke = tls->pending_invoke;
4718 g_assert (invoke);
4719 tls->pending_invoke = NULL;
4720
4721 invoke->last_invoke = tls->invoke;
4722 tls->invoke = invoke;
4723
4724 mono_loader_unlock ();
4725
4726 tls->frames_up_to_date = FALSE;
4727
4728 id = invoke->id;
4729
4730 buffer_init (&buf, 128);
4731
4732 err = do_invoke_method (tls, &buf, invoke);
4733
4734 /* Start suspending before sending the reply */
4735 if (!(invoke->flags & INVOKE_FLAG_SINGLE_THREADED))
4736 suspend_vm ();
4737
4738 send_reply_packet (id, err, &buf);
4739
4740 buffer_free (&buf);
4741
4742 memcpy (&restore_ctx, &invoke->ctx, sizeof (MonoContext));
4743
4744 if (invoke->has_ctx)
4745 save_thread_context (&restore_ctx);
4746
4747 if (invoke->flags & INVOKE_FLAG_SINGLE_THREADED) {
4748 g_assert (tls->resume_count);
4749 tls->resume_count -= invoke->suspend_count;
4750 }
4751
4752 DEBUG (1, printf ("[%p] Invoke finished, resume_count = %d.\n", (gpointer)GetCurrentThreadId (), tls->resume_count));
4753
4754 /*
4755 * Take the loader lock to avoid race conditions with CMD_VM_ABORT_INVOKE:
4756 *
4757 * It is possible that ves_icall_System_Threading_Thread_Abort () was called
4758 * after the mono_runtime_invoke() already returned, but it doesn't matter
4759 * because we reset the abort here.
4760 */
4761
4762 mono_loader_lock ();
4763
4764 if (tls->abort_requested)
4765 mono_thread_internal_reset_abort (tls->thread);
4766
4767 tls->invoke = tls->invoke->last_invoke;
4768 tls->abort_requested = FALSE;
4769
4770 mono_loader_unlock ();
4771
4772 g_free (invoke->p);
4773 g_free (invoke);
4774
4775 suspend_current ();
4776 }
4777
4778 static gboolean
4779 is_really_suspended (gpointer key, gpointer value, gpointer user_data)
4780 {
4781 MonoThread *thread = value;
4782 DebuggerTlsData *tls;
4783 gboolean res;
4784
4785 mono_loader_lock ();
4786 tls = mono_g_hash_table_lookup (thread_to_tls, thread);
4787 g_assert (tls);
4788 res = tls->really_suspended;
4789 mono_loader_unlock ();
4790
4791 return res;
4792 }
4793
4794 static ErrorCode
4795 vm_commands (int command, int id, guint8 *p, guint8 *end, Buffer *buf)
4796 {
4797 switch (command) {
4798 case CMD_VM_VERSION: {
4799 char *build_info, *version;
4800
4801 build_info = mono_get_runtime_build_info ();
4802 version = g_strdup_printf ("mono %s", build_info);
4803
4804 buffer_add_string (buf, version); /* vm version */
4805 buffer_add_int (buf, MAJOR_VERSION);
4806 buffer_add_int (buf, MINOR_VERSION);
4807 g_free (build_info);
4808 g_free (version);
4809 break;
4810 }
4811 case CMD_VM_SET_PROTOCOL_VERSION: {
4812 major_version = decode_int (p, &p, end);
4813 minor_version = decode_int (p, &p, end);
4814 protocol_version_set = TRUE;
4815 DEBUG(1, fprintf (log_file, "[dbg] Protocol version %d.%d, client protocol version %d.%d.\n", MAJOR_VERSION, MINOR_VERSION, major_version, minor_version));
4816 break;
4817 }
4818 case CMD_VM_ALL_THREADS: {
4819 // FIXME: Domains
4820 mono_loader_lock ();
4821 buffer_add_int (buf, mono_g_hash_table_size (tid_to_thread_obj));
4822 mono_g_hash_table_foreach (tid_to_thread_obj, add_thread, buf);
4823 mono_loader_unlock ();
4824 break;
4825 }
4826 case CMD_VM_SUSPEND:
4827 suspend_vm ();
4828 wait_for_suspend ();
4829 break;
4830 case CMD_VM_RESUME:
4831 if (suspend_count == 0)
4832 return ERR_NOT_SUSPENDED;
4833 resume_vm ();
4834 break;
4835 case CMD_VM_DISPOSE:
4836 /* Clear all event requests */
4837 mono_loader_lock ();
4838 while (event_requests->len > 0) {
4839 EventRequest *req = g_ptr_array_index (event_requests, 0);
4840
4841 clear_event_request (req->id, req->event_kind);
4842 }
4843 mono_loader_unlock ();
4844
4845 // FIXME: Count resumes
4846 resume_vm ();
4847 disconnected = TRUE;
4848 break;
4849 case CMD_VM_EXIT: {
4850 MonoInternalThread *thread;
4851 DebuggerTlsData *tls;
4852 MonoClass *env_class;
4853 MonoMethod *exit_method;
4854 gpointer *args;
4855 int exit_code;
4856
4857 exit_code = decode_int (p, &p, end);
4858
4859 // FIXME: What if there is a VM_DEATH event request with SUSPEND_ALL ?
4860
4861 /* Have to send a reply before exiting */
4862 send_reply_packet (id, 0, buf);
4863
4864 /* Clear all event requests */
4865 mono_loader_lock ();
4866 while (event_requests->len > 0) {
4867 EventRequest *req = g_ptr_array_index (event_requests, 0);
4868
4869 clear_event_request (req->id, req->event_kind);
4870 }
4871 mono_loader_unlock ();
4872
4873 /*
4874 * The JDWP documentation says that the shutdown is not orderly. It doesn't
4875 * specify whenever a VM_DEATH event is sent. We currently do an orderly
4876 * shutdown by hijacking a thread to execute Environment.Exit (). This is
4877 * better than doing the shutdown ourselves, since it avoids various races.
4878 */
4879
4880 suspend_vm ();
4881 wait_for_suspend ();
4882
4883 env_class = mono_class_from_name (mono_defaults.corlib, "System", "Environment");
4884 g_assert (env_class);
4885 exit_method = mono_class_get_method_from_name (env_class, "Exit", 1);
4886 g_assert (exit_method);
4887
4888 mono_loader_lock ();
4889 thread = mono_g_hash_table_find (tid_to_thread, is_really_suspended, NULL);
4890 mono_loader_unlock ();
4891
4892 if (thread) {
4893 mono_loader_lock ();
4894 tls = mono_g_hash_table_lookup (thread_to_tls, thread);
4895 mono_loader_unlock ();
4896
4897 args = g_new0 (gpointer, 1);
4898 args [0] = g_malloc (sizeof (int));
4899 *(int*)(args [0]) = exit_code;
4900
4901 tls->pending_invoke = g_new0 (InvokeData, 1);
4902 tls->pending_invoke->method = exit_method;
4903 tls->pending_invoke->args = args;
4904
4905 while (suspend_count > 0)
4906 resume_vm ();
4907 } else {
4908 /*
4909 * No thread found, do it ourselves.
4910 * FIXME: This can race with normal shutdown etc.
4911 */
4912 while (suspend_count > 0)
4913 resume_vm ();
4914
4915 mono_runtime_set_shutting_down ();
4916
4917 mono_threads_set_shutting_down ();
4918
4919 /* Suspend all managed threads since the runtime is going away */
4920 DEBUG(1, fprintf (log_file, "Suspending all threads...\n"));
4921 mono_thread_suspend_all_other_threads ();
4922 DEBUG(1, fprintf (log_file, "Shutting down the runtime...\n"));
4923 mono_runtime_quit ();
4924 #ifdef HOST_WIN32
4925 shutdown (conn_fd, SD_BOTH);
4926 #else
4927 shutdown (conn_fd, SHUT_RDWR);
4928 #endif
4929 DEBUG(1, fprintf (log_file, "Exiting...\n"));
4930
4931 exit (exit_code);
4932 }
4933 break;
4934 }
4935 case CMD_VM_INVOKE_METHOD: {
4936 int objid = decode_objid (p, &p, end);
4937 MonoThread *thread;
4938 DebuggerTlsData *tls;
4939 int err, flags;
4940
4941 err = get_object (objid, (MonoObject**)&thread);
4942 if (err)
4943 return err;
4944
4945 flags = decode_int (p, &p, end);
4946
4947 // Wait for suspending if it already started
4948 if (suspend_count)
4949 wait_for_suspend ();
4950 if (!is_suspended ())
4951 return ERR_NOT_SUSPENDED;
4952
4953 mono_loader_lock ();
4954 tls = mono_g_hash_table_lookup (thread_to_tls, THREAD_TO_INTERNAL (thread));
4955 mono_loader_unlock ();
4956 g_assert (tls);
4957
4958 if (!tls->really_suspended)
4959 /* The thread is still running native code, can't do invokes */
4960 return ERR_NOT_SUSPENDED;
4961
4962 /*
4963 * Store the invoke data into tls, the thread will execute it after it is
4964 * resumed.
4965 */
4966 if (tls->pending_invoke)
4967 NOT_IMPLEMENTED;
4968 tls->pending_invoke = g_new0 (InvokeData, 1);
4969 tls->pending_invoke->id = id;
4970 tls->pending_invoke->flags = flags;
4971 tls->pending_invoke->p = g_malloc (end - p);
4972 memcpy (tls->pending_invoke->p, p, end - p);
4973 tls->pending_invoke->endp = tls->pending_invoke->p + (end - p);
4974 tls->pending_invoke->suspend_count = suspend_count;
4975
4976 if (flags & INVOKE_FLAG_SINGLE_THREADED)
4977 resume_thread (THREAD_TO_INTERNAL (thread));
4978 else
4979 resume_vm ();
4980 break;
4981 }
4982 case CMD_VM_ABORT_INVOKE: {
4983 int objid = decode_objid (p, &p, end);
4984 MonoThread *thread;
4985 DebuggerTlsData *tls;
4986 int invoke_id, err;
4987
4988 err = get_object (objid, (MonoObject**)&thread);
4989 if (err)
4990 return err;
4991
4992 invoke_id = decode_int (p, &p, end);
4993
4994 mono_loader_lock ();
4995 tls = mono_g_hash_table_lookup (thread_to_tls, THREAD_TO_INTERNAL (thread));
4996 g_assert (tls);
4997
4998 if (tls->abort_requested) {
4999 mono_loader_unlock ();
5000 break;
5001 }
5002
5003 /*
5004 * Check whether we're still inside the mono_runtime_invoke() and that it's
5005 * actually the correct invocation.
5006 *
5007 * Careful, we do not stop the thread that's doing the invocation, so we can't
5008 * inspect its stack. However, invoke_method() also acquires the loader lock
5009 * when it's done, so we're safe here.
5010 *
5011 */
5012
5013 if (!tls->invoke || (tls->invoke->id != invoke_id)) {
5014 mono_loader_unlock ();
5015 return ERR_NO_INVOCATION;
5016 }
5017
5018 tls->abort_requested = TRUE;
5019
5020 ves_icall_System_Threading_Thread_Abort (THREAD_TO_INTERNAL (thread), NULL);
5021 mono_loader_unlock ();
5022 break;
5023 }
5024
5025 default:
5026 return ERR_NOT_IMPLEMENTED;
5027 }
5028
5029 return ERR_NONE;
5030 }
5031
5032 static ErrorCode
5033 event_commands (int command, guint8 *p, guint8 *end, Buffer *buf)
5034 {
5035 int err;
5036
5037 switch (command) {
5038 case CMD_EVENT_REQUEST_SET: {
5039 EventRequest *req;
5040 int i, event_kind, suspend_policy, nmodifiers, mod;
5041 MonoMethod *method;
5042 long location = 0;
5043 MonoThread *step_thread;
5044 int size = 0, depth = 0, step_thread_id = 0;
5045 MonoDomain *domain;
5046
5047 event_kind = decode_byte (p, &p, end);
5048 suspend_policy = decode_byte (p, &p, end);
5049 nmodifiers = decode_byte (p, &p, end);
5050
5051 req = g_malloc0 (sizeof (EventRequest) + (nmodifiers * sizeof (Modifier)));
5052 req->id = InterlockedIncrement (&event_request_id);
5053 req->event_kind = event_kind;
5054 req->suspend_policy = suspend_policy;
5055 req->nmodifiers = nmodifiers;
5056
5057 method = NULL;
5058 for (i = 0; i < nmodifiers; ++i) {
5059 mod = decode_byte (p, &p, end);
5060
5061 req->modifiers [i].kind = mod;
5062 if (mod == MOD_KIND_COUNT) {
5063 req->modifiers [i].data.count = decode_int (p, &p, end);
5064 } else if (mod == MOD_KIND_LOCATION_ONLY) {
5065 method = decode_methodid (p, &p, end, &domain, &err);
5066 if (err)
5067 return err;
5068 location = decode_long (p, &p, end);
5069 } else if (mod == MOD_KIND_STEP) {
5070 step_thread_id = decode_id (p, &p, end);
5071 size = decode_int (p, &p, end);
5072 depth = decode_int (p, &p, end);
5073 } else if (mod == MOD_KIND_THREAD_ONLY) {
5074 int id = decode_id (p, &p, end);
5075
5076 err = get_object (id, (MonoObject**)&req->modifiers [i].data.thread);
5077 if (err) {
5078 g_free (req);
5079 return err;
5080 }
5081 } else if (mod == MOD_KIND_EXCEPTION_ONLY) {
5082 MonoClass *exc_class = decode_typeid (p, &p, end, &domain, &err);
5083
5084 if (err)
5085 return err;
5086 req->modifiers [i].caught = decode_byte (p, &p, end);
5087 req->modifiers [i].uncaught = decode_byte (p, &p, end);
5088 DEBUG(1, fprintf (log_file, "[dbg] \tEXCEPTION_ONLY filter (%s%s%s).\n", exc_class ? exc_class->name : "all", req->modifiers [i].caught ? ", caught" : "", req->modifiers [i].uncaught ? ", uncaught" : ""));
5089 if (exc_class) {
5090 req->modifiers [i].data.exc_class = exc_class;
5091
5092 if (!mono_class_is_assignable_from (mono_defaults.exception_class, exc_class)) {
5093 g_free (req);
5094 return ERR_INVALID_ARGUMENT;
5095 }
5096 }
5097 } else if (mod == MOD_KIND_ASSEMBLY_ONLY) {
5098 int n = decode_int (p, &p, end);
5099 int j;
5100
5101 req->modifiers [i].data.assemblies = g_new0 (MonoAssembly*, n);
5102 for (j = 0; j < n; ++j) {
5103 req->modifiers [i].data.assemblies [j] = decode_assemblyid (p, &p, end, &domain, &err);
5104 if (err) {
5105 g_free (req->modifiers [i].data.assemblies);
5106 return err;
5107 }
5108 }
5109 } else {
5110 g_free (req);
5111 return ERR_NOT_IMPLEMENTED;
5112 }
5113 }
5114
5115 if (req->event_kind == EVENT_KIND_BREAKPOINT) {
5116 g_assert (method);
5117
5118 req->info = set_breakpoint (method, location, req);
5119 } else if (req->event_kind == EVENT_KIND_STEP) {
5120 g_assert (step_thread_id);
5121
5122 err = get_object (step_thread_id, (MonoObject**)&step_thread);
5123 if (err) {
5124 g_free (req);
5125 return err;
5126 }
5127
5128 err = ss_create (THREAD_TO_INTERNAL (step_thread), size, depth, req);
5129 if (err) {
5130 g_free (req);
5131 return err;
5132 }
5133 } else if (req->event_kind == EVENT_KIND_METHOD_ENTRY) {
5134 req->info = set_breakpoint (NULL, METHOD_ENTRY_IL_OFFSET, req);
5135 } else if (req->event_kind == EVENT_KIND_METHOD_EXIT) {
5136 req->info = set_breakpoint (NULL, METHOD_EXIT_IL_OFFSET, req);
5137 } else if (req->event_kind == EVENT_KIND_EXCEPTION) {
5138 } else {
5139 if (req->nmodifiers) {
5140 g_free (req);
5141 return ERR_NOT_IMPLEMENTED;
5142 }
5143 }
5144
5145 mono_loader_lock ();
5146 g_ptr_array_add (event_requests, req);
5147 mono_loader_unlock ();
5148
5149 buffer_add_int (buf, req->id);
5150 break;
5151 }
5152 case CMD_EVENT_REQUEST_CLEAR: {
5153 int etype = decode_byte (p, &p, end);
5154 int req_id = decode_int (p, &p, end);
5155
5156 // FIXME: Make a faster mapping from req_id to request
5157 mono_loader_lock ();
5158 clear_event_request (req_id, etype);
5159 mono_loader_unlock ();
5160 break;
5161 }
5162 case CMD_EVENT_REQUEST_CLEAR_ALL_BREAKPOINTS: {
5163 int i;
5164
5165 mono_loader_lock ();
5166 i = 0;
5167 while (i < event_requests->len) {
5168 EventRequest *req = g_ptr_array_index (event_requests, i);
5169
5170 if (req->event_kind == EVENT_KIND_BREAKPOINT) {
5171 clear_breakpoint (req->info);
5172
5173 g_ptr_array_remove_index_fast (event_requests, i);
5174 g_free (req);
5175 } else {
5176 i ++;
5177 }
5178 }
5179 mono_loader_unlock ();
5180 break;
5181 }
5182 default:
5183 return ERR_NOT_IMPLEMENTED;
5184 }
5185
5186 return ERR_NONE;
5187 }
5188
5189 static ErrorCode
5190 domain_commands (int command, guint8 *p, guint8 *end, Buffer *buf)
5191 {
5192 int err;
5193 MonoDomain *domain;
5194
5195 switch (command) {
5196 case CMD_APPDOMAIN_GET_ROOT_DOMAIN: {
5197 buffer_add_domainid (buf, mono_get_root_domain ());
5198 break;
5199 }
5200 case CMD_APPDOMAIN_GET_FRIENDLY_NAME: {
5201 domain = decode_domainid (p, &p, end, NULL, &err);
5202 if (err)
5203 return err;
5204 buffer_add_string (buf, domain->friendly_name);
5205 break;
5206 }
5207 case CMD_APPDOMAIN_GET_ASSEMBLIES: {
5208 GSList *tmp;
5209 MonoAssembly *ass;
5210 int count;
5211
5212 domain = decode_domainid (p, &p, end, NULL, &err);
5213 if (err)
5214 return err;
5215 mono_loader_lock ();
5216 count = 0;
5217 for (tmp = domain->domain_assemblies; tmp; tmp = tmp->next) {
5218 count ++;
5219 }
5220 buffer_add_int (buf, count);
5221 for (tmp = domain->domain_assemblies; tmp; tmp = tmp->next) {
5222 ass = tmp->data;
5223 buffer_add_assemblyid (buf, domain, ass);
5224 }
5225 mono_loader_unlock ();
5226 break;
5227 }
5228 case CMD_APPDOMAIN_GET_ENTRY_ASSEMBLY: {
5229 domain = decode_domainid (p, &p, end, NULL, &err);
5230 if (err)
5231 return err;
5232
5233 buffer_add_assemblyid (buf, domain, domain->entry_assembly);
5234 break;
5235 }
5236 case CMD_APPDOMAIN_GET_CORLIB: {
5237 domain = decode_domainid (p, &p, end, NULL, &err);
5238 if (err)
5239 return err;
5240
5241 buffer_add_assemblyid (buf, domain, domain->domain->mbr.obj.vtable->klass->image->assembly);
5242 break;
5243 }
5244 case CMD_APPDOMAIN_CREATE_STRING: {
5245 char *s;
5246 MonoString *o;
5247
5248 domain = decode_domainid (p, &p, end, NULL, &err);
5249 if (err)
5250 return err;
5251 s = decode_string (p, &p, end);
5252
5253 o = mono_string_new (domain, s);
5254 buffer_add_objid (buf, (MonoObject*)o);
5255 break;
5256 }
5257 case CMD_APPDOMAIN_CREATE_BOXED_VALUE: {
5258 MonoClass *klass;
5259 MonoDomain *domain2;
5260 MonoObject *o;
5261
5262 domain = decode_domainid (p, &p, end, NULL, &err);
5263 if (err)
5264 return err;
5265 klass = decode_typeid (p, &p, end, &domain2, &err);
5266 if (err)
5267 return err;
5268
5269 // FIXME:
5270 g_assert (domain == domain2);
5271
5272 o = mono_object_new (domain, klass);
5273
5274 err = decode_value (&klass->byval_arg, domain, mono_object_unbox (o), p, &p, end);
5275 if (err)
5276 return err;
5277
5278 buffer_add_objid (buf, o);
5279 break;
5280 }
5281 default:
5282 return ERR_NOT_IMPLEMENTED;
5283 }
5284
5285 return ERR_NONE;
5286 }
5287
5288 static ErrorCode
5289 assembly_commands (int command, guint8 *p, guint8 *end, Buffer *buf)
5290 {
5291 int err;
5292 MonoAssembly *ass;
5293 MonoDomain *domain;
5294
5295 ass = decode_assemblyid (p, &p, end, &domain, &err);
5296 if (err)
5297 return err;
5298
5299 switch (command) {
5300 case CMD_ASSEMBLY_GET_LOCATION: {
5301 buffer_add_string (buf, mono_image_get_filename (ass->image));
5302 break;
5303 }
5304 case CMD_ASSEMBLY_GET_ENTRY_POINT: {
5305 guint32 token;
5306 MonoMethod *m;
5307
5308 if (ass->image->dynamic) {
5309 buffer_add_id (buf, 0);
5310 } else {
5311 token = mono_image_get_entry_point (ass->image);
5312 if (token == 0) {
5313 buffer_add_id (buf, 0);
5314 } else {
5315 m = mono_get_method (ass->image, token, NULL);
5316 buffer_add_methodid (buf, domain, m);
5317 }
5318 }
5319 break;
5320 }
5321 case CMD_ASSEMBLY_GET_MANIFEST_MODULE: {
5322 buffer_add_moduleid (buf, domain, ass->image);
5323 break;
5324 }
5325 case CMD_ASSEMBLY_GET_OBJECT: {
5326 MonoObject *o = (MonoObject*)mono_assembly_get_object (mono_domain_get (), ass);
5327 buffer_add_objid (buf, o);
5328 break;
5329 }
5330 case CMD_ASSEMBLY_GET_TYPE: {
5331 char *s = decode_string (p, &p, end);
5332 gboolean ignorecase = decode_byte (p, &p, end);
5333 MonoTypeNameParse info;
5334 MonoType *t;
5335 gboolean type_resolve;
5336
5337 if (!mono_reflection_parse_type (s, &info)) {
5338 t = NULL;
5339 } else {
5340 if (info.assembly.name)
5341 NOT_IMPLEMENTED;
5342 t = mono_reflection_get_type (ass->image, &info, ignorecase, &type_resolve);
5343 }
5344 buffer_add_typeid (buf, domain, t ? mono_class_from_mono_type (t) : NULL);
5345 mono_reflection_free_type_info (&info);
5346 g_free (s);
5347
5348 break;
5349 }
5350 case CMD_ASSEMBLY_GET_NAME: {
5351 gchar *name;
5352 MonoAssembly *mass = ass;
5353
5354 name = g_strdup_printf (
5355 "%s, Version=%d.%d.%d.%d, Culture=%s, PublicKeyToken=%s%s",
5356 mass->aname.name,
5357 mass->aname.major, mass->aname.minor, mass->aname.build, mass->aname.revision,
5358 mass->aname.culture && *mass->aname.culture? mass->aname.culture: "neutral",
5359 mass->aname.public_key_token [0] ? (char *)mass->aname.public_key_token : "null",
5360 (mass->aname.flags & ASSEMBLYREF_RETARGETABLE_FLAG) ? ", Retargetable=Yes" : "");
5361
5362 buffer_add_string (buf, name);
5363 g_free (name);
5364 break;
5365 }
5366 default:
5367 return ERR_NOT_IMPLEMENTED;
5368 }
5369
5370 return ERR_NONE;
5371 }
5372
5373 static ErrorCode
5374 module_commands (int command, guint8 *p, guint8 *end, Buffer *buf)
5375 {
5376 int err;
5377 MonoDomain *domain;
5378
5379 switch (command) {
5380 case CMD_MODULE_GET_INFO: {
5381 MonoImage *image = decode_moduleid (p, &p, end, &domain, &err);
5382 char *basename;
5383
5384 basename = g_path_get_basename (image->name);
5385 buffer_add_string (buf, basename); // name
5386 buffer_add_string (buf, image->module_name); // scopename
5387 buffer_add_string (buf, image->name); // fqname
5388 buffer_add_string (buf, mono_image_get_guid (image)); // guid
5389 buffer_add_assemblyid (buf, domain, image->assembly); // assembly
5390 g_free (basename);
5391 break;
5392 }
5393 default:
5394 return ERR_NOT_IMPLEMENTED;
5395 }
5396
5397 return ERR_NONE;
5398 }
5399
5400 static void
5401 buffer_add_cattr_arg (Buffer *buf, MonoType *t, MonoDomain *domain, MonoObject *val)
5402 {
5403 if (val && val->vtable->klass == mono_defaults.monotype_class) {
5404 /* Special case these so the client doesn't have to handle Type objects */
5405
5406 buffer_add_byte (buf, VALUE_TYPE_ID_TYPE);
5407 buffer_add_typeid (buf, domain, mono_class_from_mono_type (((MonoReflectionType*)val)->type));
5408 } else if (MONO_TYPE_IS_REFERENCE (t))
5409 buffer_add_value (buf, t, &val, domain);
5410 else
5411 buffer_add_value (buf, t, mono_object_unbox (val), domain);
5412 }
5413
5414 static void
5415 buffer_add_cattrs (Buffer *buf, MonoDomain *domain, MonoImage *image, MonoClass *attr_klass, MonoCustomAttrInfo *cinfo)
5416 {
5417 int i, j;
5418 int nattrs = 0;
5419
5420 if (!cinfo) {
5421 buffer_add_int (buf, 0);
5422 return;
5423 }
5424
5425 for (i = 0; i < cinfo->num_attrs; ++i) {
5426 if (!attr_klass || mono_class_has_parent (cinfo->attrs [i].ctor->klass, attr_klass))
5427 nattrs ++;
5428 }
5429 buffer_add_int (buf, nattrs);
5430
5431 for (i = 0; i < cinfo->num_attrs; ++i) {
5432 MonoCustomAttrEntry *attr = &cinfo->attrs [i];
5433 if (!attr_klass || mono_class_has_parent (attr->ctor->klass, attr_klass)) {
5434 MonoArray *typed_args, *named_args;
5435 MonoType *t;
5436 CattrNamedArg *arginfo;
5437
5438 mono_reflection_create_custom_attr_data_args (image, attr->ctor, attr->data, attr->data_size, &typed_args, &named_args, &arginfo);
5439
5440 buffer_add_methodid (buf, domain, attr->ctor);
5441
5442 /* Ctor args */
5443 if (typed_args) {
5444 buffer_add_int (buf, mono_array_length (typed_args));
5445 for (j = 0; j < mono_array_length (typed_args); ++j) {
5446 MonoObject *val = mono_array_get (typed_args, MonoObject*, j);
5447
5448 t = mono_method_signature (attr->ctor)->params [j];
5449
5450 buffer_add_cattr_arg (buf, t, domain, val);
5451 }
5452 } else {
5453 buffer_add_int (buf, 0);
5454 }
5455
5456 /* Named args */
5457 if (named_args) {
5458 buffer_add_int (buf, mono_array_length (named_args));
5459
5460 for (j = 0; j < mono_array_length (named_args); ++j) {
5461 MonoObject *val = mono_array_get (named_args, MonoObject*, j);
5462
5463 if (arginfo [j].prop) {
5464 buffer_add_byte (buf, 0x54);
5465 buffer_add_propertyid (buf, domain, arginfo [j].prop);
5466 } else if (arginfo [j].field) {
5467 buffer_add_byte (buf, 0x53);
5468 } else {
5469 g_assert_not_reached ();
5470 }
5471
5472 buffer_add_cattr_arg (buf, arginfo [j].type, domain, val);
5473 }
5474 } else {
5475 buffer_add_int (buf, 0);
5476 }
5477 }
5478 }
5479 }
5480
5481 static ErrorCode
5482 type_commands (int command, guint8 *p, guint8 *end, Buffer *buf)
5483 {
5484 MonoClass *klass;
5485 MonoDomain *domain;
5486 MonoClass *nested;
5487 MonoType *type;
5488 gpointer iter;
5489 guint8 b;
5490 int err, nnested;
5491 char *name;
5492
5493 klass = decode_typeid (p, &p, end, &domain, &err);
5494 if (err)
5495 return err;
5496
5497 switch (command) {
5498 case CMD_TYPE_GET_INFO: {
5499 buffer_add_string (buf, klass->name_space);
5500 buffer_add_string (buf, klass->name);
5501 // FIXME: byref
5502 name = mono_type_get_name_full (&klass->byval_arg, MONO_TYPE_NAME_FORMAT_FULL_NAME);
5503 buffer_add_string (buf, name);
5504 g_free (name);
5505 buffer_add_assemblyid (buf, domain, klass->image->assembly);
5506 buffer_add_moduleid (buf, domain, klass->image);
5507 buffer_add_typeid (buf, domain, klass->parent);
5508 if (klass->rank || klass->byval_arg.type == MONO_TYPE_PTR)
5509 buffer_add_typeid (buf, domain, klass->element_class);
5510 else
5511 buffer_add_id (buf, 0);
5512 buffer_add_int (buf, klass->type_token);
5513 buffer_add_byte (buf, klass->rank);
5514 buffer_add_int (buf, klass->flags);
5515 b = 0;
5516 type = &klass->byval_arg;
5517 // FIXME: Can't decide whenever a class represents a byref type
5518 if (FALSE)
5519 b |= (1 << 0);
5520 if (type->type == MONO_TYPE_PTR)
5521 b |= (1 << 1);
5522 if (!type->byref && (((type->type >= MONO_TYPE_BOOLEAN) && (type->type <= MONO_TYPE_R8)) || (type->type == MONO_TYPE_I) || (type->type == MONO_TYPE_U)))
5523 b |= (1 << 2);
5524 if (type->type == MONO_TYPE_VALUETYPE)
5525 b |= (1 << 3);
5526 if (klass->enumtype)
5527 b |= (1 << 4);
5528 buffer_add_byte (buf, b);
5529 nnested = 0;
5530 iter = NULL;
5531 while ((nested = mono_class_get_nested_types (klass, &iter)))
5532 nnested ++;
5533 buffer_add_int (buf, nnested);
5534 iter = NULL;
5535 while ((nested = mono_class_get_nested_types (klass, &iter)))
5536 buffer_add_typeid (buf, domain, nested);
5537 break;
5538 }
5539 case CMD_TYPE_GET_METHODS: {
5540 int nmethods;
5541 int i = 0;
5542 gpointer iter = NULL;
5543 MonoMethod *m;
5544
5545 nmethods = mono_class_num_methods (klass);
5546
5547 buffer_add_int (buf, nmethods);
5548
5549 while ((m = mono_class_get_methods (klass, &iter))) {
5550 buffer_add_methodid (buf, domain, m);
5551 i ++;
5552 }
5553 g_assert (i == nmethods);
5554 break;
5555 }
5556 case CMD_TYPE_GET_FIELDS: {
5557 int nfields;
5558 int i = 0;
5559 gpointer iter = NULL;
5560 MonoClassField *f;
5561
5562 nfields = mono_class_num_fields (klass);
5563
5564 buffer_add_int (buf, nfields);
5565
5566 while ((f = mono_class_get_fields (klass, &iter))) {
5567 buffer_add_fieldid (buf, domain, f);
5568 buffer_add_string (buf, f->name);
5569 buffer_add_typeid (buf, domain, mono_class_from_mono_type (f->type));
5570 buffer_add_int (buf, f->type->attrs);
5571 i ++;
5572 }
5573 g_assert (i == nfields);
5574 break;
5575 }
5576 case CMD_TYPE_GET_PROPERTIES: {
5577 int nprops;
5578 int i = 0;
5579 gpointer iter = NULL;
5580 MonoProperty *p;
5581
5582 nprops = mono_class_num_properties (klass);
5583
5584 buffer_add_int (buf, nprops);
5585
5586 while ((p = mono_class_get_properties (klass, &iter))) {
5587 buffer_add_propertyid (buf, domain, p);
5588 buffer_add_string (buf, p->name);
5589 buffer_add_methodid (buf, domain, p->get);
5590 buffer_add_methodid (buf, domain, p->set);
5591 buffer_add_int (buf, p->attrs);
5592 i ++;
5593 }
5594 g_assert (i == nprops);
5595 break;
5596 }
5597 case CMD_TYPE_GET_CATTRS: {
5598 MonoClass *attr_klass = decode_typeid (p, &p, end, NULL, &err);
5599 MonoCustomAttrInfo *cinfo;
5600
5601 cinfo = mono_custom_attrs_from_class (klass);
5602
5603 buffer_add_cattrs (buf, domain, klass->image, attr_klass, cinfo);
5604 break;
5605 }
5606 case CMD_TYPE_GET_FIELD_CATTRS: {
5607 MonoClass *attr_klass;
5608 MonoCustomAttrInfo *cinfo;
5609 MonoClassField *field;
5610
5611 field = decode_fieldid (p, &p, end, NULL, &err);
5612 if (err)
5613 return err;
5614 attr_klass = decode_typeid (p, &p, end, NULL, &err);
5615 if (err)
5616 return err;
5617
5618 cinfo = mono_custom_attrs_from_field (klass, field);
5619
5620 buffer_add_cattrs (buf, domain, klass->image, attr_klass, cinfo);
5621 break;
5622 }
5623 case CMD_TYPE_GET_PROPERTY_CATTRS: {
5624 MonoClass *attr_klass;
5625 MonoCustomAttrInfo *cinfo;
5626 MonoProperty *prop;
5627
5628 prop = decode_propertyid (p, &p, end, NULL, &err);
5629 if (err)
5630 return err;
5631 attr_klass = decode_typeid (p, &p, end, NULL, &err);
5632 if (err)
5633 return err;
5634
5635 cinfo = mono_custom_attrs_from_property (klass, prop);
5636
5637 buffer_add_cattrs (buf, domain, klass->image, attr_klass, cinfo);
5638 break;
5639 }
5640 case CMD_TYPE_GET_VALUES: {
5641 guint8 *val;
5642 MonoClassField *f;
5643 MonoVTable *vtable;
5644 MonoClass *k;
5645 int len, i;
5646 gboolean found;
5647
5648 len = decode_int (p, &p, end);
5649 for (i = 0; i < len; ++i) {
5650 f = decode_fieldid (p, &p, end, NULL, &err);
5651 if (err)
5652 return err;
5653
5654 if (!(f->type->attrs & FIELD_ATTRIBUTE_STATIC))
5655 return ERR_INVALID_FIELDID;
5656 if (mono_class_field_is_special_static (f))
5657 return ERR_INVALID_FIELDID;
5658
5659 /* Check that the field belongs to the object */
5660 found = FALSE;
5661 for (k = klass; k; k = k->parent) {
5662 if (k == f->parent) {
5663 found = TRUE;
5664 break;
5665 }
5666 }
5667 if (!found)
5668 return ERR_INVALID_FIELDID;
5669
5670 vtable = mono_class_vtable (domain, f->parent);
5671 val = g_malloc (mono_class_instance_size (mono_class_from_mono_type (f->type)));
5672 mono_field_static_get_value (vtable, f, val);
5673 buffer_add_value (buf, f->type, val, domain);
5674 g_free (val);
5675 }
5676 break;
5677 }
5678 case CMD_TYPE_SET_VALUES: {
5679 guint8 *val;
5680 MonoClassField *f;
5681 MonoVTable *vtable;
5682 MonoClass *k;
5683 int len, i;
5684 gboolean found;
5685
5686 len = decode_int (p, &p, end);
5687 for (i = 0; i < len; ++i) {
5688 f = decode_fieldid (p, &p, end, NULL, &err);
5689 if (err)
5690 return err;
5691
5692 if (!(f->type->attrs & FIELD_ATTRIBUTE_STATIC))
5693 return ERR_INVALID_FIELDID;
5694 if (mono_class_field_is_special_static (f))
5695 return ERR_INVALID_FIELDID;
5696
5697 /* Check that the field belongs to the object */
5698 found = FALSE;
5699 for (k = klass; k; k = k->parent) {
5700 if (k == f->parent) {
5701 found = TRUE;
5702 break;
5703 }
5704 }
5705 if (!found)
5706 return ERR_INVALID_FIELDID;
5707
5708 // FIXME: Check for literal/const
5709
5710 vtable = mono_class_vtable (domain, f->parent);
5711 val = g_malloc (mono_class_instance_size (mono_class_from_mono_type (f->type)));
5712 err = decode_value (f->type, domain, val, p, &p, end);
5713 if (err) {
5714 g_free (val);
5715 return err;
5716 }
5717 if (MONO_TYPE_IS_REFERENCE (f->type))
5718 mono_field_static_set_value (vtable, f, *(gpointer*)val);
5719 else
5720 mono_field_static_set_value (vtable, f, val);
5721 g_free (val);
5722 }
5723 break;
5724 }
5725 case CMD_TYPE_GET_OBJECT: {
5726 MonoObject *o = (MonoObject*)mono_type_get_object (mono_domain_get (), &klass->byval_arg);
5727 buffer_add_objid (buf, o);
5728 break;
5729 }
5730 case CMD_TYPE_GET_SOURCE_FILES: {
5731 gpointer iter = NULL;
5732 MonoMethod *method;
5733 char *source_file, *base;
5734 GPtrArray *files;
5735 int i;
5736
5737 files = g_ptr_array_new ();
5738
5739 while ((method = mono_class_get_methods (klass, &iter))) {
5740 MonoDebugMethodInfo *minfo = mono_debug_lookup_method (method);
5741
5742 if (minfo) {
5743 mono_debug_symfile_get_line_numbers (minfo, &source_file, NULL, NULL, NULL);
5744 if (!source_file)
5745 continue;
5746
5747 for (i = 0; i < files->len; ++i)
5748 if (!strcmp (g_ptr_array_index (files, i), source_file))
5749 break;
5750 if (i == files->len)
5751 g_ptr_array_add (files, g_strdup (source_file));
5752 g_free (source_file);
5753 }
5754 }
5755
5756 buffer_add_int (buf, files->len);
5757 for (i = 0; i < files->len; ++i) {
5758 source_file = g_ptr_array_index (files, i);
5759 base = g_path_get_basename (source_file);
5760 buffer_add_string (buf, base);
5761 g_free (base);
5762 g_free (source_file);
5763 }
5764 g_ptr_array_free (files, TRUE);
5765 break;
5766 }
5767 case CMD_TYPE_IS_ASSIGNABLE_FROM: {
5768 MonoClass *oklass = decode_typeid (p, &p, end, NULL, &err);
5769
5770 if (err)
5771 return err;
5772 if (mono_class_is_assignable_from (klass, oklass))
5773 buffer_add_byte (buf, 1);
5774 else
5775 buffer_add_byte (buf, 0);
5776 break;
5777 }
5778 default:
5779 return ERR_NOT_IMPLEMENTED;
5780 }
5781
5782 return ERR_NONE;
5783 }
5784
5785 static ErrorCode
5786 method_commands (int command, guint8 *p, guint8 *end, Buffer *buf)
5787 {
5788 int err;
5789 MonoDomain *domain;
5790 MonoMethod *method;
5791 MonoMethodHeader *header;
5792
5793 method = decode_methodid (p, &p, end, &domain, &err);
5794 if (err)
5795 return err;
5796
5797 switch (command) {
5798 case CMD_METHOD_GET_NAME: {
5799 buffer_add_string (buf, method->name);
5800 break;
5801 }
5802 case CMD_METHOD_GET_DECLARING_TYPE: {
5803 buffer_add_typeid (buf, domain, method->klass);
5804 break;
5805 }
5806 case CMD_METHOD_GET_DEBUG_INFO: {
5807 MonoDebugMethodInfo *minfo;
5808 char *source_file;
5809 int i, n_il_offsets;
5810 int *il_offsets;
5811 int *line_numbers;
5812
5813 header = mono_method_get_header (method);
5814 if (!header) {
5815 buffer_add_int (buf, 0);
5816 buffer_add_string (buf, "");
5817 buffer_add_int (buf, 0);
5818 break;
5819 }
5820
5821 minfo = mono_debug_lookup_method (method);
5822 if (!minfo) {
5823 buffer_add_int (buf, header->code_size);
5824 buffer_add_string (buf, "");
5825 buffer_add_int (buf, 0);
5826 mono_metadata_free_mh (header);
5827 break;
5828 }
5829
5830 mono_debug_symfile_get_line_numbers (minfo, &source_file, &n_il_offsets, &il_offsets, &line_numbers);
5831 buffer_add_int (buf, header->code_size);
5832 buffer_add_string (buf, source_file);
5833 buffer_add_int (buf, n_il_offsets);
5834 //printf ("Line number table for method %s:\n", mono_method_full_name (method, TRUE));
5835 for (i = 0; i < n_il_offsets; ++i) {
5836 //printf ("IL%d -> %d\n", il_offsets [i], line_numbers [i]);
5837 buffer_add_int (buf, il_offsets [i]);
5838 buffer_add_int (buf, line_numbers [i]);
5839 }
5840 g_free (source_file);
5841 g_free (il_offsets);
5842 g_free (line_numbers);
5843 mono_metadata_free_mh (header);
5844 break;
5845 }
5846 case CMD_METHOD_GET_PARAM_INFO: {
5847 MonoMethodSignature *sig = mono_method_signature (method);
5848 guint32 i;
5849 char **names;
5850
5851 /* FIXME: mono_class_from_mono_type () and byrefs */
5852
5853 /* FIXME: Use a smaller encoding */
5854 buffer_add_int (buf, sig->call_convention);
5855 buffer_add_int (buf, sig->param_count);
5856 buffer_add_int (buf, sig->generic_param_count);
5857 buffer_add_typeid (buf, domain, mono_class_from_mono_type (sig->ret));
5858 for (i = 0; i < sig->param_count; ++i) {
5859 /* FIXME: vararg */
5860 buffer_add_typeid (buf, domain, mono_class_from_mono_type (sig->params [i]));
5861 }
5862
5863 /* Emit parameter names */
5864 names = g_new (char *, sig->param_count);
5865 mono_method_get_param_names (method, (const char **) names);
5866 for (i = 0; i < sig->param_count; ++i)
5867 buffer_add_string (buf, names [i]);
5868 g_free (names);
5869
5870 break;
5871 }
5872 case CMD_METHOD_GET_LOCALS_INFO: {
5873 int i, j, num_locals;
5874 char **local_names;
5875 int *local_indexes;
5876
5877 header = mono_method_get_header (method);
5878 g_assert (header);
5879
5880 buffer_add_int (buf, header->num_locals);
5881
5882 /* Types */
5883 for (i = 0; i < header->num_locals; ++i)
5884 buffer_add_typeid (buf, domain, mono_class_from_mono_type (header->locals [i]));
5885
5886 /* Names */
5887 num_locals = mono_debug_lookup_locals (method, &local_names, &local_indexes);
5888 for (i = 0; i < header->num_locals; ++i) {
5889 for (j = 0; j < num_locals; ++j)
5890 if (local_indexes [j] == i)
5891 break;
5892 if (j < num_locals)
5893 buffer_add_string (buf, local_names [j]);
5894 else
5895 buffer_add_string (buf, "");
5896 }
5897 g_free (local_names);
5898 g_free (local_indexes);
5899
5900 /* Live ranges */
5901 /* FIXME: This works because we set debug_options.mdb_optimizations */
5902 for (i = 0; i < header->num_locals; ++i) {
5903 buffer_add_int (buf, 0);
5904 buffer_add_int (buf, header->code_size);
5905 }
5906 mono_metadata_free_mh (header);
5907
5908 break;
5909 }
5910 case CMD_METHOD_GET_INFO:
5911 buffer_add_int (buf, method->flags);
5912 buffer_add_int (buf, method->iflags);
5913 buffer_add_int (buf, method->token);
5914 break;
5915 case CMD_METHOD_GET_BODY: {
5916 int i;
5917
5918 header = mono_method_get_header (method);
5919 if (!header) {
5920 buffer_add_int (buf, 0);
5921 } else {
5922 buffer_add_int (buf, header->code_size);
5923 for (i = 0; i < header->code_size; ++i)
5924 buffer_add_byte (buf, header->code [i]);
5925 }
5926 mono_metadata_free_mh (header);
5927 break;
5928 }
5929 case CMD_METHOD_RESOLVE_TOKEN: {
5930 guint32 token = decode_int (p, &p, end);
5931
5932 // FIXME: Generics
5933 switch (mono_metadata_token_code (token)) {
5934 case MONO_TOKEN_STRING: {
5935 MonoString *s;
5936 char *s2;
5937
5938 s = mono_ldstr (domain, method->klass->image, mono_metadata_token_index (token));
5939 g_assert (s);
5940
5941 s2 = mono_string_to_utf8 (s);
5942
5943 buffer_add_byte (buf, TOKEN_TYPE_STRING);
5944 buffer_add_string (buf, s2);
5945 g_free (s2);
5946 break;
5947 }
5948 default: {
5949 gpointer val;
5950 MonoClass *handle_class;
5951
5952 if (method->wrapper_type == MONO_WRAPPER_DYNAMIC_METHOD) {
5953 val = mono_method_get_wrapper_data (method, token);
5954 handle_class = mono_method_get_wrapper_data (method, token + 1);
5955
5956 if (handle_class == NULL) {
5957 // Can't figure out the token type
5958 buffer_add_byte (buf, TOKEN_TYPE_UNKNOWN);
5959 break;
5960 }
5961 } else {
5962 val = mono_ldtoken (method->klass->image, token, &handle_class, NULL);
5963 g_assert (val);
5964 }
5965
5966 if (handle_class == mono_defaults.typehandle_class) {
5967 buffer_add_byte (buf, TOKEN_TYPE_TYPE);
5968 buffer_add_typeid (buf, domain, mono_class_from_mono_type ((MonoType*)val));
5969 } else if (handle_class == mono_defaults.fieldhandle_class) {
5970 buffer_add_byte (buf, TOKEN_TYPE_FIELD);
5971 buffer_add_fieldid (buf, domain, val);
5972 } else if (handle_class == mono_defaults.methodhandle_class) {
5973 buffer_add_byte (buf, TOKEN_TYPE_METHOD);
5974 buffer_add_methodid (buf, domain, val);
5975 } else if (handle_class == mono_defaults.string_class) {
5976 char *s;
5977
5978 s = mono_string_to_utf8 (val);
5979 buffer_add_byte (buf, TOKEN_TYPE_STRING);
5980 buffer_add_string (buf, s);
5981 g_free (s);
5982 } else {
5983 g_assert_not_reached ();
5984 }
5985 break;
5986 }
5987 }
5988 break;
5989 }
5990 default:
5991 return ERR_NOT_IMPLEMENTED;
5992 }
5993
5994 return ERR_NONE;
5995 }
5996
5997 static ErrorCode
5998 thread_commands (int command, guint8 *p, guint8 *end, Buffer *buf)
5999 {
6000 int objid = decode_objid (p, &p, end);
6001 int err;
6002 MonoThread *thread_obj;
6003 MonoInternalThread *thread;
6004
6005 err = get_object (objid, (MonoObject**)&thread_obj);
6006 if (err)
6007 return err;
6008
6009 thread = THREAD_TO_INTERNAL (thread_obj);
6010
6011 switch (command) {
6012 case CMD_THREAD_GET_NAME: {
6013 guint32 name_len;
6014 gunichar2 *s = mono_thread_get_name (thread, &name_len);
6015
6016 if (!s) {
6017 buffer_add_int (buf, 0);
6018 } else {
6019 char *name;
6020 glong len;
6021
6022 name = g_utf16_to_utf8 (s, name_len, NULL, &len, NULL);
6023 g_assert (name);
6024 buffer_add_int (buf, len);
6025 buffer_add_data (buf, (guint8*)name, len);
6026 g_free (s);
6027 }
6028 break;
6029 }
6030 case CMD_THREAD_GET_FRAME_INFO: {
6031 DebuggerTlsData *tls;
6032 int i, start_frame, length;
6033
6034 // Wait for suspending if it already started
6035 if (suspend_count)
6036 wait_for_suspend ();
6037 if (!is_suspended ())
6038 return ERR_NOT_SUSPENDED;
6039
6040 start_frame = decode_int (p, &p, end);
6041 length = decode_int (p, &p, end);
6042
6043 if (start_frame != 0 || length != -1)
6044 return ERR_NOT_IMPLEMENTED;
6045
6046 mono_loader_lock ();
6047 tls = mono_g_hash_table_lookup (thread_to_tls, thread);
6048 mono_loader_unlock ();
6049 g_assert (tls);
6050
6051 compute_frame_info (thread, tls);
6052
6053 buffer_add_int (buf, tls->frame_count);
6054 for (i = 0; i < tls->frame_count; ++i) {
6055 buffer_add_int (buf, tls->frames [i]->id);
6056 buffer_add_methodid (buf, tls->frames [i]->domain, tls->frames [i]->method);
6057 buffer_add_int (buf, tls->frames [i]->il_offset);
6058 /*
6059 * Instead of passing the frame type directly to the client, we associate
6060 * it with the previous frame using a set of flags. This avoids lots of
6061 * conditional code in the client, since a frame whose type isn't
6062 * FRAME_TYPE_MANAGED has no method, location, etc.
6063 */
6064 buffer_add_byte (buf, tls->frames [i]->flags);
6065 }
6066
6067 break;
6068 }
6069 case CMD_THREAD_GET_STATE:
6070 buffer_add_int (buf, thread->state);
6071 break;
6072 case CMD_THREAD_GET_INFO:
6073 buffer_add_byte (buf, thread->threadpool_thread);
6074 break;
6075 default:
6076 return ERR_NOT_IMPLEMENTED;
6077 }
6078
6079 return ERR_NONE;
6080 }
6081
6082 static ErrorCode
6083 frame_commands (int command, guint8 *p, guint8 *end, Buffer *buf)
6084 {
6085 int objid;
6086 int err;
6087 MonoThread *thread_obj;
6088 MonoInternalThread *thread;
6089 int pos, i, len;
6090 DebuggerTlsData *tls;
6091 StackFrame *frame;
6092 MonoDebugMethodJitInfo *jit;
6093 MonoDebugVarInfo *var;
6094 MonoMethodSignature *sig;
6095 gssize id;
6096 MonoMethodHeader *header;
6097
6098 objid = decode_objid (p, &p, end);
6099 err = get_object (objid, (MonoObject**)&thread_obj);
6100 if (err)
6101 return err;
6102
6103 thread = THREAD_TO_INTERNAL (thread_obj);
6104
6105 id = decode_id (p, &p, end);
6106
6107 mono_loader_lock ();
6108 tls = mono_g_hash_table_lookup (thread_to_tls, thread);
6109 mono_loader_unlock ();
6110 g_assert (tls);
6111
6112 for (i = 0; i < tls->frame_count; ++i) {
6113 if (tls->frames [i]->id == id)
6114 break;
6115 }
6116 if (i == tls->frame_count)
6117 return ERR_INVALID_FRAMEID;
6118
6119 frame = tls->frames [i];
6120
6121 if (!frame->has_ctx)
6122 // FIXME:
6123 return ERR_INVALID_FRAMEID;
6124
6125 if (!frame->jit) {
6126 frame->jit = mono_debug_find_method (frame->method, frame->domain);
6127 g_assert (frame->jit);
6128 }
6129 jit = frame->jit;
6130
6131 sig = mono_method_signature (frame->method);
6132
6133 switch (command) {
6134 case CMD_STACK_FRAME_GET_VALUES: {
6135 len = decode_int (p, &p, end);
6136 header = mono_method_get_header (frame->method);
6137
6138 for (i = 0; i < len; ++i) {
6139 pos = decode_int (p, &p, end);
6140
6141 if (pos < 0) {
6142 pos = - pos - 1;
6143
6144 g_assert (pos >= 0 && pos < jit->num_params);
6145
6146 var = &jit->params [pos];
6147
6148 add_var (buf, sig->params [pos], &jit->params [pos], &frame->ctx, frame->domain, FALSE);
6149 } else {
6150 g_assert (pos >= 0 && pos < jit->num_locals);
6151
6152 var = &jit->locals [pos];
6153
6154 add_var (buf, header->locals [pos], &jit->locals [pos], &frame->ctx, frame->domain, FALSE);
6155 }
6156 }
6157 mono_metadata_free_mh (header);
6158 break;
6159 }
6160 case CMD_STACK_FRAME_GET_THIS: {
6161 if (frame->method->klass->valuetype) {
6162 if (!sig->hasthis) {
6163 MonoObject *p = NULL;
6164 buffer_add_value (buf, &mono_defaults.object_class->byval_arg, &p, frame->domain);
6165 } else {
6166 add_var (buf, &frame->method->klass->this_arg, jit->this_var, &frame->ctx, frame->domain, TRUE);
6167 }
6168 } else {
6169 if (!sig->hasthis) {
6170 MonoObject *p = NULL;
6171 buffer_add_value (buf, &frame->method->klass->byval_arg, &p, frame->domain);
6172 } else {
6173 add_var (buf, &frame->method->klass->byval_arg, jit->this_var, &frame->ctx, frame->domain, TRUE);
6174 }
6175 }
6176 break;
6177 }
6178 case CMD_STACK_FRAME_SET_VALUES: {
6179 guint8 *val_buf;
6180 MonoType *t;
6181 MonoDebugVarInfo *var;
6182
6183 len = decode_int (p, &p, end);
6184 header = mono_method_get_header (frame->method);
6185
6186 for (i = 0; i < len; ++i) {
6187 pos = decode_int (p, &p, end);
6188
6189 if (pos < 0) {
6190 pos = - pos - 1;
6191
6192 g_assert (pos >= 0 && pos < jit->num_params);
6193
6194 t = sig->params [pos];
6195 var = &jit->params [pos];
6196 } else {
6197 g_assert (pos >= 0 && pos < jit->num_locals);
6198
6199 t = header->locals [pos];
6200 var = &jit->locals [pos];
6201 }
6202
6203 if (MONO_TYPE_IS_REFERENCE (t))
6204 val_buf = g_alloca (sizeof (MonoObject*));
6205 else
6206 val_buf = g_alloca (mono_class_instance_size (mono_class_from_mono_type (t)));
6207 err = decode_value (t, frame->domain, val_buf, p, &p, end);
6208 if (err)
6209 return err;
6210
6211 set_var (t, var, &frame->ctx, frame->domain, val_buf);
6212 }
6213 mono_metadata_free_mh (header);
6214 break;
6215 }
6216 default:
6217 return ERR_NOT_IMPLEMENTED;
6218 }
6219
6220 return ERR_NONE;
6221 }
6222
6223 static ErrorCode
6224 array_commands (int command, guint8 *p, guint8 *end, Buffer *buf)
6225 {
6226 MonoArray *arr;
6227 int objid, err, index, len, i, esize;
6228 gpointer elem;
6229
6230 objid = decode_objid (p, &p, end);
6231 err = get_object (objid, (MonoObject**)&arr);
6232 if (err)
6233 return err;
6234
6235 switch (command) {
6236 case CMD_ARRAY_REF_GET_LENGTH:
6237 buffer_add_int (buf, arr->obj.vtable->klass->rank);
6238 if (!arr->bounds) {
6239 buffer_add_int (buf, arr->max_length);
6240 buffer_add_int (buf, 0);
6241 } else {
6242 for (i = 0; i < arr->obj.vtable->klass->rank; ++i) {
6243 buffer_add_int (buf, arr->bounds [i].length);
6244 buffer_add_int (buf, arr->bounds [i].lower_bound);
6245 }
6246 }
6247 break;
6248 case CMD_ARRAY_REF_GET_VALUES:
6249 index = decode_int (p, &p, end);
6250 len = decode_int (p, &p, end);
6251
6252 g_assert (index >= 0 && len >= 0);
6253 // Reordered to avoid integer overflow
6254 g_assert (!(index > arr->max_length - len));
6255
6256 esize = mono_array_element_size (arr->obj.vtable->klass);
6257 for (i = index; i < index + len; ++i) {
6258 elem = (gpointer*)((char*)arr->vector + (i * esize));
6259 buffer_add_value (buf, &arr->obj.vtable->klass->element_class->byval_arg, elem, arr->obj.vtable->domain);
6260 }
6261 break;
6262 case CMD_ARRAY_REF_SET_VALUES:
6263 index = decode_int (p, &p, end);
6264 len = decode_int (p, &p, end);
6265
6266 g_assert (index >= 0 && len >= 0);
6267 // Reordered to avoid integer overflow
6268 g_assert (!(index > arr->max_length - len));
6269
6270 esize = mono_array_element_size (arr->obj.vtable->klass);
6271 for (i = index; i < index + len; ++i) {
6272 elem = (gpointer*)((char*)arr->vector + (i * esize));
6273
6274 decode_value (&arr->obj.vtable->klass->element_class->byval_arg, arr->obj.vtable->domain, elem, p, &p, end);
6275 }
6276 break;
6277 default:
6278 return ERR_NOT_IMPLEMENTED;
6279 }
6280
6281 return ERR_NONE;
6282 }
6283
6284 static ErrorCode
6285 string_commands (int command, guint8 *p, guint8 *end, Buffer *buf)
6286 {
6287 int objid, err;
6288 MonoString *str;
6289 char *s;
6290
6291 objid = decode_objid (p, &p, end);
6292 err = get_object (objid, (MonoObject**)&str);
6293 if (err)
6294 return err;
6295
6296 switch (command) {
6297 case CMD_STRING_REF_GET_VALUE:
6298 s = mono_string_to_utf8 (str);
6299 buffer_add_string (buf, s);
6300 g_free (s);
6301 break;
6302 default:
6303 return ERR_NOT_IMPLEMENTED;
6304 }
6305
6306 return ERR_NONE;
6307 }
6308
6309 static ErrorCode
6310 object_commands (int command, guint8 *p, guint8 *end, Buffer *buf)
6311 {
6312 int objid, err;
6313 MonoObject *obj;
6314 int len, i;
6315 MonoClassField *f;
6316 MonoClass *k;
6317 gboolean found;
6318
6319 if (command == CMD_OBJECT_REF_IS_COLLECTED) {
6320 objid = decode_objid (p, &p, end);
6321 err = get_object (objid, &obj);
6322 if (err)
6323 buffer_add_int (buf, 1);
6324 else
6325 buffer_add_int (buf, 0);
6326 return 0;
6327 }
6328
6329 objid = decode_objid (p, &p, end);
6330 err = get_object (objid, &obj);
6331 if (err)
6332 return err;
6333
6334 switch (command) {
6335 case CMD_OBJECT_REF_GET_TYPE:
6336 buffer_add_typeid (buf, obj->vtable->domain, obj->vtable->klass);
6337 break;
6338 case CMD_OBJECT_REF_GET_VALUES:
6339 len = decode_int (p, &p, end);
6340
6341 for (i = 0; i < len; ++i) {
6342 MonoClassField *f = decode_fieldid (p, &p, end, NULL, &err);
6343 if (err)
6344 return err;
6345
6346 /* Check that the field belongs to the object */
6347 found = FALSE;
6348 for (k = obj->vtable->klass; k; k = k->parent) {
6349 if (k == f->parent) {
6350 found = TRUE;
6351 break;
6352 }
6353 }
6354 if (!found)
6355 return ERR_INVALID_FIELDID;
6356
6357 if (f->type->attrs & FIELD_ATTRIBUTE_STATIC) {
6358 guint8 *val;
6359 MonoVTable *vtable;
6360
6361 if (mono_class_field_is_special_static (f))
6362 return ERR_INVALID_FIELDID;
6363
6364 g_assert (f->type->attrs & FIELD_ATTRIBUTE_STATIC);
6365 vtable = mono_class_vtable (obj->vtable->domain, f->parent);
6366 val = g_malloc (mono_class_instance_size (mono_class_from_mono_type (f->type)));
6367 mono_field_static_get_value (vtable, f, val);
6368 buffer_add_value (buf, f->type, val, obj->vtable->domain);
6369 g_free (val);
6370 } else {
6371 buffer_add_value (buf, f->type, (guint8*)obj + f->offset, obj->vtable->domain);
6372 }
6373 }
6374 break;
6375 case CMD_OBJECT_REF_SET_VALUES:
6376 len = decode_int (p, &p, end);
6377
6378 for (i = 0; i < len; ++i) {
6379 f = decode_fieldid (p, &p, end, NULL, &err);
6380 if (err)
6381 return err;
6382
6383 /* Check that the field belongs to the object */
6384 found = FALSE;
6385 for (k = obj->vtable->klass; k; k = k->parent) {
6386 if (k == f->parent) {
6387 found = TRUE;
6388 break;
6389 }
6390 }
6391 if (!found)
6392 return ERR_INVALID_FIELDID;
6393
6394 if (f->type->attrs & FIELD_ATTRIBUTE_STATIC) {
6395 guint8 *val;
6396 MonoVTable *vtable;
6397
6398 if (mono_class_field_is_special_static (f))
6399 return ERR_INVALID_FIELDID;
6400
6401 g_assert (f->type->attrs & FIELD_ATTRIBUTE_STATIC);
6402 vtable = mono_class_vtable (obj->vtable->domain, f->parent);
6403
6404 val = g_malloc (mono_class_instance_size (mono_class_from_mono_type (f->type)));
6405 err = decode_value (f->type, obj->vtable->domain, val, p, &p, end);
6406 if (err) {
6407 g_free (val);
6408 return err;
6409 }
6410 mono_field_static_set_value (vtable, f, val);
6411 g_free (val);
6412 } else {
6413 err = decode_value (f->type, obj->vtable->domain, (guint8*)obj + f->offset, p, &p, end);
6414 if (err)
6415 return err;
6416 }
6417 }
6418 break;
6419 case CMD_OBJECT_REF_GET_ADDRESS:
6420 buffer_add_long (buf, (gssize)obj);
6421 break;
6422 case CMD_OBJECT_REF_GET_DOMAIN:
6423 buffer_add_domainid (buf, obj->vtable->domain);
6424 break;
6425 default:
6426 return ERR_NOT_IMPLEMENTED;
6427 }
6428
6429 return ERR_NONE;
6430 }
6431
6432 static const char*
6433 command_set_to_string (CommandSet command_set)
6434 {
6435 switch (command_set) {
6436 case CMD_SET_VM:
6437 return "VM";
6438 case CMD_SET_OBJECT_REF:
6439 return "OBJECT_REF";
6440 case CMD_SET_STRING_REF:
6441 return "STRING_REF";
6442 case CMD_SET_THREAD:
6443 return "THREAD";
6444 case CMD_SET_ARRAY_REF:
6445 return "ARRAY_REF";
6446 case CMD_SET_EVENT_REQUEST:
6447 return "EVENT_REQUEST";
6448 case CMD_SET_STACK_FRAME:
6449 return "STACK_FRAME";
6450 case CMD_SET_APPDOMAIN:
6451 return "APPDOMAIN";
6452 case CMD_SET_ASSEMBLY:
6453 return "ASSEMBLY";
6454 case CMD_SET_METHOD:
6455 return "METHOD";
6456 case CMD_SET_TYPE:
6457 return "TYPE";
6458 case CMD_SET_MODULE:
6459 return "MODULE";
6460 case CMD_SET_EVENT:
6461 return "EVENT";
6462 default:
6463 return "";
6464 }
6465 }
6466
6467 /*
6468 * debugger_thread:
6469 *
6470 * This thread handles communication with the debugger client using a JDWP
6471 * like protocol.
6472 */
6473 static guint32 WINAPI
6474 debugger_thread (void *arg)
6475 {
6476 int res, len, id, flags, command_set, command;
6477 guint8 header [HEADER_LENGTH];
6478 guint8 *data, *p, *end;
6479 Buffer buf;
6480 ErrorCode err;
6481 gboolean no_reply;
6482
6483 DEBUG (1, fprintf (log_file, "[dbg] Agent thread started, pid=%p\n", (gpointer)GetCurrentThreadId ()));
6484
6485 debugger_thread_id = GetCurrentThreadId ();
6486
6487 mono_jit_thread_attach (mono_get_root_domain ());
6488
6489 mono_thread_internal_current ()->flags |= MONO_THREAD_FLAG_DONT_MANAGE;
6490
6491 mono_set_is_debugger_attached (TRUE);
6492
6493 while (TRUE) {
6494 res = recv_length (conn_fd, header, HEADER_LENGTH, 0);
6495
6496 /* This will break if the socket is closed during shutdown too */
6497 if (res != HEADER_LENGTH)
6498 break;
6499
6500 p = header;
6501 end = header + HEADER_LENGTH;
6502
6503 len = decode_int (p, &p, end);
6504 id = decode_int (p, &p, end);
6505 flags = decode_byte (p, &p, end);
6506 command_set = decode_byte (p, &p, end);
6507 command = decode_byte (p, &p, end);
6508
6509 g_assert (flags == 0);
6510
6511 DEBUG (1, fprintf (log_file, "[dbg] Received command %s(%d), id=%d.\n", command_set_to_string (command_set), command, id));
6512
6513 data = g_malloc (len - HEADER_LENGTH);
6514 if (len - HEADER_LENGTH > 0)
6515 {
6516 res = recv_length (conn_fd, data, len - HEADER_LENGTH, 0);
6517 if (res != len - HEADER_LENGTH)
6518 break;
6519 }
6520
6521 p = data;
6522 end = data + (len - HEADER_LENGTH);
6523
6524 buffer_init (&buf, 128);
6525
6526 err = ERR_NONE;
6527 no_reply = FALSE;
6528
6529 /* Process the request */
6530 switch (command_set) {
6531 case CMD_SET_VM:
6532 err = vm_commands (command, id, p, end, &buf);
6533 if (!err && command == CMD_VM_INVOKE_METHOD)
6534 /* Sent after the invoke is complete */
6535 no_reply = TRUE;
6536 break;
6537 case CMD_SET_EVENT_REQUEST:
6538 err = event_commands (command, p, end, &buf);
6539 break;
6540 case CMD_SET_APPDOMAIN:
6541 err = domain_commands (command, p, end, &buf);
6542 break;
6543 case CMD_SET_ASSEMBLY:
6544 err = assembly_commands (command, p, end, &buf);
6545 break;
6546 case CMD_SET_MODULE:
6547 err = module_commands (command, p, end, &buf);
6548 break;
6549 case CMD_SET_TYPE:
6550 err = type_commands (command, p, end, &buf);
6551 break;
6552 case CMD_SET_METHOD:
6553 err = method_commands (command, p, end, &buf);
6554 break;
6555 case CMD_SET_THREAD:
6556 err = thread_commands (command, p, end, &buf);
6557 break;
6558 case CMD_SET_STACK_FRAME:
6559 err = frame_commands (command, p, end, &buf);
6560 break;
6561 case CMD_SET_ARRAY_REF:
6562 err = array_commands (command, p, end, &buf);
6563 break;
6564 case CMD_SET_STRING_REF:
6565 err = string_commands (command, p, end, &buf);
6566 break;
6567 case CMD_SET_OBJECT_REF:
6568 err = object_commands (command, p, end, &buf);
6569 break;
6570 default:
6571 err = ERR_NOT_IMPLEMENTED;
6572 }
6573
6574 if (!no_reply)
6575 send_reply_packet (id, err, &buf);
6576
6577 g_free (data);
6578 buffer_free (&buf);
6579
6580 if (command_set == CMD_SET_VM && command == CMD_VM_DISPOSE)
6581 break;
6582 }
6583
6584 mono_set_is_debugger_attached (FALSE);
6585
6586 mono_mutex_lock (&debugger_thread_exited_mutex);
6587 debugger_thread_exited = TRUE;
6588 mono_cond_signal (&debugger_thread_exited_cond);
6589 mono_mutex_unlock (&debugger_thread_exited_mutex);
6590
6591 DEBUG (1, printf ("[dbg] Debugger thread exited.\n"));
6592
6593 return 0;
6594 }
6595
6596 #else /* DISABLE_DEBUGGER_AGENT */
6597
6598 void
6599 mono_debugger_agent_parse_options (char *options)
6600 {
6601 g_error ("This runtime is configure with the debugger agent disabled.");
6602 }
6603
6604 void
6605 mono_debugger_agent_init (void)
6606 {
6607 }
6608
6609 void
6610 mono_debugger_agent_breakpoint_hit (void *sigctx)
6611 {
6612 }
6613
6614 void
6615 mono_debugger_agent_single_step_event (void *sigctx)
6616 {
6617 }
6618
6619 void
6620 mono_debugger_agent_free_domain_info (MonoDomain *domain)
6621 {
6622 }
6623
6624 gboolean
6625 mono_debugger_agent_thread_interrupt (void *sigctx, MonoJitInfo *ji)
6626 {
6627 return FALSE;
6628 }
6629
6630 void
6631 mono_debugger_agent_handle_exception (MonoException *ext, MonoContext *throw_ctx,
6632 MonoContext *catch_ctx)
6633 {
6634 }
6635 #endif
6636
ppc64 and Haiku ports