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