[aot] Cleanup the AOT loading code a bit. Add a --aot-path= command line option to...
[mono-project.git] / mono / mini / driver.c
blob02c2ca8681689e9dc23ad3a68a86466e7a5a1f8a
1 /*
2 * driver.c: The new mono JIT compiler.
4 * Author:
5 * Paolo Molaro (lupus@ximian.com)
6 * Dietmar Maurer (dietmar@ximian.com)
8 * (C) 2002-2003 Ximian, Inc.
9 * (C) 2003-2006 Novell, Inc.
10 * Licensed under the MIT license. See LICENSE file in the project root for full license information.
13 #include <config.h>
14 #ifdef HAVE_SIGNAL_H
15 #include <signal.h>
16 #endif
17 #if HAVE_SCHED_SETAFFINITY
18 #include <sched.h>
19 #endif
20 #ifdef HAVE_UNISTD_H
21 #include <unistd.h>
22 #endif
24 #include <mono/metadata/assembly.h>
25 #include <mono/metadata/loader.h>
26 #include <mono/metadata/tabledefs.h>
27 #include <mono/metadata/class.h>
28 #include <mono/metadata/object.h>
29 #include <mono/metadata/exception.h>
30 #include <mono/metadata/opcodes.h>
31 #include <mono/metadata/mono-endian.h>
32 #include <mono/metadata/tokentype.h>
33 #include <mono/metadata/tabledefs.h>
34 #include <mono/metadata/threads.h>
35 #include <mono/metadata/marshal.h>
36 #include <mono/metadata/socket-io.h>
37 #include <mono/metadata/appdomain.h>
38 #include <mono/metadata/debug-helpers.h>
39 #include <mono/io-layer/io-layer.h>
40 #include "mono/metadata/profiler.h"
41 #include <mono/metadata/profiler-private.h>
42 #include <mono/metadata/mono-config.h>
43 #include <mono/metadata/environment.h>
44 #include <mono/metadata/verify.h>
45 #include <mono/metadata/verify-internals.h>
46 #include <mono/metadata/mono-debug.h>
47 #include <mono/metadata/security-manager.h>
48 #include <mono/metadata/security-core-clr.h>
49 #include <mono/metadata/gc-internals.h>
50 #include <mono/metadata/coree.h>
51 #include <mono/metadata/attach.h>
52 #include <mono/metadata/w32process.h>
53 #include "mono/utils/mono-counters.h"
54 #include "mono/utils/mono-hwcap.h"
55 #include "mono/utils/mono-logger-internals.h"
56 #include "mono/metadata/w32handle.h"
58 #include "mini.h"
59 #include "jit.h"
60 #include "aot-compiler.h"
62 #include <string.h>
63 #include <ctype.h>
64 #include <locale.h>
65 #include "version.h"
66 #include "debugger-agent.h"
67 #if TARGET_OSX
68 # include <sys/resource.h>
69 #endif
71 static FILE *mini_stats_fd;
73 static void mini_usage (void);
75 #ifdef HOST_WIN32
76 /* Need this to determine whether to detach console */
77 #include <mono/metadata/cil-coff.h>
78 /* This turns off command line globbing under win32 */
79 int _CRT_glob = 0;
80 #endif
82 typedef void (*OptFunc) (const char *p);
84 #undef OPTFLAG
85 #ifdef HAVE_ARRAY_ELEM_INIT
86 #define MSGSTRFIELD(line) MSGSTRFIELD1(line)
87 #define MSGSTRFIELD1(line) str##line
89 static const struct msgstr_t {
90 #define OPTFLAG(id,shift,name,desc) char MSGSTRFIELD(__LINE__) [sizeof (name) + sizeof (desc)];
91 #include "optflags-def.h"
92 #undef OPTFLAG
93 } opstr = {
94 #define OPTFLAG(id,shift,name,desc) name "\0" desc,
95 #include "optflags-def.h"
96 #undef OPTFLAG
98 static const gint16 opt_names [] = {
99 #define OPTFLAG(id,shift,name,desc) [(shift)] = offsetof (struct msgstr_t, MSGSTRFIELD(__LINE__)),
100 #include "optflags-def.h"
101 #undef OPTFLAG
104 #define optflag_get_name(id) ((const char*)&opstr + opt_names [(id)])
105 #define optflag_get_desc(id) (optflag_get_name(id) + 1 + strlen (optflag_get_name(id)))
107 #else /* !HAVE_ARRAY_ELEM_INIT */
108 typedef struct {
109 const char* name;
110 const char* desc;
111 } OptName;
113 #define OPTFLAG(id,shift,name,desc) {name,desc},
114 static const OptName
115 opt_names [] = {
116 #include "optflags-def.h"
117 {NULL, NULL}
119 #define optflag_get_name(id) (opt_names [(id)].name)
120 #define optflag_get_desc(id) (opt_names [(id)].desc)
122 #endif
124 static const OptFunc
125 opt_funcs [sizeof (int) * 8] = {
126 NULL
129 #ifdef __native_client__
130 extern char *nacl_mono_path;
131 #endif
133 #define DEFAULT_OPTIMIZATIONS ( \
134 MONO_OPT_PEEPHOLE | \
135 MONO_OPT_CFOLD | \
136 MONO_OPT_INLINE | \
137 MONO_OPT_CONSPROP | \
138 MONO_OPT_COPYPROP | \
139 MONO_OPT_DEADCE | \
140 MONO_OPT_BRANCH | \
141 MONO_OPT_LINEARS | \
142 MONO_OPT_INTRINS | \
143 MONO_OPT_LOOP | \
144 MONO_OPT_EXCEPTION | \
145 MONO_OPT_CMOV | \
146 MONO_OPT_GSHARED | \
147 MONO_OPT_SIMD | \
148 MONO_OPT_ALIAS_ANALYSIS | \
149 MONO_OPT_AOT)
151 #define EXCLUDED_FROM_ALL (MONO_OPT_SHARED | MONO_OPT_PRECOMP | MONO_OPT_UNSAFE | MONO_OPT_GSHAREDVT | MONO_OPT_FLOAT32)
153 static guint32
154 parse_optimizations (guint32 opt, const char* p, gboolean cpu_opts)
156 guint32 exclude = 0;
157 const char *n;
158 int i, invert, len;
160 /* Initialize the hwcap module if necessary. */
161 mono_hwcap_init ();
163 /* call out to cpu detection code here that sets the defaults ... */
164 if (cpu_opts) {
165 opt |= mono_arch_cpu_optimizations (&exclude);
166 opt &= ~exclude;
168 if (!p)
169 return opt;
171 while (*p) {
172 if (*p == '-') {
173 p++;
174 invert = TRUE;
175 } else {
176 invert = FALSE;
178 for (i = 0; i < G_N_ELEMENTS (opt_names) && optflag_get_name (i); ++i) {
179 n = optflag_get_name (i);
180 len = strlen (n);
181 if (strncmp (p, n, len) == 0) {
182 if (invert)
183 opt &= ~ (1 << i);
184 else
185 opt |= 1 << i;
186 p += len;
187 if (*p == ',') {
188 p++;
189 break;
190 } else if (*p == '=') {
191 p++;
192 if (opt_funcs [i])
193 opt_funcs [i] (p);
194 while (*p && *p++ != ',');
195 break;
197 /* error out */
198 break;
201 if (i == G_N_ELEMENTS (opt_names) || !optflag_get_name (i)) {
202 if (strncmp (p, "all", 3) == 0) {
203 if (invert)
204 opt = 0;
205 else
206 opt = ~(EXCLUDED_FROM_ALL | exclude);
207 p += 3;
208 if (*p == ',')
209 p++;
210 } else {
211 fprintf (stderr, "Invalid optimization name `%s'\n", p);
212 exit (1);
216 return opt;
219 static gboolean
220 parse_debug_options (const char* p)
222 MonoDebugOptions *opt = mini_get_debug_options ();
224 do {
225 if (!*p) {
226 fprintf (stderr, "Syntax error; expected debug option name\n");
227 return FALSE;
230 if (!strncmp (p, "casts", 5)) {
231 opt->better_cast_details = TRUE;
232 p += 5;
233 } else if (!strncmp (p, "mdb-optimizations", 17)) {
234 opt->mdb_optimizations = TRUE;
235 p += 17;
236 } else if (!strncmp (p, "gdb", 3)) {
237 opt->gdb = TRUE;
238 p += 3;
239 } else {
240 fprintf (stderr, "Invalid debug option `%s', use --help-debug for details\n", p);
241 return FALSE;
244 if (*p == ',') {
245 p++;
246 if (!*p) {
247 fprintf (stderr, "Syntax error; expected debug option name\n");
248 return FALSE;
251 } while (*p);
253 return TRUE;
256 typedef struct {
257 const char name [6];
258 const char desc [18];
259 MonoGraphOptions value;
260 } GraphName;
262 static const GraphName
263 graph_names [] = {
264 {"cfg", "Control Flow", MONO_GRAPH_CFG},
265 {"dtree", "Dominator Tree", MONO_GRAPH_DTREE},
266 {"code", "CFG showing code", MONO_GRAPH_CFG_CODE},
267 {"ssa", "CFG after SSA", MONO_GRAPH_CFG_SSA},
268 {"optc", "CFG after IR opts", MONO_GRAPH_CFG_OPTCODE}
271 static MonoGraphOptions
272 mono_parse_graph_options (const char* p)
274 const char *n;
275 int i, len;
277 for (i = 0; i < G_N_ELEMENTS (graph_names); ++i) {
278 n = graph_names [i].name;
279 len = strlen (n);
280 if (strncmp (p, n, len) == 0)
281 return graph_names [i].value;
284 fprintf (stderr, "Invalid graph name provided: %s\n", p);
285 exit (1);
289 mono_parse_default_optimizations (const char* p)
291 guint32 opt;
293 opt = parse_optimizations (DEFAULT_OPTIMIZATIONS, p, TRUE);
294 return opt;
297 char*
298 mono_opt_descr (guint32 flags) {
299 GString *str = g_string_new ("");
300 int i, need_comma;
302 need_comma = 0;
303 for (i = 0; i < G_N_ELEMENTS (opt_names); ++i) {
304 if (flags & (1 << i) && optflag_get_name (i)) {
305 if (need_comma)
306 g_string_append_c (str, ',');
307 g_string_append (str, optflag_get_name (i));
308 need_comma = 1;
311 return g_string_free (str, FALSE);
314 static const guint32
315 opt_sets [] = {
317 MONO_OPT_PEEPHOLE,
318 MONO_OPT_BRANCH,
319 MONO_OPT_CFOLD,
320 MONO_OPT_FCMOV,
321 MONO_OPT_ALIAS_ANALYSIS,
322 #ifdef MONO_ARCH_SIMD_INTRINSICS
323 MONO_OPT_SIMD,
324 MONO_OPT_SSE2,
325 MONO_OPT_SIMD | MONO_OPT_SSE2,
326 #endif
327 MONO_OPT_BRANCH | MONO_OPT_PEEPHOLE | MONO_OPT_INTRINS,
328 MONO_OPT_BRANCH | MONO_OPT_PEEPHOLE | MONO_OPT_INTRINS | MONO_OPT_ALIAS_ANALYSIS,
329 MONO_OPT_BRANCH | MONO_OPT_PEEPHOLE | MONO_OPT_LINEARS,
330 MONO_OPT_BRANCH | MONO_OPT_PEEPHOLE | MONO_OPT_LINEARS | MONO_OPT_COPYPROP,
331 MONO_OPT_BRANCH | MONO_OPT_PEEPHOLE | MONO_OPT_LINEARS | MONO_OPT_CFOLD,
332 MONO_OPT_BRANCH | MONO_OPT_PEEPHOLE | MONO_OPT_LINEARS | MONO_OPT_COPYPROP | MONO_OPT_CONSPROP | MONO_OPT_DEADCE,
333 MONO_OPT_BRANCH | MONO_OPT_PEEPHOLE | MONO_OPT_LINEARS | MONO_OPT_COPYPROP | MONO_OPT_CONSPROP | MONO_OPT_DEADCE | MONO_OPT_ALIAS_ANALYSIS,
334 MONO_OPT_BRANCH | MONO_OPT_PEEPHOLE | MONO_OPT_LINEARS | MONO_OPT_COPYPROP | MONO_OPT_CONSPROP | MONO_OPT_DEADCE | MONO_OPT_LOOP | MONO_OPT_INLINE | MONO_OPT_INTRINS,
335 MONO_OPT_BRANCH | MONO_OPT_PEEPHOLE | MONO_OPT_LINEARS | MONO_OPT_COPYPROP | MONO_OPT_CONSPROP | MONO_OPT_DEADCE | MONO_OPT_LOOP | MONO_OPT_INLINE | MONO_OPT_INTRINS | MONO_OPT_TAILC,
336 MONO_OPT_BRANCH | MONO_OPT_PEEPHOLE | MONO_OPT_LINEARS | MONO_OPT_COPYPROP | MONO_OPT_CONSPROP | MONO_OPT_DEADCE | MONO_OPT_LOOP | MONO_OPT_INLINE | MONO_OPT_INTRINS | MONO_OPT_SSA,
337 MONO_OPT_BRANCH | MONO_OPT_PEEPHOLE | MONO_OPT_LINEARS | MONO_OPT_COPYPROP | MONO_OPT_CONSPROP | MONO_OPT_DEADCE | MONO_OPT_LOOP | MONO_OPT_INLINE | MONO_OPT_INTRINS | MONO_OPT_EXCEPTION,
338 MONO_OPT_BRANCH | MONO_OPT_PEEPHOLE | MONO_OPT_LINEARS | MONO_OPT_COPYPROP | MONO_OPT_CONSPROP | MONO_OPT_DEADCE | MONO_OPT_LOOP | MONO_OPT_INLINE | MONO_OPT_INTRINS | MONO_OPT_EXCEPTION | MONO_OPT_CMOV,
339 MONO_OPT_BRANCH | MONO_OPT_PEEPHOLE | MONO_OPT_LINEARS | MONO_OPT_COPYPROP | MONO_OPT_CONSPROP | MONO_OPT_DEADCE | MONO_OPT_LOOP | MONO_OPT_INLINE | MONO_OPT_INTRINS | MONO_OPT_EXCEPTION | MONO_OPT_ABCREM,
340 MONO_OPT_BRANCH | MONO_OPT_PEEPHOLE | MONO_OPT_LINEARS | MONO_OPT_COPYPROP | MONO_OPT_CONSPROP | MONO_OPT_DEADCE | MONO_OPT_LOOP | MONO_OPT_INLINE | MONO_OPT_INTRINS | MONO_OPT_ABCREM,
341 MONO_OPT_BRANCH | MONO_OPT_PEEPHOLE | MONO_OPT_LINEARS | MONO_OPT_COPYPROP | MONO_OPT_CONSPROP | MONO_OPT_DEADCE | MONO_OPT_LOOP | MONO_OPT_INLINE | MONO_OPT_INTRINS | MONO_OPT_ABCREM | MONO_OPT_SHARED,
342 DEFAULT_OPTIMIZATIONS,
345 typedef int (*TestMethod) (void);
347 #if 0
348 static void
349 domain_dump_native_code (MonoDomain *domain) {
350 // need to poke into the domain, move to metadata/domain.c
351 // need to empty jit_info_table and code_mp
353 #endif
355 static void
356 mini_regression_step (MonoImage *image, int verbose, int *total_run, int *total,
357 guint32 opt_flags,
358 GTimer *timer, MonoDomain *domain)
360 int result, expected, failed, cfailed, run, code_size;
361 TestMethod func;
362 double elapsed, comp_time, start_time;
363 char *n;
364 int i;
366 mono_set_defaults (verbose, opt_flags);
367 n = mono_opt_descr (opt_flags);
368 g_print ("Test run: image=%s, opts=%s\n", mono_image_get_filename (image), n);
369 g_free (n);
370 cfailed = failed = run = code_size = 0;
371 comp_time = elapsed = 0.0;
373 /* fixme: ugly hack - delete all previously compiled methods */
374 if (domain_jit_info (domain)) {
375 g_hash_table_destroy (domain_jit_info (domain)->jit_trampoline_hash);
376 domain_jit_info (domain)->jit_trampoline_hash = g_hash_table_new (mono_aligned_addr_hash, NULL);
377 mono_internal_hash_table_destroy (&(domain->jit_code_hash));
378 mono_jit_code_hash_init (&(domain->jit_code_hash));
381 g_timer_start (timer);
382 if (mini_stats_fd)
383 fprintf (mini_stats_fd, "[");
384 for (i = 0; i < mono_image_get_table_rows (image, MONO_TABLE_METHOD); ++i) {
385 MonoError error;
386 MonoMethod *method = mono_get_method_checked (image, MONO_TOKEN_METHOD_DEF | (i + 1), NULL, NULL, &error);
387 if (!method) {
388 mono_error_cleanup (&error); /* FIXME don't swallow the error */
389 continue;
391 if (strncmp (method->name, "test_", 5) == 0) {
392 MonoCompile *cfg;
394 expected = atoi (method->name + 5);
395 run++;
396 start_time = g_timer_elapsed (timer, NULL);
397 comp_time -= start_time;
398 cfg = mini_method_compile (method, mono_get_optimizations_for_method (method, opt_flags), mono_get_root_domain (), JIT_FLAG_RUN_CCTORS, 0, -1);
399 comp_time += g_timer_elapsed (timer, NULL);
400 if (cfg->exception_type == MONO_EXCEPTION_NONE) {
401 if (verbose >= 2)
402 g_print ("Running '%s' ...\n", method->name);
403 #ifdef MONO_USE_AOT_COMPILER
404 MonoError error;
405 func = (TestMethod)mono_aot_get_method_checked (mono_get_root_domain (), method, &error);
406 mono_error_cleanup (&error);
407 if (!func)
408 func = (TestMethod)(gpointer)cfg->native_code;
409 #else
410 func = (TestMethod)(gpointer)cfg->native_code;
411 #endif
412 func = (TestMethod)mono_create_ftnptr (mono_get_root_domain (), func);
413 result = func ();
414 if (result != expected) {
415 failed++;
416 g_print ("Test '%s' failed result (got %d, expected %d).\n", method->name, result, expected);
418 code_size += cfg->code_len;
419 mono_destroy_compile (cfg);
421 } else {
422 cfailed++;
423 g_print ("Test '%s' failed compilation.\n", method->name);
425 if (mini_stats_fd)
426 fprintf (mini_stats_fd, "%f, ",
427 g_timer_elapsed (timer, NULL) - start_time);
430 if (mini_stats_fd)
431 fprintf (mini_stats_fd, "],\n");
432 g_timer_stop (timer);
433 elapsed = g_timer_elapsed (timer, NULL);
434 if (failed > 0 || cfailed > 0){
435 g_print ("Results: total tests: %d, failed: %d, cfailed: %d (pass: %.2f%%)\n",
436 run, failed, cfailed, 100.0*(run-failed-cfailed)/run);
437 } else {
438 g_print ("Results: total tests: %d, all pass \n", run);
441 g_print ("Elapsed time: %f secs (%f, %f), Code size: %d\n\n", elapsed,
442 elapsed - comp_time, comp_time, code_size);
443 *total += failed + cfailed;
444 *total_run += run;
447 static int
448 mini_regression (MonoImage *image, int verbose, int *total_run)
450 guint32 i, opt;
451 MonoMethod *method;
452 char *n;
453 GTimer *timer = g_timer_new ();
454 MonoDomain *domain = mono_domain_get ();
455 guint32 exclude = 0;
456 int total;
458 /* Note: mono_hwcap_init () called in mono_init () before we get here. */
459 mono_arch_cpu_optimizations (&exclude);
461 if (mini_stats_fd) {
462 fprintf (mini_stats_fd, "$stattitle = \'Mono Benchmark Results (various optimizations)\';\n");
464 fprintf (mini_stats_fd, "$graph->set_legend(qw(");
465 for (opt = 0; opt < G_N_ELEMENTS (opt_sets); opt++) {
466 guint32 opt_flags = opt_sets [opt];
467 n = mono_opt_descr (opt_flags);
468 if (!n [0])
469 n = (char *)"none";
470 if (opt)
471 fprintf (mini_stats_fd, " ");
472 fprintf (mini_stats_fd, "%s", n);
476 fprintf (mini_stats_fd, "));\n");
478 fprintf (mini_stats_fd, "@data = (\n");
479 fprintf (mini_stats_fd, "[");
482 /* load the metadata */
483 for (i = 0; i < mono_image_get_table_rows (image, MONO_TABLE_METHOD); ++i) {
484 MonoError error;
485 method = mono_get_method_checked (image, MONO_TOKEN_METHOD_DEF | (i + 1), NULL, NULL, &error);
486 if (!method) {
487 mono_error_cleanup (&error);
488 continue;
490 mono_class_init (method->klass);
492 if (!strncmp (method->name, "test_", 5) && mini_stats_fd) {
493 fprintf (mini_stats_fd, "\"%s\",", method->name);
496 if (mini_stats_fd)
497 fprintf (mini_stats_fd, "],\n");
500 total = 0;
501 *total_run = 0;
502 if (mono_do_single_method_regression) {
503 GSList *iter;
505 mini_regression_step (image, verbose, total_run, &total,
507 timer, domain);
508 if (total)
509 return total;
510 g_print ("Single method regression: %d methods\n", g_slist_length (mono_single_method_list));
512 for (iter = mono_single_method_list; iter; iter = g_slist_next (iter)) {
513 char *method_name;
515 mono_current_single_method = (MonoMethod *)iter->data;
517 method_name = mono_method_full_name (mono_current_single_method, TRUE);
518 g_print ("Current single method: %s\n", method_name);
519 g_free (method_name);
521 mini_regression_step (image, verbose, total_run, &total,
523 timer, domain);
524 if (total)
525 return total;
527 } else {
528 for (opt = 0; opt < G_N_ELEMENTS (opt_sets); ++opt) {
529 mini_regression_step (image, verbose, total_run, &total,
530 opt_sets [opt] & ~exclude,
531 timer, domain);
535 if (mini_stats_fd) {
536 fprintf (mini_stats_fd, ");\n");
537 fflush (mini_stats_fd);
540 g_timer_destroy (timer);
541 return total;
544 static int
545 mini_regression_list (int verbose, int count, char *images [])
547 int i, total, total_run, run;
548 MonoAssembly *ass;
550 total_run = total = 0;
551 for (i = 0; i < count; ++i) {
552 ass = mono_assembly_open (images [i], NULL);
553 if (!ass) {
554 g_warning ("failed to load assembly: %s", images [i]);
555 continue;
557 total += mini_regression (mono_assembly_get_image (ass), verbose, &run);
558 total_run += run;
560 if (total > 0){
561 g_print ("Overall results: tests: %d, failed: %d, opt combinations: %d (pass: %.2f%%)\n",
562 total_run, total, (int)G_N_ELEMENTS (opt_sets), 100.0*(total_run-total)/total_run);
563 } else {
564 g_print ("Overall results: tests: %d, 100%% pass, opt combinations: %d\n",
565 total_run, (int)G_N_ELEMENTS (opt_sets));
568 return total;
571 #ifdef MONO_JIT_INFO_TABLE_TEST
572 typedef struct _JitInfoData
574 guint start;
575 guint length;
576 MonoJitInfo *ji;
577 struct _JitInfoData *next;
578 } JitInfoData;
580 typedef struct
582 guint start;
583 guint length;
584 int num_datas;
585 JitInfoData *data;
586 } Region;
588 typedef struct
590 int num_datas;
591 int num_regions;
592 Region *regions;
593 int num_frees;
594 JitInfoData *frees;
595 } ThreadData;
597 static int num_threads;
598 static ThreadData *thread_datas;
599 static MonoDomain *test_domain;
601 static JitInfoData*
602 alloc_random_data (Region *region)
604 JitInfoData **data;
605 JitInfoData *prev;
606 guint prev_end;
607 guint next_start;
608 guint max_len;
609 JitInfoData *d;
610 int num_retries = 0;
611 int pos, i;
613 restart:
614 prev = NULL;
615 data = &region->data;
616 pos = random () % (region->num_datas + 1);
617 i = 0;
618 while (*data != NULL) {
619 if (i++ == pos)
620 break;
621 prev = *data;
622 data = &(*data)->next;
625 if (prev == NULL)
626 g_assert (*data == region->data);
627 else
628 g_assert (prev->next == *data);
630 if (prev == NULL)
631 prev_end = region->start;
632 else
633 prev_end = prev->start + prev->length;
635 if (*data == NULL)
636 next_start = region->start + region->length;
637 else
638 next_start = (*data)->start;
640 g_assert (prev_end <= next_start);
642 max_len = next_start - prev_end;
643 if (max_len < 128) {
644 if (++num_retries >= 10)
645 return NULL;
646 goto restart;
648 if (max_len > 1024)
649 max_len = 1024;
651 d = g_new0 (JitInfoData, 1);
652 d->start = prev_end + random () % (max_len / 2);
653 d->length = random () % MIN (max_len, next_start - d->start) + 1;
655 g_assert (d->start >= prev_end && d->start + d->length <= next_start);
657 d->ji = g_new0 (MonoJitInfo, 1);
658 d->ji->d.method = (MonoMethod*) 0xABadBabe;
659 d->ji->code_start = (gpointer)(gulong) d->start;
660 d->ji->code_size = d->length;
661 d->ji->cas_inited = 1; /* marks an allocated jit info */
663 d->next = *data;
664 *data = d;
666 ++region->num_datas;
668 return d;
671 static JitInfoData**
672 choose_random_data (Region *region)
674 int n;
675 int i;
676 JitInfoData **d;
678 g_assert (region->num_datas > 0);
680 n = random () % region->num_datas;
682 for (d = &region->data, i = 0;
683 i < n;
684 d = &(*d)->next, ++i)
687 return d;
690 static Region*
691 choose_random_region (ThreadData *td)
693 return &td->regions [random () % td->num_regions];
696 static ThreadData*
697 choose_random_thread (void)
699 return &thread_datas [random () % num_threads];
702 static void
703 free_jit_info_data (ThreadData *td, JitInfoData *free)
705 free->next = td->frees;
706 td->frees = free;
708 if (++td->num_frees >= 1000) {
709 int i;
711 for (i = 0; i < 500; ++i)
712 free = free->next;
714 while (free->next != NULL) {
715 JitInfoData *next = free->next->next;
717 //g_free (free->next->ji);
718 g_free (free->next);
719 free->next = next;
721 --td->num_frees;
726 #define NUM_THREADS 8
727 #define REGIONS_PER_THREAD 10
728 #define REGION_SIZE 0x10000
730 #define MAX_ADDR (REGION_SIZE * REGIONS_PER_THREAD * NUM_THREADS)
732 #define MODE_ALLOC 1
733 #define MODE_FREE 2
735 static void
736 test_thread_func (ThreadData *td)
738 int mode = MODE_ALLOC;
739 int i = 0;
740 gulong lookup_successes = 0, lookup_failures = 0;
741 MonoDomain *domain = test_domain;
742 int thread_num = (int)(td - thread_datas);
743 gboolean modify_thread = thread_num < NUM_THREADS / 2; /* only half of the threads modify the table */
745 for (;;) {
746 int alloc;
747 int lookup = 1;
749 if (td->num_datas == 0) {
750 lookup = 0;
751 alloc = 1;
752 } else if (modify_thread && random () % 1000 < 5) {
753 lookup = 0;
754 if (mode == MODE_ALLOC)
755 alloc = (random () % 100) < 70;
756 else if (mode == MODE_FREE)
757 alloc = (random () % 100) < 30;
760 if (lookup) {
761 /* modify threads sometimes look up their own jit infos */
762 if (modify_thread && random () % 10 < 5) {
763 Region *region = choose_random_region (td);
765 if (region->num_datas > 0) {
766 JitInfoData **data = choose_random_data (region);
767 guint pos = (*data)->start + random () % (*data)->length;
768 MonoJitInfo *ji;
770 ji = mono_jit_info_table_find (domain, (char*)(gulong) pos);
772 g_assert (ji->cas_inited);
773 g_assert ((*data)->ji == ji);
775 } else {
776 int pos = random () % MAX_ADDR;
777 char *addr = (char*)(gulong) pos;
778 MonoJitInfo *ji;
780 ji = mono_jit_info_table_find (domain, addr);
783 * FIXME: We are actually not allowed
784 * to do this. By the time we examine
785 * the ji another thread might already
786 * have removed it.
788 if (ji != NULL) {
789 g_assert (addr >= (char*)ji->code_start && addr < (char*)ji->code_start + ji->code_size);
790 ++lookup_successes;
791 } else
792 ++lookup_failures;
794 } else if (alloc) {
795 JitInfoData *data = alloc_random_data (choose_random_region (td));
797 if (data != NULL) {
798 mono_jit_info_table_add (domain, data->ji);
800 ++td->num_datas;
802 } else {
803 Region *region = choose_random_region (td);
805 if (region->num_datas > 0) {
806 JitInfoData **data = choose_random_data (region);
807 JitInfoData *free;
809 mono_jit_info_table_remove (domain, (*data)->ji);
811 //(*data)->ji->cas_inited = 0; /* marks a free jit info */
813 free = *data;
814 *data = (*data)->next;
816 free_jit_info_data (td, free);
818 --region->num_datas;
819 --td->num_datas;
823 if (++i % 100000 == 0) {
824 int j;
825 g_print ("num datas %d (%ld - %ld): %d", (int)(td - thread_datas),
826 lookup_successes, lookup_failures, td->num_datas);
827 for (j = 0; j < td->num_regions; ++j)
828 g_print (" %d", td->regions [j].num_datas);
829 g_print ("\n");
832 if (td->num_datas < 100)
833 mode = MODE_ALLOC;
834 else if (td->num_datas > 2000)
835 mode = MODE_FREE;
840 static void
841 small_id_thread_func (gpointer arg)
843 MonoThread *thread = mono_thread_current ();
844 MonoThreadHazardPointers *hp = mono_hazard_pointer_get ();
846 g_print ("my small id is %d\n", (int)thread->small_id);
847 mono_hazard_pointer_clear (hp, 1);
848 sleep (3);
849 g_print ("done %d\n", (int)thread->small_id);
853 static void
854 jit_info_table_test (MonoDomain *domain)
856 MonoError error;
857 int i;
859 g_print ("testing jit_info_table\n");
861 num_threads = NUM_THREADS;
862 thread_datas = g_new0 (ThreadData, num_threads);
864 for (i = 0; i < num_threads; ++i) {
865 int j;
867 thread_datas [i].num_regions = REGIONS_PER_THREAD;
868 thread_datas [i].regions = g_new0 (Region, REGIONS_PER_THREAD);
870 for (j = 0; j < REGIONS_PER_THREAD; ++j) {
871 thread_datas [i].regions [j].start = (num_threads * j + i) * REGION_SIZE;
872 thread_datas [i].regions [j].length = REGION_SIZE;
876 test_domain = domain;
879 for (i = 0; i < 72; ++i)
880 mono_thread_create (domain, small_id_thread_func, NULL);
882 sleep (2);
885 for (i = 0; i < num_threads; ++i) {
886 mono_thread_create_checked (domain, test_thread_func, &thread_datas [i], &error);
887 mono_error_assert_ok (&error);
890 #endif
892 enum {
893 DO_BENCH,
894 DO_REGRESSION,
895 DO_SINGLE_METHOD_REGRESSION,
896 DO_COMPILE,
897 DO_EXEC,
898 DO_DRAW,
899 DO_DEBUGGER
902 typedef struct CompileAllThreadArgs {
903 MonoAssembly *ass;
904 int verbose;
905 guint32 opts;
906 guint32 recompilation_times;
907 } CompileAllThreadArgs;
909 static void
910 compile_all_methods_thread_main_inner (CompileAllThreadArgs *args)
912 MonoAssembly *ass = args->ass;
913 int verbose = args->verbose;
914 MonoImage *image = mono_assembly_get_image (ass);
915 MonoMethod *method;
916 MonoCompile *cfg;
917 int i, count = 0, fail_count = 0;
919 for (i = 0; i < mono_image_get_table_rows (image, MONO_TABLE_METHOD); ++i) {
920 MonoError error;
921 guint32 token = MONO_TOKEN_METHOD_DEF | (i + 1);
922 MonoMethodSignature *sig;
924 if (mono_metadata_has_generic_params (image, token))
925 continue;
927 method = mono_get_method_checked (image, token, NULL, NULL, &error);
928 if (!method) {
929 mono_error_cleanup (&error); /* FIXME don't swallow the error */
930 continue;
932 if ((method->iflags & METHOD_IMPL_ATTRIBUTE_INTERNAL_CALL) ||
933 (method->flags & METHOD_ATTRIBUTE_PINVOKE_IMPL) ||
934 (method->iflags & METHOD_IMPL_ATTRIBUTE_RUNTIME) ||
935 (method->flags & METHOD_ATTRIBUTE_ABSTRACT))
936 continue;
938 if (mono_class_is_gtd (method->klass))
939 continue;
940 sig = mono_method_signature (method);
941 if (!sig) {
942 char * desc = mono_method_full_name (method, TRUE);
943 g_print ("Could not retrieve method signature for %s\n", desc);
944 g_free (desc);
945 fail_count ++;
946 continue;
949 if (sig->has_type_parameters)
950 continue;
952 count++;
953 if (verbose) {
954 char * desc = mono_method_full_name (method, TRUE);
955 g_print ("Compiling %d %s\n", count, desc);
956 g_free (desc);
958 cfg = mini_method_compile (method, mono_get_optimizations_for_method (method, args->opts), mono_get_root_domain (), (JitFlags)0, 0, -1);
959 if (cfg->exception_type != MONO_EXCEPTION_NONE) {
960 printf ("Compilation of %s failed with exception '%s':\n", mono_method_full_name (cfg->method, TRUE), cfg->exception_message);
961 fail_count ++;
963 mono_destroy_compile (cfg);
966 if (fail_count)
967 exit (1);
970 static void
971 compile_all_methods_thread_main (CompileAllThreadArgs *args)
973 guint32 i;
974 for (i = 0; i < args->recompilation_times; ++i)
975 compile_all_methods_thread_main_inner (args);
978 static void
979 compile_all_methods (MonoAssembly *ass, int verbose, guint32 opts, guint32 recompilation_times)
981 MonoError error;
982 CompileAllThreadArgs args;
984 args.ass = ass;
985 args.verbose = verbose;
986 args.opts = opts;
987 args.recompilation_times = recompilation_times;
990 * Need to create a mono thread since compilation might trigger
991 * running of managed code.
993 mono_thread_create_checked (mono_domain_get (), compile_all_methods_thread_main, &args, &error);
994 mono_error_assert_ok (&error);
996 mono_thread_manage ();
1000 * mono_jit_exec:
1001 * @assembly: reference to an assembly
1002 * @argc: argument count
1003 * @argv: argument vector
1005 * Start execution of a program.
1007 int
1008 mono_jit_exec (MonoDomain *domain, MonoAssembly *assembly, int argc, char *argv[])
1010 MonoError error;
1011 MonoImage *image = mono_assembly_get_image (assembly);
1012 MonoMethod *method;
1013 guint32 entry = mono_image_get_entry_point (image);
1015 if (!entry) {
1016 g_print ("Assembly '%s' doesn't have an entry point.\n", mono_image_get_filename (image));
1017 /* FIXME: remove this silly requirement. */
1018 mono_environment_exitcode_set (1);
1019 return 1;
1022 method = mono_get_method_checked (image, entry, NULL, NULL, &error);
1023 if (method == NULL){
1024 g_print ("The entry point method could not be loaded due to %s\n", mono_error_get_message (&error));
1025 mono_error_cleanup (&error);
1026 mono_environment_exitcode_set (1);
1027 return 1;
1030 if (mono_llvm_only) {
1031 MonoObject *exc = NULL;
1032 int res;
1034 res = mono_runtime_try_run_main (method, argc, argv, &exc);
1035 if (exc) {
1036 mono_unhandled_exception (exc);
1037 mono_invoke_unhandled_exception_hook (exc);
1038 g_assert_not_reached ();
1040 return res;
1041 } else {
1042 int res = mono_runtime_run_main_checked (method, argc, argv, &error);
1043 if (!is_ok (&error)) {
1044 MonoException *ex = mono_error_convert_to_exception (&error);
1045 if (ex) {
1046 mono_unhandled_exception (&ex->object);
1047 mono_invoke_unhandled_exception_hook (&ex->object);
1048 g_assert_not_reached ();
1051 return res;
1055 typedef struct
1057 MonoDomain *domain;
1058 const char *file;
1059 int argc;
1060 char **argv;
1061 guint32 opts;
1062 char *aot_options;
1063 } MainThreadArgs;
1065 static void main_thread_handler (gpointer user_data)
1067 MainThreadArgs *main_args = (MainThreadArgs *)user_data;
1068 MonoAssembly *assembly;
1070 if (mono_compile_aot) {
1071 int i, res;
1073 /* Treat the other arguments as assemblies to compile too */
1074 for (i = 0; i < main_args->argc; ++i) {
1075 assembly = mono_domain_assembly_open (main_args->domain, main_args->argv [i]);
1076 if (!assembly) {
1077 fprintf (stderr, "Can not open image %s\n", main_args->argv [i]);
1078 exit (1);
1080 /* Check that the assembly loaded matches the filename */
1082 MonoImageOpenStatus status;
1083 MonoImage *img;
1085 img = mono_image_open (main_args->argv [i], &status);
1086 if (img && strcmp (img->name, assembly->image->name)) {
1087 fprintf (stderr, "Error: Loaded assembly '%s' doesn't match original file name '%s'. Set MONO_PATH to the assembly's location.\n", assembly->image->name, img->name);
1088 exit (1);
1091 res = mono_compile_assembly (assembly, main_args->opts, main_args->aot_options);
1092 if (res != 0) {
1093 fprintf (stderr, "AOT of image %s failed.\n", main_args->argv [i]);
1094 exit (1);
1097 } else {
1098 assembly = mono_domain_assembly_open (main_args->domain, main_args->file);
1099 if (!assembly){
1100 fprintf (stderr, "Can not open image %s\n", main_args->file);
1101 exit (1);
1105 * This must be done in a thread managed by mono since it can invoke
1106 * managed code.
1108 if (main_args->opts & MONO_OPT_PRECOMP)
1109 mono_precompile_assemblies ();
1111 mono_jit_exec (main_args->domain, assembly, main_args->argc, main_args->argv);
1115 static int
1116 load_agent (MonoDomain *domain, char *desc)
1118 MonoError error;
1119 char* col = strchr (desc, ':');
1120 char *agent, *args;
1121 MonoAssembly *agent_assembly;
1122 MonoImage *image;
1123 MonoMethod *method;
1124 guint32 entry;
1125 MonoArray *main_args;
1126 gpointer pa [1];
1127 MonoImageOpenStatus open_status;
1129 if (col) {
1130 agent = (char *)g_memdup (desc, col - desc + 1);
1131 agent [col - desc] = '\0';
1132 args = col + 1;
1133 } else {
1134 agent = g_strdup (desc);
1135 args = NULL;
1138 agent_assembly = mono_assembly_open (agent, &open_status);
1139 if (!agent_assembly) {
1140 fprintf (stderr, "Cannot open agent assembly '%s': %s.\n", agent, mono_image_strerror (open_status));
1141 g_free (agent);
1142 return 2;
1146 * Can't use mono_jit_exec (), as it sets things which might confuse the
1147 * real Main method.
1149 image = mono_assembly_get_image (agent_assembly);
1150 entry = mono_image_get_entry_point (image);
1151 if (!entry) {
1152 g_print ("Assembly '%s' doesn't have an entry point.\n", mono_image_get_filename (image));
1153 g_free (agent);
1154 return 1;
1157 method = mono_get_method_checked (image, entry, NULL, NULL, &error);
1158 if (method == NULL){
1159 g_print ("The entry point method of assembly '%s' could not be loaded due to %s\n", agent, mono_error_get_message (&error));
1160 mono_error_cleanup (&error);
1161 g_free (agent);
1162 return 1;
1165 mono_thread_set_main (mono_thread_current ());
1167 if (args) {
1168 main_args = (MonoArray*)mono_array_new_checked (domain, mono_defaults.string_class, 1, &error);
1169 if (main_args)
1170 mono_array_set (main_args, MonoString*, 0, mono_string_new (domain, args));
1171 } else {
1172 main_args = (MonoArray*)mono_array_new_checked (domain, mono_defaults.string_class, 0, &error);
1174 if (!main_args) {
1175 g_print ("Could not allocate array for main args of assembly '%s' due to %s\n", agent, mono_error_get_message (&error));
1176 mono_error_cleanup (&error);
1177 g_free (agent);
1178 return 1;
1182 pa [0] = main_args;
1183 /* Pass NULL as 'exc' so unhandled exceptions abort the runtime */
1184 mono_runtime_invoke_checked (method, NULL, pa, &error);
1185 if (!is_ok (&error)) {
1186 g_print ("The entry point method of assembly '%s' could not execute due to %s\n", agent, mono_error_get_message (&error));
1187 mono_error_cleanup (&error);
1188 g_free (agent);
1189 return 1;
1192 g_free (agent);
1193 return 0;
1196 static void
1197 mini_usage_jitdeveloper (void)
1199 int i;
1201 fprintf (stdout,
1202 "Runtime and JIT debugging options:\n"
1203 " --breakonex Inserts a breakpoint on exceptions\n"
1204 " --break METHOD Inserts a breakpoint at METHOD entry\n"
1205 " --break-at-bb METHOD N Inserts a breakpoint in METHOD at BB N\n"
1206 " --compile METHOD Just compile METHOD in assembly\n"
1207 " --compile-all=N Compiles all the methods in the assembly multiple times (default: 1)\n"
1208 " --ncompile N Number of times to compile METHOD (default: 1)\n"
1209 " --print-vtable Print the vtable of all used classes\n"
1210 " --regression Runs the regression test contained in the assembly\n"
1211 " --single-method=OPTS Runs regressions with only one method optimized with OPTS at any time\n"
1212 " --statfile FILE Sets the stat file to FILE\n"
1213 " --stats Print statistics about the JIT operations\n"
1214 " --wapi=hps|semdel|seminfo IO-layer maintenance\n"
1215 " --inject-async-exc METHOD OFFSET Inject an asynchronous exception at METHOD\n"
1216 " --verify-all Run the verifier on all assemblies and methods\n"
1217 " --full-aot Avoid JITting any code\n"
1218 " --llvmonly Use LLVM compiled code only\n"
1219 " --agent=ASSEMBLY[:ARG] Loads the specific agent assembly and executes its Main method with the given argument before loading the main assembly.\n"
1220 " --no-x86-stack-align Don't align stack on x86\n"
1221 "\n"
1222 "The options supported by MONO_DEBUG can also be passed on the command line.\n"
1223 "\n"
1224 "Other options:\n"
1225 " --graph[=TYPE] METHOD Draws a graph of the specified method:\n");
1227 for (i = 0; i < G_N_ELEMENTS (graph_names); ++i) {
1228 fprintf (stdout, " %-10s %s\n", graph_names [i].name, graph_names [i].desc);
1232 static void
1233 mini_usage_list_opt (void)
1235 int i;
1237 for (i = 0; i < G_N_ELEMENTS (opt_names); ++i)
1238 fprintf (stdout, " %-10s %s\n", optflag_get_name (i), optflag_get_desc (i));
1241 static void
1242 mini_usage (void)
1244 fprintf (stdout,
1245 "Usage is: mono [options] program [program-options]\n"
1246 "\n"
1247 "Development:\n"
1248 " --aot[=<options>] Compiles the assembly to native code\n"
1249 " --debug[=<options>] Enable debugging support, use --help-debug for details\n"
1250 " --debugger-agent=options Enable the debugger agent\n"
1251 " --profile[=profiler] Runs in profiling mode with the specified profiler module\n"
1252 " --trace[=EXPR] Enable tracing, use --help-trace for details\n"
1253 " --jitmap Output a jit method map to /tmp/perf-PID.map\n"
1254 " --help-devel Shows more options available to developers\n"
1255 "\n"
1256 "Runtime:\n"
1257 " --config FILE Loads FILE as the Mono config\n"
1258 " --verbose, -v Increases the verbosity level\n"
1259 " --help, -h Show usage information\n"
1260 " --version, -V Show version information\n"
1261 " --runtime=VERSION Use the VERSION runtime, instead of autodetecting\n"
1262 " --optimize=OPT Turns on or off a specific optimization\n"
1263 " Use --list-opt to get a list of optimizations\n"
1264 #ifndef DISABLE_SECURITY
1265 " --security[=mode] Turns on the unsupported security manager (off by default)\n"
1266 " mode is one of cas, core-clr, verifiable or validil\n"
1267 #endif
1268 " --attach=OPTIONS Pass OPTIONS to the attach agent in the runtime.\n"
1269 " Currently the only supported option is 'disable'.\n"
1270 " --llvm, --nollvm Controls whenever the runtime uses LLVM to compile code.\n"
1271 " --gc=[sgen,boehm] Select SGen or Boehm GC (runs mono or mono-sgen)\n"
1272 #ifdef TARGET_OSX
1273 " --arch=[32,64] Select architecture (runs mono32 or mono64)\n"
1274 #endif
1275 #ifdef HOST_WIN32
1276 " --mixed-mode Enable mixed-mode image support.\n"
1277 #endif
1278 " --handlers Install custom handlers, use --help-handlers for details.\n"
1279 " --aot-path=PATH List of additional directories to search for AOT images.\n"
1283 static void
1284 mini_trace_usage (void)
1286 fprintf (stdout,
1287 "Tracing options:\n"
1288 " --trace[=EXPR] Trace every call, optional EXPR controls the scope\n"
1289 "\n"
1290 "EXPR is composed of:\n"
1291 " all All assemblies\n"
1292 " none No assemblies\n"
1293 " program Entry point assembly\n"
1294 " assembly Specifies an assembly\n"
1295 " wrapper All wrappers bridging native and managed code\n"
1296 " M:Type:Method Specifies a method\n"
1297 " N:Namespace Specifies a namespace\n"
1298 " T:Type Specifies a type\n"
1299 " E:Type Specifies stack traces for an exception type\n"
1300 " EXPR Includes expression\n"
1301 " -EXPR Excludes expression\n"
1302 " EXPR,EXPR Multiple expressions\n"
1303 " disabled Don't print any output until toggled via SIGUSR2\n");
1306 static void
1307 mini_debug_usage (void)
1309 fprintf (stdout,
1310 "Debugging options:\n"
1311 " --debug[=OPTIONS] Enable debugging support, optional OPTIONS is a comma\n"
1312 " separated list of options\n"
1313 "\n"
1314 "OPTIONS is composed of:\n"
1315 " casts Enable more detailed InvalidCastException messages.\n"
1316 " mdb-optimizations Disable some JIT optimizations which are normally\n"
1317 " disabled when running inside the debugger.\n"
1318 " This is useful if you plan to attach to the running\n"
1319 " process with the debugger.\n");
1322 #if defined(MONO_ARCH_ARCHITECTURE)
1323 /* Redefine MONO_ARCHITECTURE to include more information */
1324 #undef MONO_ARCHITECTURE
1325 #define MONO_ARCHITECTURE MONO_ARCH_ARCHITECTURE
1326 #endif
1328 static const char info[] =
1329 #ifdef HAVE_KW_THREAD
1330 "\tTLS: __thread\n"
1331 #else
1332 "\tTLS: normal\n"
1333 #endif /* HAVE_KW_THREAD */
1334 #ifdef MONO_ARCH_SIGSEGV_ON_ALTSTACK
1335 "\tSIGSEGV: altstack\n"
1336 #else
1337 "\tSIGSEGV: normal\n"
1338 #endif
1339 #ifdef HAVE_EPOLL
1340 "\tNotifications: epoll\n"
1341 #elif defined(HAVE_KQUEUE)
1342 "\tNotification: kqueue\n"
1343 #else
1344 "\tNotification: Thread + polling\n"
1345 #endif
1346 "\tArchitecture: " MONO_ARCHITECTURE "\n"
1347 "\tDisabled: " DISABLED_FEATURES "\n"
1348 "\tMisc: "
1349 #ifdef MONO_SMALL_CONFIG
1350 "smallconfig "
1351 #endif
1352 #ifdef MONO_BIG_ARRAYS
1353 "bigarrays "
1354 #endif
1355 #if defined(MONO_ARCH_SOFT_DEBUG_SUPPORTED) && !defined(DISABLE_SOFT_DEBUG)
1356 "softdebug "
1357 #endif
1358 "\n"
1359 #ifdef MONO_ARCH_LLVM_SUPPORTED
1360 #ifdef ENABLE_LLVM
1361 "\tLLVM: yes(" LLVM_VERSION ")\n"
1362 #else
1363 "\tLLVM: supported, not enabled.\n"
1364 #endif
1365 #endif
1368 #ifndef MONO_ARCH_AOT_SUPPORTED
1369 #define error_if_aot_unsupported() do {fprintf (stderr, "AOT compilation is not supported on this platform.\n"); exit (1);} while (0)
1370 #else
1371 #define error_if_aot_unsupported()
1372 #endif
1374 static gboolean enable_debugging;
1377 * mono_jit_parse_options:
1379 * Process the command line options in ARGV as done by the runtime executable.
1380 * This should be called before mono_jit_init ().
1382 void
1383 mono_jit_parse_options (int argc, char * argv[])
1385 int i;
1386 char *trace_options = NULL;
1387 int mini_verbose = 0;
1388 guint32 opt;
1391 * Some options have no effect here, since they influence the behavior of
1392 * mono_main ().
1395 opt = mono_parse_default_optimizations (NULL);
1397 /* FIXME: Avoid code duplication */
1398 for (i = 0; i < argc; ++i) {
1399 if (argv [i] [0] != '-')
1400 break;
1401 if (strncmp (argv [i], "--debugger-agent=", 17) == 0) {
1402 MonoDebugOptions *opt = mini_get_debug_options ();
1404 mono_debugger_agent_parse_options (argv [i] + 17);
1405 opt->mdb_optimizations = TRUE;
1406 enable_debugging = TRUE;
1407 } else if (!strcmp (argv [i], "--soft-breakpoints")) {
1408 MonoDebugOptions *opt = mini_get_debug_options ();
1410 opt->soft_breakpoints = TRUE;
1411 opt->explicit_null_checks = TRUE;
1412 } else if (strncmp (argv [i], "--optimize=", 11) == 0) {
1413 opt = parse_optimizations (opt, argv [i] + 11, TRUE);
1414 mono_set_optimizations (opt);
1415 } else if (strncmp (argv [i], "-O=", 3) == 0) {
1416 opt = parse_optimizations (opt, argv [i] + 3, TRUE);
1417 mono_set_optimizations (opt);
1418 } else if (strcmp (argv [i], "--trace") == 0) {
1419 trace_options = (char*)"";
1420 } else if (strncmp (argv [i], "--trace=", 8) == 0) {
1421 trace_options = &argv [i][8];
1422 } else if (strcmp (argv [i], "--verbose") == 0 || strcmp (argv [i], "-v") == 0) {
1423 mini_verbose++;
1424 } else if (strcmp (argv [i], "--breakonex") == 0) {
1425 MonoDebugOptions *opt = mini_get_debug_options ();
1427 opt->break_on_exc = TRUE;
1428 } else if (strcmp (argv [i], "--stats") == 0) {
1429 mono_counters_enable (-1);
1430 mono_stats.enabled = TRUE;
1431 mono_jit_stats.enabled = TRUE;
1432 } else if (strcmp (argv [i], "--break") == 0) {
1433 if (i+1 >= argc){
1434 fprintf (stderr, "Missing method name in --break command line option\n");
1435 exit (1);
1438 if (!mono_debugger_insert_breakpoint (argv [++i], FALSE))
1439 fprintf (stderr, "Error: invalid method name '%s'\n", argv [i]);
1440 } else if (strncmp (argv[i], "--gc-params=", 12) == 0) {
1441 mono_gc_params_set (argv[i] + 12);
1442 } else if (strncmp (argv[i], "--gc-debug=", 11) == 0) {
1443 mono_gc_debug_set (argv[i] + 11);
1444 } else if (strcmp (argv [i], "--llvm") == 0) {
1445 #ifndef MONO_ARCH_LLVM_SUPPORTED
1446 fprintf (stderr, "Mono Warning: --llvm not supported on this platform.\n");
1447 #elif !defined(ENABLE_LLVM)
1448 fprintf (stderr, "Mono Warning: --llvm not enabled in this runtime.\n");
1449 #else
1450 mono_use_llvm = TRUE;
1451 #endif
1452 } else if (argv [i][0] == '-' && argv [i][1] == '-' && mini_parse_debug_option (argv [i] + 2)) {
1453 } else {
1454 fprintf (stderr, "Unsupported command line option: '%s'\n", argv [i]);
1455 exit (1);
1459 if (trace_options != NULL) {
1461 * Need to call this before mini_init () so we can trace methods
1462 * compiled there too.
1464 mono_jit_trace_calls = mono_trace_parse_options (trace_options);
1465 if (mono_jit_trace_calls == NULL)
1466 exit (1);
1469 if (mini_verbose)
1470 mono_set_verbose_level (mini_verbose);
1473 static void
1474 mono_set_use_smp (int use_smp)
1476 #if HAVE_SCHED_SETAFFINITY
1477 if (!use_smp) {
1478 unsigned long proc_mask = 1;
1479 #ifdef GLIBC_BEFORE_2_3_4_SCHED_SETAFFINITY
1480 sched_setaffinity (getpid(), (gpointer)&proc_mask);
1481 #else
1482 sched_setaffinity (getpid(), sizeof (unsigned long), (const cpu_set_t *)&proc_mask);
1483 #endif
1485 #endif
1488 static void
1489 switch_gc (char* argv[], const char* target_gc)
1491 GString *path;
1493 if (!strcmp (mono_gc_get_gc_name (), target_gc)) {
1494 return;
1497 path = g_string_new (argv [0]);
1499 /*Running mono without any argument*/
1500 if (strstr (argv [0], "-sgen"))
1501 g_string_truncate (path, path->len - 5);
1502 else if (strstr (argv [0], "-boehm"))
1503 g_string_truncate (path, path->len - 6);
1505 g_string_append_c (path, '-');
1506 g_string_append (path, target_gc);
1508 #ifdef HAVE_EXECVP
1509 execvp (path->str, argv);
1510 fprintf (stderr, "Error: Failed to switch to %s gc. mono-%s is not installed.\n", target_gc, target_gc);
1511 #else
1512 fprintf (stderr, "Error: --gc=<NAME> option not supported on this platform.\n");
1513 #endif
1516 #ifdef TARGET_OSX
1519 * tries to increase the minimum number of files, if the number is below 1024
1521 static void
1522 darwin_change_default_file_handles ()
1524 struct rlimit limit;
1526 if (getrlimit (RLIMIT_NOFILE, &limit) == 0){
1527 if (limit.rlim_cur < 1024){
1528 limit.rlim_cur = MAX(1024,limit.rlim_cur);
1529 setrlimit (RLIMIT_NOFILE, &limit);
1534 static void
1535 switch_arch (char* argv[], const char* target_arch)
1537 GString *path;
1538 gsize arch_offset;
1540 if ((strcmp (target_arch, "32") == 0 && strcmp (MONO_ARCHITECTURE, "x86") == 0) ||
1541 (strcmp (target_arch, "64") == 0 && strcmp (MONO_ARCHITECTURE, "amd64") == 0)) {
1542 return; /* matching arch loaded */
1545 path = g_string_new (argv [0]);
1546 arch_offset = path->len -2; /* last two characters */
1548 /* Remove arch suffix if present */
1549 if (strstr (&path->str[arch_offset], "32") || strstr (&path->str[arch_offset], "64")) {
1550 g_string_truncate (path, arch_offset);
1553 g_string_append (path, target_arch);
1555 if (execvp (path->str, argv) < 0) {
1556 fprintf (stderr, "Error: --arch=%s Failed to switch to '%s'.\n", target_arch, path->str);
1557 exit (1);
1561 #endif
1563 #define MONO_HANDLERS_ARGUMENT "--handlers="
1564 #define MONO_HANDLERS_ARGUMENT_LEN G_N_ELEMENTS(MONO_HANDLERS_ARGUMENT)-1
1567 * mono_main:
1568 * @argc: number of arguments in the argv array
1569 * @argv: array of strings containing the startup arguments
1571 * Launches the Mono JIT engine and parses all the command line options
1572 * in the same way that the mono command line VM would.
1575 mono_main (int argc, char* argv[])
1577 MainThreadArgs main_args;
1578 MonoAssembly *assembly;
1579 MonoMethodDesc *desc;
1580 MonoMethod *method;
1581 MonoCompile *cfg;
1582 MonoDomain *domain;
1583 MonoImageOpenStatus open_status;
1584 const char* aname, *mname = NULL;
1585 char *config_file = NULL;
1586 int i, count = 1;
1587 guint32 opt, action = DO_EXEC, recompilation_times = 1;
1588 MonoGraphOptions mono_graph_options = (MonoGraphOptions)0;
1589 int mini_verbose = 0;
1590 gboolean enable_profile = FALSE;
1591 char *trace_options = NULL;
1592 char *profile_options = NULL;
1593 char *aot_options = NULL;
1594 char *forced_version = NULL;
1595 GPtrArray *agents = NULL;
1596 char *attach_options = NULL;
1597 #ifdef MONO_JIT_INFO_TABLE_TEST
1598 int test_jit_info_table = FALSE;
1599 #endif
1600 #ifdef HOST_WIN32
1601 int mixed_mode = FALSE;
1602 #endif
1603 #ifdef __native_client__
1604 gboolean nacl_null_checks_off = FALSE;
1605 #endif
1607 #ifdef MOONLIGHT
1608 #ifndef HOST_WIN32
1609 /* stdout defaults to block buffering if it's not writing to a terminal, which
1610 * happens with our test harness: we redirect stdout to capture it. Force line
1611 * buffering in all cases. */
1612 setlinebuf (stdout);
1613 #endif
1614 #endif
1616 setlocale (LC_ALL, "");
1618 #if TARGET_OSX
1619 darwin_change_default_file_handles ();
1620 #endif
1622 if (g_getenv ("MONO_NO_SMP"))
1623 mono_set_use_smp (FALSE);
1625 g_log_set_always_fatal (G_LOG_LEVEL_ERROR);
1626 g_log_set_fatal_mask (G_LOG_DOMAIN, G_LOG_LEVEL_ERROR);
1628 opt = mono_parse_default_optimizations (NULL);
1630 for (i = 1; i < argc; ++i) {
1631 if (argv [i] [0] != '-')
1632 break;
1633 if (strcmp (argv [i], "--regression") == 0) {
1634 action = DO_REGRESSION;
1635 } else if (strncmp (argv [i], "--single-method=", 16) == 0) {
1636 char *full_opts = g_strdup_printf ("-all,%s", argv [i] + 16);
1637 action = DO_SINGLE_METHOD_REGRESSION;
1638 mono_single_method_regression_opt = parse_optimizations (opt, full_opts, TRUE);
1639 g_free (full_opts);
1640 } else if (strcmp (argv [i], "--verbose") == 0 || strcmp (argv [i], "-v") == 0) {
1641 mini_verbose++;
1642 } else if (strcmp (argv [i], "--version") == 0 || strcmp (argv [i], "-V") == 0) {
1643 char *build = mono_get_runtime_build_info ();
1644 char *gc_descr;
1646 g_print ("Mono JIT compiler version %s\nCopyright (C) 2002-2014 Novell, Inc, Xamarin Inc and Contributors. www.mono-project.com\n", build);
1647 g_free (build);
1648 g_print (info);
1649 gc_descr = mono_gc_get_description ();
1650 g_print ("\tGC: %s\n", gc_descr);
1651 g_free (gc_descr);
1652 return 0;
1653 } else if (strcmp (argv [i], "--help") == 0 || strcmp (argv [i], "-h") == 0) {
1654 mini_usage ();
1655 return 0;
1656 } else if (strcmp (argv [i], "--help-trace") == 0){
1657 mini_trace_usage ();
1658 return 0;
1659 } else if (strcmp (argv [i], "--help-devel") == 0){
1660 mini_usage_jitdeveloper ();
1661 return 0;
1662 } else if (strcmp (argv [i], "--help-debug") == 0){
1663 mini_debug_usage ();
1664 return 0;
1665 } else if (strcmp (argv [i], "--list-opt") == 0){
1666 mini_usage_list_opt ();
1667 return 0;
1668 } else if (strncmp (argv [i], "--statfile", 10) == 0) {
1669 if (i + 1 >= argc){
1670 fprintf (stderr, "error: --statfile requires a filename argument\n");
1671 return 1;
1673 mini_stats_fd = fopen (argv [++i], "w+");
1674 } else if (strncmp (argv [i], "--optimize=", 11) == 0) {
1675 opt = parse_optimizations (opt, argv [i] + 11, TRUE);
1676 } else if (strncmp (argv [i], "-O=", 3) == 0) {
1677 opt = parse_optimizations (opt, argv [i] + 3, TRUE);
1678 } else if (strncmp (argv [i], "--bisect=", 9) == 0) {
1679 char *param = argv [i] + 9;
1680 char *sep = strchr (param, ':');
1681 if (!sep) {
1682 fprintf (stderr, "Error: --bisect requires OPT:FILENAME\n");
1683 return 1;
1685 char *opt_string = g_strndup (param, sep - param);
1686 guint32 opt = parse_optimizations (0, opt_string, FALSE);
1687 g_free (opt_string);
1688 mono_set_bisect_methods (opt, sep + 1);
1689 } else if (strcmp (argv [i], "--gc=sgen") == 0) {
1690 switch_gc (argv, "sgen");
1691 } else if (strcmp (argv [i], "--gc=boehm") == 0) {
1692 switch_gc (argv, "boehm");
1693 } else if (strncmp (argv[i], "--gc-params=", 12) == 0) {
1694 mono_gc_params_set (argv[i] + 12);
1695 } else if (strncmp (argv[i], "--gc-debug=", 11) == 0) {
1696 mono_gc_debug_set (argv[i] + 11);
1698 #ifdef TARGET_OSX
1699 else if (strcmp (argv [i], "--arch=32") == 0) {
1700 switch_arch (argv, "32");
1701 } else if (strcmp (argv [i], "--arch=64") == 0) {
1702 switch_arch (argv, "64");
1704 #endif
1705 else if (strcmp (argv [i], "--config") == 0) {
1706 if (i +1 >= argc){
1707 fprintf (stderr, "error: --config requires a filename argument\n");
1708 return 1;
1710 config_file = argv [++i];
1711 #ifdef HOST_WIN32
1712 } else if (strcmp (argv [i], "--mixed-mode") == 0) {
1713 mixed_mode = TRUE;
1714 #endif
1715 } else if (strcmp (argv [i], "--ncompile") == 0) {
1716 if (i + 1 >= argc){
1717 fprintf (stderr, "error: --ncompile requires an argument\n");
1718 return 1;
1720 count = atoi (argv [++i]);
1721 action = DO_BENCH;
1722 } else if (strcmp (argv [i], "--trace") == 0) {
1723 trace_options = (char*)"";
1724 } else if (strncmp (argv [i], "--trace=", 8) == 0) {
1725 trace_options = &argv [i][8];
1726 } else if (strcmp (argv [i], "--breakonex") == 0) {
1727 MonoDebugOptions *opt = mini_get_debug_options ();
1729 opt->break_on_exc = TRUE;
1730 } else if (strcmp (argv [i], "--break") == 0) {
1731 if (i+1 >= argc){
1732 fprintf (stderr, "Missing method name in --break command line option\n");
1733 return 1;
1736 if (!mono_debugger_insert_breakpoint (argv [++i], FALSE))
1737 fprintf (stderr, "Error: invalid method name '%s'\n", argv [i]);
1738 } else if (strcmp (argv [i], "--break-at-bb") == 0) {
1739 if (i + 2 >= argc) {
1740 fprintf (stderr, "Missing method name or bb num in --break-at-bb command line option.");
1741 return 1;
1743 mono_break_at_bb_method = mono_method_desc_new (argv [++i], TRUE);
1744 if (mono_break_at_bb_method == NULL) {
1745 fprintf (stderr, "Method name is in a bad format in --break-at-bb command line option.");
1746 return 1;
1748 mono_break_at_bb_bb_num = atoi (argv [++i]);
1749 } else if (strcmp (argv [i], "--inject-async-exc") == 0) {
1750 if (i + 2 >= argc) {
1751 fprintf (stderr, "Missing method name or position in --inject-async-exc command line option\n");
1752 return 1;
1754 mono_inject_async_exc_method = mono_method_desc_new (argv [++i], TRUE);
1755 if (mono_inject_async_exc_method == NULL) {
1756 fprintf (stderr, "Method name is in a bad format in --inject-async-exc command line option\n");
1757 return 1;
1759 mono_inject_async_exc_pos = atoi (argv [++i]);
1760 } else if (strcmp (argv [i], "--verify-all") == 0) {
1761 mono_verifier_enable_verify_all ();
1762 } else if (strcmp (argv [i], "--full-aot") == 0) {
1763 mono_jit_set_aot_mode (MONO_AOT_MODE_FULL);
1764 } else if (strcmp (argv [i], "--llvmonly") == 0) {
1765 mono_jit_set_aot_mode (MONO_AOT_MODE_LLVMONLY);
1766 } else if (strcmp (argv [i], "--hybrid-aot") == 0) {
1767 mono_jit_set_aot_mode (MONO_AOT_MODE_HYBRID);
1768 } else if (strcmp (argv [i], "--print-vtable") == 0) {
1769 mono_print_vtable = TRUE;
1770 } else if (strcmp (argv [i], "--stats") == 0) {
1771 mono_counters_enable (-1);
1772 mono_stats.enabled = TRUE;
1773 mono_jit_stats.enabled = TRUE;
1774 #ifndef DISABLE_AOT
1775 } else if (strcmp (argv [i], "--aot") == 0) {
1776 error_if_aot_unsupported ();
1777 mono_compile_aot = TRUE;
1778 } else if (strncmp (argv [i], "--aot=", 6) == 0) {
1779 error_if_aot_unsupported ();
1780 mono_compile_aot = TRUE;
1781 aot_options = &argv [i][6];
1782 #endif
1783 } else if (strncmp (argv [i], "--aot-path=", 11) == 0) {
1784 char **splitted;
1786 splitted = g_strsplit (argv [i] + 11, G_SEARCHPATH_SEPARATOR_S, 1000);
1787 while (*splitted) {
1788 char *tmp = *splitted;
1789 mono_aot_paths = g_list_append (mono_aot_paths, g_strdup (tmp));
1790 g_free (tmp);
1791 splitted++;
1793 } else if (strncmp (argv [i], "--compile-all=", 14) == 0) {
1794 action = DO_COMPILE;
1795 recompilation_times = atoi (argv [i] + 14);
1796 } else if (strcmp (argv [i], "--compile-all") == 0) {
1797 action = DO_COMPILE;
1798 } else if (strncmp (argv [i], "--runtime=", 10) == 0) {
1799 forced_version = &argv [i][10];
1800 } else if (strcmp (argv [i], "--jitmap") == 0) {
1801 mono_enable_jit_map ();
1802 } else if (strcmp (argv [i], "--profile") == 0) {
1803 enable_profile = TRUE;
1804 profile_options = NULL;
1805 } else if (strncmp (argv [i], "--profile=", 10) == 0) {
1806 enable_profile = TRUE;
1807 profile_options = argv [i] + 10;
1808 } else if (strncmp (argv [i], "--agent=", 8) == 0) {
1809 if (agents == NULL)
1810 agents = g_ptr_array_new ();
1811 g_ptr_array_add (agents, argv [i] + 8);
1812 } else if (strncmp (argv [i], "--attach=", 9) == 0) {
1813 attach_options = argv [i] + 9;
1814 } else if (strcmp (argv [i], "--compile") == 0) {
1815 if (i + 1 >= argc){
1816 fprintf (stderr, "error: --compile option requires a method name argument\n");
1817 return 1;
1820 mname = argv [++i];
1821 action = DO_BENCH;
1822 } else if (strncmp (argv [i], "--graph=", 8) == 0) {
1823 if (i + 1 >= argc){
1824 fprintf (stderr, "error: --graph option requires a method name argument\n");
1825 return 1;
1828 mono_graph_options = mono_parse_graph_options (argv [i] + 8);
1829 mname = argv [++i];
1830 action = DO_DRAW;
1831 } else if (strcmp (argv [i], "--graph") == 0) {
1832 if (i + 1 >= argc){
1833 fprintf (stderr, "error: --graph option requires a method name argument\n");
1834 return 1;
1837 mname = argv [++i];
1838 mono_graph_options = MONO_GRAPH_CFG;
1839 action = DO_DRAW;
1840 } else if (strcmp (argv [i], "--debug") == 0) {
1841 enable_debugging = TRUE;
1842 } else if (strncmp (argv [i], "--debug=", 8) == 0) {
1843 enable_debugging = TRUE;
1844 if (!parse_debug_options (argv [i] + 8))
1845 return 1;
1846 } else if (strncmp (argv [i], "--debugger-agent=", 17) == 0) {
1847 MonoDebugOptions *opt = mini_get_debug_options ();
1849 mono_debugger_agent_parse_options (argv [i] + 17);
1850 opt->mdb_optimizations = TRUE;
1851 enable_debugging = TRUE;
1852 } else if (strcmp (argv [i], "--security") == 0) {
1853 #ifndef DISABLE_SECURITY
1854 mono_verifier_set_mode (MONO_VERIFIER_MODE_VERIFIABLE);
1855 #else
1856 fprintf (stderr, "error: --security: not compiled with security manager support");
1857 return 1;
1858 #endif
1859 } else if (strncmp (argv [i], "--security=", 11) == 0) {
1860 /* Note: validil, and verifiable need to be
1861 accepted even if DISABLE_SECURITY is defined. */
1863 if (strcmp (argv [i] + 11, "core-clr") == 0) {
1864 #ifndef DISABLE_SECURITY
1865 mono_verifier_set_mode (MONO_VERIFIER_MODE_VERIFIABLE);
1866 mono_security_set_mode (MONO_SECURITY_MODE_CORE_CLR);
1867 #else
1868 fprintf (stderr, "error: --security: not compiled with CoreCLR support");
1869 return 1;
1870 #endif
1871 } else if (strcmp (argv [i] + 11, "core-clr-test") == 0) {
1872 #ifndef DISABLE_SECURITY
1873 /* fixme should we enable verifiable code here?*/
1874 mono_security_set_mode (MONO_SECURITY_MODE_CORE_CLR);
1875 mono_security_core_clr_test = TRUE;
1876 #else
1877 fprintf (stderr, "error: --security: not compiled with CoreCLR support");
1878 return 1;
1879 #endif
1880 } else if (strcmp (argv [i] + 11, "cas") == 0) {
1881 #ifndef DISABLE_SECURITY
1882 fprintf (stderr, "warning: --security=cas not supported.");
1883 #else
1884 fprintf (stderr, "error: --security: not compiled with CAS support");
1885 return 1;
1886 #endif
1887 } else if (strcmp (argv [i] + 11, "validil") == 0) {
1888 mono_verifier_set_mode (MONO_VERIFIER_MODE_VALID);
1889 } else if (strcmp (argv [i] + 11, "verifiable") == 0) {
1890 mono_verifier_set_mode (MONO_VERIFIER_MODE_VERIFIABLE);
1891 } else {
1892 fprintf (stderr, "error: --security= option has invalid argument (cas, core-clr, verifiable or validil)\n");
1893 return 1;
1895 } else if (strcmp (argv [i], "--desktop") == 0) {
1896 mono_gc_set_desktop_mode ();
1897 /* Put more desktop-specific optimizations here */
1898 } else if (strcmp (argv [i], "--server") == 0){
1899 mono_config_set_server_mode (TRUE);
1900 /* Put more server-specific optimizations here */
1901 } else if (strcmp (argv [i], "--inside-mdb") == 0) {
1902 action = DO_DEBUGGER;
1903 } else if (strncmp (argv [i], "--wapi=", 7) == 0) {
1904 fprintf (stderr, "--wapi= option no longer supported\n.");
1905 return 1;
1906 } else if (strcmp (argv [i], "--no-x86-stack-align") == 0) {
1907 mono_do_x86_stack_align = FALSE;
1908 #ifdef MONO_JIT_INFO_TABLE_TEST
1909 } else if (strcmp (argv [i], "--test-jit-info-table") == 0) {
1910 test_jit_info_table = TRUE;
1911 #endif
1912 } else if (strcmp (argv [i], "--llvm") == 0) {
1913 #ifndef MONO_ARCH_LLVM_SUPPORTED
1914 fprintf (stderr, "Mono Warning: --llvm not supported on this platform.\n");
1915 #elif !defined(ENABLE_LLVM)
1916 fprintf (stderr, "Mono Warning: --llvm not enabled in this runtime.\n");
1917 #else
1918 mono_use_llvm = TRUE;
1919 #endif
1920 } else if (strcmp (argv [i], "--nollvm") == 0){
1921 mono_use_llvm = FALSE;
1922 #ifdef __native_client__
1923 } else if (strcmp (argv [i], "--nacl-mono-path") == 0){
1924 nacl_mono_path = g_strdup(argv[++i]);
1925 } else if (strcmp (argv [i], "--nacl-null-checks-off") == 0){
1926 nacl_null_checks_off = TRUE;
1927 #endif
1928 } else if (strncmp (argv [i], MONO_HANDLERS_ARGUMENT, MONO_HANDLERS_ARGUMENT_LEN) == 0) {
1929 //Install specific custom handlers.
1930 if (!mono_runtime_install_custom_handlers (argv[i] + MONO_HANDLERS_ARGUMENT_LEN)) {
1931 fprintf (stderr, "error: " MONO_HANDLERS_ARGUMENT ", one or more unknown handlers: '%s'\n", argv [i]);
1932 return 1;
1934 } else if (strcmp (argv [i], "--help-handlers") == 0) {
1935 mono_runtime_install_custom_handlers_usage ();
1936 return 0;
1937 } else if (argv [i][0] == '-' && argv [i][1] == '-' && mini_parse_debug_option (argv [i] + 2)) {
1938 } else {
1939 fprintf (stderr, "Unknown command line option: '%s'\n", argv [i]);
1940 return 1;
1944 #ifdef __native_client_codegen__
1945 if (!nacl_null_checks_off) {
1946 MonoDebugOptions *opt = mini_get_debug_options ();
1947 opt->explicit_null_checks = TRUE;
1949 #endif
1951 #if defined(DISABLE_HW_TRAPS) || defined(MONO_ARCH_DISABLE_HW_TRAPS)
1952 // Signal handlers not available
1954 MonoDebugOptions *opt = mini_get_debug_options ();
1955 opt->explicit_null_checks = TRUE;
1957 #endif
1959 if (!argv [i]) {
1960 mini_usage ();
1961 return 1;
1964 #if !defined(HOST_WIN32) && defined(HAVE_UNISTD_H)
1966 * If we are not embedded, use the mono runtime executable to run managed exe's.
1969 char *runtime_path;
1971 runtime_path = mono_w32process_get_path (getpid ());
1972 if (runtime_path) {
1973 mono_w32process_set_cli_launcher (runtime_path);
1974 g_free (runtime_path);
1977 #endif
1979 if (g_getenv ("MONO_XDEBUG"))
1980 enable_debugging = TRUE;
1982 #ifdef MONO_CROSS_COMPILE
1983 if (!mono_compile_aot) {
1984 fprintf (stderr, "This mono runtime is compiled for cross-compiling. Only the --aot option is supported.\n");
1985 exit (1);
1987 #if SIZEOF_VOID_P == 8 && (defined(TARGET_ARM) || defined(TARGET_X86))
1988 fprintf (stderr, "Can't cross-compile on 64-bit platforms to 32-bit architecture.\n");
1989 exit (1);
1990 #elif SIZEOF_VOID_P == 4 && (defined(TARGET_ARM64) || defined(TARGET_AMD64))
1991 fprintf (stderr, "Can't cross-compile on 32-bit platforms to 64-bit architecture.\n");
1992 exit (1);
1993 #endif
1994 #endif
1996 if (mono_compile_aot || action == DO_EXEC || action == DO_DEBUGGER) {
1997 g_set_prgname (argv[i]);
2000 mono_counters_init ();
2002 #ifndef HOST_WIN32
2003 mono_w32handle_init ();
2004 #endif
2006 /* Set rootdir before loading config */
2007 mono_set_rootdir ();
2009 if (enable_profile) {
2010 mono_profiler_load (profile_options);
2011 mono_profiler_thread_name (MONO_NATIVE_THREAD_ID_TO_UINT (mono_native_thread_id_get ()), "Main");
2014 mono_attach_parse_options (attach_options);
2016 if (trace_options != NULL){
2018 * Need to call this before mini_init () so we can trace methods
2019 * compiled there too.
2021 mono_jit_trace_calls = mono_trace_parse_options (trace_options);
2022 if (mono_jit_trace_calls == NULL)
2023 exit (1);
2026 #ifdef DISABLE_JIT
2027 if (!mono_aot_only) {
2028 fprintf (stderr, "This runtime has been configured with --enable-minimal=jit, so the --full-aot command line option is required.\n");
2029 exit (1);
2031 #endif
2033 if (action == DO_DEBUGGER) {
2034 enable_debugging = TRUE;
2035 g_print ("The Mono Debugger is no longer supported.\n");
2036 return 1;
2037 } else if (enable_debugging)
2038 mono_debug_init (MONO_DEBUG_FORMAT_MONO);
2040 #ifdef HOST_WIN32
2041 if (mixed_mode)
2042 mono_load_coree (argv [i]);
2043 #endif
2045 /* Parse gac loading options before loading assemblies. */
2046 if (mono_compile_aot || action == DO_EXEC || action == DO_DEBUGGER) {
2047 mono_config_parse (config_file);
2050 mono_set_defaults (mini_verbose, opt);
2051 domain = mini_init (argv [i], forced_version);
2053 mono_gc_set_stack_end (&domain);
2055 if (agents) {
2056 int i;
2058 for (i = 0; i < agents->len; ++i) {
2059 int res = load_agent (domain, (char*)g_ptr_array_index (agents, i));
2060 if (res) {
2061 g_ptr_array_free (agents, TRUE);
2062 mini_cleanup (domain);
2063 return 1;
2067 g_ptr_array_free (agents, TRUE);
2070 switch (action) {
2071 case DO_SINGLE_METHOD_REGRESSION:
2072 mono_do_single_method_regression = TRUE;
2073 case DO_REGRESSION:
2074 if (mini_regression_list (mini_verbose, argc -i, argv + i)) {
2075 g_print ("Regression ERRORS!\n");
2076 mini_cleanup (domain);
2077 return 1;
2079 mini_cleanup (domain);
2080 return 0;
2081 case DO_BENCH:
2082 if (argc - i != 1 || mname == NULL) {
2083 g_print ("Usage: mini --ncompile num --compile method assembly\n");
2084 mini_cleanup (domain);
2085 return 1;
2087 aname = argv [i];
2088 break;
2089 case DO_COMPILE:
2090 if (argc - i != 1) {
2091 mini_usage ();
2092 mini_cleanup (domain);
2093 return 1;
2095 aname = argv [i];
2096 break;
2097 case DO_DRAW:
2098 if (argc - i != 1 || mname == NULL) {
2099 mini_usage ();
2100 mini_cleanup (domain);
2101 return 1;
2103 aname = argv [i];
2104 break;
2105 default:
2106 if (argc - i < 1) {
2107 mini_usage ();
2108 mini_cleanup (domain);
2109 return 1;
2111 aname = argv [i];
2112 break;
2115 #ifdef MONO_JIT_INFO_TABLE_TEST
2116 if (test_jit_info_table)
2117 jit_info_table_test (domain);
2118 #endif
2120 assembly = mono_assembly_open (aname, &open_status);
2121 if (!assembly) {
2122 fprintf (stderr, "Cannot open assembly '%s': %s.\n", aname, mono_image_strerror (open_status));
2123 mini_cleanup (domain);
2124 return 2;
2127 if (trace_options != NULL)
2128 mono_trace_set_assembly (assembly);
2130 if (mono_compile_aot || action == DO_EXEC) {
2131 const char *error;
2133 //mono_set_rootdir ();
2135 error = mono_check_corlib_version ();
2136 if (error) {
2137 fprintf (stderr, "Corlib not in sync with this runtime: %s\n", error);
2138 fprintf (stderr, "Loaded from: %s\n",
2139 mono_defaults.corlib? mono_image_get_filename (mono_defaults.corlib): "unknown");
2140 fprintf (stderr, "Download a newer corlib or a newer runtime at http://www.mono-project.com/download.\n");
2141 exit (1);
2144 #if defined(HOST_WIN32) && G_HAVE_API_SUPPORT(HAVE_CLASSIC_WINAPI_SUPPORT)
2145 /* Detach console when executing IMAGE_SUBSYSTEM_WINDOWS_GUI on win32 */
2146 if (!enable_debugging && !mono_compile_aot && ((MonoCLIImageInfo*)(mono_assembly_get_image (assembly)->image_info))->cli_header.nt.pe_subsys_required == IMAGE_SUBSYSTEM_WINDOWS_GUI)
2147 FreeConsole ();
2148 #endif
2150 main_args.domain = domain;
2151 main_args.file = aname;
2152 main_args.argc = argc - i;
2153 main_args.argv = argv + i;
2154 main_args.opts = opt;
2155 main_args.aot_options = aot_options;
2156 #if RUN_IN_SUBTHREAD
2157 mono_runtime_exec_managed_code (domain, main_thread_handler, &main_args);
2158 #else
2159 main_thread_handler (&main_args);
2160 mono_thread_manage ();
2161 #endif
2163 mini_cleanup (domain);
2165 /* Look up return value from System.Environment.ExitCode */
2166 i = mono_environment_exitcode_get ();
2167 return i;
2168 } else if (action == DO_COMPILE) {
2169 compile_all_methods (assembly, mini_verbose, opt, recompilation_times);
2170 mini_cleanup (domain);
2171 return 0;
2172 } else if (action == DO_DEBUGGER) {
2173 return 1;
2175 desc = mono_method_desc_new (mname, 0);
2176 if (!desc) {
2177 g_print ("Invalid method name %s\n", mname);
2178 mini_cleanup (domain);
2179 return 3;
2181 method = mono_method_desc_search_in_image (desc, mono_assembly_get_image (assembly));
2182 if (!method) {
2183 g_print ("Cannot find method %s\n", mname);
2184 mini_cleanup (domain);
2185 return 3;
2188 #ifndef DISABLE_JIT
2189 if (action == DO_DRAW) {
2190 int part = 0;
2192 switch (mono_graph_options) {
2193 case MONO_GRAPH_DTREE:
2194 part = 1;
2195 opt |= MONO_OPT_LOOP;
2196 break;
2197 case MONO_GRAPH_CFG_CODE:
2198 part = 1;
2199 break;
2200 case MONO_GRAPH_CFG_SSA:
2201 part = 2;
2202 break;
2203 case MONO_GRAPH_CFG_OPTCODE:
2204 part = 3;
2205 break;
2206 default:
2207 break;
2210 if ((method->iflags & METHOD_IMPL_ATTRIBUTE_INTERNAL_CALL) ||
2211 (method->flags & METHOD_ATTRIBUTE_PINVOKE_IMPL)) {
2212 MonoMethod *nm;
2213 nm = mono_marshal_get_native_wrapper (method, TRUE, FALSE);
2214 cfg = mini_method_compile (nm, opt, mono_get_root_domain (), (JitFlags)0, part, -1);
2216 else
2217 cfg = mini_method_compile (method, opt, mono_get_root_domain (), (JitFlags)0, part, -1);
2218 if ((mono_graph_options & MONO_GRAPH_CFG_SSA) && !(cfg->comp_done & MONO_COMP_SSA)) {
2219 g_warning ("no SSA info available (use -O=deadce)");
2220 return 1;
2222 mono_draw_graph (cfg, mono_graph_options);
2223 mono_destroy_compile (cfg);
2225 } else if (action == DO_BENCH) {
2226 if (mini_stats_fd) {
2227 const char *n;
2228 double no_opt_time = 0.0;
2229 GTimer *timer = g_timer_new ();
2230 fprintf (mini_stats_fd, "$stattitle = \'Compilations times for %s\';\n",
2231 mono_method_full_name (method, TRUE));
2232 fprintf (mini_stats_fd, "@data = (\n");
2233 fprintf (mini_stats_fd, "[");
2234 for (i = 0; i < G_N_ELEMENTS (opt_sets); i++) {
2235 opt = opt_sets [i];
2236 n = mono_opt_descr (opt);
2237 if (!n [0])
2238 n = "none";
2239 fprintf (mini_stats_fd, "\"%s\",", n);
2241 fprintf (mini_stats_fd, "],\n[");
2243 for (i = 0; i < G_N_ELEMENTS (opt_sets); i++) {
2244 int j;
2245 double elapsed;
2246 opt = opt_sets [i];
2247 g_timer_start (timer);
2248 for (j = 0; j < count; ++j) {
2249 cfg = mini_method_compile (method, opt, mono_get_root_domain (), (JitFlags)0, 0, -1);
2250 mono_destroy_compile (cfg);
2252 g_timer_stop (timer);
2253 elapsed = g_timer_elapsed (timer, NULL);
2254 if (!opt)
2255 no_opt_time = elapsed;
2256 fprintf (mini_stats_fd, "%f, ", elapsed);
2258 fprintf (mini_stats_fd, "]");
2259 if (no_opt_time > 0.0) {
2260 fprintf (mini_stats_fd, ", \n[");
2261 for (i = 0; i < G_N_ELEMENTS (opt_sets); i++)
2262 fprintf (mini_stats_fd, "%f,", no_opt_time);
2263 fprintf (mini_stats_fd, "]");
2265 fprintf (mini_stats_fd, ");\n");
2266 } else {
2267 for (i = 0; i < count; ++i) {
2268 if ((method->iflags & METHOD_IMPL_ATTRIBUTE_INTERNAL_CALL) ||
2269 (method->flags & METHOD_ATTRIBUTE_PINVOKE_IMPL))
2270 method = mono_marshal_get_native_wrapper (method, TRUE, FALSE);
2272 cfg = mini_method_compile (method, opt, mono_get_root_domain (), (JitFlags)0, 0, -1);
2273 mono_destroy_compile (cfg);
2276 } else {
2277 cfg = mini_method_compile (method, opt, mono_get_root_domain (), (JitFlags)0, 0, -1);
2278 mono_destroy_compile (cfg);
2280 #endif
2282 mini_cleanup (domain);
2283 return 0;
2286 MonoDomain *
2287 mono_jit_init (const char *file)
2289 return mini_init (file, NULL);
2293 * mono_jit_init_version:
2294 * @domain_name: the name of the root domain
2295 * @runtime_version: the version of the runtime to load
2297 * Use this version when you want to force a particular runtime
2298 * version to be used. By default Mono will pick the runtime that is
2299 * referenced by the initial assembly (specified in @file), this
2300 * routine allows programmers to specify the actual runtime to be used
2301 * as the initial runtime is inherited by all future assemblies loaded
2302 * (since Mono does not support having more than one mscorlib runtime
2303 * loaded at once).
2305 * The @runtime_version can be one of these strings: "v4.0.30319" for
2306 * desktop, "mobile" for mobile or "moonlight" for Silverlight compat.
2307 * If an unrecognized string is input, the vm will default to desktop.
2309 * Returns: the MonoDomain representing the domain where the assembly
2310 * was loaded.
2312 MonoDomain *
2313 mono_jit_init_version (const char *domain_name, const char *runtime_version)
2315 return mini_init (domain_name, runtime_version);
2318 void
2319 mono_jit_cleanup (MonoDomain *domain)
2321 mono_thread_manage ();
2323 mini_cleanup (domain);
2326 void
2327 mono_jit_set_aot_only (gboolean val)
2329 mono_aot_only = val;
2332 void
2333 mono_jit_set_aot_mode (MonoAotMode mode)
2335 /* we don't want to set mono_aot_mode twice */
2336 g_assert (mono_aot_mode == MONO_AOT_MODE_NONE);
2337 mono_aot_mode = mode;
2339 if (mono_aot_mode == MONO_AOT_MODE_LLVMONLY) {
2340 mono_aot_only = TRUE;
2341 mono_llvm_only = TRUE;
2343 if (mono_aot_mode == MONO_AOT_MODE_FULL) {
2344 mono_aot_only = TRUE;
2346 if (mono_aot_mode == MONO_AOT_MODE_HYBRID) {
2347 mono_set_generic_sharing_vt_supported (TRUE);
2348 mono_set_partial_sharing_supported (TRUE);
2353 * mono_jit_set_trace_options:
2354 * @options: string representing the trace options
2356 * Set the options of the tracing engine. This function can be called before initializing
2357 * the mono runtime. See the --trace mono(1) manpage for the options format.
2359 * Returns: #TRUE if the options where parsed and set correctly, #FALSE otherwise.
2361 gboolean
2362 mono_jit_set_trace_options (const char* options)
2364 MonoTraceSpec *trace_opt = mono_trace_parse_options (options);
2365 if (trace_opt == NULL)
2366 return FALSE;
2367 mono_jit_trace_calls = trace_opt;
2368 return TRUE;
2372 * mono_set_signal_chaining:
2374 * Enable/disable signal chaining. This should be called before mono_jit_init ().
2375 * If signal chaining is enabled, the runtime saves the original signal handlers before
2376 * installing its own handlers, and calls the original ones in the following cases:
2377 * - a SIGSEGV/SIGABRT signal received while executing native (i.e. not JITted) code.
2378 * - SIGPROF
2379 * - SIGFPE
2380 * - SIGQUIT
2381 * - SIGUSR2
2382 * Signal chaining only works on POSIX platforms.
2384 void
2385 mono_set_signal_chaining (gboolean chain_signals)
2387 mono_do_signal_chaining = chain_signals;
2391 * mono_set_crash_chaining:
2393 * Enable/disable crash chaining due to signals. When a fatal signal is delivered and
2394 * Mono doesn't know how to handle it, it will invoke the crash handler. If chrash chaining
2395 * is enabled, it will first print its crash information and then try to chain with the native handler.
2397 void
2398 mono_set_crash_chaining (gboolean chain_crashes)
2400 mono_do_crash_chaining = chain_crashes;
2404 * mono_parse_options_from:
2405 * @options: string containing strings
2406 * @ref_argc: pointer to the argc variable that might be updated
2407 * @ref_argv: pointer to the argv string vector variable that might be updated
2409 * This function parses the contents of the `MONO_ENV_OPTIONS`
2410 * environment variable as if they were parsed by a command shell
2411 * splitting the contents by spaces into different elements of the
2412 * @argv vector. This method supports quoting with both the " and '
2413 * characters. Inside quoting, spaces and tabs are significant,
2414 * otherwise, they are considered argument separators.
2416 * The \ character can be used to escape the next character which will
2417 * be added to the current element verbatim. Typically this is used
2418 * inside quotes. If the quotes are not balanced, this method
2420 * If the environment variable is empty, no changes are made
2421 * to the values pointed by @ref_argc and @ref_argv.
2423 * Otherwise the @ref_argv is modified to point to a new array that contains
2424 * all the previous elements contained in the vector, plus the values parsed.
2425 * The @argc is updated to match the new number of parameters.
2427 * Returns: The value NULL is returned on success, otherwise a g_strdup allocated
2428 * string is returned (this is an alias to malloc under normal circumstances) that
2429 * contains the error message that happened during parsing.
2431 char *
2432 mono_parse_options_from (const char *options, int *ref_argc, char **ref_argv [])
2434 int argc = *ref_argc;
2435 char **argv = *ref_argv;
2436 GPtrArray *array = g_ptr_array_new ();
2437 GString *buffer = g_string_new ("");
2438 const char *p;
2439 unsigned i;
2440 gboolean in_quotes = FALSE;
2441 char quote_char = '\0';
2443 if (options == NULL)
2444 return NULL;
2446 for (p = options; *p; p++){
2447 switch (*p){
2448 case ' ': case '\t':
2449 if (!in_quotes) {
2450 if (buffer->len != 0){
2451 g_ptr_array_add (array, g_strdup (buffer->str));
2452 g_string_truncate (buffer, 0);
2454 } else {
2455 g_string_append_c (buffer, *p);
2457 break;
2458 case '\\':
2459 if (p [1]){
2460 g_string_append_c (buffer, p [1]);
2461 p++;
2463 break;
2464 case '\'':
2465 case '"':
2466 if (in_quotes) {
2467 if (quote_char == *p)
2468 in_quotes = FALSE;
2469 else
2470 g_string_append_c (buffer, *p);
2471 } else {
2472 in_quotes = TRUE;
2473 quote_char = *p;
2475 break;
2476 default:
2477 g_string_append_c (buffer, *p);
2478 break;
2481 if (in_quotes)
2482 return g_strdup_printf ("Unmatched quotes in value: [%s]\n", options);
2484 if (buffer->len != 0)
2485 g_ptr_array_add (array, g_strdup (buffer->str));
2486 g_string_free (buffer, TRUE);
2488 if (array->len > 0){
2489 int new_argc = array->len + argc;
2490 char **new_argv = g_new (char *, new_argc + 1);
2491 int j;
2493 new_argv [0] = argv [0];
2495 /* First the environment variable settings, to allow the command line options to override */
2496 for (i = 0; i < array->len; i++)
2497 new_argv [i+1] = (char *)g_ptr_array_index (array, i);
2498 i++;
2499 for (j = 1; j < argc; j++)
2500 new_argv [i++] = argv [j];
2501 new_argv [i] = NULL;
2503 *ref_argc = new_argc;
2504 *ref_argv = new_argv;
2506 g_ptr_array_free (array, TRUE);
2507 return NULL;
2511 * mono_parse_env_options:
2512 * @ref_argc: pointer to the argc variable that might be updated
2513 * @ref_argv: pointer to the argv string vector variable that might be updated
2515 * This function parses the contents of the `MONO_ENV_OPTIONS`
2516 * environment variable as if they were parsed by a command shell
2517 * splitting the contents by spaces into different elements of the
2518 * @argv vector. This method supports quoting with both the " and '
2519 * characters. Inside quoting, spaces and tabs are significant,
2520 * otherwise, they are considered argument separators.
2522 * The \ character can be used to escape the next character which will
2523 * be added to the current element verbatim. Typically this is used
2524 * inside quotes. If the quotes are not balanced, this method
2526 * If the environment variable is empty, no changes are made
2527 * to the values pointed by @ref_argc and @ref_argv.
2529 * Otherwise the @ref_argv is modified to point to a new array that contains
2530 * all the previous elements contained in the vector, plus the values parsed.
2531 * The @argc is updated to match the new number of parameters.
2533 * If there is an error parsing, this method will terminate the process by
2534 * calling exit(1).
2536 * An alternative to this method that allows an arbitrary string to be parsed
2537 * and does not exit on error is the `api:mono_parse_options_from`.
2539 void
2540 mono_parse_env_options (int *ref_argc, char **ref_argv [])
2542 char *ret;
2544 const char *env_options = g_getenv ("MONO_ENV_OPTIONS");
2545 if (env_options == NULL)
2546 return;
2547 ret = mono_parse_options_from (env_options, ref_argc, ref_argv);
2548 if (ret == NULL)
2549 return;
2550 fprintf (stderr, "%s", ret);
2551 exit (1);