2 * trace.c: Tracing facilities for the Mono Runtime.
5 * Paolo Molaro (lupus@ximian.com)
6 * Dietmar Maurer (dietmar@ximian.com)
8 * (C) 2002 Ximian, Inc.
21 #include <mono/metadata/debug-helpers.h>
22 #include <mono/metadata/assembly.h>
23 #include <mono/utils/mono-time.h>
26 static MonoTraceSpec trace_spec
;
29 mono_trace_eval_exception (MonoClass
*klass
)
37 for (i
= 0; i
< trace_spec
.len
; i
++) {
38 MonoTraceOperation
*op
= &trace_spec
.ops
[i
];
42 case MONO_TRACEOP_EXCEPTION
:
43 if (strcmp ("", op
->data
) == 0 && strcmp ("all", op
->data2
) == 0)
45 else if (strcmp ("", op
->data
) == 0 || strcmp (klass
->name_space
, op
->data
) == 0)
46 if (strcmp (klass
->name
, op
->data2
) == 0)
63 mono_trace_eval (MonoMethod
*method
)
68 for (i
= 0; i
< trace_spec
.len
; i
++){
69 MonoTraceOperation
*op
= &trace_spec
.ops
[i
];
73 case MONO_TRACEOP_ALL
:
75 case MONO_TRACEOP_PROGRAM
:
76 if (trace_spec
.assembly
&& (method
->klass
->image
== mono_assembly_get_image (trace_spec
.assembly
)))
78 case MONO_TRACEOP_METHOD
:
79 if (mono_method_desc_full_match ((MonoMethodDesc
*) op
->data
, method
))
81 case MONO_TRACEOP_CLASS
:
82 if (strcmp (method
->klass
->name_space
, op
->data
) == 0)
83 if (strcmp (method
->klass
->name
, op
->data2
) == 0)
86 case MONO_TRACEOP_ASSEMBLY
:
87 if (strcmp (mono_image_get_name (method
->klass
->image
), op
->data
) == 0)
89 case MONO_TRACEOP_NAMESPACE
:
90 if (strcmp (method
->klass
->name_space
, op
->data
) == 0)
92 case MONO_TRACEOP_EXCEPTION
:
104 static int is_filenamechar (char p
)
106 if (p
>= 'A' && p
<= 'Z')
108 if (p
>= 'a' && p
<= 'z')
110 if (p
>= '0' && p
<= '9')
112 if (p
== '.' || p
== ':' || p
== '_' || p
== '-')
120 static void get_string (void)
123 while (is_filenamechar (*input
)){
128 value
= g_malloc (input
- start
+ 1);
129 strncpy (value
, start
, input
-start
);
130 value
[input
-start
] = 0;
151 while (input
[0] == '+')
154 if (input
[0] == '\0') {
157 if (input
[0] == 'M' && input
[1] == ':'){
162 if (input
[0] == 'N' && input
[1] == ':'){
165 return TOKEN_NAMESPACE
;
167 if (input
[0] == 'T' && input
[1] == ':'){
172 if (input
[0] == 'E' && input
[1] == ':'){
175 return TOKEN_EXCEPTION
;
179 return TOKEN_EXCLUDE
;
181 if (is_filenamechar (*input
)){
183 if (strcmp (value
, "all") == 0)
185 if (strcmp (value
, "program") == 0)
186 return TOKEN_PROGRAM
;
187 if (strcmp (value
, "disabled") == 0)
188 return TOKEN_DISABLED
;
193 return TOKEN_SEPARATOR
;
196 fprintf (stderr
, "Syntax error at or around '%s'\n", input
);
210 int token
= get_token ();
211 if (token
== TOKEN_EXCLUDE
){
212 token
= get_spec (last
);
213 if (token
== TOKEN_EXCLUDE
){
214 fprintf (stderr
, "Expecting an expression");
217 if (token
== TOKEN_ERROR
)
219 trace_spec
.ops
[(*last
)-1].exclude
= 1;
220 return TOKEN_SEPARATOR
;
222 if (token
== TOKEN_END
|| token
== TOKEN_SEPARATOR
|| token
== TOKEN_ERROR
)
225 if (token
== TOKEN_METHOD
){
226 MonoMethodDesc
*desc
= mono_method_desc_new (value
, TRUE
);
228 fprintf (stderr
, "Invalid method name: %s\n", value
);
231 trace_spec
.ops
[*last
].op
= MONO_TRACEOP_METHOD
;
232 trace_spec
.ops
[*last
].data
= desc
;
233 } else if (token
== TOKEN_ALL
)
234 trace_spec
.ops
[*last
].op
= MONO_TRACEOP_ALL
;
235 else if (token
== TOKEN_PROGRAM
)
236 trace_spec
.ops
[*last
].op
= MONO_TRACEOP_PROGRAM
;
237 else if (token
== TOKEN_NAMESPACE
){
238 trace_spec
.ops
[*last
].op
= MONO_TRACEOP_NAMESPACE
;
239 trace_spec
.ops
[*last
].data
= g_strdup (value
);
240 } else if (token
== TOKEN_CLASS
|| token
== TOKEN_EXCEPTION
){
241 char *p
= strrchr (value
, '.');
244 trace_spec
.ops
[*last
].data
= g_strdup (value
);
245 trace_spec
.ops
[*last
].data2
= g_strdup (p
);
248 trace_spec
.ops
[*last
].data
= g_strdup ("");
249 trace_spec
.ops
[*last
].data2
= g_strdup (value
);
251 trace_spec
.ops
[*last
].op
= token
== TOKEN_CLASS
? MONO_TRACEOP_CLASS
: MONO_TRACEOP_EXCEPTION
;
252 } else if (token
== TOKEN_STRING
){
253 trace_spec
.ops
[*last
].op
= MONO_TRACEOP_ASSEMBLY
;
254 trace_spec
.ops
[*last
].data
= g_strdup (value
);
255 } else if (token
== TOKEN_DISABLED
) {
256 trace_spec
.enabled
= FALSE
;
258 fprintf (stderr
, "Syntax error in trace option specification\n");
262 return TOKEN_SEPARATOR
;
266 mono_trace_parse_options (const char *options
)
268 char *p
= (char*)options
;
273 trace_spec
.enabled
= TRUE
;
276 trace_spec
.ops
= g_new0 (MonoTraceOperation
, 1);
277 trace_spec
.ops
[0].op
= MONO_TRACEOP_ALL
;
281 for (p
= (char*)options
; *p
!= 0; p
++)
285 trace_spec
.ops
= g_new0 (MonoTraceOperation
, size
);
287 input
= (char*)options
;
290 while ((token
= (get_spec (&last_used
))) != TOKEN_END
){
291 if (token
== TOKEN_ERROR
)
293 if (token
== TOKEN_SEPARATOR
)
296 trace_spec
.len
= last_used
;
302 mono_trace_set_assembly (MonoAssembly
*assembly
)
304 trace_spec
.assembly
= assembly
;
308 #ifdef HAVE_KW_THREAD
311 int indent_level
= 0;
312 static guint64 start_time
= 0;
314 static double seconds_since_start (void)
316 guint64 diff
= mono_100ns_ticks () - start_time
;
317 return diff
/10000000.0;
320 static void indent (int diff
) {
323 indent_level
+= diff
;
326 start_time
= mono_100ns_ticks ();
327 printf ("[%p: %.5f %d] ", (void*)GetCurrentThreadId (), seconds_since_start (), indent_level
);
329 indent_level
+= diff
;
333 string_to_utf8 (MonoString
*s
)
336 GError
*error
= NULL
;
341 return g_strdup ("");
343 as
= g_utf16_to_utf8 (mono_string_chars (s
), s
->length
, NULL
, NULL
, &error
);
345 /* Happens with StringBuilders */
346 g_error_free (error
);
347 return g_strdup ("<INVALID UTF8>");
354 * cpos (ebp + arg_info[n].offset) points to the beginning of the
355 * stack slot for this argument. On little-endian systems, we can
356 * simply dereference it. On big-endian systems, we need to adjust
357 * cpos upward first if the datatype we're referencing is smaller than
358 * a stack slot. Also - one can't assume that gpointer is also the
359 * size of a stack slot - use SIZEOF_REGISTER instead. The following
360 * helper macro tries to keep down the mess of all the pointer
363 #if (G_BYTE_ORDER == G_LITTLE_ENDIAN)
364 #define arg_in_stack_slot(cpos, type) ((type *)(cpos))
366 #define arg_in_stack_slot(cpos, type) ((type *)((sizeof(type) < SIZEOF_REGISTER) ? (((gssize)(cpos)) + SIZEOF_REGISTER - sizeof(type)) : (gssize)(cpos)))
370 mono_trace_enter_method (MonoMethod
*method
, char *ebp
)
375 MonoJitArgumentInfo
*arg_info
;
376 MonoMethodSignature
*sig
;
379 if (!trace_spec
.enabled
)
382 fname
= mono_method_full_name (method
, TRUE
);
384 printf ("ENTER: %s(", fname
);
388 printf (") ip: %p\n", __builtin_return_address (1));
392 sig
= mono_method_signature (method
);
394 arg_info
= alloca (sizeof (MonoJitArgumentInfo
) * (sig
->param_count
+ 1));
396 mono_arch_get_argument_info (sig
, sig
->param_count
, arg_info
);
398 if (MONO_TYPE_ISSTRUCT (mono_method_signature (method
)->ret
)) {
399 g_assert (!mono_method_signature (method
)->ret
->byref
);
401 printf ("VALUERET:%p, ", *((gpointer
*)(ebp
+ 8)));
404 if (mono_method_signature (method
)->hasthis
) {
405 gpointer
*this = (gpointer
*)(ebp
+ arg_info
[0].offset
);
406 if (method
->klass
->valuetype
) {
407 printf ("value:%p, ", *arg_in_stack_slot(this, gpointer
*));
409 o
= *arg_in_stack_slot(this, MonoObject
*);
412 class = o
->vtable
->klass
;
414 if (class == mono_defaults
.string_class
) {
415 MonoString
*s
= (MonoString
*)o
;
416 char *as
= string_to_utf8 (s
);
418 printf ("this:[STRING:%p:%s], ", o
, as
);
421 printf ("this:%p[%s.%s %s], ", o
, class->name_space
, class->name
, o
->vtable
->domain
->friendly_name
);
424 printf ("this:NULL, ");
428 for (i
= 0; i
< mono_method_signature (method
)->param_count
; ++i
) {
429 gpointer
*cpos
= (gpointer
*)(ebp
+ arg_info
[i
+ 1].offset
);
430 int size
= arg_info
[i
+ 1].size
;
432 MonoType
*type
= mono_method_signature (method
)->params
[i
];
435 printf ("[BYREF:%p], ", *arg_in_stack_slot(cpos
, gpointer
*));
436 } else switch (mono_type_get_underlying_type (type
)->type
) {
440 printf ("%p, ", *arg_in_stack_slot(cpos
, gpointer
*));
442 case MONO_TYPE_BOOLEAN
:
446 printf ("%d, ", *arg_in_stack_slot(cpos
, gint8
));
450 printf ("%d, ", *arg_in_stack_slot(cpos
, gint16
));
454 printf ("%d, ", *arg_in_stack_slot(cpos
, int));
456 case MONO_TYPE_STRING
: {
457 MonoString
*s
= *arg_in_stack_slot(cpos
, MonoString
*);
461 g_assert (((MonoObject
*)s
)->vtable
->klass
== mono_defaults
.string_class
);
462 as
= string_to_utf8 (s
);
464 printf ("[STRING:%p:%s], ", s
, as
);
467 printf ("[STRING:null], ");
470 case MONO_TYPE_CLASS
:
471 case MONO_TYPE_OBJECT
: {
472 o
= *arg_in_stack_slot(cpos
, MonoObject
*);
474 class = o
->vtable
->klass
;
476 if (class == mono_defaults
.string_class
) {
477 char *as
= string_to_utf8 ((MonoString
*)o
);
479 printf ("[STRING:%p:%s], ", o
, as
);
481 } else if (class == mono_defaults
.int32_class
) {
482 printf ("[INT32:%p:%d], ", o
, *(gint32
*)((char *)o
+ sizeof (MonoObject
)));
483 } else if (class == mono_defaults
.monotype_class
) {
484 printf ("[TYPE:%s], ", mono_type_full_name (((MonoReflectionType
*)o
)->type
));
486 printf ("[%s.%s:%p], ", class->name_space
, class->name
, o
);
488 printf ("%p, ", *arg_in_stack_slot(cpos
, gpointer
));
493 case MONO_TYPE_FNPTR
:
494 case MONO_TYPE_ARRAY
:
495 case MONO_TYPE_SZARRAY
:
496 printf ("%p, ", *arg_in_stack_slot(cpos
, gpointer
));
500 printf ("0x%016llx, ", (long long)*arg_in_stack_slot(cpos
, gint64
));
503 printf ("%f, ", *arg_in_stack_slot(cpos
, float));
506 printf ("%f, ", *arg_in_stack_slot(cpos
, double));
508 case MONO_TYPE_VALUETYPE
:
510 for (j
= 0; j
< size
; j
++)
511 printf ("%02x,", *((guint8
*)cpos
+j
));
524 mono_trace_leave_method (MonoMethod
*method
, ...)
530 if (!trace_spec
.enabled
)
533 va_start(ap
, method
);
535 fname
= mono_method_full_name (method
, TRUE
);
537 printf ("LEAVE: %s", fname
);
540 type
= mono_method_signature (method
)->ret
;
543 switch (type
->type
) {
546 case MONO_TYPE_BOOLEAN
: {
547 int eax
= va_arg (ap
, int);
549 printf ("TRUE:%d", eax
);
564 int eax
= va_arg (ap
, int);
565 printf ("result=%d", eax
);
568 case MONO_TYPE_STRING
: {
569 MonoString
*s
= va_arg (ap
, MonoString
*);
574 g_assert (((MonoObject
*)s
)->vtable
->klass
== mono_defaults
.string_class
);
575 as
= string_to_utf8 (s
);
576 printf ("[STRING:%p:%s]", s
, as
);
579 printf ("[STRING:null], ");
582 case MONO_TYPE_CLASS
:
583 case MONO_TYPE_OBJECT
: {
584 MonoObject
*o
= va_arg (ap
, MonoObject
*);
587 if (o
->vtable
->klass
== mono_defaults
.boolean_class
) {
588 printf ("[BOOLEAN:%p:%d]", o
, *((guint8
*)o
+ sizeof (MonoObject
)));
589 } else if (o
->vtable
->klass
== mono_defaults
.int32_class
) {
590 printf ("[INT32:%p:%d]", o
, *((gint32
*)((char *)o
+ sizeof (MonoObject
))));
591 } else if (o
->vtable
->klass
== mono_defaults
.int64_class
) {
592 printf ("[INT64:%p:%lld]", o
, (long long)*((gint64
*)((char *)o
+ sizeof (MonoObject
))));
594 printf ("[%s.%s:%p]", o
->vtable
->klass
->name_space
, o
->vtable
->klass
->name
, o
);
596 printf ("[OBJECT:%p]", o
);
601 case MONO_TYPE_FNPTR
:
602 case MONO_TYPE_ARRAY
:
603 case MONO_TYPE_SZARRAY
: {
604 gpointer p
= va_arg (ap
, gpointer
);
605 printf ("result=%p", p
);
609 gint64 l
= va_arg (ap
, gint64
);
610 printf ("lresult=0x%16llx", (long long)l
);
614 gint64 l
= va_arg (ap
, gint64
);
615 printf ("lresult=0x%16llx", (long long)l
);
620 double f
= va_arg (ap
, double);
621 printf ("FP=%f\n", f
);
624 case MONO_TYPE_VALUETYPE
:
625 if (type
->data
.klass
->enumtype
) {
626 type
= mono_class_enum_basetype (type
->data
.klass
);
629 guint8
*p
= va_arg (ap
, gpointer
);
631 size
= mono_type_size (type
, &align
);
633 for (j
= 0; p
&& j
< size
; j
++)
634 printf ("%02x,", p
[j
]);
639 printf ("(unknown return type %x)", mono_method_signature (method
)->ret
->type
);
642 //printf (" ip: %p\n", __builtin_return_address (1));
648 mono_trace_enable (gboolean enable
)
650 trace_spec
.enabled
= enable
;
654 mono_trace_is_enabled ()
656 return trace_spec
.enabled
;