2 * main() entry point for a stand-alone SBCL image
6 * This software is part of the SBCL system. See the README file for
9 * This software is derived from the CMU CL system, which was
10 * written at Carnegie Mellon University and released into the
11 * public domain. The software is in the public domain and is
12 * provided with absolutely no warranty. See the COPYING and CREDITS
13 * files for more information.
21 #ifndef LISP_FEATURE_WIN32
24 #include <sys/types.h>
25 #ifndef LISP_FEATURE_WIN32
31 #include <sys/param.h>
34 #ifndef LISP_FEATURE_WIN32
41 #if defined(SVR4) || defined(__linux__)
45 #if !(defined(LISP_FEATURE_WIN32) && defined(LISP_FEATURE_SB_THREAD))
55 #include "interrupt.h"
64 #include "genesis/static-symbols.h"
65 #include "genesis/symbol.h"
74 #define SBCL_HOME SBCL_PREFIX"/lib/sbcl/"
77 #ifdef LISP_FEATURE_HPUX
78 extern void *return_from_lisp_stub;
79 #include "genesis/closure.h"
80 #include "genesis/simple-fun.h"
84 /* SIGINT handler that invokes the monitor (for when Lisp isn't up to it) */
86 sigint_handler(int signal, siginfo_t *info, os_context_t *context)
88 lose("\nSIGINT hit at 0x%08lX\n",
89 (unsigned long) *os_context_pc_addr(context));
92 /* (This is not static, because we want to be able to call it from
97 SHOW("entering sigint_init()");
98 install_handler(SIGINT, sigint_handler, 1);
99 SHOW("leaving sigint_init()");
103 * helper functions for dealing with command line args
107 successful_malloc(size_t size)
109 void* result = malloc(size);
111 lose("malloc failure\n");
115 return (void *) NULL; /* dummy value: return something ... */
119 copied_string(char *string)
121 return strcpy(successful_malloc(1+strlen(string)), string);
125 copied_existing_filename_or_null(char *filename)
127 struct stat filename_stat;
128 if (stat(filename, &filename_stat)) { /* if failure */
131 return copied_string(filename);
135 #ifndef LISP_FEATURE_WIN32
137 copied_realpath(const char *pathname)
142 /* realpath() supposedly can't be counted on to always return
143 * an absolute path, so we prepend the cwd to relative paths */
145 if (pathname[0] != '/') {
146 messy = successful_malloc(PATH_MAX + 1);
147 if (getcwd(messy, PATH_MAX + 1) == NULL) {
152 snprintf(messy + len, PATH_MAX + 1 - len, "/%s", pathname);
155 tidy = successful_malloc(PATH_MAX + 1);
156 if (realpath((messy ? messy : pathname), tidy) == NULL) {
164 #endif /* LISP_FEATURE_WIN32 */
166 /* miscellaneous chattiness */
172 "Usage: sbcl [runtime-options] [toplevel-options] [user-options]\n\
173 Common runtime options:\n\
174 --help Print this message and exit.\n\
175 --version Print version information and exit.\n\
176 --core <filename> Use the specified core file instead of the default.\n\
177 --dynamic-space-size <MiB> Size of reserved dynamic space in megabytes.\n\
178 --control-stack-size <MiB> Size of reserved control stack in megabytes.\n\
180 Common toplevel options:\n\
181 --sysinit <filename> System-wide init-file to use instead of default.\n\
182 --userinit <filename> Per-user init-file to use instead of default.\n\
183 --no-sysinit Inhibit processing of any system-wide init-file.\n\
184 --no-userinit Inhibit processing of any per-user init-file.\n\
185 --disable-debugger Invoke sb-ext:disable-debugger.\n\
186 --noprint Run a Read-Eval Loop without printing results.\n\
187 --script [<filename>] Skip #! line, disable debugger, avoid verbosity.\n\
188 --quit Exit with code 0 after option processing.\n\
189 --non-interactive Sets both --quit and --disable-debugger.\n\
190 Common toplevel options that are processed in order:\n\
191 --eval <form> Form to eval when processing this option.\n\
192 --load <filename> File to load when processing this option.\n\
194 User options are not processed by SBCL. All runtime options must\n\
195 appear before toplevel options, and all toplevel options must\n\
196 appear before user options.\n\
198 For more information please refer to the SBCL User Manual, which\n\
199 should be installed along with SBCL, and is also available from the\n\
200 website <http://www.sbcl.org/>.\n");
206 printf("SBCL %s\n", SBCL_VERSION_STRING);
213 "This is SBCL %s, an implementation of ANSI Common Lisp.\n\
214 More information about SBCL is available at <http://www.sbcl.org/>.\n\
216 SBCL is free software, provided as is, with absolutely no warranty.\n\
217 It is mostly in the public domain; some portions are provided under\n\
218 BSD-style licenses. See the CREDITS and COPYING files in the\n\
219 distribution for more information.\n\
220 ", SBCL_VERSION_STRING);
223 /* Look for a core file to load, first in the directory named by the
224 * SBCL_HOME environment variable, then in a hardcoded default
225 * location. Returns a malloced copy of the core filename. */
229 char *sbcl_home = getenv("SBCL_HOME");
231 char *stem = "/sbcl.core";
234 if (!(sbcl_home && *sbcl_home)) sbcl_home = SBCL_HOME;
235 lookhere = (char *) calloc(strlen(sbcl_home) +
239 sprintf(lookhere, "%s%s", sbcl_home, stem);
240 core = copied_existing_filename_or_null(lookhere);
243 lose("can't find core file at %s\n", lookhere);
251 /* Try to find the path to an executable from argv[0], this is only
252 * used when os_get_runtime_executable_path() returns NULL */
253 #ifdef LISP_FEATURE_WIN32
255 search_for_executable(const char *argv0)
259 #else /* LISP_FEATURE_WIN32 */
261 search_for_executable(const char *argv0)
263 char *search, *start, *end, *buf;
265 /* If argv[0] contains a slash then it's probably an absolute path
266 * or relative to the current directory, so check if it exists. */
267 if (strchr(argv0, '/') != NULL && access(argv0, F_OK) == 0)
268 return copied_realpath(argv0);
270 /* Bail on an absolute path which doesn't exist */
274 /* Otherwise check if argv[0] exists relative to any directory in PATH */
275 search = getenv("PATH");
278 search = copied_string(search);
279 buf = successful_malloc(PATH_MAX + 1);
280 for (start = search; (end = strchr(start, ':')) != NULL; start = end + 1) {
282 snprintf(buf, PATH_MAX + 1, "%s/%s", start, argv0);
283 if (access(buf, F_OK) == 0) {
285 search = copied_realpath(buf);
290 /* The above for-loop fails to process the last part of PATH if PATH does
291 * not end with ':'. We may consider appending an extra ':' to the end of
292 * SEARCH. -- houjingyi 2013-05-24 */
293 if (start != NULL && *start != '\0') {
294 snprintf(buf, PATH_MAX + 1, "%s/%s", start, argv0);
295 if (access(buf, F_OK) == 0) {
297 search = copied_realpath(buf);
307 #endif /* LISP_FEATURE_WIN32 */
310 parse_size_arg(char *arg, char *arg_name)
312 char *tail, *power_name;
315 res = strtoul(arg, &tail, 0);
318 lose("%s argument is not a number: %s", arg_name, arg);
319 } else if (tail[0]) {
321 power_name = copied_string(tail);
322 size = strlen(power_name);
323 for (i=0; i<size; i++)
324 power_name[i] = toupper(power_name[i]);
330 if ((0==strcmp("KB", power_name)) ||
331 (0==strcmp("KIB", power_name))) {
333 } else if ((0==strcmp("MB", power_name)) ||
334 (0==strcmp("MIB", power_name))) {
336 } else if ((0==strcmp("GB", power_name)) ||
337 (0==strcmp("GIB", power_name))) {
340 lose("%s argument has an unknown suffix: %s", arg_name, tail);
345 (res >= (SIZE_MAX >> power))) {
346 lose("%s argument is out of range: %s", arg_name, arg);
355 struct runtime_options *runtime_options;
357 char *saved_runtime_path = NULL;
358 #if defined(LISP_FEATURE_WIN32) && defined(LISP_FEATURE_SB_THREAD)
359 void pthreads_win32_init();
362 void print_locale_variable(const char *name)
364 char *value = getenv(name);
367 fprintf(stderr, "\n %s=%s", name, value);
373 if(setlocale(LC_ALL, "") == NULL) {
374 #ifndef LISP_FEATURE_WIN32
376 fprintf(stderr, "WARNING: Setting locale failed.\n");
377 fprintf(stderr, " Check the following variables for correct values:");
379 if (setlocale(LC_CTYPE, "") == NULL) {
380 print_locale_variable("LC_ALL");
381 print_locale_variable("LC_CTYPE");
382 print_locale_variable("LANG");
385 if (setlocale(LC_MESSAGES, "") == NULL) {
386 print_locale_variable("LC_MESSAGES");
388 if (setlocale(LC_COLLATE, "") == NULL) {
389 print_locale_variable("LC_COLLATE");
391 if (setlocale(LC_MONETARY, "") == NULL) {
392 print_locale_variable("LC_MONETARY");
394 if (setlocale(LC_NUMERIC, "") == NULL) {
395 print_locale_variable("LC_NUMERIC");
397 if (setlocale(LC_TIME, "") == NULL) {
398 print_locale_variable("LC_TIME");
400 fprintf(stderr, "\n");
408 main(int argc, char *argv[], char *envp[])
410 #ifdef LISP_FEATURE_WIN32
411 /* Exception handling support structure. Evil Win32 hack. */
412 struct lisp_exception_frame exception_frame;
415 /* the name of the core file we're to execute. Note that this is
416 * a malloc'ed string which should be freed eventually. */
418 char **sbcl_argv = 0;
419 os_vm_offset_t embedded_core_offset = 0;
420 char *runtime_path = 0;
422 /* other command line options */
423 boolean noinform = 0;
424 boolean end_runtime_options = 0;
425 boolean disable_lossage_handler_p = 0;
427 lispobj initial_function;
428 const char *sbcl_home = getenv("SBCL_HOME");
430 #if defined(LISP_FEATURE_WIN32) && defined(LISP_FEATURE_SB_THREAD)
432 pthreads_win32_init();
436 block_blockable_signals(0, 0);
438 runtime_options = NULL;
440 /* Save the argv[0] derived runtime path in case
441 * os_get_runtime_executable_path(1) isn't able to get an
442 * externally-usable path later on. */
443 saved_runtime_path = search_for_executable(argv[0]);
445 /* Check early to see if this executable has an embedded core,
446 * which also populates runtime_options if the core has runtime
448 runtime_path = os_get_runtime_executable_path(0);
449 if (runtime_path || saved_runtime_path) {
450 os_vm_offset_t offset = search_for_embedded_core(
451 runtime_path ? runtime_path : saved_runtime_path);
453 embedded_core_offset = offset;
454 core = (runtime_path ? runtime_path :
455 copied_string(saved_runtime_path));
463 /* Parse our part of the command line (aka "runtime options"),
464 * stripping out those options that we handle. */
465 if (runtime_options != NULL) {
466 dynamic_space_size = runtime_options->dynamic_space_size;
467 thread_control_stack_size = runtime_options->thread_control_stack_size;
472 runtime_options = successful_malloc(sizeof(struct runtime_options));
474 while (argi < argc) {
475 char *arg = argv[argi];
476 if (0 == strcmp(arg, "--script")) {
477 /* This is both a runtime and a toplevel option. As a
478 * runtime option, it is equivalent to --noinform.
479 * This exits, and does not increment argi, so that
480 * TOPLEVEL-INIT sees the option. */
482 end_runtime_options = 1;
483 disable_lossage_handler_p = 1;
484 lose_on_corruption_p = 1;
486 } else if (0 == strcmp(arg, "--noinform")) {
489 } else if (0 == strcmp(arg, "--core")) {
491 lose("more than one core file specified\n");
495 lose("missing filename for --core argument\n");
497 core = copied_string(argv[argi]);
500 } else if (0 == strcmp(arg, "--help")) {
501 /* I think this is the (or a) usual convention: upon
502 * seeing "--help" we immediately print our help
503 * string and exit, ignoring everything else. */
506 } else if (0 == strcmp(arg, "--version")) {
507 /* As in "--help" case, I think this is expected. */
510 } else if (0 == strcmp(arg, "--dynamic-space-size")) {
513 lose("missing argument for --dynamic-space-size");
514 dynamic_space_size = parse_size_arg(argv[argi++], "--dynamic-space-size");
515 # ifdef MAX_DYNAMIC_SPACE_END
516 if (!((DYNAMIC_SPACE_START <
517 DYNAMIC_SPACE_START+dynamic_space_size) &&
518 (DYNAMIC_SPACE_START+dynamic_space_size <=
519 MAX_DYNAMIC_SPACE_END)))
520 lose("--dynamic-space-size argument %s is too large, max %lu",
521 argv[argi-1], MAX_DYNAMIC_SPACE_END-DYNAMIC_SPACE_START);
523 } else if (0 == strcmp(arg, "--control-stack-size")) {
526 lose("missing argument for --control-stack-size");
528 thread_control_stack_size = parse_size_arg(argv[argi++], "--control-stack-size");
529 } else if (0 == strcmp(arg, "--debug-environment")) {
531 printf("; Commandline arguments:\n");
533 printf("; %2d: \"%s\"\n", n, argv[n]);
537 printf(";\n; Environment:\n");
539 printf("; %2d: \"%s\"\n", n, ENVIRON[n]);
543 } else if (0 == strcmp(arg, "--disable-ldb")) {
544 disable_lossage_handler_p = 1;
546 } else if (0 == strcmp(arg, "--lose-on-corruption")) {
547 lose_on_corruption_p = 1;
549 } else if (0 == strcmp(arg, "--end-runtime-options")) {
550 end_runtime_options = 1;
553 } else if (0 == strcmp(arg, "--merge-core-pages")) {
555 merge_core_pages = 1;
556 } else if (0 == strcmp(arg, "--no-merge-core-pages")) {
558 merge_core_pages = 0;
559 } else if (0 == strcmp(arg, "--default-merge-core-pages")) {
561 merge_core_pages = -1;
563 /* This option was unrecognized as a runtime option,
564 * so it must be a toplevel option or a user option,
565 * so we must be past the end of the runtime option
570 /* This is where we strip out those options that we handle. We
571 * also take this opportunity to make sure that we don't find
572 * an out-of-place "--end-runtime-options" option. */
574 char *argi0 = argv[argi];
576 /* (argc - argi) for the arguments, one for the binary,
577 and one for the terminating NULL. */
578 sbcl_argv = successful_malloc((2 + argc - argi) * sizeof(char *));
579 sbcl_argv[0] = argv[0];
580 while (argi < argc) {
581 char *arg = argv[argi++];
582 /* If we encounter --end-runtime-options for the first
583 * time after the point where we had to give up on
584 * runtime options, then the point where we had to
585 * give up on runtime options must've been a user
587 if (!end_runtime_options &&
588 0 == strcmp(arg, "--end-runtime-options")) {
589 lose("bad runtime option \"%s\"\n", argi0);
591 sbcl_argv[argj++] = arg;
597 /* Align down to multiple of page_table page size, and to the appropriate
598 * stack alignment. */
599 dynamic_space_size &= ~(sword_t)(PAGE_BYTES-1);
600 #ifdef LISP_FEATURE_GENCGC
601 dynamic_space_size &= ~(sword_t)(GENCGC_CARD_BYTES-1);
603 thread_control_stack_size &= ~(sword_t)(CONTROL_STACK_ALIGNMENT_BYTES-1);
605 /* Preserve the runtime options for possible future core saving */
606 runtime_options->dynamic_space_size = dynamic_space_size;
607 runtime_options->thread_control_stack_size = thread_control_stack_size;
609 /* KLUDGE: os_vm_page_size is set by os_init(), and on some
610 * systems (e.g. Alpha) arch_init() needs need os_vm_page_size, so
611 * it must follow os_init(). -- WHN 2000-01-26 */
613 dyndebug_init(); /* after os_init: do not print output before execve */
620 /* If no core file was specified, look for one. */
622 core = search_for_core();
625 /* Make sure that SBCL_HOME is set and not the empty string,
626 unless loading an embedded core. */
627 if (!(sbcl_home && *sbcl_home) && embedded_core_offset == 0) {
628 char *envstring, *copied_core, *dir;
629 char *stem = "SBCL_HOME=";
630 copied_core = copied_string(core);
631 dir = dirname(copied_core);
632 envstring = (char *) calloc(strlen(stem) +
636 sprintf(envstring, "%s%s", stem, dir);
641 if (!noinform && embedded_core_offset == 0) {
646 if (embedded_core_offset == 0) {
647 /* Here we make a last attempt at recognizing an embedded core,
648 * so that a file with an embedded core is a valid argument to
649 * --core. We take care that any decisions on special behaviour
650 * (suppressed banner, embedded options) have already been made
651 * before we reach this block, so that there is no observable
652 * difference between "embedded" and "bare" images given to
654 os_vm_offset_t offset = search_for_embedded_core(core);
656 embedded_core_offset = offset;
659 #if defined(SVR4) || defined(__linux__) || defined(__NetBSD__)
663 define_var("nil", NIL, 1);
664 define_var("t", T, 1);
666 if (!disable_lossage_handler_p)
667 enable_lossage_handler();
671 initial_function = load_core_file(core, embedded_core_offset);
672 if (initial_function == NIL) {
673 lose("couldn't find initial function\n");
675 #ifdef LISP_FEATURE_SB_DYNAMIC_CORE
678 #ifdef LISP_FEATURE_HPUX
679 /* -1 = CLOSURE_FUN_OFFSET, 23 = SIMPLE_FUN_CODE_OFFSET, we are
680 * not in LANGUAGE_ASSEMBLY so we cant reach them. */
681 return_from_lisp_stub = (void *) ((char *)*((unsigned long *)
682 ((char *)initial_function + -1)) + 23);
685 gc_initialize_pointers();
687 arch_install_interrupt_handlers();
688 #ifndef LISP_FEATURE_WIN32
689 os_install_interrupt_handlers();
691 /* wos_install_interrupt_handlers(handler); */
692 wos_install_interrupt_handlers(&exception_frame);
695 /* Pass core filename and the processed argv into Lisp. They'll
696 * need to be processed further there, to do locale conversion.
699 posix_argv = sbcl_argv;
701 FSHOW((stderr, "/funcalling initial_function=0x%lx\n",
702 (unsigned long)initial_function));
703 #ifdef LISP_FEATURE_WIN32
705 This is experimental prerelease support for the Windows platform: use\n\
706 at your own risk. \"Your Kitten of Death awaits!\"\n");
710 create_initial_thread(initial_function);
711 lose("CATS. CATS ARE NICE.\n");