Fri Mar 29 18:09:08 CET 2002 Paolo Molaro <lupus@ximian.com>
[mono.git] / mono / metadata / object.c
index 0780582d21d9f4dfd406a86cb376f11b915b6948..365f1a2170003c372584f2a6bc512772ff5613e6 100644 (file)
@@ -9,8 +9,36 @@
 #include <config.h>
 #include <stdlib.h>
 #include <stdio.h>
+#include <signal.h>
+#include <string.h>
+#include <mono/metadata/tabledefs.h>
 #include <mono/metadata/loader.h>
 #include <mono/metadata/object.h>
+#include <mono/metadata/appdomain.h>
+#if HAVE_BOEHM_GC
+#include <gc/gc.h>
+#endif
+
+static void
+default_runtime_object_init (MonoObject *o)
+{
+       return;
+}
+
+MonoRuntimeObjectInit mono_runtime_object_init = default_runtime_object_init;
+MonoRuntimeExecMain   mono_runtime_exec_main = NULL;
+
+void
+mono_install_runtime_object_init (MonoRuntimeObjectInit func)
+{
+       mono_runtime_object_init = func? func: default_runtime_object_init;
+}
+
+void
+mono_install_runtime_exec_main (MonoRuntimeExecMain func)
+{
+       mono_runtime_exec_main = func;
+}
 
 /**
  * mono_object_allocate:
  *
  * Returns: an allocated object of size @size, or NULL on failure.
  */
-static void *
+void *
 mono_object_allocate (size_t size)
 {
+#if HAVE_BOEHM_GC
+       void *o = GC_debug_malloc (size, "object", 1);
+#else
        void *o = calloc (1, size);
+#endif
 
        return o;
 }
@@ -38,10 +70,14 @@ mono_object_allocate (size_t size)
 void
 mono_object_free (MonoObject *o)
 {
-       MonoClass *c = o->klass;
+#if HAVE_BOEHM_GC
+       g_error ("mono_object_free called with boehm gc.");
+#else
+       MonoClass *c = o->vtable->klass;
        
        memset (o, 0, c->instance_size);
        free (o);
+#endif
 }
 
 /**
@@ -52,17 +88,25 @@ mono_object_free (MonoObject *o)
  * looked up using @klass
  */
 MonoObject *
-mono_object_new (MonoClass *klass)
+mono_object_new (MonoDomain *domain, MonoClass *klass)
 {
+       static guint32 uoid = 0;
        MonoObject *o;
 
-       if (!klass->metadata_inited)
-               mono_class_metadata_init (klass);
+       if (!klass->inited)
+               mono_class_init (klass);
 
-       o = mono_object_allocate (klass->instance_size);
-       o->klass = klass;
 
-       mono_threads_synchronisation_init(&o->synchronisation);
+       if (klass->ghcimpl) {
+               o = mono_object_allocate (klass->instance_size);
+               o->vtable = mono_class_vtable (domain, klass);
+       } else {
+               guint32 *t;
+               t = mono_object_allocate (klass->instance_size + 4);
+               *t = ++uoid;
+               o = (MonoObject *)(++t);
+               o->vtable = mono_class_vtable (domain, klass);
+       }
 
        return o;
 }
@@ -76,13 +120,13 @@ mono_object_new (MonoClass *klass)
  * looked up using @token in the @image image
  */
 MonoObject *
-mono_object_new_from_token  (MonoImage *image, guint32 token)
+mono_object_new_from_token  (MonoDomain *domain, MonoImage *image, guint32 token)
 {
        MonoClass *class;
 
        class = mono_class_get (image, token);
 
-       return mono_object_new (class);
+       return mono_object_new (domain, class);
 }
 
 
@@ -97,17 +141,46 @@ mono_object_clone (MonoObject *obj)
 {
        MonoObject *o;
        int size;
-       
-       size = obj->klass->instance_size;
+
+       size = obj->vtable->klass->instance_size;
        o = mono_object_allocate (size);
-       
+
        memcpy (o, obj, size);
 
        return o;
 }
 
