guile-backtrace function
[bpt/guile.git] / libguile / init.c
CommitLineData
eb4a14ed 1/* Copyright (C) 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003,
bc8e6d7d
MW
2 * 2004, 2006, 2009, 2010, 2011, 2012, 2013,
3 * 2014 Free Software Foundation, Inc.
eb4a14ed 4 *
73be1d9e 5 * This library is free software; you can redistribute it and/or
53befeb7
NJ
6 * modify it under the terms of the GNU Lesser General Public License
7 * as published by the Free Software Foundation; either version 3 of
8 * the License, or (at your option) any later version.
0f2d19dd 9 *
53befeb7
NJ
10 * This library is distributed in the hope that it will be useful, but
11 * WITHOUT ANY WARRANTY; without even the implied warranty of
73be1d9e
MV
12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 * Lesser General Public License for more details.
0f2d19dd 14 *
73be1d9e
MV
15 * You should have received a copy of the GNU Lesser General Public
16 * License along with this library; if not, write to the Free Software
53befeb7
NJ
17 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
18 * 02110-1301 USA
73be1d9e 19 */
1bbd0b84 20
1bbd0b84 21
0f2d19dd 22\f
bdca1083
JB
23/* Include the headers for just about everything.
24 We call all their initialization functions. */
0f2d19dd 25
dbb605f5 26#ifdef HAVE_CONFIG_H
6f0250f7
RB
27# include <config.h>
28#endif
29
93003b16 30#include <stdlib.h>
0f2d19dd 31#include <stdio.h>
0a48b624
MV
32#include <sys/stat.h>
33#include <fcntl.h>
05be5e7c 34#include <gmp.h>
0a48b624 35
a0599745 36#include "libguile/_scm.h"
0f2d19dd 37
20e6290e 38/* Everybody has an init function. */
a0599745
MD
39#include "libguile/alist.h"
40#include "libguile/arbiters.h"
41#include "libguile/async.h"
42#include "libguile/backtrace.h"
cf396142 43#include "libguile/bitvectors.h"
a0599745 44#include "libguile/boolean.h"
cfb4702f 45#include "libguile/bytevectors.h"
a0599745 46#include "libguile/chars.h"
b9c100d0 47#include "libguile/control.h"
a0599745 48#include "libguile/continuations.h"
a0599745 49#include "libguile/debug.h"
6b815f1a 50#ifdef GUILE_DEBUG_MALLOC
a0599745 51#include "libguile/debug-malloc.h"
6b815f1a 52#endif
388bebbc 53#include "libguile/deprecation.h"
a0599745
MD
54#include "libguile/dynl.h"
55#include "libguile/dynwind.h"
56#include "libguile/eq.h"
57#include "libguile/error.h"
58#include "libguile/eval.h"
59#include "libguile/evalext.h"
dc3e203e 60#include "libguile/expand.h"
a0599745
MD
61#include "libguile/feature.h"
62#include "libguile/filesys.h"
eaf99988 63#include "libguile/finalizers.h"
a0599745
MD
64#include "libguile/fluids.h"
65#include "libguile/fports.h"
a6029b97 66#include "libguile/frames.h"
a0599745 67#include "libguile/gc.h"
1030b450 68#include "libguile/generalized-arrays.h"
f332e957 69#include "libguile/generalized-vectors.h"
508ded1c 70#include "libguile/goops.h"
a0599745
MD
71#include "libguile/gsubr.h"
72#include "libguile/hash.h"
73#include "libguile/hashtab.h"
2b9c8690 74#include "libguile/hooks.h"
b89c4943 75#include "libguile/gettext.h"
756e8a3a 76#include "libguile/i18n.h"
a6029b97 77#include "libguile/instructions.h"
a0599745
MD
78#include "libguile/ioext.h"
79#include "libguile/keywords.h"
a0599745
MD
80#include "libguile/list.h"
81#include "libguile/load.h"
82#include "libguile/macros.h"
83#include "libguile/mallocs.h"
b7742c6b 84#include "libguile/memoize.h"
a0599745
MD
85#include "libguile/modules.h"
86#include "libguile/net_db.h"
87#include "libguile/numbers.h"
4cbc95f1 88#include "libguile/loader.h"
a0599745
MD
89#include "libguile/objprop.h"
90#include "libguile/options.h"
91#include "libguile/pairs.h"
6f81b18a 92#include "libguile/poll.h"
a0599745
MD
93#include "libguile/ports.h"
94#include "libguile/posix.h"
eb4a14ed 95#ifdef ENABLE_REGEX
a0599745 96#include "libguile/regex-posix.h"
f255378e 97#endif
a0599745
MD
98#include "libguile/print.h"
99#include "libguile/procprop.h"
100#include "libguile/procs.h"
a6029b97 101#include "libguile/programs.h"
7b893819 102#include "libguile/promises.h"
5d1b3b2d 103#include "libguile/array-map.h"
a0599745 104#include "libguile/random.h"
fd937ecb 105#include "libguile/rdelim.h"
a0599745 106#include "libguile/read.h"
b0e5fd8c 107#include "libguile/rw.h"
a0599745
MD
108#include "libguile/scmsigs.h"
109#include "libguile/script.h"
110#include "libguile/simpos.h"
111#include "libguile/smob.h"
112#include "libguile/socket.h"
113#include "libguile/sort.h"
114#include "libguile/srcprop.h"
115#include "libguile/stackchk.h"
116#include "libguile/stacks.h"
117#include "libguile/stime.h"
118#include "libguile/strings.h"
37710f7e
AW
119#include "libguile/srfi-1.h"
120#include "libguile/srfi-4.h"
ad45f6b3
MV
121#include "libguile/srfi-13.h"
122#include "libguile/srfi-14.h"
37710f7e 123#include "libguile/srfi-60.h"
a0599745
MD
124#include "libguile/strorder.h"
125#include "libguile/strports.h"
126#include "libguile/struct.h"
127#include "libguile/symbols.h"
a0599745 128#include "libguile/throw.h"
2fa901a5 129#include "libguile/arrays.h"
0f458a37 130#include "libguile/trees.h"
ce212434 131#include "libguile/values.h"
a0599745
MD
132#include "libguile/variable.h"
133#include "libguile/vectors.h"
134#include "libguile/version.h"
a6029b97 135#include "libguile/vm.h"
a0599745 136#include "libguile/vports.h"
a0599745 137#include "libguile/guardians.h"
1be6b49c 138#include "libguile/extensions.h"
476b894c 139#include "libguile/uniform.h"
9b31f1c1 140#include "libguile/deprecated.h"
20e6290e 141
a0599745 142#include "libguile/init.h"
22fc179a 143#include "libguile/private-options.h"
a8be22fe 144
95b88819
GH
145#ifdef HAVE_STRING_H
146#include <string.h>
147#endif
95b88819 148#include <unistd.h>
0f2d19dd
JB
149
150
151\f
1cdaaafb
JB
152/* initializing standard and current I/O ports */
153
19b27fa2
GH
154typedef struct
155{
156 int fdes;
157 char *mode;
19b27fa2
GH
158} stream_body_data;
159
160/* proc to be called in scope of exception handler stream_handler. */
ee149d03 161static SCM
19b27fa2 162stream_body (void *data)
ee149d03 163{
19b27fa2 164 stream_body_data *body_data = (stream_body_data *) data;
bfb85df7 165 SCM port = scm_fdes_to_port (body_data->fdes, body_data->mode, SCM_BOOL_F);
3753e227 166 scm_set_port_revealed_x (port, SCM_INUM1);
19b27fa2
GH
167 return port;
168}
169
170/* exception handler for stream_body. */
171static SCM
e81d98ec
DH
172stream_handler (void *data SCM_UNUSED,
173 SCM tag SCM_UNUSED,
174 SCM throw_args SCM_UNUSED)
19b27fa2
GH
175{
176 return SCM_BOOL_F;
177}
178
179/* Convert a file descriptor to a port, using scm_fdes_to_port.
19b27fa2
GH
180 - set the revealed count for FILE's file descriptor to 1, so
181 that fdes won't be closed when the port object is GC'd.
182 - catch exceptions: allow Guile to be able to start up even
70df8af6
GH
183 if it has been handed bogus stdin/stdout/stderr. replace the
184 bad ports with void ports. */
19b27fa2 185static SCM
bfb85df7 186scm_standard_stream_to_port (int fdes, char *mode)
19b27fa2
GH
187{
188 SCM port;
189 stream_body_data body_data;
190
191 body_data.fdes = fdes;
192 body_data.mode = mode;
19b27fa2
GH
193 port = scm_internal_catch (SCM_BOOL_T, stream_body, &body_data,
194 stream_handler, NULL);
7888309b 195 if (scm_is_false (port))
70df8af6 196 port = scm_void_port (mode);
19b27fa2 197 return port;
ee149d03
JB
198}
199
200/* Create standard ports from stdin, stdout, and stderr. */
1cdaaafb
JB
201static void
202scm_init_standard_ports ()
203{
94754080
JB
204 /* From the SCSH manual:
205
206 It can be useful to turn I/O buffering off in some cases, for
207 example when an I/O stream is to be shared by multiple
208 subprocesses. For this reason, scsh allocates an unbuffered port
209 for file descriptor 0 at start-up time.
210
211 Because shells frequently share stdin with subprocesses, if the
212 shell does buffered reads, it might ``steal'' input intended for
213 a subprocess. For this reason, all shells, including sh, csh,
214 and scsh, read stdin unbuffered. Applications that can tolerate
215 buffered input on stdin can reset \ex{(current-input-port)} to
216 block buffering for higher performance. */
ee149d03 217
9de87eea 218 scm_set_current_input_port
bfb85df7 219 (scm_standard_stream_to_port (0, isatty (0) ? "r0" : "r"));
9de87eea 220 scm_set_current_output_port
bfb85df7 221 (scm_standard_stream_to_port (1, isatty (1) ? "w0" : "w"));
9de87eea 222 scm_set_current_error_port
bfb85df7 223 (scm_standard_stream_to_port (2, isatty (2) ? "w0" : "w"));
0463a927 224 scm_set_current_warning_port (scm_current_error_port ());
1cdaaafb
JB
225}
226
227
228\f
bdca1083
JB
229/* Loading the startup Scheme files. */
230
231/* The boot code "ice-9/boot-9" is only loaded by scm_boot_guile when
232 this is false. The unexec code uses this, to keep ice_9 from being
233 loaded into dumped guile executables. */
234int scm_ice_9_already_loaded = 0;
235
236void
237scm_load_startup_files ()
238{
239 /* We want a path only containing directories from GUILE_LOAD_PATH,
240 SCM_SITE_DIR and SCM_LIBRARY_DIR when searching for the site init
241 file, so we do this before loading Ice-9. */
cc95e00a
MV
242 SCM init_path =
243 scm_sys_search_load_path (scm_from_locale_string ("init.scm"));
bdca1083
JB
244
245 /* Load Ice-9. */
246 if (!scm_ice_9_already_loaded)
b505860d 247 {
0fb81f95 248 scm_c_primitive_load_path ("ice-9/boot-9");
bdca1083 249
b505860d 250 /* Load the init.scm file. */
7888309b 251 if (scm_is_true (init_path))
b505860d 252 scm_primitive_load (init_path);
b505860d 253 }
bdca1083
JB
254}
255
bdca1083
JB
256\f
257/* The main init code. */
258
0f2d19dd
JB
259#ifdef _UNICOS
260typedef int setjmp_type;
261#else
262typedef long setjmp_type;
263#endif
264
816a6f06
JB
265/* All the data needed to invoke the main function. */
266struct main_func_closure
267{
268 /* the function to call */
1bbd0b84 269 void (*main_func)(void *closure, int argc, char **argv);
816a6f06
JB
270 void *closure; /* dummy data to pass it */
271 int argc;
272 char **argv; /* the argument list it should receive */
273};
274
9de87eea 275static void *invoke_main_func(void *body_data);
1cdaaafb
JB
276
277
278/* Fire up the Guile Scheme interpreter.
279
280 Call MAIN_FUNC, passing it CLOSURE, ARGC, and ARGV. MAIN_FUNC
281 should do all the work of the program (initializing other packages,
282 reading user input, etc.) before returning. When MAIN_FUNC
93003b16
LC
283 returns, call exit (EXIT_FAILURE); this function never returns.
284 If you want some other exit value, MAIN_FUNC may call exit itself.
0f2d19dd 285
1cdaaafb
JB
286 scm_boot_guile arranges for program-arguments to return the strings
287 given by ARGC and ARGV. If MAIN_FUNC modifies ARGC/ARGV, should
288 call scm_set_program_arguments with the final list, so Scheme code
289 will know which arguments have been processed.
c275ddc7 290
816a6f06
JB
291 scm_boot_guile establishes a catch-all catch handler which prints
292 an error message and exits the process. This means that Guile
293 exits in a coherent way when system errors occur and the user isn't
294 prepared to handle it. If the user doesn't like this behavior,
295 they can establish their own universal catcher to shadow this one.
296
1cdaaafb
JB
297 Why must the caller do all the real work from MAIN_FUNC? The
298 garbage collector assumes that all local variables of type SCM will
299 be above scm_boot_guile's stack frame on the stack. If you try to
300 manipulate SCM values after this function returns, it's the luck of
301 the draw whether the GC will be able to find the objects you
302 allocate. So, scm_boot_guile function exits, rather than
303 returning, to discourage people from making that mistake. */
304
305
306void
6e8d25a6 307scm_boot_guile (int argc, char ** argv, void (*main_func) (), void *closure)
c275ddc7 308{
657e7929 309 void *res;
816a6f06 310 struct main_func_closure c;
c275ddc7 311
816a6f06
JB
312 c.main_func = main_func;
313 c.closure = closure;
314 c.argc = argc;
315 c.argv = argv;
316
657e7929
MV
317 res = scm_with_guile (invoke_main_func, &c);
318
319 /* If the caller doesn't want this, they should exit from main_func
320 themselves.
321 */
322 if (res == NULL)
323 exit (EXIT_FAILURE);
324 else
93003b16 325 exit (EXIT_SUCCESS);
c275ddc7
JB
326}
327
9de87eea
MV
328static void *
329invoke_main_func (void *body_data)
7ad3a978 330{
9de87eea
MV
331 struct main_func_closure *closure = (struct main_func_closure *) body_data;
332
ed4c3739 333 scm_i_set_boot_program_arguments (closure->argc, closure->argv);
9de87eea
MV
334 (*closure->main_func) (closure->closure, closure->argc, closure->argv);
335
336 scm_restore_signals ();
337
338 /* This tick gives any pending
339 * asyncs a chance to run. This must be done after
340 * the call to scm_restore_signals.
341 */
342 SCM_ASYNC_TICK;
343
657e7929
MV
344 /* Indicate success by returning non-NULL.
345 */
346 return (void *)1;
7ad3a978 347}
1cdaaafb 348
9de87eea 349scm_i_pthread_mutex_t scm_i_init_mutex = SCM_I_PTHREAD_MUTEX_INITIALIZER;
bf1b9494
MD
350int scm_initialized_p = 0;
351
9de87eea
MV
352static void *
353really_cleanup_for_exit (void *unused)
354{
355 scm_flush_all_ports ();
356 return NULL;
357}
358
76da80e7 359static void
9de87eea
MV
360cleanup_for_exit ()
361{
b87e6d04
HWN
362 if (scm_i_pthread_mutex_trylock (&scm_i_init_mutex) == 0)
363 scm_i_pthread_mutex_unlock (&scm_i_init_mutex);
364 else
365 {
366 fprintf (stderr, "Cannot exit gracefully when init is in progress; aborting.\n");
367 abort ();
368 }
369
9de87eea
MV
370 /* This function might be called in non-guile mode, so we need to
371 enter it temporarily.
372 */
373 scm_with_guile (really_cleanup_for_exit, NULL);
374}
375
376void
12c1d861 377scm_i_init_guile (void *base)
0f2d19dd 378{
7ad3a978
MV
379 if (scm_initialized_p)
380 return;
0f2d19dd 381
c35738c1 382 scm_storage_prehistory ();
562cd1b8 383 scm_threads_prehistory (base); /* requires storage_prehistory */
7005c60f 384 scm_weak_table_prehistory (); /* requires storage_prehistory */
6b815f1a 385#ifdef GUILE_DEBUG_MALLOC
7ad3a978 386 scm_debug_malloc_prehistory ();
6b815f1a 387#endif
a141db86 388 scm_symbols_prehistory (); /* requires weak_table_prehistory */
562cd1b8 389 scm_modules_prehistory ();
ce65df9f 390 scm_init_array_handle ();
f3056b42 391 scm_bootstrap_bytevectors (); /* Requires array-handle */
2be89ca1 392 scm_bootstrap_instructions ();
4cbc95f1 393 scm_bootstrap_loader ();
2be89ca1
AW
394 scm_bootstrap_programs ();
395 scm_bootstrap_vm ();
c0062328 396 scm_register_r6rs_ports ();
ab4779ff 397 scm_register_foreign ();
a7ee7f7c 398 scm_register_foreign_object ();
37710f7e
AW
399 scm_register_srfi_1 ();
400 scm_register_srfi_60 ();
6f81b18a 401 scm_register_poll ();
2be89ca1 402
f3056b42 403 scm_init_strings (); /* Requires array-handle */
ce65df9f 404 scm_init_struct (); /* Requires strings */
4afe4ab4 405 scm_smob_prehistory ();
562cd1b8 406 scm_init_variable ();
8f79d4ed 407 scm_init_continuations (); /* requires smob_prehistory */
de42a0ee 408 scm_init_root (); /* requires continuations */
8f79d4ed 409 scm_init_threads (); /* requires smob_prehistory */
7ad3a978 410 scm_init_gsubr ();
3d7f708f 411 scm_init_thread_procs (); /* requires gsubrs */
85db4a2c 412 scm_init_procprop ();
7ad3a978 413 scm_init_alist ();
8f79d4ed
AW
414 scm_init_arbiters (); /* requires smob_prehistory */
415 scm_init_async (); /* requires smob_prehistory */
7ad3a978
MV
416 scm_init_boolean ();
417 scm_init_chars ();
6b815f1a 418#ifdef GUILE_DEBUG_MALLOC
7ad3a978 419 scm_init_debug_malloc ();
6b815f1a 420#endif
8f79d4ed 421 scm_init_dynwind (); /* requires smob_prehistory */
7ad3a978
MV
422 scm_init_eq ();
423 scm_init_error ();
eaf99988 424 scm_init_finalizers ();
9de87eea 425 scm_init_fluids ();
3ccee391 426 scm_init_control (); /* requires fluids */
562cd1b8
AW
427 scm_init_feature ();
428 scm_init_backtrace ();
7ad3a978 429 scm_init_fports ();
a98bddfd 430 scm_init_strports ();
b87e6d04 431 scm_init_ports ();
7ad3a978
MV
432 scm_init_hash ();
433 scm_init_hashtab ();
562cd1b8 434 scm_init_deprecation ();
7ad3a978 435 scm_init_objprop ();
8f79d4ed 436 scm_init_promises (); /* requires smob_prehistory */
56e55ac7 437 scm_init_hooks (); /* Requires smob_prehistory */
80fc43f2
LC
438 scm_init_stime ();
439 scm_init_gc (); /* Requires hooks and `get_internal_run_time' */
8f79d4ed 440 scm_init_gc_protect_object (); /* requires threads_prehistory */
b89c4943 441 scm_init_gettext ();
7ad3a978 442 scm_init_ioext ();
8f79d4ed 443 scm_init_keywords (); /* Requires smob_prehistory */
3ace9a8e 444 scm_init_fports_keywords ();
7ad3a978 445 scm_init_list ();
3658a374
GS
446 scm_init_random (); /* Requires smob_prehistory */
447 scm_init_macros (); /* Requires smob_prehistory and random */
8f79d4ed
AW
448 scm_init_mallocs (); /* Requires smob_prehistory */
449 scm_init_modules (); /* Requires smob_prehistory */
7ad3a978
MV
450 scm_init_numbers ();
451 scm_init_options ();
452 scm_init_pairs ();
8f79d4ed 453 scm_init_filesys (); /* Requires smob_prehistory */
073167ef 454#ifdef HAVE_POSIX
7ad3a978 455 scm_init_posix ();
52cfc69b 456#endif
eb4a14ed 457#ifdef ENABLE_REGEX
8f79d4ed 458 scm_init_regex_posix (); /* Requires smob_prehistory */
f255378e 459#endif
7ad3a978 460 scm_init_procs ();
7ad3a978 461 scm_init_scmsigs ();
52cfc69b 462#ifdef HAVE_NETWORKING
7ad3a978
MV
463 scm_init_net_db ();
464 scm_init_socket ();
52cfc69b 465#endif
7ad3a978 466 scm_init_sort ();
8f79d4ed 467 scm_init_srcprop (); /* requires smob_prehistory */
7ad3a978 468 scm_init_stackchk ();
f45eccff 469
f3056b42
AW
470 scm_init_generalized_arrays ();
471 scm_init_generalized_vectors ();
472 scm_init_vectors (); /* Requires array-handle, */
f45eccff 473 scm_init_uniform ();
f3056b42
AW
474 scm_init_bitvectors (); /* Requires smob_prehistory, array-handle */
475 scm_init_srfi_4 (); /* Requires smob_prehistory, array-handle */
ce65df9f 476 scm_init_arrays (); /* Requires smob_prehistory, array-handle */
f45eccff
AW
477 scm_init_array_map ();
478
8f79d4ed 479 scm_init_frames (); /* Requires smob_prehistory */
aa3f6951 480 scm_init_stacks (); /* Requires strings, struct, frames */
7ad3a978 481 scm_init_symbols ();
ce212434 482 scm_init_values (); /* Requires struct */
7c33806a 483 scm_init_load (); /* Requires strings */
8f79d4ed 484 scm_init_print (); /* Requires strings, struct, smob */
7ad3a978 485 scm_init_read ();
7ad3a978 486 scm_init_strorder ();
ad45f6b3 487 scm_init_srfi_13 ();
8f79d4ed
AW
488 scm_init_srfi_14 (); /* Requires smob_prehistory */
489 scm_init_throw (); /* Requires smob_prehistory */
0f458a37 490 scm_init_trees ();
7ad3a978 491 scm_init_version ();
26b26354 492 scm_init_weak_set ();
7005c60f 493 scm_init_weak_table ();
a141db86 494 scm_init_weak_vectors ();
8f79d4ed 495 scm_init_guardians (); /* requires smob_prehistory */
7ad3a978 496 scm_init_vports ();
5f161164 497 scm_init_standard_ports (); /* Requires fports */
dc3e203e 498 scm_init_expand (); /* Requires structs */
8f79d4ed
AW
499 scm_init_memoize (); /* Requires smob_prehistory */
500 scm_init_eval (); /* Requires smob_prehistory */
5f161164
AW
501 scm_init_load_path ();
502 scm_init_eval_in_scheme ();
7ad3a978 503 scm_init_evalext ();
7ad3a978 504 scm_init_debug (); /* Requires macro smobs */
7ad3a978 505 scm_init_simpos ();
08969a24 506#if HAVE_MODULES
8f79d4ed 507 scm_init_dynamic_linking (); /* Requires smob_prehistory */
08969a24 508#endif
756e8a3a 509 scm_bootstrap_i18n ();
7ad3a978 510 scm_init_script ();
508ded1c 511
e2d085f3 512 scm_init_goops ();
9b31f1c1
MV
513
514#if SCM_ENABLE_DEPRECATED == 1
515 scm_i_init_deprecated ();
516#endif
517
7ad3a978 518 scm_initialized_p = 1;
0f2d19dd 519
1cdaaafb 520 scm_stack_checking_enabled_p = SCM_STACK_CHECKING_P;
0f2d19dd 521
fd937ecb 522 scm_init_rdelim ();
b0e5fd8c 523 scm_init_rw ();
08045107 524 scm_init_extensions ();
e2d085f3 525
9de87eea 526 atexit (cleanup_for_exit);
e2d085f3 527 scm_load_startup_files ();
6f06e8d3 528 scm_init_load_should_auto_compile ();
a85f90f5
AW
529
530 /* Capture the dynamic state after loading boot-9, so that new threads end up
531 in the guile-user module. */
532 scm_init_threads_default_dynamic_state ();
eaf99988
AW
533
534 /* Finally, cause finalizers to run in a separate thread. */
535 scm_init_finalizer_thread ();
7ad3a978
MV
536}
537
89e00824
ML
538/*
539 Local Variables:
540 c-file-style: "gnu"
541 End:
542*/