Merge pull request #2810 from kumpera/fix_hazard_free
[mono.git] / mono / sgen / sgen-debug.c
1 /*
2  * sgen-debug.c: Collector debugging
3  *
4  * Author:
5  *      Paolo Molaro (lupus@ximian.com)
6  *  Rodrigo Kumpera (kumpera@gmail.com)
7  *
8  * Copyright 2005-2011 Novell, Inc (http://www.novell.com)
9  * Copyright 2011 Xamarin Inc (http://www.xamarin.com)
10  * Copyright 2011 Xamarin, Inc.
11  * Copyright (C) 2012 Xamarin Inc
12  *
13  * Licensed under the MIT license. See LICENSE file in the project root for full license information.
14  */
15
16 #include "config.h"
17 #ifdef HAVE_SGEN_GC
18
19 #include <string.h>
20
21 #include "mono/sgen/sgen-gc.h"
22 #include "mono/sgen/sgen-cardtable.h"
23 #include "mono/sgen/sgen-protocol.h"
24 #include "mono/sgen/sgen-memory-governor.h"
25 #include "mono/sgen/sgen-pinning.h"
26 #include "mono/sgen/sgen-client.h"
27
28 #define LOAD_VTABLE     SGEN_LOAD_VTABLE
29
30 #define object_is_forwarded     SGEN_OBJECT_IS_FORWARDED
31 #define object_is_pinned        SGEN_OBJECT_IS_PINNED
32 #define safe_object_get_size    sgen_safe_object_get_size
33
34 void describe_ptr (char *ptr);
35 void check_object (GCObject *obj);
36
37 /*
38  * ######################################################################
39  * ########  Collector debugging
40  * ######################################################################
41  */
42
43 static const char*descriptor_types [] = {
44         "INVALID",
45         "run length",
46         "bitmap",
47         "small pointer-free",
48         "complex",
49         "vector",
50         "complex arrray",
51         "complex pointer-free"
52 };
53
54 static char* describe_nursery_ptr (char *ptr, gboolean need_setup);
55
56 static void
57 describe_pointer (char *ptr, gboolean need_setup)
58 {
59         GCVTable vtable;
60         SgenDescriptor desc;
61         int type;
62         char *start;
63         char *forwarded;
64         mword size;
65
66  restart:
67         if (sgen_ptr_in_nursery (ptr)) {
68                 start = describe_nursery_ptr (ptr, need_setup);
69                 if (!start)
70                         return;
71                 ptr = start;
72                 vtable = LOAD_VTABLE ((GCObject*)ptr);
73         } else {
74                 if (sgen_ptr_is_in_los (ptr, &start)) {
75                         if (ptr == start)
76                                 printf ("Pointer is the start of object %p in LOS space.\n", start);
77                         else
78                                 printf ("Pointer is at offset 0x%x of object %p in LOS space.\n", (int)(ptr - start), start);
79                         ptr = start;
80                         mono_sgen_los_describe_pointer (ptr);
81                         vtable = LOAD_VTABLE ((GCObject*)ptr);
82                 } else if (major_collector.ptr_is_in_non_pinned_space (ptr, &start)) {
83                         if (ptr == start)
84                                 printf ("Pointer is the start of object %p in oldspace.\n", start);
85                         else if (start)
86                                 printf ("Pointer is at offset 0x%x of object %p in oldspace.\n", (int)(ptr - start), start);
87                         else
88                                 printf ("Pointer inside oldspace.\n");
89                         if (start)
90                                 ptr = start;
91                         vtable = (GCVTable)major_collector.describe_pointer (ptr);
92                 } else if (major_collector.ptr_is_from_pinned_alloc (ptr)) {
93                         // FIXME: Handle pointers to the inside of objects
94                         printf ("Pointer is inside a pinned chunk.\n");
95                         vtable = LOAD_VTABLE ((GCObject*)ptr);
96                 } else {
97                         printf ("Pointer unknown.\n");
98                         return;
99                 }
100         }
101
102         if (object_is_pinned (ptr))
103                 printf ("Object is pinned.\n");
104
105         if ((forwarded = (char *)object_is_forwarded (ptr))) {
106                 printf ("Object is forwarded to %p:\n", forwarded);
107                 ptr = forwarded;
108                 goto restart;
109         }
110
111         printf ("VTable: %p\n", vtable);
112         if (vtable == NULL) {
113                 printf ("VTable is invalid (empty).\n");
114                 goto invalid_vtable;
115         }
116         if (sgen_ptr_in_nursery (vtable)) {
117                 printf ("VTable is invalid (points inside nursery).\n");
118                 goto invalid_vtable;
119         }
120         printf ("Class: %s.%s\n", sgen_client_vtable_get_namespace (vtable), sgen_client_vtable_get_name (vtable));
121
122         desc = sgen_vtable_get_descriptor (vtable);
123         printf ("Descriptor: %lx\n", (long)desc);
124
125         type = desc & DESC_TYPE_MASK;
126         printf ("Descriptor type: %d (%s)\n", type, descriptor_types [type]);
127
128         size = sgen_safe_object_get_size ((GCObject*)ptr);
129         printf ("Size: %d\n", (int)size);
130
131  invalid_vtable:
132         ;
133         sgen_client_describe_invalid_pointer ((GCObject *) ptr);
134 }
135
136 void
137 describe_ptr (char *ptr)
138 {
139         describe_pointer (ptr, TRUE);
140 }
141
142 static gboolean missing_remsets;
143
144 /*
145  * We let a missing remset slide if the target object is pinned,
146  * because the store might have happened but the remset not yet added,
147  * but in that case the target must be pinned.  We might theoretically
148  * miss some missing remsets this way, but it's very unlikely.
149  */
150 #undef HANDLE_PTR
151 #define HANDLE_PTR(ptr,obj)     do {    \
152         if (*(ptr) && sgen_ptr_in_nursery ((char*)*(ptr))) { \
153                 if (!sgen_get_remset ()->find_address ((char*)(ptr)) && !sgen_cement_lookup (*(ptr))) { \
154                         GCVTable __vt = SGEN_LOAD_VTABLE (obj); \
155                         SGEN_LOG (0, "Oldspace->newspace reference %p at offset %zd in object %p (%s.%s) not found in remsets.", *(ptr), (char*)(ptr) - (char*)(obj), (obj), sgen_client_vtable_get_namespace (__vt), sgen_client_vtable_get_name (__vt)); \
156                         binary_protocol_missing_remset ((obj), __vt, (int) ((char*)(ptr) - (char*)(obj)), *(ptr), (gpointer)LOAD_VTABLE(*(ptr)), object_is_pinned (*(ptr))); \
157                         if (!object_is_pinned (*(ptr)))                                                         \
158                                 missing_remsets = TRUE;                                                                 \
159                 }                                                                                                                               \
160         }                                                                                                                                       \
161         } while (0)
162
163 /*
164  * Check that each object reference which points into the nursery can
165  * be found in the remembered sets.
166  */
167 static void
168 check_consistency_callback (GCObject *obj, size_t size, void *dummy)
169 {
170         char *start = (char*)obj;
171         GCVTable vt = LOAD_VTABLE (obj);
172         SgenDescriptor desc = sgen_vtable_get_descriptor (vt);
173         SGEN_LOG (8, "Scanning object %p, vtable: %p (%s)", start, vt, sgen_client_vtable_get_name (vt));
174
175 #include "sgen-scan-object.h"
176 }
177
178 /*
179  * Perform consistency check of the heap.
180  *
181  * Assumes the world is stopped.
182  */
183 void
184 sgen_check_consistency (void)
185 {
186         // Need to add more checks
187
188         missing_remsets = FALSE;
189
190         SGEN_LOG (1, "Begin heap consistency check...");
191
192         // Check that oldspace->newspace pointers are registered with the collector
193         major_collector.iterate_objects (ITERATE_OBJECTS_SWEEP_ALL, (IterateObjectCallbackFunc)check_consistency_callback, NULL);
194
195         sgen_los_iterate_objects ((IterateObjectCallbackFunc)check_consistency_callback, NULL);
196
197         SGEN_LOG (1, "Heap consistency check done.");
198
199         if (!binary_protocol_is_enabled ())
200                 g_assert (!missing_remsets);
201 }
202
203 static gboolean
204 is_major_or_los_object_marked (GCObject *obj)
205 {
206         if (sgen_safe_object_get_size ((GCObject*)obj) > SGEN_MAX_SMALL_OBJ_SIZE) {
207                 return sgen_los_object_is_pinned (obj);
208         } else {
209                 return sgen_get_major_collector ()->is_object_live (obj);
210         }
211 }
212
213 #undef HANDLE_PTR
214 #define HANDLE_PTR(ptr,obj)     do {    \
215         if (*(ptr) && !sgen_ptr_in_nursery ((char*)*(ptr)) && !is_major_or_los_object_marked ((GCObject*)*(ptr))) { \
216                 if (!sgen_get_remset ()->find_address_with_cards (start, cards, (char*)(ptr))) { \
217                         GCVTable __vt = SGEN_LOAD_VTABLE (obj); \
218                         SGEN_LOG (0, "major->major reference %p at offset %zd in object %p (%s.%s) not found in remsets.", *(ptr), (char*)(ptr) - (char*)(obj), (obj), sgen_client_vtable_get_namespace (__vt), sgen_client_vtable_get_name (__vt)); \
219                         binary_protocol_missing_remset ((obj), __vt, (int) ((char*)(ptr) - (char*)(obj)), *(ptr), (gpointer)LOAD_VTABLE(*(ptr)), object_is_pinned (*(ptr))); \
220                         missing_remsets = TRUE;                         \
221                 }                                                                                                                               \
222         }                                                                                                                                       \
223         } while (0)
224
225 static void
226 check_mod_union_callback (GCObject *obj, size_t size, void *dummy)
227 {
228         char *start = (char*)obj;
229         gboolean in_los = (gboolean) (size_t) dummy;
230         GCVTable vt = LOAD_VTABLE (obj);
231         SgenDescriptor desc = sgen_vtable_get_descriptor (vt);
232         guint8 *cards;
233         SGEN_LOG (8, "Scanning object %p, vtable: %p (%s)", obj, vt, sgen_client_vtable_get_name (vt));
234
235         if (!is_major_or_los_object_marked (obj))
236                 return;
237
238         if (in_los)
239                 cards = sgen_los_header_for_object (obj)->cardtable_mod_union;
240         else
241                 cards = sgen_get_major_collector ()->get_cardtable_mod_union_for_reference (start);
242
243         SGEN_ASSERT (0, cards, "we must have mod union for marked major objects");
244
245 #include "sgen-scan-object.h"
246 }
247
248 void
249 sgen_check_mod_union_consistency (void)
250 {
251         missing_remsets = FALSE;
252
253         major_collector.iterate_objects (ITERATE_OBJECTS_ALL, (IterateObjectCallbackFunc)check_mod_union_callback, (void*)FALSE);
254
255         sgen_los_iterate_objects ((IterateObjectCallbackFunc)check_mod_union_callback, (void*)TRUE);
256
257         if (!binary_protocol_is_enabled ())
258                 g_assert (!missing_remsets);
259 }
260
261 #undef HANDLE_PTR
262 #define HANDLE_PTR(ptr,obj)     do {                                    \
263                 if (*(ptr) && !LOAD_VTABLE (*(ptr)))                                            \
264                         g_error ("Could not load vtable for obj %p slot %zd (size %zd)", obj, (char*)ptr - (char*)obj, (size_t)safe_object_get_size ((GCObject*)obj)); \
265         } while (0)
266
267 static void
268 check_major_refs_callback (GCObject *obj, size_t size, void *dummy)
269 {
270         char *start = (char*)obj;
271         SgenDescriptor desc = sgen_obj_get_descriptor (obj);
272
273 #include "sgen-scan-object.h"
274 }
275
276 void
277 sgen_check_major_refs (void)
278 {
279         major_collector.iterate_objects (ITERATE_OBJECTS_SWEEP_ALL, (IterateObjectCallbackFunc)check_major_refs_callback, NULL);
280         sgen_los_iterate_objects ((IterateObjectCallbackFunc)check_major_refs_callback, NULL);
281 }
282
283 /* Check that the reference is valid */
284 #undef HANDLE_PTR
285 #define HANDLE_PTR(ptr,obj)     do {    \
286                 if (*(ptr)) {   \
287                         g_assert (sgen_client_vtable_get_namespace (SGEN_LOAD_VTABLE_UNCHECKED (*(ptr))));      \
288                 }       \
289         } while (0)
290
291 /*
292  * check_object:
293  *
294  *   Perform consistency check on an object. Currently we only check that the
295  * reference fields are valid.
296  */
297 void
298 check_object (GCObject *obj)
299 {
300         char *start = (char*)obj;
301         SgenDescriptor desc;
302
303         if (!start)
304                 return;
305
306         desc = sgen_obj_get_descriptor (obj);
307
308 #include "sgen-scan-object.h"
309 }
310
311
312 static GCObject **valid_nursery_objects;
313 static int valid_nursery_object_count;
314 static gboolean broken_heap;
315
316 static void 
317 setup_mono_sgen_scan_area_with_callback (GCObject *object, size_t size, void *data)
318 {
319         valid_nursery_objects [valid_nursery_object_count++] = object;
320 }
321
322 static void
323 setup_valid_nursery_objects (void)
324 {
325         if (!valid_nursery_objects)
326                 valid_nursery_objects = (GCObject **)sgen_alloc_os_memory (DEFAULT_NURSERY_SIZE, (SgenAllocFlags)(SGEN_ALLOC_INTERNAL | SGEN_ALLOC_ACTIVATE), "debugging data");
327         valid_nursery_object_count = 0;
328         sgen_scan_area_with_callback (nursery_section->data, nursery_section->end_data, setup_mono_sgen_scan_area_with_callback, NULL, FALSE, FALSE);
329 }
330
331 static gboolean
332 find_object_in_nursery_dump (char *object)
333 {
334         int first = 0, last = valid_nursery_object_count;
335         while (first < last) {
336                 int middle = first + ((last - first) >> 1);
337                 if (object == (char*)valid_nursery_objects [middle])
338                         return TRUE;
339
340                 if (object < (char*)valid_nursery_objects [middle])
341                         last = middle;
342                 else
343                         first = middle + 1;
344         }
345         g_assert (first == last);
346         return FALSE;
347 }
348
349 static void
350 iterate_valid_nursery_objects (IterateObjectCallbackFunc callback, void *data)
351 {
352         int i;
353         for (i = 0; i < valid_nursery_object_count; ++i) {
354                 GCObject *obj = valid_nursery_objects [i];
355                 callback (obj, safe_object_get_size (obj), data);
356         }
357 }
358
359 static char*
360 describe_nursery_ptr (char *ptr, gboolean need_setup)
361 {
362         int i;
363
364         if (need_setup)
365                 setup_valid_nursery_objects ();
366
367         for (i = 0; i < valid_nursery_object_count - 1; ++i) {
368                 if ((char*)valid_nursery_objects [i + 1] > ptr)
369                         break;
370         }
371
372         if (i >= valid_nursery_object_count || (char*)valid_nursery_objects [i] + safe_object_get_size (valid_nursery_objects [i]) < ptr) {
373                 SGEN_LOG (0, "nursery-ptr (unalloc'd-memory)");
374                 return NULL;
375         } else {
376                 GCObject *obj = valid_nursery_objects [i];
377                 if ((char*)obj == ptr)
378                         SGEN_LOG (0, "nursery-ptr %p", obj);
379                 else
380                         SGEN_LOG (0, "nursery-ptr %p (interior-ptr offset %zd)", obj, ptr - (char*)obj);
381                 return (char*)obj;
382         }
383 }
384
385 static gboolean
386 is_valid_object_pointer (char *object)
387 {
388         if (sgen_ptr_in_nursery (object))
389                 return find_object_in_nursery_dump (object);
390         
391         if (sgen_los_is_valid_object (object))
392                 return TRUE;
393
394         if (major_collector.is_valid_object (object))
395                 return TRUE;
396         return FALSE;
397 }
398
399 static void
400 bad_pointer_spew (char *obj, char **slot)
401 {
402         char *ptr = *slot;
403         GCVTable vtable = LOAD_VTABLE ((GCObject*)obj);
404
405         SGEN_LOG (0, "Invalid object pointer %p at offset %zd in object %p (%s.%s):", ptr,
406                         (char*)slot - obj,
407                         obj, sgen_client_vtable_get_namespace (vtable), sgen_client_vtable_get_name (vtable));
408         describe_pointer (ptr, FALSE);
409         broken_heap = TRUE;
410 }
411
412 static void
413 missing_remset_spew (char *obj, char **slot)
414 {
415         char *ptr = *slot;
416         GCVTable vtable = LOAD_VTABLE ((GCObject*)obj);
417
418         SGEN_LOG (0, "Oldspace->newspace reference %p at offset %zd in object %p (%s.%s) not found in remsets.",
419                         ptr, (char*)slot - obj, obj, 
420                         sgen_client_vtable_get_namespace (vtable), sgen_client_vtable_get_name (vtable));
421
422         broken_heap = TRUE;
423 }
424
425 /*
426 FIXME Flag missing remsets due to pinning as non fatal
427 */
428 #undef HANDLE_PTR
429 #define HANDLE_PTR(ptr,obj)     do {    \
430                 if (*(char**)ptr) {     \
431                         if (!is_valid_object_pointer (*(char**)ptr)) {  \
432                                 bad_pointer_spew ((char*)obj, (char**)ptr);     \
433                         } else if (!sgen_ptr_in_nursery (obj) && sgen_ptr_in_nursery ((char*)*ptr)) {   \
434                                 if (!sgen_get_remset ()->find_address ((char*)(ptr)) && !sgen_cement_lookup (*(ptr)) && (!allow_missing_pinned || !SGEN_OBJECT_IS_PINNED (*(ptr)))) \
435                                 missing_remset_spew ((char*)obj, (char**)ptr);  \
436                         }       \
437         } \
438         } while (0)
439
440 static void
441 verify_object_pointers_callback (GCObject *obj, size_t size, void *data)
442 {
443         char *start = (char*)obj;
444         gboolean allow_missing_pinned = (gboolean) (size_t) data;
445         SgenDescriptor desc = sgen_obj_get_descriptor (obj);
446
447 #include "sgen-scan-object.h"
448 }
449
450 /*
451 FIXME:
452 -This heap checker is racy regarding inlined write barriers and other JIT tricks that
453 depend on OP_DUMMY_USE.
454 */
455 void
456 sgen_check_whole_heap (gboolean allow_missing_pinned)
457 {
458         setup_valid_nursery_objects ();
459
460         broken_heap = FALSE;
461         sgen_scan_area_with_callback (nursery_section->data, nursery_section->end_data, verify_object_pointers_callback, (void*) (size_t) allow_missing_pinned, FALSE, TRUE);
462         major_collector.iterate_objects (ITERATE_OBJECTS_SWEEP_ALL, verify_object_pointers_callback, (void*) (size_t) allow_missing_pinned);
463         sgen_los_iterate_objects (verify_object_pointers_callback, (void*) (size_t) allow_missing_pinned);
464
465         g_assert (!broken_heap);
466 }
467
468 static gboolean
469 ptr_in_heap (char *object)
470 {
471         if (sgen_ptr_in_nursery (object))
472                 return TRUE;
473         
474         if (sgen_los_is_valid_object (object))
475                 return TRUE;
476
477         if (major_collector.is_valid_object (object))
478                 return TRUE;
479         return FALSE;
480 }
481
482 /*
483  * sgen_check_objref:
484  *   Do consistency checks on the object reference OBJ. Assert on failure.
485  */
486 void
487 sgen_check_objref (char *obj)
488 {
489         g_assert (ptr_in_heap (obj));
490 }
491
492 static void
493 find_pinning_ref_from_thread (char *obj, size_t size)
494 {
495 #ifndef SGEN_WITHOUT_MONO
496         int j;
497         char *endobj = obj + size;
498
499         FOREACH_THREAD (info) {
500                 char **start = (char**)info->client_info.stack_start;
501                 if (info->client_info.skip || info->client_info.gc_disabled)
502                         continue;
503                 while (start < (char**)info->client_info.stack_end) {
504                         if (*start >= obj && *start < endobj)
505                                 SGEN_LOG (0, "Object %p referenced in thread %p (id %p) at %p, stack: %p-%p", obj, info, (gpointer)mono_thread_info_get_tid (info), start, info->client_info.stack_start, info->client_info.stack_end);
506                         start++;
507                 }
508
509                 for (j = 0; j < ARCH_NUM_REGS; ++j) {
510 #ifdef USE_MONO_CTX
511                         mword w = ((mword*)&info->client_info.ctx) [j];
512 #else
513                         mword w = (mword)&info->client_info.regs [j];
514 #endif
515
516                         if (w >= (mword)obj && w < (mword)obj + size)
517                                 SGEN_LOG (0, "Object %p referenced in saved reg %d of thread %p (id %p)", obj, j, info, (gpointer)mono_thread_info_get_tid (info));
518                 }
519         } FOREACH_THREAD_END
520 #endif
521 }
522
523 /*
524  * Debugging function: find in the conservative roots where @obj is being pinned.
525  */
526 static G_GNUC_UNUSED void
527 find_pinning_reference (char *obj, size_t size)
528 {
529         char **start;
530         RootRecord *root;
531         char *endobj = obj + size;
532
533         SGEN_HASH_TABLE_FOREACH (&roots_hash [ROOT_TYPE_NORMAL], char **, start, RootRecord *, root) {
534                 /* if desc is non-null it has precise info */
535                 if (!root->root_desc) {
536                         while (start < (char**)root->end_root) {
537                                 if (*start >= obj && *start < endobj) {
538                                         SGEN_LOG (0, "Object %p referenced in pinned roots %p-%p\n", obj, start, root->end_root);
539                                 }
540                                 start++;
541                         }
542                 }
543         } SGEN_HASH_TABLE_FOREACH_END;
544
545         find_pinning_ref_from_thread (obj, size);
546 }
547
548 #undef HANDLE_PTR
549 #define HANDLE_PTR(ptr,obj)     do {                                    \
550                 char* __target = *(char**)ptr;                          \
551                 if (__target) {                                         \
552                         if (sgen_ptr_in_nursery (__target)) {           \
553                                 g_assert (!SGEN_OBJECT_IS_FORWARDED (__target)); \
554                         } else {                                        \
555                                 mword __size = sgen_safe_object_get_size ((GCObject*)__target); \
556                                 if (__size <= SGEN_MAX_SMALL_OBJ_SIZE)  \
557                                         g_assert (major_collector.is_object_live ((GCObject*)__target)); \
558                                 else                                    \
559                                         g_assert (sgen_los_object_is_pinned ((GCObject*)__target)); \
560                         }                                               \
561                 }                                                       \
562         } while (0)
563
564 static void
565 check_marked_callback (GCObject *obj, size_t size, void *dummy)
566 {
567         char *start = (char*)obj;
568         gboolean flag = (gboolean) (size_t) dummy;
569         SgenDescriptor desc;
570
571         if (sgen_ptr_in_nursery (start)) {
572                 if (flag)
573                         SGEN_ASSERT (0, SGEN_OBJECT_IS_PINNED (obj), "All objects remaining in the nursery must be pinned");
574         } else if (flag) {
575                 if (!sgen_los_object_is_pinned (obj))
576                         return;
577         } else {
578                 if (!major_collector.is_object_live (obj))
579                         return;
580         }
581
582         desc = sgen_obj_get_descriptor_safe (obj);
583
584 #include "sgen-scan-object.h"
585 }
586
587 void
588 sgen_check_heap_marked (gboolean nursery_must_be_pinned)
589 {
590         setup_valid_nursery_objects ();
591
592         iterate_valid_nursery_objects (check_marked_callback, (void*)(size_t)nursery_must_be_pinned);
593         major_collector.iterate_objects (ITERATE_OBJECTS_SWEEP_ALL, check_marked_callback, (void*)FALSE);
594         sgen_los_iterate_objects (check_marked_callback, (void*)TRUE);
595 }
596
597 static void
598 check_nursery_objects_pinned_callback (char *obj, size_t size, void *data /* ScanCopyContext *ctx */)
599 {
600         gboolean pinned = (gboolean) (size_t) data;
601
602         g_assert (!SGEN_OBJECT_IS_FORWARDED (obj));
603         if (pinned)
604                 g_assert (SGEN_OBJECT_IS_PINNED (obj));
605         else
606                 g_assert (!SGEN_OBJECT_IS_PINNED (obj));
607 }
608
609 void
610 sgen_check_nursery_objects_pinned (gboolean pinned)
611 {
612         sgen_clear_nursery_fragments ();
613         sgen_scan_area_with_callback (nursery_section->data, nursery_section->end_data,
614                         (IterateObjectCallbackFunc)check_nursery_objects_pinned_callback, (void*) (size_t) pinned /* (void*)&ctx */, FALSE, TRUE);
615 }
616
617 static void
618 verify_scan_starts (char *start, char *end)
619 {
620         size_t i;
621
622         for (i = 0; i < nursery_section->num_scan_start; ++i) {
623                 char *addr = nursery_section->scan_starts [i];
624                 if (addr > start && addr < end)
625                         SGEN_LOG (0, "NFC-BAD SCAN START [%zu] %p for obj [%p %p]", i, addr, start, end);
626         }
627 }
628
629 void
630 sgen_debug_verify_nursery (gboolean do_dump_nursery_content)
631 {
632         char *start, *end, *cur, *hole_start;
633
634         if (nursery_canaries_enabled ())
635                 SGEN_LOG (0, "Checking nursery canaries...");
636
637         /*This cleans up unused fragments */
638         sgen_nursery_allocator_prepare_for_pinning ();
639
640         hole_start = start = cur = sgen_get_nursery_start ();
641         end = sgen_get_nursery_end ();
642
643         while (cur < end) {
644                 size_t ss, size;
645                 gboolean is_array_fill;
646
647                 if (!*(void**)cur) {
648                         cur += sizeof (void*);
649                         continue;
650                 }
651
652                 if (object_is_forwarded (cur))
653                         SGEN_LOG (0, "FORWARDED OBJ %p", cur);
654                 else if (object_is_pinned (cur))
655                         SGEN_LOG (0, "PINNED OBJ %p", cur);
656
657                 ss = safe_object_get_size ((GCObject*)cur);
658                 size = SGEN_ALIGN_UP (ss);
659                 verify_scan_starts (cur, cur + size);
660                 is_array_fill = sgen_client_object_is_array_fill ((GCObject*)cur);
661                 if (do_dump_nursery_content) {
662                         GCVTable vtable = SGEN_LOAD_VTABLE ((GCObject*)cur);
663                         if (cur > hole_start)
664                                 SGEN_LOG (0, "HOLE [%p %p %d]", hole_start, cur, (int)(cur - hole_start));
665                         SGEN_LOG (0, "OBJ  [%p %p %d %d %s.%s %d]", cur, cur + size, (int)size, (int)ss,
666                                         sgen_client_vtable_get_namespace (vtable), sgen_client_vtable_get_name (vtable),
667                                         is_array_fill);
668                 }
669                 if (nursery_canaries_enabled () && !is_array_fill) {
670                         CHECK_CANARY_FOR_OBJECT ((GCObject*)cur, TRUE);
671                         CANARIFY_SIZE (size);
672                 }
673                 cur += size;
674                 hole_start = cur;
675         }
676 }
677
678 /*
679  * Checks that no objects in the nursery are fowarded or pinned.  This
680  * is a precondition to restarting the mutator while doing a
681  * concurrent collection.  Note that we don't clear fragments because
682  * we depend on that having happened earlier.
683  */
684 void
685 sgen_debug_check_nursery_is_clean (void)
686 {
687         char *end, *cur;
688
689         cur = sgen_get_nursery_start ();
690         end = sgen_get_nursery_end ();
691
692         while (cur < end) {
693                 size_t size;
694
695                 if (!*(void**)cur) {
696                         cur += sizeof (void*);
697                         continue;
698                 }
699
700                 g_assert (!object_is_forwarded (cur));
701                 g_assert (!object_is_pinned (cur));
702
703                 size = SGEN_ALIGN_UP (safe_object_get_size ((GCObject*)cur));
704                 verify_scan_starts (cur, cur + size);
705
706                 cur += size;
707         }
708 }
709
710 static gboolean scan_object_for_specific_ref_precise = TRUE;
711
712 #undef HANDLE_PTR
713 #define HANDLE_PTR(ptr,obj) do {                                        \
714                 if ((GCObject*)*(ptr) == key) {                         \
715                         GCVTable vtable = SGEN_LOAD_VTABLE (*(ptr));    \
716                         g_print ("found ref to %p in object %p (%s.%s) at offset %zd\n", \
717                                         key, (obj), sgen_client_vtable_get_namespace (vtable), sgen_client_vtable_get_name (vtable), ((char*)(ptr) - (char*)(obj))); \
718                 }                                                       \
719         } while (0)
720
721 static void
722 scan_object_for_specific_ref (GCObject *obj, GCObject *key)
723 {
724         GCObject *forwarded;
725
726         if ((forwarded = SGEN_OBJECT_IS_FORWARDED (obj)))
727                 obj = forwarded;
728
729         if (scan_object_for_specific_ref_precise) {
730                 char *start = (char*)obj;
731                 SgenDescriptor desc = sgen_obj_get_descriptor_safe (obj);
732                 #include "sgen-scan-object.h"
733         } else {
734                 mword *words = (mword*)obj;
735                 size_t size = safe_object_get_size (obj);
736                 int i;
737                 for (i = 0; i < size / sizeof (mword); ++i) {
738                         if (words [i] == (mword)key) {
739                                 GCVTable vtable = SGEN_LOAD_VTABLE (obj);
740                                 g_print ("found possible ref to %p in object %p (%s.%s) at offset %zd\n",
741                                                 key, obj, sgen_client_vtable_get_namespace (vtable), sgen_client_vtable_get_name (vtable), i * sizeof (mword));
742                         }
743                 }
744         }
745 }
746
747 static void
748 scan_object_for_specific_ref_callback (GCObject *obj, size_t size, GCObject *key)
749 {
750         scan_object_for_specific_ref (obj, key);
751 }
752
753 static void
754 check_root_obj_specific_ref (RootRecord *root, GCObject *key, GCObject *obj)
755 {
756         if (key != obj)
757                 return;
758         g_print ("found ref to %p in root record %p\n", key, root);
759 }
760
761 static GCObject *check_key = NULL;
762 static RootRecord *check_root = NULL;
763
764 static void
765 check_root_obj_specific_ref_from_marker (GCObject **obj, void *gc_data)
766 {
767         check_root_obj_specific_ref (check_root, check_key, *obj);
768 }
769
770 static void
771 scan_roots_for_specific_ref (GCObject *key, int root_type)
772 {
773         void **start_root;
774         RootRecord *root;
775         check_key = key;
776
777         SGEN_HASH_TABLE_FOREACH (&roots_hash [root_type], void **, start_root, RootRecord *, root) {
778                 SgenDescriptor desc = root->root_desc;
779
780                 check_root = root;
781
782                 switch (desc & ROOT_DESC_TYPE_MASK) {
783                 case ROOT_DESC_BITMAP:
784                         desc >>= ROOT_DESC_TYPE_SHIFT;
785                         while (desc) {
786                                 if (desc & 1)
787                                         check_root_obj_specific_ref (root, key, (GCObject *)*start_root);
788                                 desc >>= 1;
789                                 start_root++;
790                         }
791                         return;
792                 case ROOT_DESC_COMPLEX: {
793                         gsize *bitmap_data = (gsize *)sgen_get_complex_descriptor_bitmap (desc);
794                         int bwords = (int) ((*bitmap_data) - 1);
795                         void **start_run = start_root;
796                         bitmap_data++;
797                         while (bwords-- > 0) {
798                                 gsize bmap = *bitmap_data++;
799                                 void **objptr = start_run;
800                                 while (bmap) {
801                                         if (bmap & 1)
802                                                 check_root_obj_specific_ref (root, key, (GCObject *)*objptr);
803                                         bmap >>= 1;
804                                         ++objptr;
805                                 }
806                                 start_run += GC_BITS_PER_WORD;
807                         }
808                         break;
809                 }
810                 case ROOT_DESC_USER: {
811                         SgenUserRootMarkFunc marker = sgen_get_user_descriptor_func (desc);
812                         marker (start_root, check_root_obj_specific_ref_from_marker, NULL);
813                         break;
814                 }
815                 case ROOT_DESC_RUN_LEN:
816                         g_assert_not_reached ();
817                 default:
818                         g_assert_not_reached ();
819                 }
820         } SGEN_HASH_TABLE_FOREACH_END;
821
822         check_key = NULL;
823         check_root = NULL;
824 }
825
826 void
827 mono_gc_scan_for_specific_ref (GCObject *key, gboolean precise)
828 {
829         void **ptr;
830         RootRecord *root;
831
832         scan_object_for_specific_ref_precise = precise;
833
834         sgen_scan_area_with_callback (nursery_section->data, nursery_section->end_data,
835                         (IterateObjectCallbackFunc)scan_object_for_specific_ref_callback, key, TRUE, FALSE);
836
837         major_collector.iterate_objects (ITERATE_OBJECTS_SWEEP_ALL, (IterateObjectCallbackFunc)scan_object_for_specific_ref_callback, key);
838
839         sgen_los_iterate_objects ((IterateObjectCallbackFunc)scan_object_for_specific_ref_callback, key);
840
841         scan_roots_for_specific_ref (key, ROOT_TYPE_NORMAL);
842         scan_roots_for_specific_ref (key, ROOT_TYPE_WBARRIER);
843
844         SGEN_HASH_TABLE_FOREACH (&roots_hash [ROOT_TYPE_PINNED], void **, ptr, RootRecord *, root) {
845                 while (ptr < (void**)root->end_root) {
846                         check_root_obj_specific_ref (root, (GCObject *)*ptr, key);
847                         ++ptr;
848                 }
849         } SGEN_HASH_TABLE_FOREACH_END;
850
851         if (sgen_is_world_stopped ())
852                 find_pinning_ref_from_thread ((char*)key, sizeof (GCObject));
853 }
854
855 #ifndef SGEN_WITHOUT_MONO
856
857 static MonoDomain *check_domain = NULL;
858
859 static void
860 check_obj_not_in_domain (MonoObject **o)
861 {
862         g_assert (((*o))->vtable->domain != check_domain);
863 }
864
865
866 static void
867 check_obj_not_in_domain_callback (GCObject **o, void *gc_data)
868 {
869         g_assert ((*o)->vtable->domain != check_domain);
870 }
871
872 void
873 sgen_scan_for_registered_roots_in_domain (MonoDomain *domain, int root_type)
874 {
875         void **start_root;
876         RootRecord *root;
877         check_domain = domain;
878         SGEN_HASH_TABLE_FOREACH (&roots_hash [root_type], void **, start_root, RootRecord *, root) {
879                 SgenDescriptor desc = root->root_desc;
880
881                 /* The MonoDomain struct is allowed to hold
882                    references to objects in its own domain. */
883                 if (start_root == (void**)domain)
884                         continue;
885
886                 switch (desc & ROOT_DESC_TYPE_MASK) {
887                 case ROOT_DESC_BITMAP:
888                         desc >>= ROOT_DESC_TYPE_SHIFT;
889                         while (desc) {
890                                 if ((desc & 1) && *start_root)
891                                         check_obj_not_in_domain ((MonoObject **)*start_root);
892                                 desc >>= 1;
893                                 start_root++;
894                         }
895                         break;
896                 case ROOT_DESC_COMPLEX: {
897                         gsize *bitmap_data = (gsize *)sgen_get_complex_descriptor_bitmap (desc);
898                         int bwords = (int)((*bitmap_data) - 1);
899                         void **start_run = start_root;
900                         bitmap_data++;
901                         while (bwords-- > 0) {
902                                 gsize bmap = *bitmap_data++;
903                                 void **objptr = start_run;
904                                 while (bmap) {
905                                         if ((bmap & 1) && *objptr)
906                                                 check_obj_not_in_domain ((MonoObject **)*objptr);
907                                         bmap >>= 1;
908                                         ++objptr;
909                                 }
910                                 start_run += GC_BITS_PER_WORD;
911                         }
912                         break;
913                 }
914                 case ROOT_DESC_USER: {
915                         SgenUserRootMarkFunc marker = sgen_get_user_descriptor_func (desc);
916                         marker (start_root, check_obj_not_in_domain_callback, NULL);
917                         break;
918                 }
919                 case ROOT_DESC_RUN_LEN:
920                         g_assert_not_reached ();
921                 default:
922                         g_assert_not_reached ();
923                 }
924         } SGEN_HASH_TABLE_FOREACH_END;
925
926         check_domain = NULL;
927 }
928
929 static gboolean
930 is_xdomain_ref_allowed (GCObject **ptr, GCObject *obj, MonoDomain *domain)
931 {
932         MonoObject *o = (MonoObject*)(obj);
933         MonoObject *ref = *ptr;
934         size_t offset = (char*)(ptr) - (char*)o;
935
936         if (o->vtable->klass == mono_defaults.thread_class && offset == G_STRUCT_OFFSET (MonoThread, internal_thread))
937                 return TRUE;
938         if (o->vtable->klass == mono_defaults.internal_thread_class && offset == G_STRUCT_OFFSET (MonoInternalThread, current_appcontext))
939                 return TRUE;
940
941 #ifndef DISABLE_REMOTING
942         if (mono_defaults.real_proxy_class->supertypes && mono_class_has_parent_fast (o->vtable->klass, mono_defaults.real_proxy_class) &&
943                         offset == G_STRUCT_OFFSET (MonoRealProxy, unwrapped_server))
944                 return TRUE;
945 #endif
946         /* Thread.cached_culture_info */
947         if (!strcmp (ref->vtable->klass->name_space, "System.Globalization") &&
948                         !strcmp (ref->vtable->klass->name, "CultureInfo") &&
949                         !strcmp(o->vtable->klass->name_space, "System") &&
950                         !strcmp(o->vtable->klass->name, "Object[]"))
951                 return TRUE;
952         /*
953          *  at System.IO.MemoryStream.InternalConstructor (byte[],int,int,bool,bool) [0x0004d] in /home/schani/Work/novell/trunk/mcs/class/corlib/System.IO/MemoryStream.cs:121
954          * at System.IO.MemoryStream..ctor (byte[]) [0x00017] in /home/schani/Work/novell/trunk/mcs/class/corlib/System.IO/MemoryStream.cs:81
955          * at (wrapper remoting-invoke-with-check) System.IO.MemoryStream..ctor (byte[]) <IL 0x00020, 0xffffffff>
956          * at System.Runtime.Remoting.Messaging.CADMethodCallMessage.GetArguments () [0x0000d] in /home/schani/Work/novell/trunk/mcs/class/corlib/System.Runtime.Remoting.Messaging/CADMessages.cs:327
957          * at System.Runtime.Remoting.Messaging.MethodCall..ctor (System.Runtime.Remoting.Messaging.CADMethodCallMessage) [0x00017] in /home/schani/Work/novell/trunk/mcs/class/corlib/System.Runtime.Remoting.Messaging/MethodCall.cs:87
958          * at System.AppDomain.ProcessMessageInDomain (byte[],System.Runtime.Remoting.Messaging.CADMethodCallMessage,byte[]&,System.Runtime.Remoting.Messaging.CADMethodReturnMessage&) [0x00018] in /home/schani/Work/novell/trunk/mcs/class/corlib/System/AppDomain.cs:1213
959          * at (wrapper remoting-invoke-with-check) System.AppDomain.ProcessMessageInDomain (byte[],System.Runtime.Remoting.Messaging.CADMethodCallMessage,byte[]&,System.Runtime.Remoting.Messaging.CADMethodReturnMessage&) <IL 0x0003d, 0xffffffff>
960          * at System.Runtime.Remoting.Channels.CrossAppDomainSink.ProcessMessageInDomain (byte[],System.Runtime.Remoting.Messaging.CADMethodCallMessage) [0x00008] in /home/schani/Work/novell/trunk/mcs/class/corlib/System.Runtime.Remoting.Channels/CrossAppDomainChannel.cs:198
961          * at (wrapper runtime-invoke) object.runtime_invoke_CrossAppDomainSink/ProcessMessageRes_object_object (object,intptr,intptr,intptr) <IL 0x0004c, 0xffffffff>
962          */
963         if (!strcmp (ref->vtable->klass->name_space, "System") &&
964                         !strcmp (ref->vtable->klass->name, "Byte[]") &&
965                         !strcmp (o->vtable->klass->name_space, "System.IO") &&
966                         !strcmp (o->vtable->klass->name, "MemoryStream"))
967                 return TRUE;
968         return FALSE;
969 }
970
971 static void
972 check_reference_for_xdomain (GCObject **ptr, GCObject *obj, MonoDomain *domain)
973 {
974         MonoObject *ref = *ptr;
975         size_t offset = (char*)(ptr) - (char*)obj;
976         MonoClass *klass;
977         MonoClassField *field;
978         char *str;
979
980         if (!ref || ref->vtable->domain == domain)
981                 return;
982         if (is_xdomain_ref_allowed (ptr, obj, domain))
983                 return;
984
985         field = NULL;
986         for (klass = obj->vtable->klass; klass; klass = klass->parent) {
987                 int i;
988
989                 for (i = 0; i < klass->field.count; ++i) {
990                         if (klass->fields[i].offset == offset) {
991                                 field = &klass->fields[i];
992                                 break;
993                         }
994                 }
995                 if (field)
996                         break;
997         }
998
999         if (ref->vtable->klass == mono_defaults.string_class)
1000                 str = mono_string_to_utf8 ((MonoString*)ref);
1001         else
1002                 str = NULL;
1003         g_print ("xdomain reference in %p (%s.%s) at offset %d (%s) to %p (%s.%s) (%s)  -  pointed to by:\n",
1004                         obj, obj->vtable->klass->name_space, obj->vtable->klass->name,
1005                         offset, field ? field->name : "",
1006                         ref, ref->vtable->klass->name_space, ref->vtable->klass->name, str ? str : "");
1007         mono_gc_scan_for_specific_ref (obj, TRUE);
1008         if (str)
1009                 g_free (str);
1010 }
1011
1012 #undef HANDLE_PTR
1013 #define HANDLE_PTR(ptr,obj)     check_reference_for_xdomain ((ptr), (obj), domain)
1014
1015 static void
1016 scan_object_for_xdomain_refs (GCObject *obj, mword size, void *data)
1017 {
1018         char *start = (char*)obj;
1019         MonoVTable *vt = SGEN_LOAD_VTABLE (obj);
1020         MonoDomain *domain = vt->domain;
1021         SgenDescriptor desc = sgen_vtable_get_descriptor (vt);
1022
1023         #include "sgen-scan-object.h"
1024 }
1025
1026 void
1027 sgen_check_for_xdomain_refs (void)
1028 {
1029         LOSObject *bigobj;
1030
1031         sgen_scan_area_with_callback (nursery_section->data, nursery_section->end_data,
1032                         (IterateObjectCallbackFunc)scan_object_for_xdomain_refs, NULL, FALSE, TRUE);
1033
1034         major_collector.iterate_objects (ITERATE_OBJECTS_SWEEP_ALL, (IterateObjectCallbackFunc)scan_object_for_xdomain_refs, NULL);
1035
1036         for (bigobj = los_object_list; bigobj; bigobj = bigobj->next)
1037                 scan_object_for_xdomain_refs ((GCObject*)bigobj->data, sgen_los_object_size (bigobj), NULL);
1038 }
1039
1040 #endif
1041
1042 /* If not null, dump the heap after each collection into this file */
1043 static FILE *heap_dump_file = NULL;
1044
1045 void
1046 sgen_dump_occupied (char *start, char *end, char *section_start)
1047 {
1048         fprintf (heap_dump_file, "<occupied offset=\"%zd\" size=\"%zd\"/>\n", start - section_start, end - start);
1049 }
1050
1051 void
1052 sgen_dump_section (GCMemSection *section, const char *type)
1053 {
1054         char *start = section->data;
1055         char *end = section->data + section->size;
1056         char *occ_start = NULL;
1057
1058         fprintf (heap_dump_file, "<section type=\"%s\" size=\"%lu\">\n", type, (unsigned long)section->size);
1059
1060         while (start < end) {
1061                 guint size;
1062                 //GCVTable vt;
1063                 //MonoClass *class;
1064
1065                 if (!*(void**)start) {
1066                         if (occ_start) {
1067                                 sgen_dump_occupied (occ_start, start, section->data);
1068                                 occ_start = NULL;
1069                         }
1070                         start += sizeof (void*); /* should be ALLOC_ALIGN, really */
1071                         continue;
1072                 }
1073                 g_assert (start < section->next_data);
1074
1075                 if (!occ_start)
1076                         occ_start = start;
1077
1078                 //vt = SGEN_LOAD_VTABLE (start);
1079                 //class = vt->klass;
1080
1081                 size = SGEN_ALIGN_UP (safe_object_get_size ((GCObject*) start));
1082
1083                 /*
1084                 fprintf (heap_dump_file, "<object offset=\"%d\" class=\"%s.%s\" size=\"%d\"/>\n",
1085                                 start - section->data,
1086                                 vt->klass->name_space, vt->klass->name,
1087                                 size);
1088                 */
1089
1090                 start += size;
1091         }
1092         if (occ_start)
1093                 sgen_dump_occupied (occ_start, start, section->data);
1094
1095         fprintf (heap_dump_file, "</section>\n");
1096 }
1097
1098 static void
1099 dump_object (GCObject *obj, gboolean dump_location)
1100 {
1101 #ifndef SGEN_WITHOUT_MONO
1102         static char class_name [1024];
1103
1104         MonoClass *klass = mono_object_class (obj);
1105         int i, j;
1106
1107         /*
1108          * Python's XML parser is too stupid to parse angle brackets
1109          * in strings, so we just ignore them;
1110          */
1111         i = j = 0;
1112         while (klass->name [i] && j < sizeof (class_name) - 1) {
1113                 if (!strchr ("<>\"", klass->name [i]))
1114                         class_name [j++] = klass->name [i];
1115                 ++i;
1116         }
1117         g_assert (j < sizeof (class_name));
1118         class_name [j] = 0;
1119
1120         fprintf (heap_dump_file, "<object class=\"%s.%s\" size=\"%zd\"",
1121                         klass->name_space, class_name,
1122                         safe_object_get_size (obj));
1123         if (dump_location) {
1124                 const char *location;
1125                 if (sgen_ptr_in_nursery (obj))
1126                         location = "nursery";
1127                 else if (safe_object_get_size (obj) <= SGEN_MAX_SMALL_OBJ_SIZE)
1128                         location = "major";
1129                 else
1130                         location = "LOS";
1131                 fprintf (heap_dump_file, " location=\"%s\"", location);
1132         }
1133         fprintf (heap_dump_file, "/>\n");
1134 #endif
1135 }
1136
1137 void
1138 sgen_debug_enable_heap_dump (const char *filename)
1139 {
1140         heap_dump_file = fopen (filename, "w");
1141         if (heap_dump_file) {
1142                 fprintf (heap_dump_file, "<sgen-dump>\n");
1143                 sgen_pin_stats_enable ();
1144         }
1145 }
1146
1147 void
1148 sgen_debug_dump_heap (const char *type, int num, const char *reason)
1149 {
1150         SgenPointerQueue *pinned_objects;
1151         LOSObject *bigobj;
1152         int i;
1153
1154         if (!heap_dump_file)
1155                 return;
1156
1157         fprintf (heap_dump_file, "<collection type=\"%s\" num=\"%d\"", type, num);
1158         if (reason)
1159                 fprintf (heap_dump_file, " reason=\"%s\"", reason);
1160         fprintf (heap_dump_file, ">\n");
1161 #ifndef SGEN_WITHOUT_MONO
1162         fprintf (heap_dump_file, "<other-mem-usage type=\"mempools\" size=\"%ld\"/>\n", mono_mempool_get_bytes_allocated ());
1163 #endif
1164         sgen_dump_internal_mem_usage (heap_dump_file);
1165         fprintf (heap_dump_file, "<pinned type=\"stack\" bytes=\"%zu\"/>\n", sgen_pin_stats_get_pinned_byte_count (PIN_TYPE_STACK));
1166         /* fprintf (heap_dump_file, "<pinned type=\"static-data\" bytes=\"%d\"/>\n", pinned_byte_counts [PIN_TYPE_STATIC_DATA]); */
1167         fprintf (heap_dump_file, "<pinned type=\"other\" bytes=\"%zu\"/>\n", sgen_pin_stats_get_pinned_byte_count (PIN_TYPE_OTHER));
1168
1169         fprintf (heap_dump_file, "<pinned-objects>\n");
1170         pinned_objects = sgen_pin_stats_get_object_list ();
1171         for (i = 0; i < pinned_objects->next_slot; ++i)
1172                 dump_object ((GCObject *)pinned_objects->data [i], TRUE);
1173         fprintf (heap_dump_file, "</pinned-objects>\n");
1174
1175         sgen_dump_section (nursery_section, "nursery");
1176
1177         major_collector.dump_heap (heap_dump_file);
1178
1179         fprintf (heap_dump_file, "<los>\n");
1180         for (bigobj = los_object_list; bigobj; bigobj = bigobj->next)
1181                 dump_object ((GCObject*)bigobj->data, FALSE);
1182         fprintf (heap_dump_file, "</los>\n");
1183
1184         fprintf (heap_dump_file, "</collection>\n");
1185 }
1186
1187 static GCObject *found_obj;
1188
1189 static void
1190 find_object_for_ptr_callback (GCObject *obj, size_t size, void *user_data)
1191 {
1192         char *ptr = (char *)user_data;
1193
1194         if (ptr >= (char*)obj && ptr < (char*)obj + size) {
1195                 g_assert (!found_obj);
1196                 found_obj = obj;
1197         }
1198 }
1199
1200 /* for use in the debugger */
1201 GCObject*
1202 sgen_find_object_for_ptr (char *ptr)
1203 {
1204         if (ptr >= nursery_section->data && ptr < nursery_section->end_data) {
1205                 found_obj = NULL;
1206                 sgen_scan_area_with_callback (nursery_section->data, nursery_section->end_data,
1207                                 find_object_for_ptr_callback, ptr, TRUE, FALSE);
1208                 if (found_obj)
1209                         return found_obj;
1210         }
1211
1212         found_obj = NULL;
1213         sgen_los_iterate_objects (find_object_for_ptr_callback, ptr);
1214         if (found_obj)
1215                 return found_obj;
1216
1217         /*
1218          * Very inefficient, but this is debugging code, supposed to
1219          * be called from gdb, so we don't care.
1220          */
1221         found_obj = NULL;
1222         major_collector.iterate_objects (ITERATE_OBJECTS_SWEEP_ALL, find_object_for_ptr_callback, ptr);
1223         return found_obj;
1224 }
1225
1226 #endif /*HAVE_SGEN_GC*/