2 * sgen-descriptor.c: GC descriptors describe object layout.
4 * Copyright 2001-2003 Ximian, Inc
5 * Copyright 2003-2010 Novell, Inc.
6 * Copyright 2011 Xamarin Inc (http://www.xamarin.com)
7 * Copyright (C) 2012 Xamarin Inc
9 * This library is free software; you can redistribute it and/or
10 * modify it under the terms of the GNU Library General Public
11 * License 2.0 as published by the Free Software Foundation;
13 * This library is distributed in the hope that it will be useful,
14 * but WITHOUT ANY WARRANTY; without even the implied warranty of
15 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
16 * Library General Public License for more details.
18 * You should have received a copy of the GNU Library General Public
19 * License 2.0 along with this library; if not, write to the Free
20 * Software Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
31 #ifdef HAVE_SEMAPHORE_H
32 #include <semaphore.h>
46 #include "utils/mono-counters.h"
47 #include "metadata/sgen-gc.h"
49 #define MAX_USER_DESCRIPTORS 16
51 #define MAKE_ROOT_DESC(type,val) ((type) | ((val) << ROOT_DESC_TYPE_SHIFT))
52 #define ALIGN_TO(val,align) ((((guint64)val) + ((align) - 1)) & ~((align) - 1))
55 static gsize* complex_descriptors = NULL;
56 static int complex_descriptors_size = 0;
57 static int complex_descriptors_next = 0;
58 static MonoGCRootMarkFunc user_descriptors [MAX_USER_DESCRIPTORS];
59 static int user_descriptors_next = 0;
60 static void *all_ref_root_descrs [32];
62 #ifdef HEAVY_STATISTICS
63 static guint64 stat_scanned_count_per_descriptor [DESC_TYPE_MAX];
64 static guint64 stat_copied_count_per_descriptor [DESC_TYPE_MAX];
68 alloc_complex_descriptor (gsize *bitmap, int numbits)
72 numbits = ALIGN_TO (numbits, GC_BITS_PER_WORD);
73 nwords = numbits / GC_BITS_PER_WORD + 1;
76 res = complex_descriptors_next;
77 /* linear search, so we don't have duplicates with domain load/unload
78 * this should not be performance critical or we'd have bigger issues
79 * (the number and size of complex descriptors should be small).
81 for (i = 0; i < complex_descriptors_next; ) {
82 if (complex_descriptors [i] == nwords) {
84 for (j = 0; j < nwords - 1; ++j) {
85 if (complex_descriptors [i + 1 + j] != bitmap [j]) {
95 i += (int)complex_descriptors [i];
97 if (complex_descriptors_next + nwords > complex_descriptors_size) {
98 int new_size = complex_descriptors_size * 2 + nwords;
99 complex_descriptors = g_realloc (complex_descriptors, new_size * sizeof (gsize));
100 complex_descriptors_size = new_size;
102 SGEN_LOG (6, "Complex descriptor %d, size: %d (total desc memory: %d)", res, nwords, complex_descriptors_size);
103 complex_descriptors_next += nwords;
104 complex_descriptors [res] = nwords;
105 for (i = 0; i < nwords - 1; ++i) {
106 complex_descriptors [res + 1 + i] = bitmap [i];
107 SGEN_LOG (6, "\tvalue: %p", (void*)complex_descriptors [res + 1 + i]);
114 sgen_get_complex_descriptor (mword desc)
116 return complex_descriptors + (desc >> LOW_TYPE_BITS);
120 * Descriptor builders.
123 mono_gc_make_descr_for_string (gsize *bitmap, int numbits)
125 return (void*)SGEN_DESC_STRING;
129 mono_gc_make_descr_for_object (gsize *bitmap, int numbits, size_t obj_size)
131 int first_set = -1, num_set = 0, last_set = -1, i;
133 size_t stored_size = obj_size;
135 stored_size += SGEN_ALLOC_ALIGN - 1;
136 stored_size &= ~(SGEN_ALLOC_ALIGN - 1);
138 for (i = 0; i < numbits; ++i) {
139 if (bitmap [i / GC_BITS_PER_WORD] & ((gsize)1 << (i % GC_BITS_PER_WORD))) {
148 SGEN_LOG (6, "Ptrfree descriptor %p, size: %zd", (void*)desc, stored_size);
149 if (stored_size <= MAX_RUNLEN_OBJECT_SIZE && stored_size <= SGEN_MAX_SMALL_OBJ_SIZE)
150 return (void*)(DESC_TYPE_SMALL_PTRFREE | stored_size);
151 return (void*)DESC_TYPE_COMPLEX_PTRFREE;
154 g_assert (!(stored_size & 0x7));
156 SGEN_ASSERT (5, stored_size == SGEN_ALIGN_UP (stored_size), "Size is not aligned");
158 /* we know the 2-word header is ptr-free */
159 if (last_set < BITMAP_NUM_BITS + OBJECT_HEADER_WORDS && stored_size <= SGEN_MAX_SMALL_OBJ_SIZE) {
160 desc = DESC_TYPE_BITMAP | ((*bitmap >> OBJECT_HEADER_WORDS) << LOW_TYPE_BITS);
161 SGEN_LOG (6, "Largebitmap descriptor %p, size: %zd, last set: %d", (void*)desc, stored_size, last_set);
165 if (stored_size <= MAX_RUNLEN_OBJECT_SIZE && stored_size <= SGEN_MAX_SMALL_OBJ_SIZE) {
166 /* check run-length encoding first: one byte offset, one byte number of pointers
167 * on 64 bit archs, we can have 3 runs, just one on 32.
168 * It may be better to use nibbles.
170 if (first_set < 256 && num_set < 256 && (first_set + num_set == last_set + 1)) {
171 desc = DESC_TYPE_RUN_LENGTH | stored_size | (first_set << 16) | (num_set << 24);
172 SGEN_LOG (6, "Runlen descriptor %p, size: %zd, first set: %d, num set: %d", (void*)desc, stored_size, first_set, num_set);
177 /* it's a complex object ... */
178 desc = DESC_TYPE_COMPLEX | (alloc_complex_descriptor (bitmap, last_set + 1) << LOW_TYPE_BITS);
182 /* If the array holds references, numbits == 1 and the first bit is set in elem_bitmap */
184 mono_gc_make_descr_for_array (int vector, gsize *elem_bitmap, int numbits, size_t elem_size)
186 int first_set = -1, num_set = 0, last_set = -1, i;
187 mword desc = DESC_TYPE_VECTOR | (vector ? VECTOR_KIND_SZARRAY : VECTOR_KIND_ARRAY);
188 for (i = 0; i < numbits; ++i) {
189 if (elem_bitmap [i / GC_BITS_PER_WORD] & ((gsize)1 << (i % GC_BITS_PER_WORD))) {
198 if (elem_size <= MAX_ELEMENT_SIZE)
199 return (void*)(desc | VECTOR_SUBTYPE_PTRFREE | (elem_size << VECTOR_ELSIZE_SHIFT));
200 return (void*)DESC_TYPE_COMPLEX_PTRFREE;
203 if (elem_size <= MAX_ELEMENT_SIZE) {
204 desc |= elem_size << VECTOR_ELSIZE_SHIFT;
206 return (void*)(desc | VECTOR_SUBTYPE_PTRFREE);
208 /* Note: we also handle structs with just ref fields */
209 if (num_set * sizeof (gpointer) == elem_size) {
210 return (void*)(desc | VECTOR_SUBTYPE_REFS | ((gssize)(-1) << 16));
212 /* FIXME: try run-len first */
213 /* Note: we can't skip the object header here, because it's not present */
214 if (last_set < VECTOR_BITMAP_SIZE) {
215 return (void*)(desc | VECTOR_SUBTYPE_BITMAP | (*elem_bitmap << 16));
218 /* it's am array of complex structs ... */
219 desc = DESC_TYPE_COMPLEX_ARR;
220 desc |= alloc_complex_descriptor (elem_bitmap, last_set + 1) << LOW_TYPE_BITS;
224 /* Return the bitmap encoded by a descriptor */
226 mono_gc_get_bitmap_for_descr (void *descr, int *numbits)
228 mword d = (mword)descr;
231 switch (d & DESC_TYPE_MASK) {
232 case DESC_TYPE_RUN_LENGTH: {
233 int first_set = (d >> 16) & 0xff;
234 int num_set = (d >> 24) & 0xff;
237 bitmap = g_new0 (gsize, (first_set + num_set + 7) / 8);
239 for (i = first_set; i < first_set + num_set; ++i)
240 bitmap [i / GC_BITS_PER_WORD] |= ((gsize)1 << (i % GC_BITS_PER_WORD));
242 *numbits = first_set + num_set;
247 case DESC_TYPE_BITMAP: {
248 gsize bmap = (d >> LOW_TYPE_BITS) << OBJECT_HEADER_WORDS;
250 bitmap = g_new0 (gsize, 1);
260 case DESC_TYPE_COMPLEX: {
261 gsize *bitmap_data = sgen_get_complex_descriptor (d);
262 int bwords = (int)(*bitmap_data) - 1;//Max scalar object size is 1Mb, which means up to 32k descriptor words
265 bitmap = g_new0 (gsize, bwords);
266 *numbits = bwords * GC_BITS_PER_WORD;
268 for (i = 0; i < bwords; ++i) {
269 bitmap [i] = bitmap_data [i + 1];
276 g_assert_not_reached ();
281 mono_gc_make_descr_from_bitmap (gsize *bitmap, int numbits)
284 return (void*)MAKE_ROOT_DESC (ROOT_DESC_BITMAP, 0);
285 } else if (numbits < ((sizeof (*bitmap) * 8) - ROOT_DESC_TYPE_SHIFT)) {
286 return (void*)MAKE_ROOT_DESC (ROOT_DESC_BITMAP, bitmap [0]);
288 mword complex = alloc_complex_descriptor (bitmap, numbits);
289 return (void*)MAKE_ROOT_DESC (ROOT_DESC_COMPLEX, complex);
294 mono_gc_make_root_descr_all_refs (int numbits)
298 int num_bytes = numbits / 8;
300 if (numbits < 32 && all_ref_root_descrs [numbits])
301 return all_ref_root_descrs [numbits];
303 gc_bitmap = g_malloc0 (ALIGN_TO (ALIGN_TO (numbits, 8) + 1, sizeof (gsize)));
304 memset (gc_bitmap, 0xff, num_bytes);
305 if (numbits < ((sizeof (*gc_bitmap) * 8) - ROOT_DESC_TYPE_SHIFT))
306 gc_bitmap[0] = GUINT64_TO_LE(gc_bitmap[0]);
307 else if (numbits && num_bytes % (sizeof (*gc_bitmap)))
308 gc_bitmap[num_bytes / 8] = GUINT64_TO_LE(gc_bitmap [num_bytes / 8]);
310 gc_bitmap [numbits / 8] = (1 << (numbits % 8)) - 1;
311 descr = mono_gc_make_descr_from_bitmap (gc_bitmap, numbits);
315 all_ref_root_descrs [numbits] = descr;
321 mono_gc_make_root_descr_user (MonoGCRootMarkFunc marker)
325 g_assert (user_descriptors_next < MAX_USER_DESCRIPTORS);
326 descr = (void*)MAKE_ROOT_DESC (ROOT_DESC_USER, (mword)user_descriptors_next);
327 user_descriptors [user_descriptors_next ++] = marker;
333 sgen_get_complex_descriptor_bitmap (mword desc)
335 return complex_descriptors + (desc >> ROOT_DESC_TYPE_SHIFT);
339 sgen_get_user_descriptor_func (mword desc)
341 return user_descriptors [desc >> ROOT_DESC_TYPE_SHIFT];
344 #ifdef HEAVY_STATISTICS
346 sgen_descriptor_count_scanned_object (mword desc)
348 int type = desc & DESC_TYPE_MASK;
349 SGEN_ASSERT (0, type, "Descriptor type can't be zero");
350 ++stat_scanned_count_per_descriptor [type - 1];
354 sgen_descriptor_count_copied_object (mword desc)
356 int type = desc & DESC_TYPE_MASK;
357 SGEN_ASSERT (0, type, "Descriptor type can't be zero");
358 ++stat_copied_count_per_descriptor [type - 1];
363 sgen_init_descriptors (void)
365 #ifdef HEAVY_STATISTICS
366 mono_counters_register ("# scanned RUN_LENGTH", MONO_COUNTER_GC | MONO_COUNTER_ULONG, &stat_scanned_count_per_descriptor [DESC_TYPE_RUN_LENGTH - 1]);
367 mono_counters_register ("# scanned SMALL_PTRFREE", MONO_COUNTER_GC | MONO_COUNTER_ULONG, &stat_scanned_count_per_descriptor [DESC_TYPE_SMALL_PTRFREE - 1]);
368 mono_counters_register ("# scanned COMPLEX", MONO_COUNTER_GC | MONO_COUNTER_ULONG, &stat_scanned_count_per_descriptor [DESC_TYPE_COMPLEX - 1]);
369 mono_counters_register ("# scanned VECTOR", MONO_COUNTER_GC | MONO_COUNTER_ULONG, &stat_scanned_count_per_descriptor [DESC_TYPE_VECTOR - 1]);
370 mono_counters_register ("# scanned BITMAP", MONO_COUNTER_GC | MONO_COUNTER_ULONG, &stat_scanned_count_per_descriptor [DESC_TYPE_BITMAP - 1]);
371 mono_counters_register ("# scanned COMPLEX_ARR", MONO_COUNTER_GC | MONO_COUNTER_ULONG, &stat_scanned_count_per_descriptor [DESC_TYPE_COMPLEX_ARR - 1]);
372 mono_counters_register ("# scanned COMPLEX_PTRFREE", MONO_COUNTER_GC | MONO_COUNTER_ULONG, &stat_scanned_count_per_descriptor [DESC_TYPE_COMPLEX_PTRFREE - 1]);
374 mono_counters_register ("# copied RUN_LENGTH", MONO_COUNTER_GC | MONO_COUNTER_ULONG, &stat_copied_count_per_descriptor [DESC_TYPE_RUN_LENGTH - 1]);
375 mono_counters_register ("# copied SMALL_PTRFREE", MONO_COUNTER_GC | MONO_COUNTER_ULONG, &stat_copied_count_per_descriptor [DESC_TYPE_SMALL_PTRFREE - 1]);
376 mono_counters_register ("# copied COMPLEX", MONO_COUNTER_GC | MONO_COUNTER_ULONG, &stat_copied_count_per_descriptor [DESC_TYPE_COMPLEX - 1]);
377 mono_counters_register ("# copied VECTOR", MONO_COUNTER_GC | MONO_COUNTER_ULONG, &stat_copied_count_per_descriptor [DESC_TYPE_VECTOR - 1]);
378 mono_counters_register ("# copied BITMAP", MONO_COUNTER_GC | MONO_COUNTER_ULONG, &stat_copied_count_per_descriptor [DESC_TYPE_BITMAP - 1]);
379 mono_counters_register ("# copied COMPLEX_ARR", MONO_COUNTER_GC | MONO_COUNTER_ULONG, &stat_copied_count_per_descriptor [DESC_TYPE_COMPLEX_ARR - 1]);
380 mono_counters_register ("# copied COMPLEX_PTRFREE", MONO_COUNTER_GC | MONO_COUNTER_ULONG, &stat_copied_count_per_descriptor [DESC_TYPE_COMPLEX_PTRFREE - 1]);