#include "sgen-gc.h"
#include "sgen-bridge.h"
#include "sgen-hash-table.h"
+#include "sgen-qsort.h"
#include "utils/mono-logger-internal.h"
#include "utils/mono-time.h"
+#include "utils/mono-compiler.h"
-
-typedef struct {
- int size;
- int elem_size;
- int capacity;
- char *data;
-} DynArray;
-
-#define DYN_ARRAY_REF(da,i) ((void*)((da)->data + (i) * (da)->elem_size))
-#define DYN_ARRAY_PTR_REF(da,i) (((void**)(da)->data) [(i)])
-#define DYN_ARRAY_INT_REF(da,i) (((int*)(da)->data) [(i)])
-#define DYN_ARRAY_PTR_STATIC_INITIALIZER { 0, sizeof (void*), 0, NULL }
-#define DYN_ARRAY_INT_STATIC_INITIALIZER { 0, sizeof (int), 0, NULL }
-
-static void
-dyn_array_init (DynArray *da, int elem_size)
-{
- da->size = 0;
- da->elem_size = elem_size;
- da->capacity = 0;
- da->data = NULL;
-}
-
-static void
-dyn_array_ptr_init (DynArray *da)
-{
- dyn_array_init (da, sizeof (void*));
-}
-
-static void
-dyn_array_int_init (DynArray *da)
-{
- dyn_array_init (da, sizeof (int));
-}
-
-static void
-dyn_array_uninit (DynArray *da)
-{
- if (da->capacity <= 0)
- return;
-
- sgen_free_internal_dynamic (da->data, da->elem_size * da->capacity, INTERNAL_MEM_BRIDGE_DATA);
- da->data = NULL;
-}
-
-static void
-dyn_array_ensure_capacity (DynArray *da, int capacity)
-{
- int old_capacity = da->capacity;
- char *new_data;
-
- if (capacity <= old_capacity)
- return;
-
- if (da->capacity == 0)
- da->capacity = 2;
- while (capacity > da->capacity)
- da->capacity *= 2;
-
- new_data = sgen_alloc_internal_dynamic (da->elem_size * da->capacity, INTERNAL_MEM_BRIDGE_DATA, TRUE);
- memcpy (new_data, da->data, da->elem_size * da->size);
- sgen_free_internal_dynamic (da->data, da->elem_size * old_capacity, INTERNAL_MEM_BRIDGE_DATA);
- da->data = new_data;
-}
-
-static void*
-dyn_array_add (DynArray *da)
-{
- void *p;
-
- dyn_array_ensure_capacity (da, da->size + 1);
-
- p = DYN_ARRAY_REF (da, da->size);
- ++da->size;
- return p;
-}
-
-static void
-dyn_array_ptr_add (DynArray *da, void *ptr)
-{
- void **p = dyn_array_add (da);
- *p = ptr;
-}
-
-#define dyn_array_ptr_push dyn_array_ptr_add
-
-static void*
-dyn_array_ptr_pop (DynArray *da)
-{
- void *p;
- g_assert (da->size > 0);
- p = DYN_ARRAY_PTR_REF (da, da->size - 1);
- --da->size;
- return p;
-}
-
-static void
-dyn_array_int_add (DynArray *da, int x)
-{
- int *p = dyn_array_add (da);
- *p = x;
-}
-
-/*
-static gboolean
-dyn_array_ptr_contains (DynArray *da, void *ptr)
-{
- int i;
- for (i = 0; i < da->size; ++i)
- if (DYN_ARRAY_PTR_REF (da, i) == ptr)
- return TRUE;
- return FALSE;
-}
-*/
-
-static gboolean
-dyn_array_int_contains (DynArray *da, int x)
-{
- int i;
- for (i = 0; i < da->size; ++i)
- if (DYN_ARRAY_INT_REF (da, i) == x)
- return TRUE;
- return FALSE;
-}
-
-static DynArray merge_array;
-
-static void
-dyn_array_int_merge (DynArray *dst, DynArray *src)
-{
- int i, j;
-
- dyn_array_ensure_capacity (&merge_array, dst->size + src->size);
- merge_array.size = 0;
-
- for (i = j = 0; i < dst->size || j < src->size; ) {
- if (i < dst->size && j < src->size) {
- int a = DYN_ARRAY_INT_REF (dst, i);
- int b = DYN_ARRAY_INT_REF (src, j);
- if (a < b) {
- dyn_array_int_add (&merge_array, a);
- ++i;
- } else if (a == b) {
- dyn_array_int_add (&merge_array, a);
- ++i;
- ++j;
- } else {
- dyn_array_int_add (&merge_array, b);
- ++j;
- }
- } else if (i < dst->size) {
- dyn_array_int_add (&merge_array, DYN_ARRAY_INT_REF (dst, i));
- ++i;
- } else {
- dyn_array_int_add (&merge_array, DYN_ARRAY_INT_REF (src, j));
- ++j;
- }
- }
-
- if (merge_array.size > dst->size) {
- dyn_array_ensure_capacity (dst, merge_array.size);
- memcpy (DYN_ARRAY_REF (dst, 0), DYN_ARRAY_REF (&merge_array, 0), merge_array.size * merge_array.elem_size);
- dst->size = merge_array.size;
- }
-}
-
-static void
-dyn_array_int_merge_one (DynArray *array, int value)
-{
- int i;
- int tmp;
- int end = array->size;
-
- for (i = 0; i < end; ++i) {
- if (DYN_ARRAY_INT_REF (array, i) == value)
- return;
- else if (DYN_ARRAY_INT_REF (array, i) > value)
- break;
- }
-
- dyn_array_ensure_capacity (array, array->size + 1);
-
- if (i < end) {
- tmp = DYN_ARRAY_INT_REF (array, i);
- for (; i <= end; ++i) {
- DYN_ARRAY_INT_REF (array, i) = value;
- value = tmp;
- tmp = DYN_ARRAY_INT_REF (array, i + 1);
- }
- DYN_ARRAY_INT_REF (array, end + 1) = tmp;
- } else {
- DYN_ARRAY_INT_REF (array, end) = value;
- }
- ++array->size;
-}
-
-/*
- * FIXME: Optimizations:
- *
- * Don't allocate a scrs array for just one source. Most objects have
- * just one source, so use the srcs pointer itself.
- */
-typedef struct _HashEntry {
- MonoObject *obj; /* This is a duplicate - it's already stored in the hash table */
-
- gboolean is_bridge;
- gboolean is_visited;
-
- int finishing_time;
-
- DynArray srcs;
-
- int scc_index;
-} HashEntry;
-
-typedef struct _SCC {
- int index;
- int api_index;
- int num_bridge_entries;
- DynArray xrefs; /* these are incoming, not outgoing */
-} SCC;
-
-static SgenHashTable hash_table = SGEN_HASH_TABLE_INIT (INTERNAL_MEM_BRIDGE_HASH_TABLE, INTERNAL_MEM_BRIDGE_HASH_TABLE_ENTRY, sizeof (HashEntry), mono_aligned_addr_hash, NULL);
-
-static MonoGCBridgeCallbacks bridge_callbacks;
-
-static int current_time;
+MonoGCBridgeCallbacks bridge_callbacks;
+static SgenBridgeProcessor bridge_processor;
+static SgenBridgeProcessor compare_to_bridge_processor;
gboolean bridge_processing_in_progress = FALSE;
sgen_gc_unlock ();
}
+
void
mono_gc_register_bridge_callbacks (MonoGCBridgeCallbacks *callbacks)
{
g_error ("Invalid bridge callback version. Expected %d but got %d\n", SGEN_BRIDGE_VERSION, callbacks->bridge_version);
bridge_callbacks = *callbacks;
-}
-
-gboolean
-sgen_is_bridge_object (MonoObject *obj)
-{
- if ((obj->vtable->gc_bits & SGEN_GC_BIT_BRIDGE_OBJECT) != SGEN_GC_BIT_BRIDGE_OBJECT)
- return FALSE;
- return bridge_callbacks.is_bridge_object (obj);
-}
-
-gboolean
-sgen_is_bridge_class (MonoClass *class)
-{
- return bridge_callbacks.is_bridge_class (class);
-}
-
-gboolean
-sgen_need_bridge_processing (void)
-{
- return bridge_callbacks.cross_references != NULL;
-}
-
-static HashEntry*
-get_hash_entry (MonoObject *obj, gboolean *existing)
-{
- HashEntry *entry = sgen_hash_table_lookup (&hash_table, obj);
- HashEntry new_entry;
-
- if (entry) {
- if (existing)
- *existing = TRUE;
- return entry;
- }
- if (existing)
- *existing = FALSE;
-
- memset (&new_entry, 0, sizeof (HashEntry));
-
- new_entry.obj = obj;
- dyn_array_ptr_init (&new_entry.srcs);
- new_entry.finishing_time = -1;
- new_entry.scc_index = -1;
-
- sgen_hash_table_replace (&hash_table, obj, &new_entry, NULL);
-
- return sgen_hash_table_lookup (&hash_table, obj);
-}
-static void
-add_source (HashEntry *entry, HashEntry *src)
-{
- dyn_array_ptr_add (&entry->srcs, src);
-}
-
-static void
-free_data (void)
-{
- MonoObject *obj;
- HashEntry *entry;
- int total_srcs = 0;
- int max_srcs = 0;
-
- SGEN_HASH_TABLE_FOREACH (&hash_table, obj, entry) {
- total_srcs += entry->srcs.size;
- if (entry->srcs.size > max_srcs)
- max_srcs = entry->srcs.size;
- dyn_array_uninit (&entry->srcs);
- } SGEN_HASH_TABLE_FOREACH_END;
-
- sgen_hash_table_clean (&hash_table);
-
- dyn_array_uninit (&merge_array);
- //g_print ("total srcs %d - max %d\n", total_srcs, max_srcs);
-}
-
-static HashEntry*
-register_bridge_object (MonoObject *obj)
-{
- HashEntry *entry = get_hash_entry (obj, NULL);
- entry->is_bridge = TRUE;
- return entry;
-}
-
-static void
-register_finishing_time (HashEntry *entry, int t)
-{
- g_assert (entry->finishing_time < 0);
- entry->finishing_time = t;
+ if (!bridge_processor.reset_data)
+ sgen_old_bridge_init (&bridge_processor);
}
static gboolean
-object_is_live (MonoObject **objp)
-{
- MonoObject *obj = *objp;
- MonoObject *fwd = SGEN_OBJECT_IS_FORWARDED (obj);
- if (fwd) {
- *objp = fwd;
- return sgen_hash_table_lookup (&hash_table, fwd) == NULL;
- }
- if (!sgen_object_is_live (obj))
- return FALSE;
- return sgen_hash_table_lookup (&hash_table, obj) == NULL;
-}
-
-static DynArray registered_bridges = DYN_ARRAY_PTR_STATIC_INITIALIZER;
-static DynArray dfs_stack;
-
-static int dsf1_passes, dsf2_passes;
-
-
-#undef HANDLE_PTR
-#define HANDLE_PTR(ptr,obj) do { \
- MonoObject *dst = (MonoObject*)*(ptr); \
- if (dst && !object_is_live (&dst)) { \
- dyn_array_ptr_push (&dfs_stack, obj_entry); \
- dyn_array_ptr_push (&dfs_stack, get_hash_entry (dst, NULL)); \
- } \
- } while (0)
-
-static void
-dfs1 (HashEntry *obj_entry, HashEntry *src)
-{
- g_assert (dfs_stack.size == 0);
-
- dyn_array_ptr_push (&dfs_stack, src);
- dyn_array_ptr_push (&dfs_stack, obj_entry);
-
- do {
- MonoObject *obj;
- char *start;
- ++dsf1_passes;
-
- obj_entry = dyn_array_ptr_pop (&dfs_stack);
- if (obj_entry) {
- src = dyn_array_ptr_pop (&dfs_stack);
-
- obj = obj_entry->obj;
- start = (char*)obj;
-
- if (src) {
- //g_print ("link %s -> %s\n", sgen_safe_name (src->obj), sgen_safe_name (obj));
- add_source (obj_entry, src);
- } else {
- //g_print ("starting with %s\n", sgen_safe_name (obj));
- }
-
- if (obj_entry->is_visited)
- continue;
-
- obj_entry->is_visited = TRUE;
-
- dyn_array_ptr_push (&dfs_stack, obj_entry);
- /* NULL marks that the next entry is to be finished */
- dyn_array_ptr_push (&dfs_stack, NULL);
-
-#include "sgen-scan-object.h"
- } else {
- obj_entry = dyn_array_ptr_pop (&dfs_stack);
-
- //g_print ("finish %s\n", sgen_safe_name (obj_entry->obj));
- register_finishing_time (obj_entry, current_time++);
- }
- } while (dfs_stack.size > 0);
-}
-
-static void
-scc_add_xref (SCC *src, SCC *dst)
-{
- g_assert (src != dst);
- g_assert (src->index != dst->index);
-
- if (dyn_array_int_contains (&dst->xrefs, src->index))
- return;
- if (src->num_bridge_entries) {
- dyn_array_int_merge_one (&dst->xrefs, src->index);
+init_bridge_processor (SgenBridgeProcessor *processor, const char *name)
+{
+ if (!strcmp ("old", name)) {
+ memset (processor, 0, sizeof (SgenBridgeProcessor));
+ sgen_old_bridge_init (processor);
+ } else if (!strcmp ("new", name)) {
+ memset (processor, 0, sizeof (SgenBridgeProcessor));
+ sgen_new_bridge_init (processor);
+ } else if (!strcmp ("tarjan", name)) {
+ memset (processor, 0, sizeof (SgenBridgeProcessor));
+ sgen_tarjan_bridge_init (processor);
} else {
- int i;
- dyn_array_int_merge (&dst->xrefs, &src->xrefs);
- for (i = 0; i < dst->xrefs.size; ++i)
- g_assert (DYN_ARRAY_INT_REF (&dst->xrefs, i) != dst->index);
+ return FALSE;
}
+ return TRUE;
}
-static void
-scc_add_entry (SCC *scc, HashEntry *entry)
+void
+sgen_set_bridge_implementation (const char *name)
{
- g_assert (entry->scc_index < 0);
- entry->scc_index = scc->index;
- if (entry->is_bridge)
- ++scc->num_bridge_entries;
+ if (!init_bridge_processor (&bridge_processor, name))
+ g_warning ("Invalid value for bridge implementation, valid values are: 'new' and 'old'.");
}
-static DynArray sccs;
-static SCC *current_scc;
-
-static void
-dfs2 (HashEntry *entry)
+gboolean
+sgen_is_bridge_object (MonoObject *obj)
{
- int i;
-
- g_assert (dfs_stack.size == 0);
-
- dyn_array_ptr_push (&dfs_stack, entry);
-
- do {
- entry = dyn_array_ptr_pop (&dfs_stack);
- ++dsf2_passes;
-
- if (entry->scc_index >= 0) {
- if (entry->scc_index != current_scc->index)
- scc_add_xref (DYN_ARRAY_REF (&sccs, entry->scc_index), current_scc);
- continue;
- }
-
- scc_add_entry (current_scc, entry);
-
- for (i = 0; i < entry->srcs.size; ++i)
- dyn_array_ptr_push (&dfs_stack, DYN_ARRAY_PTR_REF (&entry->srcs, i));
- } while (dfs_stack.size > 0);
+ if ((obj->vtable->gc_bits & SGEN_GC_BIT_BRIDGE_OBJECT) != SGEN_GC_BIT_BRIDGE_OBJECT)
+ return FALSE;
+ return bridge_callbacks.is_bridge_object (obj);
}
-static int
-compare_hash_entries (const void *ep1, const void *ep2)
+gboolean
+sgen_need_bridge_processing (void)
{
- HashEntry *e1 = *(HashEntry**)ep1;
- HashEntry *e2 = *(HashEntry**)ep2;
- return e2->finishing_time - e1->finishing_time;
+ return bridge_callbacks.cross_references != NULL;
}
-static unsigned long step_1, step_2, step_3, step_4, step_5, step_6, step_7, step_8;
-static int fist_pass_links, second_pass_links, sccs_links;
-static int max_sccs_links = 0;
-
-void
-sgen_bridge_register_finalized_object (MonoObject *obj)
+static gboolean
+compare_bridge_processors (void)
{
- g_assert (sgen_need_bridge_processing ());
- dyn_array_ptr_push (®istered_bridges, obj);
+ return compare_to_bridge_processor.reset_data != NULL;
}
+/* Dispatch wrappers */
void
sgen_bridge_reset_data (void)
{
- registered_bridges.size = 0;
+ bridge_processor.reset_data ();
+ if (compare_bridge_processors ())
+ compare_to_bridge_processor.reset_data ();
}
void
sgen_bridge_processing_stw_step (void)
{
- int i;
- SGEN_TV_DECLARE (atv);
- SGEN_TV_DECLARE (btv);
-
- if (!registered_bridges.size)
- return;
-
/*
* bridge_processing_in_progress must be set with the world
* stopped. If not there would be race conditions.
*/
- g_assert (!bridge_processing_in_progress);
bridge_processing_in_progress = TRUE;
- SGEN_TV_GETTIME (btv);
-
- /* first DFS pass */
-
- dyn_array_ptr_init (&dfs_stack);
- dyn_array_int_init (&merge_array);
-
- current_time = 0;
- for (i = 0; i < registered_bridges.size; ++i)
- dfs1 (register_bridge_object (DYN_ARRAY_PTR_REF (®istered_bridges, i)), NULL);
-
- SGEN_TV_GETTIME (atv);
- step_2 = SGEN_TV_ELAPSED (btv, atv);
+ bridge_processor.processing_stw_step ();
+ if (compare_bridge_processors ())
+ compare_to_bridge_processor.processing_stw_step ();
}
static mono_bool
return *value;
}
-void
-sgen_bridge_processing_finish (int generation)
+static void
+null_weak_links_to_dead_objects (SgenBridgeProcessor *processor, int generation)
{
int i, j;
- int num_sccs, num_xrefs;
- int max_entries, max_xrefs;
- int hash_table_size, sccs_size;
- MonoObject *obj;
- HashEntry *entry;
- int num_registered_bridges;
- HashEntry **all_entries;
- MonoGCBridgeSCC **api_sccs;
- MonoGCBridgeXRef *api_xrefs;
+ int num_sccs = processor->num_sccs;
+ MonoGCBridgeSCC **api_sccs = processor->api_sccs;
SgenHashTable alive_hash = SGEN_HASH_TABLE_INIT (INTERNAL_MEM_BRIDGE_ALIVE_HASH_TABLE, INTERNAL_MEM_BRIDGE_ALIVE_HASH_TABLE_ENTRY, 1, mono_aligned_addr_hash, NULL);
- SGEN_TV_DECLARE (atv);
- SGEN_TV_DECLARE (btv);
-
- if (!registered_bridges.size)
- return;
-
- g_assert (bridge_processing_in_progress);
-
- SGEN_TV_GETTIME (atv);
-
- /* alloc and fill array of all entries */
-
- all_entries = sgen_alloc_internal_dynamic (sizeof (HashEntry*) * hash_table.num_entries, INTERNAL_MEM_BRIDGE_DATA, TRUE);
-
- j = 0;
- SGEN_HASH_TABLE_FOREACH (&hash_table, obj, entry) {
- g_assert (entry->finishing_time >= 0);
- all_entries [j++] = entry;
- fist_pass_links += entry->srcs.size;
- } SGEN_HASH_TABLE_FOREACH_END;
- g_assert (j == hash_table.num_entries);
- hash_table_size = hash_table.num_entries;
-
- /* sort array according to decreasing finishing time */
-
- qsort (all_entries, hash_table.num_entries, sizeof (HashEntry*), compare_hash_entries);
-
- SGEN_TV_GETTIME (btv);
- step_3 = SGEN_TV_ELAPSED (atv, btv);
-
- /* second DFS pass */
-
- dyn_array_init (&sccs, sizeof (SCC));
- for (i = 0; i < hash_table.num_entries; ++i) {
- HashEntry *entry = all_entries [i];
- if (entry->scc_index < 0) {
- int index = sccs.size;
- current_scc = dyn_array_add (&sccs);
- current_scc->index = index;
- current_scc->num_bridge_entries = 0;
- current_scc->api_index = -1;
- dyn_array_int_init (¤t_scc->xrefs);
-
- dfs2 (entry);
- }
- }
-
- sccs_size = sccs.size;
-
- for (i = 0; i < hash_table.num_entries; ++i) {
- HashEntry *entry = all_entries [i];
- second_pass_links += entry->srcs.size;
- }
-
- SGEN_TV_GETTIME (atv);
- step_4 = SGEN_TV_ELAPSED (btv, atv);
-
- //g_print ("%d sccs\n", sccs.size);
-
- dyn_array_uninit (&dfs_stack);
-
- /* init data for callback */
-
- num_sccs = 0;
- for (i = 0; i < sccs.size; ++i) {
- SCC *scc = DYN_ARRAY_REF (&sccs, i);
- g_assert (scc->index == i);
- if (scc->num_bridge_entries)
- ++num_sccs;
- sccs_links += scc->xrefs.size;
- max_sccs_links = MAX (max_sccs_links, scc->xrefs.size);
- }
-
- api_sccs = sgen_alloc_internal_dynamic (sizeof (MonoGCBridgeSCC*) * num_sccs, INTERNAL_MEM_BRIDGE_DATA, TRUE);
- num_xrefs = 0;
- j = 0;
- for (i = 0; i < sccs.size; ++i) {
- SCC *scc = DYN_ARRAY_REF (&sccs, i);
- if (!scc->num_bridge_entries)
- continue;
-
- api_sccs [j] = sgen_alloc_internal_dynamic (sizeof (MonoGCBridgeSCC) + sizeof (MonoObject*) * scc->num_bridge_entries, INTERNAL_MEM_BRIDGE_DATA, TRUE);
- api_sccs [j]->is_alive = FALSE;
- api_sccs [j]->num_objs = scc->num_bridge_entries;
- scc->num_bridge_entries = 0;
- scc->api_index = j++;
-
- num_xrefs += scc->xrefs.size;
- }
-
- SGEN_HASH_TABLE_FOREACH (&hash_table, obj, entry) {
- if (entry->is_bridge) {
- SCC *scc = DYN_ARRAY_REF (&sccs, entry->scc_index);
- api_sccs [scc->api_index]->objs [scc->num_bridge_entries++] = entry->obj;
- }
- } SGEN_HASH_TABLE_FOREACH_END;
-
- api_xrefs = sgen_alloc_internal_dynamic (sizeof (MonoGCBridgeXRef) * num_xrefs, INTERNAL_MEM_BRIDGE_DATA, TRUE);
- j = 0;
- for (i = 0; i < sccs.size; ++i) {
- int k;
- SCC *scc = DYN_ARRAY_REF (&sccs, i);
- if (!scc->num_bridge_entries)
- continue;
- for (k = 0; k < scc->xrefs.size; ++k) {
- SCC *src_scc = DYN_ARRAY_REF (&sccs, DYN_ARRAY_INT_REF (&scc->xrefs, k));
- if (!src_scc->num_bridge_entries)
- continue;
- api_xrefs [j].src_scc_index = src_scc->api_index;
- api_xrefs [j].dst_scc_index = scc->api_index;
- ++j;
- }
- }
-
- SGEN_TV_GETTIME (btv);
- step_5 = SGEN_TV_ELAPSED (atv, btv);
-
- /* free data */
-
- j = 0;
- max_entries = max_xrefs = 0;
- for (i = 0; i < sccs.size; ++i) {
- SCC *scc = DYN_ARRAY_REF (&sccs, i);
- if (scc->num_bridge_entries)
- ++j;
- if (scc->num_bridge_entries > max_entries)
- max_entries = scc->num_bridge_entries;
- if (scc->xrefs.size > max_xrefs)
- max_xrefs = scc->xrefs.size;
- dyn_array_uninit (&scc->xrefs);
-
- }
- dyn_array_uninit (&sccs);
-
- sgen_free_internal_dynamic (all_entries, sizeof (HashEntry*) * hash_table.num_entries, INTERNAL_MEM_BRIDGE_DATA);
-
- free_data ();
- /* Empty the registered bridges array */
- num_registered_bridges = registered_bridges.size;
- registered_bridges.size = 0;
-
- SGEN_TV_GETTIME (atv);
- step_6 = SGEN_TV_ELAPSED (btv, atv);
-
- //g_print ("%d sccs containing bridges - %d max bridge objects - %d max xrefs\n", j, max_entries, max_xrefs);
-
- /* callback */
-
- bridge_callbacks.cross_references (num_sccs, api_sccs, num_xrefs, api_xrefs);
-
- /* Release for finalization those objects we no longer care. */
- SGEN_TV_GETTIME (btv);
- step_7 = SGEN_TV_ELAPSED (atv, btv);
for (i = 0; i < num_sccs; ++i) {
unsigned char alive = api_sccs [i]->is_alive ? 1 : 0;
sgen_null_links_with_predicate (GENERATION_OLD, is_bridge_object_alive, &alive_hash);
sgen_hash_table_clean (&alive_hash);
+}
- /* free callback data */
+static void
+free_callback_data (SgenBridgeProcessor *processor)
+{
+ int i;
+ int num_sccs = processor->num_sccs;
+ int num_xrefs = processor->num_xrefs;
+ MonoGCBridgeSCC **api_sccs = processor->api_sccs;
+ MonoGCBridgeXRef *api_xrefs = processor->api_xrefs;
for (i = 0; i < num_sccs; ++i) {
sgen_free_internal_dynamic (api_sccs [i],
sgen_free_internal_dynamic (api_xrefs, sizeof (MonoGCBridgeXRef) * num_xrefs, INTERNAL_MEM_BRIDGE_DATA);
+ processor->num_sccs = 0;
+ processor->api_sccs = NULL;
+ processor->num_xrefs = 0;
+ processor->api_xrefs = NULL;
+}
+
+void
+sgen_bridge_processing_finish (int generation)
+{
+ unsigned long step_8;
+ SGEN_TV_DECLARE (atv);
+ SGEN_TV_DECLARE (btv);
+
+ bridge_processor.processing_build_callback_data (generation);
+ if (compare_bridge_processors ())
+ compare_to_bridge_processor.processing_build_callback_data (generation);
+
+ if (bridge_processor.num_sccs == 0) {
+ g_assert (bridge_processor.num_xrefs == 0);
+ goto after_callback;
+ }
+
+ bridge_callbacks.cross_references (bridge_processor.num_sccs, bridge_processor.api_sccs,
+ bridge_processor.num_xrefs, bridge_processor.api_xrefs);
+
+ if (compare_bridge_processors ())
+ sgen_compare_bridge_processor_results (&bridge_processor, &compare_to_bridge_processor);
+
+ SGEN_TV_GETTIME (btv);
+
+ null_weak_links_to_dead_objects (&bridge_processor, generation);
+
+ free_callback_data (&bridge_processor);
+ if (compare_bridge_processors ())
+ free_callback_data (&compare_to_bridge_processor);
+
SGEN_TV_GETTIME (atv);
step_8 = SGEN_TV_ELAPSED (btv, atv);
- mono_trace (G_LOG_LEVEL_INFO, MONO_TRACE_GC, "GC_BRIDGE num-objects %d num_hash_entries %d sccs size %d init %.2fms df1 %.2fms sort %.2fms dfs2 %.2fms setup-cb %.2fms free-data %.2fms user-cb %.2fms clenanup %.2fms links %d/%d/%d/%d dfs passes %d/%d",
- num_registered_bridges, hash_table_size, sccs.size,
- step_1 / 1000.0f,
- step_2 / 1000.0f,
- step_3 / 1000.0f,
- step_4 / 1000.0f,
- step_5 / 1000.0f,
- step_6 / 1000.0f,
- step_7 / 1000.0f,
- step_8 / 1000.f,
- fist_pass_links, second_pass_links, sccs_links, max_sccs_links,
- dsf1_passes, dsf2_passes);
-
- step_1 = 0; /* We must cleanup since this value is used as an accumulator. */
+ after_callback:
+ bridge_processor.processing_after_callback (generation);
+ if (compare_bridge_processors ())
+ compare_to_bridge_processor.processing_after_callback (generation);
bridge_processing_in_progress = FALSE;
}
+MonoGCBridgeObjectKind
+sgen_bridge_class_kind (MonoClass *class)
+{
+ return bridge_processor.class_kind (class);
+}
+
+void
+sgen_bridge_register_finalized_object (MonoObject *obj)
+{
+ bridge_processor.register_finalized_object (obj);
+ if (compare_bridge_processors ())
+ compare_to_bridge_processor.register_finalized_object (obj);
+}
+
+void
+sgen_bridge_describe_pointer (MonoObject *obj)
+{
+ if (bridge_processor.describe_pointer)
+ bridge_processor.describe_pointer (obj);
+}
+
+static void
+set_dump_prefix (const char *prefix)
+{
+ if (!bridge_processor.set_dump_prefix) {
+ fprintf (stderr, "Warning: Bridge implementation does not support dumping - ignoring.\n");
+ return;
+ }
+
+ bridge_processor.set_dump_prefix (prefix);
+}
+
+/* Test support code */
static const char *bridge_class;
-static gboolean
-bridge_test_is_bridge_class (MonoClass *class)
+static MonoGCBridgeObjectKind
+bridge_test_bridge_class_kind (MonoClass *class)
{
- return !strcmp (bridge_class, class->name);
+ if (!strcmp (bridge_class, class->name))
+ return GC_BRIDGE_TRANSPARENT_BRIDGE_CLASS;
+ return GC_BRIDGE_TRANSPARENT_CLASS;
}
static gboolean
for (j = 0; j < sccs [i]->num_objs; ++j) {
// g_print (" %s\n", sgen_safe_name (sccs [i]->objs [j]));
if (i & 1) /*retain half of the bridged objects */
- sccs [i]->objs [0] = NULL;
+ sccs [i]->is_alive = TRUE;
}
}
for (i = 0; i < num_xrefs; ++i) {
}
}
+static MonoClassField *mono_bridge_test_field;
-void
-sgen_register_test_bridge_callbacks (const char *bridge_class_name)
+enum {
+ BRIDGE_DEAD,
+ BRIDGE_ROOT,
+ BRIDGE_SAME_SCC,
+ BRIDGE_XREF,
+};
+
+static gboolean
+test_scc (MonoGCBridgeSCC *scc, int i)
+{
+ int status = BRIDGE_DEAD;
+ mono_field_get_value (scc->objs [i], mono_bridge_test_field, &status);
+ return status > 0;
+}
+
+static void
+mark_scc (MonoGCBridgeSCC *scc, int value)
+{
+ int i;
+ for (i = 0; i < scc->num_objs; ++i) {
+ if (!test_scc (scc, i)) {
+ int status = value;
+ mono_field_set_value (scc->objs [i], mono_bridge_test_field, &status);
+ }
+ }
+}
+
+static void
+bridge_test_cross_reference2 (int num_sccs, MonoGCBridgeSCC **sccs, int num_xrefs, MonoGCBridgeXRef *xrefs)
+{
+ int i;
+ gboolean modified;
+
+ if (!mono_bridge_test_field) {
+ mono_bridge_test_field = mono_class_get_field_from_name (mono_object_get_class (sccs[0]->objs [0]), "__test");
+ g_assert (mono_bridge_test_field);
+ }
+
+ /*We mark all objects in a scc with live objects as reachable by scc*/
+ for (i = 0; i < num_sccs; ++i) {
+ int j;
+ gboolean live = FALSE;
+ for (j = 0; j < sccs [i]->num_objs; ++j) {
+ if (test_scc (sccs [i], j)) {
+ live = TRUE;
+ break;
+ }
+ }
+ if (!live)
+ continue;
+ for (j = 0; j < sccs [i]->num_objs; ++j) {
+ if (!test_scc (sccs [i], j)) {
+ int status = BRIDGE_SAME_SCC;
+ mono_field_set_value (sccs [i]->objs [j], mono_bridge_test_field, &status);
+ }
+ }
+ }
+
+ /*Now we mark the transitive closure of reachable objects from the xrefs*/
+ modified = TRUE;
+ while (modified) {
+ modified = FALSE;
+ /* Mark all objects that are brought to life due to xrefs*/
+ for (i = 0; i < num_xrefs; ++i) {
+ MonoGCBridgeXRef ref = xrefs [i];
+ if (test_scc (sccs [ref.src_scc_index], 0) && !test_scc (sccs [ref.dst_scc_index], 0)) {
+ modified = TRUE;
+ mark_scc (sccs [ref.dst_scc_index], BRIDGE_XREF);
+ }
+ }
+ }
+
+ /* keep everything in memory, all we want to do is test persistence */
+ for (i = 0; i < num_sccs; ++i)
+ sccs [i]->is_alive = TRUE;
+}
+
+static void
+register_test_bridge_callbacks (const char *bridge_class_name)
{
MonoGCBridgeCallbacks callbacks;
callbacks.bridge_version = SGEN_BRIDGE_VERSION;
- callbacks.is_bridge_class = bridge_test_is_bridge_class;
+ callbacks.bridge_class_kind = bridge_test_bridge_class_kind;
callbacks.is_bridge_object = bridge_test_is_bridge_object;
- callbacks.cross_references = bridge_test_cross_reference;
+ callbacks.cross_references = bridge_class_name[0] == '2' ? bridge_test_cross_reference2 : bridge_test_cross_reference;
mono_gc_register_bridge_callbacks (&callbacks);
- bridge_class = bridge_class_name;
+ bridge_class = bridge_class_name + (bridge_class_name[0] == '2' ? 1 : 0);
+}
+
+gboolean
+sgen_bridge_handle_gc_debug (const char *opt)
+{
+ if (g_str_has_prefix (opt, "bridge=")) {
+ opt = strchr (opt, '=') + 1;
+ register_test_bridge_callbacks (g_strdup (opt));
+ } else if (!strcmp (opt, "enable-bridge-accounting")) {
+ bridge_processor.enable_accounting ();
+ } else if (g_str_has_prefix (opt, "bridge-dump=")) {
+ char *prefix = strchr (opt, '=') + 1;
+ set_dump_prefix (prefix);
+ } else if (g_str_has_prefix (opt, "bridge-compare-to=")) {
+ const char *name = strchr (opt, '=') + 1;
+ if (init_bridge_processor (&compare_to_bridge_processor, name)) {
+ if (compare_to_bridge_processor.reset_data == bridge_processor.reset_data) {
+ g_warning ("Cannot compare bridge implementation to itself - ignoring.");
+ memset (&compare_to_bridge_processor, 0, sizeof (SgenBridgeProcessor));
+ }
+ } else {
+ g_warning ("Invalid bridge implementation to compare against - ignoring.");
+ }
+ } else {
+ return FALSE;
+ }
+ return TRUE;
+}
+
+void
+sgen_bridge_print_gc_debug_usage (void)
+{
+ fprintf (stderr, " bridge=<class-name>\n");
+ fprintf (stderr, " enable-bridge-accounting\n");
+ fprintf (stderr, " bridge-dump=<filename-prefix>\n");
+ fprintf (stderr, " bridge-compare-to=<implementation>\n");
}
#endif