2010-02-02 Zoltan Varga <vargaz@gmail.com>
[mono.git] / mono / mini / trace.c
index 74cdfd7f02f8a73eeade083533086a6b8a4c76c5..340047b75b891beac799a47c487c2a9c07ea50cc 100644 (file)
 
 #include <config.h>
 #include <signal.h>
+#ifdef HAVE_ALLOCA_H
+#include <alloca.h>
+#endif
+#ifdef HAVE_UNISTD_H
 #include <unistd.h>
+#endif
 #include <string.h>
 #include "mini.h"
 #include <mono/metadata/debug-helpers.h>
 #include <mono/metadata/assembly.h>
+#include <mono/utils/mono-time.h>
 #include "trace.h"
 
 static MonoTraceSpec trace_spec;
@@ -67,7 +73,7 @@ static int is_filenamechar (char p)
                return TRUE;
        if (p >= '0' && p <= '9')
                return TRUE;
-       if (p == '.' || p == ':' || p == '_')
+       if (p == '.' || p == ':' || p == '_' || p == '-')
                return TRUE;
        return FALSE;
 }
@@ -96,6 +102,7 @@ enum Token {
        TOKEN_NAMESPACE,
        TOKEN_STRING,
        TOKEN_EXCLUDE,
+       TOKEN_DISABLED,
        TOKEN_SEPARATOR,
        TOKEN_END,
        TOKEN_ERROR
@@ -104,42 +111,48 @@ enum Token {
 static int
 get_token (void)
 {
-       while (*input != 0){
-               if (input [0] == 'M' && input [1] == ':'){
-                       input += 2;
-                       get_string ();
-                       return TOKEN_METHOD;
-               }
-               if (input [0] == 'N' && input [1] == ':'){
-                       input += 2;
-                       get_string ();
-                       return TOKEN_NAMESPACE;
-               }
-               if (input [0] == 'T' && input [1] == ':'){
-                       input += 2;
-                       get_string ();
-                       return TOKEN_CLASS;
-               }
-               if (is_filenamechar (*input)){
-                       get_string ();
-                       if (strcmp (value, "all") == 0)
-                               return TOKEN_ALL;
-                       if (strcmp (value, "program") == 0)
-                               return TOKEN_PROGRAM;
-                       return TOKEN_STRING;
-               }
-               if (*input == '-'){
-                       input++;
-                       return TOKEN_EXCLUDE;
-               }
-               if (*input == ','){
-                       input++;
-                       return TOKEN_SEPARATOR;
-               }
+       while (input [0] == '+')
                input++;
-                       
+
+       if (input [0] == '\0') {
+               return TOKEN_END;
+       }
+       if (input [0] == 'M' && input [1] == ':'){
+               input += 2;
+               get_string ();
+               return TOKEN_METHOD;
+       }
+       if (input [0] == 'N' && input [1] == ':'){
+               input += 2;
+               get_string ();
+               return TOKEN_NAMESPACE;
        }
-       return TOKEN_END;
+       if (input [0] == 'T' && input [1] == ':'){
+               input += 2;
+               get_string ();
+               return TOKEN_CLASS;
+       }
+       if (is_filenamechar (*input)){
+               get_string ();
+               if (strcmp (value, "all") == 0)
+                       return TOKEN_ALL;
+               if (strcmp (value, "program") == 0)
+                       return TOKEN_PROGRAM;
+               if (strcmp (value, "disabled") == 0)
+                       return TOKEN_DISABLED;
+               return TOKEN_STRING;
+       }
+       if (*input == '-'){
+               input++;
+               return TOKEN_EXCLUDE;
+       }
+       if (*input == ','){
+               input++;
+               return TOKEN_SEPARATOR;
+       }
+
+       fprintf (stderr, "Syntax error at or around '%s'\n", input);    
+       return TOKEN_ERROR;
 }
 
 static void
@@ -197,8 +210,9 @@ get_spec (int *last)
        } else if (token == TOKEN_STRING){
                trace_spec.ops [*last].op = MONO_TRACEOP_ASSEMBLY;
                trace_spec.ops [*last].data = g_strdup (value);
-       }
-       else {
+       } else if (token == TOKEN_DISABLED) {
+               trace_spec.enabled = FALSE;
+       } else {
                fprintf (stderr, "Syntax error in trace option specification\n");
                return TOKEN_ERROR;
        }
@@ -207,13 +221,14 @@ get_spec (int *last)
 }
 
 MonoTraceSpec *
-mono_trace_parse_options (char *options)
+mono_trace_parse_options (const char *options)
 {
-       char *p = options;
+       char *p = (char*)options;
        int size = 1;
        int last_used;
        int token;
-       
+
+       trace_spec.enabled = TRUE;
        if (*p == 0){
                trace_spec.len = 1;
                trace_spec.ops = g_new0 (MonoTraceOperation, 1);
@@ -221,13 +236,13 @@ mono_trace_parse_options (char *options)
                return &trace_spec;
        }
                
-       for (p = options; *p != 0; p++)
+       for (p = (char*)options; *p != 0; p++)
                if (*p == ',')
                        size++;
        
        trace_spec.ops = g_new0 (MonoTraceOperation, size);
 
-       input = options;
+       input = (char*)options;
        last_used = 0;
        
        while ((token = (get_spec (&last_used))) != TOKEN_END){
@@ -247,21 +262,67 @@ mono_trace_set_assembly (MonoAssembly *assembly)
        trace_spec.assembly = assembly;
 }
 
-static int indent_level = 0;
+static
+#ifdef HAVE_KW_THREAD
+__thread 
+#endif
+int indent_level = 0;
+static guint64 start_time = 0;
+
+static double seconds_since_start (void)
+{
+       guint64 diff = mono_100ns_ticks () - start_time;
+       return diff/10000000.0;
+}
 
 static void indent (int diff) {
        int v;
        if (diff < 0)
                indent_level += diff;
        v = indent_level;
-       while (v-- > 0) {
-               printf (". ");
-       }
+       if (start_time == 0)
+               start_time = mono_100ns_ticks ();
+       printf ("[%p: %.5f %d] ", (void*)GetCurrentThreadId (), seconds_since_start (), indent_level);
        if (diff > 0)
                indent_level += diff;
 }
 
-static gboolean enable_trace = TRUE;
+static char *
+string_to_utf8 (MonoString *s)
+{
+       char *as;
+       GError *error = NULL;
+
+       g_assert (s);
+
+       if (!s->length)
+               return g_strdup ("");
+
+       as = g_utf16_to_utf8 (mono_string_chars (s), s->length, NULL, NULL, &error);
+       if (error) {
+               /* Happens with StringBuilders */
+               g_error_free (error);
+               return g_strdup ("<INVALID UTF8>");
+       }
+       else
+               return as;
+}
+
+/*
+ * cpos (ebp + arg_info[n].offset) points to the beginning of the
+ * stack slot for this argument.  On little-endian systems, we can
+ * simply dereference it. On big-endian systems, we need to adjust
+ * cpos upward first if the datatype we're referencing is smaller than
+ * a stack slot. Also - one can't assume that gpointer is also the
+ * size of a stack slot - use SIZEOF_REGISTER instead. The following
+ * helper macro tries to keep down the mess of all the pointer
+ * calculations.
+ */
+#if (G_BYTE_ORDER == G_LITTLE_ENDIAN)
+#define arg_in_stack_slot(cpos, type) ((type *)(cpos))
+#else
+#define arg_in_stack_slot(cpos, type) ((type *)((sizeof(type) < SIZEOF_REGISTER) ? (((gssize)(cpos)) + SIZEOF_REGISTER - sizeof(type)) : (gssize)(cpos)))
+#endif
 
 void
 mono_trace_enter_method (MonoMethod *method, char *ebp)
@@ -273,7 +334,7 @@ mono_trace_enter_method (MonoMethod *method, char *ebp)
        MonoMethodSignature *sig;
        char *fname;
 
-       if (!enable_trace)
+       if (!trace_spec.enabled)
                return;
 
        fname = mono_method_full_name (method, TRUE);
@@ -285,34 +346,35 @@ mono_trace_enter_method (MonoMethod *method, char *ebp)
                printf (") ip: %p\n", __builtin_return_address (1));
                return;
        }       
-       if (((int)ebp & (MONO_ARCH_FRAME_ALIGNMENT - 1)) != 0) {
-               g_error ("unaligned stack detected (%p)", ebp);
-       }
 
-       sig = method->signature;
+       sig = mono_method_signature (method);
 
        arg_info = alloca (sizeof (MonoJitArgumentInfo) * (sig->param_count + 1));
 
        mono_arch_get_argument_info (sig, sig->param_count, arg_info);
 
-       if (MONO_TYPE_ISSTRUCT (method->signature->ret)) {
-               g_assert (!method->signature->ret->byref);
+       if (MONO_TYPE_ISSTRUCT (mono_method_signature (method)->ret)) {
+               g_assert (!mono_method_signature (method)->ret->byref);
 
                printf ("VALUERET:%p, ", *((gpointer *)(ebp + 8)));
        }
 
-       if (method->signature->hasthis) {
+       if (mono_method_signature (method)->hasthis) {
                gpointer *this = (gpointer *)(ebp + arg_info [0].offset);
                if (method->klass->valuetype) {
-                       printf ("value:%p, ", *this);
+                       printf ("value:%p, ", *arg_in_stack_slot(this, gpointer *));
                } else {
-                       o = *((MonoObject **)this);
+                       o = *arg_in_stack_slot(this, MonoObject *);
 
                        if (o) {
                                class = o->vtable->klass;
 
                                if (class == mono_defaults.string_class) {
-                                       printf ("this:[STRING:%p:%s], ", o, mono_string_to_utf8 ((MonoString *)o));
+                                       MonoString *s = (MonoString*)o;
+                                       char *as = string_to_utf8 (s);
+
+                                       printf ("this:[STRING:%p:%s], ", o, as);
+                                       g_free (as);
                                } else {
                                        printf ("this:%p[%s.%s %s], ", o, class->name_space, class->name, o->vtable->domain->friendly_name);
                                }
@@ -321,57 +383,67 @@ mono_trace_enter_method (MonoMethod *method, char *ebp)
                }
        }
 
-       for (i = 0; i < method->signature->param_count; ++i) {
+       for (i = 0; i < mono_method_signature (method)->param_count; ++i) {
                gpointer *cpos = (gpointer *)(ebp + arg_info [i + 1].offset);
                int size = arg_info [i + 1].size;
 
-               MonoType *type = method->signature->params [i];
+               MonoType *type = mono_method_signature (method)->params [i];
                
                if (type->byref) {
-                       printf ("[BYREF:%p], ", *cpos); 
-               } else switch (type->type) {
+                       printf ("[BYREF:%p], ", *arg_in_stack_slot(cpos, gpointer *));
+               } else switch (mono_type_get_underlying_type (type)->type) {
                        
                case MONO_TYPE_I:
                case MONO_TYPE_U:
-                       printf ("%p, ", (gpointer)*((int *)(cpos)));
+                       printf ("%p, ", *arg_in_stack_slot(cpos, gpointer *));
                        break;
                case MONO_TYPE_BOOLEAN:
                case MONO_TYPE_CHAR:
                case MONO_TYPE_I1:
                case MONO_TYPE_U1:
-                       printf ("%d, ", *((gint8 *)(cpos)));
+                       printf ("%d, ", *arg_in_stack_slot(cpos, gint8));
                        break;
                case MONO_TYPE_I2:
                case MONO_TYPE_U2:
-                       printf ("%d, ", *((gint16 *)(cpos)));
+                       printf ("%d, ", *arg_in_stack_slot(cpos, gint16));
                        break;
                case MONO_TYPE_I4:
                case MONO_TYPE_U4:
-                       printf ("%d, ", *((int *)(cpos)));
+                       printf ("%d, ", *arg_in_stack_slot(cpos, int));
                        break;
                case MONO_TYPE_STRING: {
-                       MonoString *s = *((MonoString **)cpos);
+                       MonoString *s = *arg_in_stack_slot(cpos, MonoString *);
                        if (s) {
+                               char *as;
+
                                g_assert (((MonoObject *)s)->vtable->klass == mono_defaults.string_class);
-                               printf ("[STRING:%p:%s], ", s, mono_string_to_utf8 (s));
+                               as = string_to_utf8 (s);
+
+                               printf ("[STRING:%p:%s], ", s, as);
+                               g_free (as);
                        } else 
                                printf ("[STRING:null], ");
                        break;
                }
                case MONO_TYPE_CLASS:
                case MONO_TYPE_OBJECT: {
-                       o = *((MonoObject **)cpos);
+                       o = *arg_in_stack_slot(cpos, MonoObject *);
                        if (o) {
                                class = o->vtable->klass;
                    
                                if (class == mono_defaults.string_class) {
-                                       printf ("[STRING:%p:%s], ", o, mono_string_to_utf8 ((MonoString *)o));
+                                       char *as = string_to_utf8 ((MonoString*)o);
+
+                                       printf ("[STRING:%p:%s], ", o, as);
+                                       g_free (as);
                                } else if (class == mono_defaults.int32_class) {
                                        printf ("[INT32:%p:%d], ", o, *(gint32 *)((char *)o + sizeof (MonoObject)));
+                               } else if (class == mono_defaults.monotype_class) {
+                                       printf ("[TYPE:%s], ", mono_type_full_name (((MonoReflectionType*)o)->type));
                                } else
                                        printf ("[%s.%s:%p], ", class->name_space, class->name, o);
                        } else {
-                               printf ("%p, ", *((gpointer *)(cpos)));                         
+                               printf ("%p, ", *arg_in_stack_slot(cpos, gpointer));
                        }
                        break;
                }
@@ -379,17 +451,17 @@ mono_trace_enter_method (MonoMethod *method, char *ebp)
                case MONO_TYPE_FNPTR:
                case MONO_TYPE_ARRAY:
                case MONO_TYPE_SZARRAY:
-                       printf ("%p, ", *((gpointer *)(cpos)));
+                       printf ("%p, ", *arg_in_stack_slot(cpos, gpointer));
                        break;
                case MONO_TYPE_I8:
                case MONO_TYPE_U8:
-                       printf ("0x%016llx, ", *((gint64 *)(cpos)));
+                       printf ("0x%016llx, ", (long long)*arg_in_stack_slot(cpos, gint64));
                        break;
                case MONO_TYPE_R4:
-                       printf ("%f, ", *((float *)(cpos)));
+                       printf ("%f, ", *arg_in_stack_slot(cpos, float));
                        break;
                case MONO_TYPE_R8:
-                       printf ("%f, ", *((double *)(cpos)));
+                       printf ("%f, ", *arg_in_stack_slot(cpos, double));
                        break;
                case MONO_TYPE_VALUETYPE: 
                        printf ("[");
@@ -403,6 +475,7 @@ mono_trace_enter_method (MonoMethod *method, char *ebp)
        }
 
        printf (")\n");
+       fflush (stdout);
 }
 
 void
@@ -412,7 +485,7 @@ mono_trace_leave_method (MonoMethod *method, ...)
        char *fname;
        va_list ap;
 
-       if (!enable_trace)
+       if (!trace_spec.enabled)
                return;
 
        va_start(ap, method);
@@ -422,7 +495,7 @@ mono_trace_leave_method (MonoMethod *method, ...)
        printf ("LEAVE: %s", fname);
        g_free (fname);
 
-       type = method->signature->ret;
+       type = mono_method_signature (method)->ret;
 
 handle_enum:
        switch (type->type) {
@@ -454,8 +527,12 @@ handle_enum:
                MonoString *s = va_arg (ap, MonoString *);
 ;
                if (s) {
+                       char *as;
+
                        g_assert (((MonoObject *)s)->vtable->klass == mono_defaults.string_class);
-                       printf ("[STRING:%p:%s]", s, mono_string_to_utf8 (s));
+                       as = string_to_utf8 (s);
+                       printf ("[STRING:%p:%s]", s, as);
+                       g_free (as);
                } else 
                        printf ("[STRING:null], ");
                break;
@@ -470,7 +547,7 @@ handle_enum:
                        } else if  (o->vtable->klass == mono_defaults.int32_class) {
                                printf ("[INT32:%p:%d]", o, *((gint32 *)((char *)o + sizeof (MonoObject))));    
                        } else if  (o->vtable->klass == mono_defaults.int64_class) {
-                               printf ("[INT64:%p:%lld]", o, *((gint64 *)((char *)o + sizeof (MonoObject))));  
+                               printf ("[INT64:%p:%lld]", o, (long long)*((gint64 *)((char *)o + sizeof (MonoObject))));       
                        } else
                                printf ("[%s.%s:%p]", o->vtable->klass->name_space, o->vtable->klass->name, o);
                } else
@@ -488,12 +565,12 @@ handle_enum:
        }
        case MONO_TYPE_I8: {
                gint64 l =  va_arg (ap, gint64);
-               printf ("lresult=0x%16llx", l);
+               printf ("lresult=0x%16llx", (long long)l);
                break;
        }
        case MONO_TYPE_U8: {
                gint64 l =  va_arg (ap, gint64);
-               printf ("lresult=0x%16llx", l);
+               printf ("lresult=0x%16llx", (long long)l);
                break;
        }
        case MONO_TYPE_R4:
@@ -504,7 +581,7 @@ handle_enum:
        }
        case MONO_TYPE_VALUETYPE: 
                if (type->data.klass->enumtype) {
-                       type = type->data.klass->enum_basetype;
+                       type = mono_class_enum_basetype (type->data.klass);
                        goto handle_enum;
                } else {
                        guint8 *p = va_arg (ap, gpointer);
@@ -517,9 +594,23 @@ handle_enum:
                }
                break;
        default:
-               printf ("(unknown return type %x)", method->signature->ret->type);
+               printf ("(unknown return type %x)", mono_method_signature (method)->ret->type);
        }
 
        //printf (" ip: %p\n", __builtin_return_address (1));
        printf ("\n");
+       fflush (stdout);
+}
+
+void
+mono_trace_enable (gboolean enable)
+{
+       trace_spec.enabled = enable;
+}
+
+gboolean
+mono_trace_is_enabled ()
+{
+       return trace_spec.enabled;
 }
+