+/**
+ * mono_array_clone:
+ * @array: the array to clone
+ *
+ * Returns: A newly created array who is a shallow copy of @array
+ */
+MonoArray*
+mono_array_clone (MonoArray *array)
+{
+       MonoArray *o;
+       int size, i;
+       guint32 *sizes;
+       MonoClass *klass = array->obj.vtable->klass;
+       
+       sizes = alloca (klass->rank * sizeof(guint32) * 2);
+       size = mono_array_element_size (klass);
+       for (i = 0; i < klass->rank; ++i) {
+               sizes [i] = array->bounds [i].length;
+               size *= array->bounds [i].length;
+               sizes [i + klass->rank] = array->bounds [i].lower_bound;
+       }
+       o = mono_array_new_full (((MonoObject *)array)->vtable->domain, 
+                                klass, sizes, sizes + klass->rank);
+       memcpy (o, array, sizeof(MonoArray) + size);
+
+       return o;
+}
+
 MonoArray*
-mono_array_new_full (MonoClass *array_class, guint32 *lengths, guint32 *lower_bounds)
+mono_array_new_full (MonoDomain *domain, MonoClass *array_class, 
+                    guint32 *lengths, guint32 *lower_bounds)
 {
        guint32 byte_len;
        MonoObject *o;
@@ -115,11 +188,16 @@ mono_array_new_full (MonoClass *array_class, guint32 *lengths, guint32 *lower_bo
        MonoArrayBounds *bounds;
        int i;
 
-       if (!array_class->metadata_inited)
-               mono_class_metadata_init (array_class);
+       if (!array_class->inited)
+               mono_class_init (array_class);
+
        byte_len = mono_array_element_size (array_class);
 
+#if HAVE_BOEHM_GC
+       bounds = GC_debug_malloc (sizeof (MonoArrayBounds) * array_class->rank, "bounds", 0);
+#else
        bounds = g_malloc0 (sizeof (MonoArrayBounds) * array_class->rank);
+#endif
        for (i = 0; i < array_class->rank; ++i) {
                bounds [i].length = lengths [i];
                byte_len *= lengths [i];
@@ -133,12 +211,15 @@ mono_array_new_full (MonoClass *array_class, guint32 *lengths, guint32 *lower_bo
         * they need to be kept in sync.
         */
        o = mono_object_allocate (sizeof (MonoArray) + byte_len);
-       o->klass = array_class;
-       mono_threads_synchronisation_init (&o->synchronisation);
+       if (!o)
+               G_BREAKPOINT ();
+       o->vtable = mono_class_vtable (domain, array_class);
 
        array = (MonoArray*)o;
 
        array->bounds = bounds;
+       array->max_length = bounds [0].length;
+
        return array;
 }
 
@@ -151,14 +232,14 @@ mono_array_new_full (MonoClass *array_class, guint32 *lengths, guint32 *lower_bo
  * This routine creates a new szarray with @n elements of type @token
  */
 MonoArray *
-mono_array_new (MonoClass *eclass, guint32 n)
+mono_array_new (MonoDomain *domain, MonoClass *eclass, guint32 n)
 {
        MonoClass *ac;
 
-       ac = mono_array_class_get (eclass, 1);
+       ac = mono_array_class_get (&eclass->byval_arg, 1);
        g_assert (ac != NULL);
 
-       return mono_array_new_full (ac, &n, NULL);
+       return mono_array_new_full (domain, ac, &n, NULL);
 }
 
 /**
@@ -169,15 +250,15 @@ mono_array_new (MonoClass *eclass, guint32 n)
  * Returns: A newly created string object which contains @text.
  */
 MonoString *
-mono_string_new_utf16 (const guint16 *text, gint32 len)
+mono_string_new_utf16 (MonoDomain *domain, const guint16 *text, gint32 len)
 {
        MonoString *s;
        MonoArray *ca;
 
-       s = (MonoString*)mono_object_new (mono_defaults.string_class);
+       s = (MonoString*)mono_object_new (domain, mono_defaults.string_class);
        g_assert (s != NULL);
 
-       ca = (MonoArray *)mono_array_new (mono_defaults.string_class, len);
+       ca = (MonoArray *)mono_array_new (domain, mono_defaults.char_class, len);
        g_assert (ca != NULL);
        
        s->c_str = ca;
@@ -188,6 +269,27 @@ mono_string_new_utf16 (const guint16 *text, gint32 len)
        return s;
 }
 
+MonoString*
+mono_string_new_len (MonoDomain *domain, const char *text, guint length)
+{
+       GError *error = NULL;
+       MonoString *o = NULL;
+       guint16 *ut;
+       glong items_written;
+
+       
+       ut = g_utf8_to_utf16 (text, length, NULL, &items_written, &error);
+
+       if (!error)
+               o = mono_string_new_utf16 (domain, ut, items_written);
+       else 
+               g_error_free (error);
+
+       g_free (ut);
+
+       return o;
+}
+
 /**
  * mono_string_new:
  * @text: a pointer to an utf8 string
@@ -195,27 +297,36 @@ mono_string_new_utf16 (const guint16 *text, gint32 len)
  * Returns: A newly created string object which contains @text.
  */
 MonoString*
-mono_string_new (const char *text)
+mono_string_new (MonoDomain *domain, const char *text)
 {
-       MonoString *o;
+       GError *error = NULL;
+       MonoString *o = NULL;
        guint16 *ut;
-       int i, l;
-
-       /* fixme: use some kind of unicode library here */
+       glong items_written;
+       int l;
 
        l = strlen (text);
-       ut = g_malloc (l*2);
-
-       for (i = 0; i < l; i++)
-               ut [i] = text[i];
        
-       o = mono_string_new_utf16 (ut, l);
+       ut = g_utf8_to_utf16 (text, l, NULL, &items_written, &error);
+
+       if (!error)
+               o = mono_string_new_utf16 (domain, ut, items_written);
+       else 
+               g_error_free (error);
 
        g_free (ut);
 
        return o;
 }
 
+MonoString*
+mono_string_new_wrapper (const char *text)
+{
+       MonoDomain *domain = mono_domain_get ();
+
+       return mono_string_new (domain, text);
+}
+
 /**
  * mono_value_box:
  * @class: the class of the value
@@ -224,7 +335,7 @@ mono_string_new (const char *text)
  * Returns: A newly created object which contains @value.
  */
 MonoObject *
-mono_value_box (MonoClass *class, gpointer value)
+mono_value_box (MonoDomain *domain, MonoClass *class, gpointer value)
 {
        MonoObject *res;
        int size;
@@ -233,7 +344,7 @@ mono_value_box (MonoClass *class, gpointer value)
 
        size = mono_class_instance_size (class);
        res = mono_object_allocate (size);
-       res->klass = class;
+       res->vtable = mono_class_vtable (domain, class);
 
        size = size - sizeof (MonoObject);
 
@@ -247,113 +358,132 @@ mono_value_box (MonoClass *class, gpointer value)
  * @obj: an object
  * @klass: a pointer to a class 
  *
- * Returns: #TRUE if @obj is derived from @klass
+ * Returns: @obj if @obj is derived from @klass
  */
-gboolean
+MonoObject *
 mono_object_isinst (MonoObject *obj, MonoClass *klass)
 {
-       MonoClass *oklass = obj->klass;
-
-       while (oklass) {
-               if (oklass == klass)
-                       return TRUE;
-               oklass = oklass->parent;
+       MonoVTable *vt;
+       MonoClass *oklass;
+
+       if (!obj)
+               return NULL;
+
+       vt = obj->vtable;
+       oklass = vt->klass;
+
+       if (!klass->inited)
+               mono_class_init (klass);
+
+       if (klass->flags & TYPE_ATTRIBUTE_INTERFACE) {
+               if ((klass->interface_id <= oklass->max_interface_id) &&
+                   vt->interface_offsets [klass->interface_id])
+                       return obj;
+       } else {
+               if (oklass == mono_defaults.transparent_proxy_class) {
+                       /* fixme: add check for IRemotingTypeInfo */
+                       MonoRealProxy *rp = ((MonoTransparentProxy *)obj)->rp;
+                       MonoType *type;
+                       type = ((MonoReflectionType *)rp->class_to_proxy)->type;
+                       oklass = mono_class_from_mono_type (type);
+               }
+               if (oklass->rank && oklass->rank == klass->rank) {
+                       if ((oklass->element_class->baseval - klass->element_class->baseval) <= 
+                           klass->element_class->diffval)
+                               return obj;
+               } else if ((oklass->baseval - klass->baseval) <= klass->diffval)
+                       return obj;
        }
-       return FALSE;
-}
 
-static GHashTable *ldstr_table = NULL;
+       return NULL;
+}
 
-static int
-ldstr_hash (const char* str)
+static MonoString*
+mono_string_is_interned_lookup (MonoString *str, int insert)
 {
-       guint len, h;
-       const char *end;
-       len = mono_metadata_decode_blob_size (str, &str);
-       end = str + len;
-       h = *str;
+       MonoGHashTable *ldstr_table;
+       MonoString *res;
+       char *ins = g_malloc (4 + str->length * 2);
+       char *p;
+       int bloblen;
+       
+       /* Encode the length */
+       p = ins;
+       mono_metadata_encode_value (2 * str->length, p, &p);
+       bloblen = p - ins;
+       p = ins;
+       mono_metadata_encode_value (bloblen + 2 * str->length, p, &p);
+       bloblen = (p - ins) + 2 * str->length;
        /*
-        * FIXME: The distribution may not be so nice with lots of
-        * null chars in the string.
+        * ins is stored in the hash table as a key and needs to have the same
+        * representation as in the metadata: we swap the character bytes on big
+        * endian boxes.
         */
-       for (str += 1; str < end; str++)
-               h = (h << 5) - h + *str;
-       return h;
-}
-
-static gboolean
-ldstr_equal (const char *str1, const char *str2) {
-       int len;
-       if ((len=mono_metadata_decode_blob_size (str1, &str1)) !=
-                               mono_metadata_decode_blob_size (str2, &str2))
-               return 0;
-       return memcmp (str1, str2, len) == 0;
-}
-
-typedef struct {
-       MonoString *obj;
-       MonoString *found;
-} InternCheck;
-
-static void
-check_interned (gpointer key, MonoString *value, InternCheck *check)
-{
-       if (value == check->obj)
-               check->found = value;
+#if G_BYTE_ORDER != G_LITTLE_ENDIAN
+       {
+               int i;
+               char *p2 = mono_array_addr (str->c_str, char, 0);
+               for (i = 0; i < str->length; ++i) {
+                       *p++ = p2 [1];
+                       *p++ = p2 [0];
+                       p2 += 2;
+               }
+       }
+#else
+       memcpy (p, str->c_str->vector, str->length * 2);
+#endif
+       ldstr_table = ((MonoObject *)str)->vtable->domain->ldstr_table;
+       if ((res = mono_g_hash_table_lookup (ldstr_table, ins))) {
+               g_free (ins);
+               return res;
+       }
+       if (insert) {
+               mono_g_hash_table_insert (ldstr_table, ins, str);
+               return str;
+       }
+       g_free (ins);
+       return NULL;
 }
 
 MonoString*
 mono_string_is_interned (MonoString *o)
 {
-       InternCheck check;
-       check.obj = o;
-       check.found = NULL;
-       /*
-        * Yes, this is slow. Our System.String implementation needs to be redone.
-        * And GLib needs foreach() methods that can be stopped halfway.
-        */
-       g_hash_table_foreach (ldstr_table, (GHFunc)check_interned, &check);
-       return check.found;
+       return mono_string_is_interned_lookup (o, FALSE);
 }
 
 MonoString*
 mono_string_intern (MonoString *str)
 {
-       MonoString *res;
-       char *ins = g_malloc (4 + str->length * 2);
-       char *p;
-       
-       /* Encode the length */
-       p = ins;
-       mono_metadata_encode_value (str->length, p, &p);
-       memcpy (p, str->c_str->vector, str->length * 2);
-       
-       if ((res = g_hash_table_lookup (ldstr_table, str))) {
-               g_free (ins);
-               return res;
-       }
-       g_hash_table_insert (ldstr_table, ins, str);
-       return str;
+       return mono_string_is_interned_lookup (str, TRUE);
 }
 
 MonoString*
-mono_ldstr (MonoImage *image, guint32 index)
+mono_ldstr (MonoDomain *domain, MonoImage *image, guint32 index)
 {
        const char *str, *sig;
        MonoString *o;
-       guint len;
-       
-       if (!ldstr_table)
-               ldstr_table = g_hash_table_new ((GHashFunc)ldstr_hash, (GCompareFunc)ldstr_equal);
-       
+       size_t len2;
+               
        sig = str = mono_metadata_user_string (image, index);
        
-       if ((o = g_hash_table_lookup (ldstr_table, str)))
+       if ((o = mono_g_hash_table_lookup (domain->ldstr_table, sig)))
                return o;
        
-       len = mono_metadata_decode_blob_size (str, &str);
-       o = mono_string_new_utf16 ((guint16*)str, len >> 1);
-       g_hash_table_insert (ldstr_table, (gpointer)sig, o);
+       len2 = mono_metadata_decode_blob_size (str, &str);
+       len2 >>= 1;
+
+       o = mono_string_new_utf16 (domain, (guint16*)str, len2);
+#if G_BYTE_ORDER != G_LITTLE_ENDIAN
+       {
+               int i;
+               guint16 *p2 = (guint16*)mono_array_addr (o->c_str, guint16, 0);
+               for (i = 0; i < len2; ++i) {
+                       *p2 = GUINT16_FROM_LE (*p2);
+                       ++p2;
+               }
+       }
+#endif
+       mono_g_hash_table_insert (domain->ldstr_table, (gpointer)sig, o);
 
        return o;
 }
@@ -362,7 +492,7 @@ char *
 mono_string_to_utf8 (MonoString *s)
 {
        char *as, *vector;
-       int i;
+       GError *error = NULL;
 
        g_assert (s != NULL);
 
@@ -373,15 +503,79 @@ mono_string_to_utf8 (MonoString *s)
 
        g_assert (vector != NULL);
 
-       as = g_malloc (s->length + 1);
+       as = g_utf16_to_utf8 ((gunichar2 *)vector, s->length, NULL, NULL, &error);
+       if (error)
+               g_warning (error->message);
+
+       return as;
+}
+
+gunichar2 *
+mono_string_to_utf16 (MonoString *s)
+{
+       char *as;
+
+       g_assert (s != NULL);
+
+       as = g_malloc ((s->length * 2) + 2);
+       as [(s->length * 2)] = '\0';
+       as [(s->length * 2) + 1] = '\0';
 
-       /* fixme: replace with a real unicode/ansi conversion */
-       for (i = 0; i < s->length; i++) {
-               as [i] = vector [i*2];
+       if (!s->length || !s->c_str) {
+               return (gunichar2 *)(as);
        }
+       
+       memcpy (as, mono_string_chars(s), s->length * 2);
+       
+       return (gunichar2 *)(as);
+}
+
+static void
+default_ex_handler (MonoException *ex)
+{
+       MonoObject *o = (MonoObject*)ex;
+       g_error ("Exception %s.%s raised in C code", o->vtable->klass->name_space, o->vtable->klass->name);
+}
 
-       as [i] = '\0';
+static MonoExceptionFunc ex_handler = default_ex_handler;
 
-       return as;
+void
+mono_install_handler        (MonoExceptionFunc func)
+{
+       ex_handler = func? func: default_ex_handler;
+}
+
+void
+mono_raise_exception (MonoException *ex) 
+{
+       ex_handler (ex);
+}
+
+MonoWaitHandle *
+mono_wait_handle_new (MonoDomain *domain, HANDLE handle)
+{
+       MonoWaitHandle *res;
+
+       res = (MonoWaitHandle *)mono_object_new (domain, mono_defaults.waithandle_class);
+
+       res->handle = handle;
+
+       return res;
+}
+
+MonoAsyncResult *
+mono_async_result_new (MonoDomain *domain, HANDLE handle, MonoObject *state, gpointer data)
+{
+       MonoAsyncResult *res;
+
+       res = (MonoAsyncResult *)mono_object_new (domain, mono_defaults.asyncresult_class);
+
+       res->data = data;
+       res->async_state = state;
+       res->handle = mono_wait_handle_new (domain, handle);
+       res->sync_completed = FALSE;
+       res->completed = FALSE;
+
+       return res;
 }