1.0.7.33: better handling of ASSOC and MEMBER on empty lists
[sbcl.git] / 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 "sbcl.h"
17
18 #include <stdio.h>
19 #include <string.h>
20 #ifndef LISP_FEATURE_WIN32
21 #include <libgen.h>
22 #endif
23 #include <sys/types.h>
24 #ifndef LISP_FEATURE_WIN32
25 #include <sys/wait.h>
26 #endif
27 #include <stdlib.h>
28 #include <unistd.h>
29 #include <sys/file.h>
30 #include <sys/param.h>
31 #include <sys/stat.h>
32 #include <signal.h>
33 #ifndef LISP_FEATURE_WIN32
34 #include <sched.h>
35 #endif
36 #include <errno.h>
37 #include <locale.h>
38
39 #if defined(SVR4) || defined(__linux__)
40 #include <time.h>
41 #endif
42
43 #include "signal.h"
44
45 #include "runtime.h"
46 #include "alloc.h"
47 #include "vars.h"
48 #include "globals.h"
49 #include "os.h"
50 #include "interrupt.h"
51 #include "arch.h"
52 #include "gc.h"
53 #include "interr.h"
54 #include "validate.h"
55 #include "core.h"
56 #include "save.h"
57 #include "lispregs.h"
58 #include "thread.h"
59
60 #include "genesis/static-symbols.h"
61 #include "genesis/symbol.h"
62
63
64 #ifdef irix
65 #include <string.h>
66 #include "interr.h"
67 #endif
68
69 #ifndef SBCL_HOME
70 #define SBCL_HOME "/usr/local/lib/sbcl/"
71 #endif
72
73 \f
74 /* SIGINT handler that invokes the monitor (for when Lisp isn't up to it) */
75 static void
76 sigint_handler(int signal, siginfo_t *info, void *void_context)
77 {
78     lose("\nSIGINT hit at 0x%08lX\n",
79          (unsigned long) *os_context_pc_addr(void_context));
80 }
81
82 /* (This is not static, because we want to be able to call it from
83  * Lisp land.) */
84 void
85 sigint_init(void)
86 {
87     SHOW("entering sigint_init()");
88     install_handler(SIGINT, sigint_handler);
89     SHOW("leaving sigint_init()");
90 }
91 \f
92 /*
93  * helper functions for dealing with command line args
94  */
95
96 void *
97 successful_malloc(size_t size)
98 {
99     void* result = malloc(size);
100     if (0 == result) {
101         lose("malloc failure\n");
102     } else {
103         return result;
104     }
105     return (void *) NULL; /* dummy value: return something ... */
106 }
107
108 char *
109 copied_string(char *string)
110 {
111     return strcpy(successful_malloc(1+strlen(string)), string);
112 }
113
114 char *
115 copied_existing_filename_or_null(char *filename)
116 {
117     struct stat filename_stat;
118     if (stat(filename, &filename_stat)) { /* if failure */
119         return 0;
120     } else {
121         return copied_string(filename);
122     }
123 }
124
125 /* Convert a null-terminated array of null-terminated strings (e.g.
126  * argv or envp) into a Lisp list of Lisp base-strings. */
127 static lispobj
128 alloc_base_string_list(char *array_ptr[])
129 {
130     if (*array_ptr) {
131         return alloc_cons(alloc_base_string(*array_ptr),
132                           alloc_base_string_list(1 + array_ptr));
133     } else {
134         return NIL;
135     }
136 }
137 \f
138 /* miscellaneous chattiness */
139
140 void
141 print_help()
142 {
143     puts(
144 "Usage: sbcl [runtime-options] [toplevel-options] [user-options]\n\
145 Common runtime options:\n\
146   --help                     Print this message and exit.\n\
147   --version                  Print version information and exit.\n\
148   --core <filename>          Use the specified core file instead of the default.\n\
149   --dynamic-space-size <MiB> Size of reserved dynamic space in megabytes.\n\
150 \n\
151 Common toplevel options:\n\
152   --sysinit <filename>       System-wide init-file to use instead of default.\n\
153   --userinit <filename>      Per-user init-file to use instead of default.\n\
154   --no-sysinit               Inhibit processing of any system-wide init-file.\n\
155   --no-userinit              Inhibit processing of any per-user init-file.\n\
156 \n\
157 User options are not processed by SBCL. All runtime options must\n\
158 appear before toplevel options, and all toplevel options must\n\
159 appear before user options.\n\
160 \n\
161 For more information please refer to the SBCL User Manual, which\n\
162 should be installed along with SBCL, and is also available from the\n\
163 website <http://www.sbcl.org/>.\n");
164 }
165
166 void
167 print_version()
168 {
169     printf("SBCL %s\n", SBCL_VERSION_STRING);
170 }
171
172 void
173 print_banner()
174 {
175     printf(
176 "This is SBCL %s, an implementation of ANSI Common Lisp.\n\
177 More information about SBCL is available at <http://www.sbcl.org/>.\n\
178 \n\
179 SBCL is free software, provided as is, with absolutely no warranty.\n\
180 It is mostly in the public domain; some portions are provided under\n\
181 BSD-style licenses.  See the CREDITS and COPYING files in the\n\
182 distribution for more information.\n\
183 ", SBCL_VERSION_STRING);
184 }
185
186 /* Look for a core file to load, first in the directory named by the
187  * SBCL_HOME environment variable, then in a hardcoded default
188  * location.  Returns a malloced copy of the core filename. */
189 char *
190 search_for_core ()
191 {
192     char *sbcl_home = getenv("SBCL_HOME");
193     char *lookhere;
194     char *stem = "/sbcl.core";
195     char *core;
196
197     if(!sbcl_home) sbcl_home = SBCL_HOME;
198     lookhere = (char *) calloc(strlen(sbcl_home) +
199                                strlen(stem) +
200                                1,
201                                sizeof(char));
202     sprintf(lookhere, "%s%s", sbcl_home, stem);
203     core = copied_existing_filename_or_null(lookhere);
204
205     if (!core) {
206         lose("can't find core file at %s\n", lookhere);
207     }
208
209     free(lookhere);
210
211     return core;
212 }
213
214 char **posix_argv;
215 char *core_string;
216
217 \f
218 int
219 main(int argc, char *argv[], char *envp[])
220 {
221 #ifdef LISP_FEATURE_WIN32
222     /* Exception handling support structure. Evil Win32 hack. */
223     struct lisp_exception_frame exception_frame;
224 #endif
225
226     /* the name of the core file we're to execute. Note that this is
227      * a malloc'ed string which should be freed eventually. */
228     char *core = 0;
229     char **sbcl_argv = 0;
230     os_vm_offset_t embedded_core_offset = 0;
231
232     /* other command line options */
233     boolean noinform = 0;
234     boolean end_runtime_options = 0;
235
236     lispobj initial_function;
237
238     interrupt_init();
239     block_blockable_signals();
240
241     setlocale(LC_ALL, "");
242
243     /* Parse our part of the command line (aka "runtime options"),
244      * stripping out those options that we handle. */
245     {
246         int argi = 1;
247         while (argi < argc) {
248             char *arg = argv[argi];
249             if (0 == strcmp(arg, "--noinform")) {
250                 noinform = 1;
251                 ++argi;
252             } else if (0 == strcmp(arg, "--core")) {
253                 if (core) {
254                     lose("more than one core file specified\n");
255                 } else {
256                     ++argi;
257                     if (argi >= argc) {
258                         lose("missing filename for --core argument\n");
259                     }
260                     core = copied_string(argv[argi]);
261                     ++argi;
262                 }
263             } else if (0 == strcmp(arg, "--help")) {
264                 /* I think this is the (or a) usual convention: upon
265                  * seeing "--help" we immediately print our help
266                  * string and exit, ignoring everything else. */
267                 print_help();
268                 exit(0);
269             } else if (0 == strcmp(arg, "--version")) {
270                 /* As in "--help" case, I think this is expected. */
271                 print_version();
272                 exit(0);
273             } else if (0 == strcmp(arg, "--dynamic-space-size")) {
274                 ++argi;
275                 if (argi >= argc)
276                     lose("missing argument for --dynamic-space-size");
277                 errno = 0;
278                 dynamic_space_size = strtol(argv[argi++], 0, 0) << 20;
279                 if (errno)
280                     lose("argument to --dynamic-space-size is not a number");
281             } else if (0 == strcmp(arg, "--debug-environment")) {
282                 int n = 0;
283                 printf("; Commandline arguments:\n");
284                 while (n < argc) {
285                     printf(";  %2d: \"%s\"\n", n, argv[n]);
286                     ++n;
287                 }
288                 n = 0;
289                 printf(";\n; Environment:\n");
290                 while (ENVIRON[n]) {
291                     printf(";  %2d: \"%s\"\n", n, ENVIRON[n]);
292                     ++n;
293                 }
294                 ++argi;
295             } else if (0 == strcmp(arg, "--end-runtime-options")) {
296                 end_runtime_options = 1;
297                 ++argi;
298                 break;
299             } else {
300                 /* This option was unrecognized as a runtime option,
301                  * so it must be a toplevel option or a user option,
302                  * so we must be past the end of the runtime option
303                  * section. */
304                 break;
305             }
306         }
307         /* This is where we strip out those options that we handle. We
308          * also take this opportunity to make sure that we don't find
309          * an out-of-place "--end-runtime-options" option. */
310         {
311             char *argi0 = argv[argi];
312             int argj = 1;
313             /* (argc - argi) for the arguments, one for the binary,
314                and one for the terminating NULL. */
315             sbcl_argv = successful_malloc((2 + argc - argi) * sizeof(char *));
316             sbcl_argv[0] = argv[0];
317             while (argi < argc) {
318                 char *arg = argv[argi++];
319                 /* If we encounter --end-runtime-options for the first
320                  * time after the point where we had to give up on
321                  * runtime options, then the point where we had to
322                  * give up on runtime options must've been a user
323                  * error. */
324                 if (!end_runtime_options &&
325                     0 == strcmp(arg, "--end-runtime-options")) {
326                     lose("bad runtime option \"%s\"\n", argi0);
327                 }
328                 sbcl_argv[argj++] = arg;
329             }
330             sbcl_argv[argj] = 0;
331         }
332     }
333
334     /* Align down to multiple of page_table page size */
335     dynamic_space_size = (dynamic_space_size/PAGE_BYTES) * PAGE_BYTES;
336
337     /* KLUDGE: os_vm_page_size is set by os_init(), and on some
338      * systems (e.g. Alpha) arch_init() needs need os_vm_page_size, so
339      * it must follow os_init(). -- WHN 2000-01-26 */
340     os_init(argv, envp);
341     arch_init();
342     gc_init();
343     validate();
344
345     /* If no core file was specified, look for one. */
346     if (!core) {
347        char *runtime_path = os_get_runtime_executable_path();
348
349        if (runtime_path) {
350           os_vm_offset_t offset = search_for_embedded_core(runtime_path);
351
352           if (offset != -1) {
353              embedded_core_offset = offset;
354              core = runtime_path;
355           } else {
356              free(runtime_path);
357              core = search_for_core();
358           }
359        } else {
360           core = search_for_core();
361        }
362     }
363
364     /* Make sure that SBCL_HOME is set, unless loading an embedded core. */
365     if (!getenv("SBCL_HOME") && embedded_core_offset == 0) {
366         char *envstring, *copied_core, *dir;
367         char *stem = "SBCL_HOME=";
368         copied_core = copied_string(core);
369         dir = dirname(copied_core);
370         envstring = (char *) calloc(strlen(stem) +
371                                     strlen(dir) +
372                                     1,
373                                     sizeof(char));
374         sprintf(envstring, "%s%s", stem, dir);
375         putenv(envstring);
376         free(copied_core);
377     }
378
379     if (!noinform && embedded_core_offset == 0) {
380         print_banner();
381         fflush(stdout);
382     }
383
384 #if defined(SVR4) || defined(__linux__)
385     tzset();
386 #endif
387
388     define_var("nil", NIL, 1);
389     define_var("t", T, 1);
390
391     enable_lossage_handler();
392
393     globals_init();
394
395     initial_function = load_core_file(core, embedded_core_offset);
396     if (initial_function == NIL) {
397         lose("couldn't find initial function\n");
398     }
399
400     gc_initialize_pointers();
401
402     arch_install_interrupt_handlers();
403 #ifndef LISP_FEATURE_WIN32
404     os_install_interrupt_handlers();
405 #else
406 /*     wos_install_interrupt_handlers(handler); */
407     wos_install_interrupt_handlers(&exception_frame);
408 #endif
409
410     /* Pass core filename and the processed argv into Lisp. They'll
411      * need to be processed further there, to do locale conversion.
412      */
413     core_string = core;
414     posix_argv = sbcl_argv;
415
416     FSHOW((stderr, "/funcalling initial_function=0x%lx\n",
417           (unsigned long)initial_function));
418 #ifdef LISP_FEATURE_WIN32
419     fprintf(stderr, "\n\
420 This is experimental prerelease support for the Windows platform: use\n\
421 at your own risk.  \"Your Kitten of Death awaits!\"\n");
422     fflush(stdout);
423     fflush(stderr);
424 #endif
425     create_initial_thread(initial_function);
426     lose("CATS.  CATS ARE NICE.\n");
427     return 0;
428 }