2 * Copyright 2001-2003 Ximian, Inc
3 * Copyright 2003-2010 Novell, Inc.
5 * Permission is hereby granted, free of charge, to any person obtaining
6 * a copy of this software and associated documentation files (the
7 * "Software"), to deal in the Software without restriction, including
8 * without limitation the rights to use, copy, modify, merge, publish,
9 * distribute, sublicense, and/or sell copies of the Software, and to
10 * permit persons to whom the Software is furnished to do so, subject to
11 * the following conditions:
13 * The above copyright notice and this permission notice shall be
14 * included in all copies or substantial portions of the Software.
16 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
17 * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
18 * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
19 * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
20 * LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
21 * OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
22 * WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
24 extern long long stat_copy_object_called_nursery;
25 extern long long stat_objects_copied_nursery;
27 extern long long stat_nursery_copy_object_failed_from_space;
28 extern long long stat_nursery_copy_object_failed_forwarded;
29 extern long long stat_nursery_copy_object_failed_pinned;
32 * This function can be used even if the vtable of obj is not valid
33 * anymore, which is the case in the parallel collector.
36 par_copy_object_no_checks (char *destination, MonoVTable *vt, void *obj, mword objsize, SgenGrayQueue *queue)
38 static const void *copy_labels [] = { &&LAB_0, &&LAB_1, &&LAB_2, &&LAB_3, &&LAB_4, &&LAB_5, &&LAB_6, &&LAB_7, &&LAB_8 };
40 DEBUG (9, g_assert (vt->klass->inited));
41 DEBUG (9, fprintf (gc_debug_file, " (to %p, %s size: %lu)\n", destination, ((MonoObject*)obj)->vtable->klass->name, (unsigned long)objsize));
42 binary_protocol_copy (obj, destination, vt, objsize);
44 if (objsize <= sizeof (gpointer) * 8) {
45 mword *dest = (mword*)destination;
46 goto *copy_labels [objsize / sizeof (gpointer)];
48 (dest) [7] = ((mword*)obj) [7];
50 (dest) [6] = ((mword*)obj) [6];
52 (dest) [5] = ((mword*)obj) [5];
54 (dest) [4] = ((mword*)obj) [4];
56 (dest) [3] = ((mword*)obj) [3];
58 (dest) [2] = ((mword*)obj) [2];
60 (dest) [1] = ((mword*)obj) [1];
66 /*can't trust memcpy doing word copies */
67 mono_gc_memmove (destination + sizeof (mword), (char*)obj + sizeof (mword), objsize - sizeof (mword));
69 /* adjust array->bounds */
70 DEBUG (9, g_assert (vt->gc_descr));
71 if (G_UNLIKELY (vt->rank && ((MonoArray*)obj)->bounds)) {
72 MonoArray *array = (MonoArray*)destination;
73 array->bounds = (MonoArrayBounds*)((char*)destination + ((char*)((MonoArray*)obj)->bounds - (char*)obj));
74 DEBUG (9, fprintf (gc_debug_file, "Array instance %p: size: %lu, rank: %d, length: %lu\n", array, (unsigned long)objsize, vt->rank, (unsigned long)mono_array_length (array)));
76 if (G_UNLIKELY (mono_profiler_events & MONO_PROFILE_GC_MOVES))
77 sgen_register_moved_object (obj, destination);
80 DEBUG (9, fprintf (gc_debug_file, "Enqueuing gray object %p (%s)\n", obj, sgen_safe_name (obj)));
81 GRAY_OBJECT_ENQUEUE (queue, obj);
86 copy_object_no_checks (void *obj, SgenGrayQueue *queue)
88 MonoVTable *vt = ((MonoObject*)obj)->vtable;
89 gboolean has_references = SGEN_VTABLE_HAS_REFERENCES (vt);
90 mword objsize = SGEN_ALIGN_UP (sgen_par_object_get_size (vt, (MonoObject*)obj));
91 char *destination = sgen_alloc_for_promotion (obj, objsize, has_references);
93 if (G_UNLIKELY (!destination)) {
94 if (sgen_ptr_in_nursery (obj)) {
95 sgen_pin_object (obj, queue);
97 g_assert (objsize <= SGEN_MAX_SMALL_OBJ_SIZE);
98 pin_major_object (obj, queue);
100 sgen_set_pinned_from_failed_allocation (objsize);
104 *(MonoVTable**)destination = vt;
105 par_copy_object_no_checks (destination, vt, obj, objsize, has_references ? queue : NULL);
107 /* set the forwarding pointer */
108 SGEN_FORWARD_OBJECT (obj, destination);
114 * This is how the copying happens from the nursery to the old generation.
115 * We assume that at this time all the pinned objects have been identified and
117 * We run scan_object() for each pinned object so that each referenced
118 * objects if possible are copied. The new gray objects created can have
119 * scan_object() run on them right away, too.
120 * Then we run copy_object() for the precisely tracked roots. At this point
121 * all the roots are either gray or black. We run scan_object() on the gray
122 * objects until no more gray objects are created.
123 * At the end of the process we walk again the pinned list and we unmark
124 * the pinned flag. As we go we also create the list of free space for use
125 * in the next allocation runs.
127 * We need to remember objects from the old generation that point to the new one
128 * (or just addresses?).
130 * copy_object could be made into a macro once debugged (use inline for now).
134 nopar_copy_object (void **obj_slot, SgenGrayQueue *queue)
137 char *obj = *obj_slot;
139 DEBUG (9, g_assert (current_collection_generation == GENERATION_NURSERY));
141 HEAVY_STAT (++stat_copy_object_called_nursery);
143 if (!sgen_ptr_in_nursery (obj)) {
144 HEAVY_STAT (++stat_nursery_copy_object_failed_from_space);
148 DEBUG (9, fprintf (gc_debug_file, "Precise copy of %p from %p", obj, obj_slot));
151 * Before we can copy the object we must make sure that we are
152 * allowed to, i.e. that the object not pinned or not already
156 if ((forwarded = SGEN_OBJECT_IS_FORWARDED (obj))) {
157 DEBUG (9, g_assert ((*(MonoVTable**)SGEN_LOAD_VTABLE(obj))->gc_descr));
158 DEBUG (9, fprintf (gc_debug_file, " (already forwarded to %p)\n", forwarded));
159 HEAVY_STAT (++stat_nursery_copy_object_failed_forwarded);
160 *obj_slot = forwarded;
163 if (SGEN_OBJECT_IS_PINNED (obj)) {
164 DEBUG (9, g_assert (((MonoVTable*)SGEN_LOAD_VTABLE(obj))->gc_descr));
165 DEBUG (9, fprintf (gc_debug_file, " (pinned, no change)\n"));
166 HEAVY_STAT (++stat_nursery_copy_object_failed_pinned);
170 if (sgen_nursery_is_to_space (obj)) {
171 DEBUG (9, g_assert (((MonoVTable*)SGEN_LOAD_VTABLE(obj))->gc_descr));
172 DEBUG (9, fprintf (gc_debug_file, " (tospace, no change)\n"));
173 HEAVY_STAT (++stat_nursery_copy_object_failed_to_space);
177 HEAVY_STAT (++stat_objects_copied_nursery);
179 *obj_slot = copy_object_no_checks (obj, queue);
182 #ifdef SGEN_PARALLEL_MARK
185 copy_object (void **obj_slot, SgenGrayQueue *queue)
187 char *obj = *obj_slot;
188 mword vtable_word, objsize;
191 gboolean has_references;
193 DEBUG (9, g_assert (current_collection_generation == GENERATION_NURSERY));
195 HEAVY_STAT (++stat_copy_object_called_nursery);
197 if (!sgen_ptr_in_nursery (obj)) {
198 HEAVY_STAT (++stat_nursery_copy_object_failed_from_space);
202 vtable_word = *(mword*)obj;
203 vt = (MonoVTable*)(vtable_word & ~SGEN_VTABLE_BITS_MASK);
206 * Before we can copy the object we must make sure that we are
207 * allowed to, i.e. that the object not pinned or not already
211 if (vtable_word & SGEN_FORWARDED_BIT) {
212 HEAVY_STAT (++stat_nursery_copy_object_failed_forwarded);
216 if (vtable_word & SGEN_PINNED_BIT) {
217 HEAVY_STAT (++stat_nursery_copy_object_failed_pinned);
221 if (sgen_nursery_is_to_space (obj)) {
222 HEAVY_STAT (++stat_nursery_copy_object_failed_to_space);
226 HEAVY_STAT (++stat_objects_copied_nursery);
228 objsize = SGEN_ALIGN_UP (sgen_par_object_get_size (vt, (MonoObject*)obj));
229 has_references = SGEN_VTABLE_HAS_REFERENCES (vt);
231 destination = sgen_par_alloc_for_promotion (obj, objsize, has_references);
233 if (G_UNLIKELY (!destination)) {
234 pin_or_update_par (obj_slot, obj, vt, queue);
238 *(MonoVTable**)destination = vt;
240 if (SGEN_CAS_PTR ((void*)obj, (void*)((mword)destination | SGEN_FORWARDED_BIT), vt) == vt) {
241 par_copy_object_no_checks (destination, vt, obj, objsize, has_references ? queue : NULL);
245 /* FIXME: unify with code in major_copy_or_mark_object() */
247 /* FIXME: Give destination back to the allocator. */
248 *(void**)destination = NULL;
250 vtable_word = *(mword*)obj;
251 g_assert (vtable_word & SGEN_FORWARDED_BIT);
253 obj = (void*)(vtable_word & ~SGEN_VTABLE_BITS_MASK);
257 ++stat_slots_allocated_in_vain;
262 copy_object (void **obj_slot, SgenGrayQueue *queue)
264 nopar_copy_object (obj_slot, queue);
268 #define FILL_COLLECTOR_COPY_OBJECT(collector) do { \
269 (collector)->minor_ops.copy_or_mark_object = nopar_copy_object; \
270 (collector)->par_minor_ops.copy_or_mark_object = copy_object; \