src/runtime/runtime.c

   1 /*
   2  * main() entry point for a stand-alone SBCL image
   3  */
   4
   5 /*
   6  * This software is part of the SBCL system. See the README file for
   7  * more information.
   8  *
   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.
  14  */
  15
  16 #include <stdio.h>
  17 #include <string.h>
  18 #include <sys/types.h>
  19 #include <stdlib.h>
  20 #include <unistd.h>
  21 #include <sys/file.h>
  22 #include <sys/param.h>
  23 #include <sys/stat.h>
  24
  25 #if defined(SVR4) || defined(__linux__)
  26 #include <time.h>
  27 #endif
  28
  29 #include "signal.h"
  30
  31 #include "runtime.h"
  32 #include "sbcl.h"
  33 #include "alloc.h"
  34 #include "vars.h"
  35 #include "globals.h"
  36 #include "os.h"
  37 #include "interrupt.h"
  38 #include "arch.h"
  39 #include "gc.h"
  40 #include "interr.h"
  41 #include "monitor.h"
  42 #include "validate.h"
  43 #if defined GENCGC
  44 #include "gencgc.h"
  45 #endif
  46 #include "core.h"
  47 #include "save.h"
  48 #include "lispregs.h"
  49
  50 #ifdef irix
  51 #include <string.h>
  52 #include "interr.h"
  53 #endif
  54 \f
  55 /* SIGINT handler that invokes the monitor (for when Lisp isn't up to it) */
  56 static void
  57 sigint_handler(int signal, siginfo_t *info, void *void_context)
  58 {
  59     lose("\nSIGINT hit at 0x%08lX\n",
  60          (unsigned long) *os_context_pc_addr(void_context));
  61 }
  62
  63 /* (This is not static, because we want to be able to call it from
  64  * Lisp land.) */
  65 void
  66 sigint_init(void)
  67 {
  68     SHOW("entering sigint_init()");
  69     install_handler(SIGINT, sigint_handler);
  70     SHOW("leaving sigint_init()");
  71 }
  72 \f
  73 /*
  74  * helper functions for dealing with command line args
  75  */
  76
  77 void *
  78 successful_malloc(size_t size)
  79 {
  80     void* result = malloc(size);
  81     if (0 == result) {
  82         lose("malloc failure");
  83     } else {
  84         return result;
  85     }
  86     return (void *) NULL; /* dummy value: return something ... */
  87 }
  88
  89 char *
  90 copied_string(char *string)
  91 {
  92     return strcpy(successful_malloc(1+strlen(string)), string);
  93 }
  94
  95 char *
  96 copied_existing_filename_or_null(char *filename)
  97 {
  98     struct stat filename_stat;
  99     if (stat(filename, &filename_stat)) { /* if failure */
 100         return 0;
 101     } else {
 102         return copied_string(filename);
 103     }
 104 }
 105
 106 /* Convert a null-terminated array of null-terminated strings (e.g.
 107  * argv or envp) into a Lisp list of Lisp strings. */
 108 static lispobj
 109 alloc_string_list(char *array_ptr[])
 110 {
 111     if (*array_ptr) {
 112         return alloc_cons(alloc_string(*array_ptr),
 113                           alloc_string_list(1 + array_ptr));
 114     } else {
 115         return NIL;
 116     }
 117 }
 118 \f
 119 int
 120 main(int argc, char *argv[], char *envp[])
 121 {
 122     /* the name of the core file we're to execute. Note that this is
 123      * a malloc'ed string which should be freed eventually. */
 124     char *core = 0;
 125
 126     /* other command line options */
 127     boolean noinform = 0;
 128     boolean end_runtime_options = 0;
 129
 130     lispobj initial_function;
 131
 132     /* KLUDGE: os_vm_page_size is set by os_init(), and on some
 133      * systems (e.g. Alpha) arch_init() needs need os_vm_page_size, so
 134      * it must follow os_init(). -- WHN 2000-01-26 */
 135     os_init();
 136     arch_init();
 137     gc_init();
 138     validate();
 139
 140     /* Parse our part of the command line (aka "runtime options"),
 141      * stripping out those options that we handle. */
 142     {
 143         int argi = 1;
 144         while (argi < argc) {
 145             char *arg = argv[argi];
 146             if (0 == strcmp(arg, "--noinform")) {
 147                 noinform = 1;
 148                 ++argi;
 149             } else if (0 == strcmp(arg, "--core")) {
 150                 if (core) {
 151                     lose("more than one core file specified");
 152                 } else {
 153                     ++argi;
 154                     core = copied_string(argv[argi]);
 155                     if (argi >= argc) {
 156                         lose("missing filename for --core argument");
 157                     }
 158                     ++argi;
 159                 }
 160             } else if (0 == strcmp(arg, "--end-runtime-options")) {
 161                 end_runtime_options = 1;
 162                 ++argi;
 163                 break;
 164             } else {
 165                 /* This option was unrecognized as a runtime option,
 166                  * so it must be a toplevel option or a user option,
 167                  * so we must be past the end of the runtime option
 168                  * section. */
 169                 break;
 170             }
 171         }
 172         /* This is where we strip out those options that we handle. We
 173          * also take this opportunity to make sure that we don't find
 174          * an out-of-place "--end-runtime-options" option. */
 175         {
 176             char *argi0 = argv[argi];
 177             int argj = 1;
 178             while (argi < argc) {
 179                 char *arg = argv[argi++];
 180                 /* If we encounter --end-runtime-options for the first
 181                  * time after the point where we had to give up on
 182                  * runtime options, then the point where we had to
 183                  * give up on runtime options must've been a user
 184                  * error. */
 185                 if (!end_runtime_options &&
 186                     0 == strcmp(arg, "--end-runtime-options")) {
 187                     lose("bad runtime option \"%s\"", argi0);
 188                 }
 189                 argv[argj++] = arg;
 190             }
 191             argv[argj] = 0;
 192             argc = argj;
 193         }
 194     }
 195
 196     /* If no core file was specified, look for one. */
 197     if (!core) {
 198         char *sbcl_home = getenv("SBCL_HOME");
 199         if (sbcl_home) {
 200             char *lookhere;
 201             lookhere = (char *) calloc(strlen("/sbcl.core") + strlen(sbcl_home) + 1,
 202                                         sizeof(char));
 203             sprintf(lookhere, "%s/sbcl.core", sbcl_home);
 204             core = copied_existing_filename_or_null(lookhere);
 205             free(lookhere);
 206         } else {
 207             core = copied_existing_filename_or_null("/usr/lib/sbcl.core");
 208             if (!core) {
 209                 core = copied_existing_filename_or_null("/usr/local/lib/sbcl.core");
 210             }
 211         }
 212         if (!core) {
 213             lose("can't find core file");
 214         }
 215     }
 216
 217     if (!noinform) {
 218         printf(
 219 "This is SBCL " SBCL_VERSION_STRING ", an implementation of ANSI Common Lisp.\n\
 220 \n\
 221 SBCL is derived from the CMU CL system created at Carnegie Mellon University.\n\
 222 Besides software and documentation originally created at Carnegie Mellon\n\
 223 University, SBCL contains some software originally from the Massachusetts\n\
 224 Institute of Technology, Symbolics Incorporated, and Xerox Corporation, and\n\
 225 material contributed by volunteers since the release of CMU CL into the\n\
 226 public domain. See the CREDITS file in the distribution for more information.\n\
 227 \n\
 228 SBCL is a free software system, provided as is, with absolutely no warranty.\n\
 229 It is mostly in the public domain, but also includes some software copyrighted\n\
 230   Massachusetts Institute of Technology, 1986;\n\
 231   Symbolics, Inc., 1989, 1990, 1991, 1992; and\n\
 232   Xerox Corporation, 1985, 1986, 1987, 1988, 1989, 1990\n\
 233 used under BSD-style licenses allowing copying only under certain conditions.\n\
 234 See the COPYING file in the distribution for more information.\n\
 235 \n\
 236 More information about SBCL is available at <http://sbcl.sourceforge.net/>.\n\
 237 ");
 238         fflush(stdout);
 239     }
 240
 241 #ifdef MACH
 242     mach_init();
 243 #endif
 244 #if defined(SVR4) || defined(__linux__)
 245     tzset();
 246 #endif
 247
 248     define_var("nil", NIL, 1);
 249     define_var("t", T, 1);
 250
 251     set_lossage_handler(monitor_or_something);
 252
 253 #if 0
 254     os_init();
 255     gc_init();
 256     validate();
 257 #endif
 258     globals_init();
 259
 260     initial_function = load_core_file(core);
 261     if (initial_function == NIL) {
 262         lose("couldn't find initial function");
 263     }
 264     SHOW("freeing core");
 265     free(core);
 266
 267 #if defined GENCGC
 268     gencgc_pickup_dynamic();
 269 #else
 270 #endif
 271
 272 #ifdef BINDING_STACK_POINTER
 273     SetSymbolValue(BINDING_STACK_POINTER, BINDING_STACK_START);
 274 #endif
 275 #if defined INTERNAL_GC_TRIGGER && !defined __i386__
 276     SetSymbolValue(INTERNAL_GC_TRIGGER, make_fixnum(-1));
 277 #endif
 278
 279     interrupt_init();
 280
 281     arch_install_interrupt_handlers();
 282     os_install_interrupt_handlers();
 283
 284 #ifdef PSEUDO_ATOMIC_ATOMIC
 285     /* Turn on pseudo atomic for when we call into Lisp. */
 286     SHOW("turning on pseudo atomic");
 287     SetSymbolValue(PSEUDO_ATOMIC_ATOMIC, make_fixnum(1));
 288     SetSymbolValue(PSEUDO_ATOMIC_INTERRUPTED, make_fixnum(0));
 289 #endif
 290
 291     /* Convert remaining argv values to something that Lisp can grok. */
 292     SHOW("setting POSIX-ARGV symbol value");
 293     SetSymbolValue(POSIX_ARGV, alloc_string_list(argv));
 294
 295     /* Install a handler to pick off SIGINT until the Lisp system gets
 296      * far enough along to install its own handler. */
 297     sigint_init();
 298
 299     FSHOW((stderr, "/funcalling initial_function=0x%lx\n", initial_function));
 300     funcall0(initial_function);
 301
 302     /* initial_function() is not supposed to return. */
 303     lose("Lisp initial_function gave up control.");
 304     return 0; /* dummy value: return something */
 305 }
 306