Zero-offset branches are backward branches; fix "br" backward branches
[bpt/guile.git] / libguile / init.c
CommitLineData
eb4a14ed 1/* Copyright (C) 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003,
44e30ef2 2 * 2004, 2006, 2009, 2010, 2011, 2012, 2013 Free Software Foundation, Inc.
eb4a14ed 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"
eaf99988 62#include "libguile/finalizers.h"
a0599745
MD
63#include "libguile/fluids.h"
64#include "libguile/fports.h"
a6029b97 65#include "libguile/frames.h"
a0599745 66#include "libguile/gc.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
MD
77#include "libguile/ioext.h"
78#include "libguile/keywords.h"
a0599745
MD
79#include "libguile/list.h"
80#include "libguile/load.h"
81#include "libguile/macros.h"
82#include "libguile/mallocs.h"
b7742c6b 83#include "libguile/memoize.h"
a0599745
MD
84#include "libguile/modules.h"
85#include "libguile/net_db.h"
86#include "libguile/numbers.h"
4cbc95f1 87#include "libguile/loader.h"
a0599745
MD
88#include "libguile/objprop.h"
89#include "libguile/options.h"
90#include "libguile/pairs.h"
6f81b18a 91#include "libguile/poll.h"
a0599745
MD
92#include "libguile/ports.h"
93#include "libguile/posix.h"
eb4a14ed 94#ifdef ENABLE_REGEX
a0599745 95#include "libguile/regex-posix.h"
f255378e 96#endif
a0599745
MD
97#include "libguile/print.h"
98#include "libguile/procprop.h"
99#include "libguile/procs.h"
a6029b97 100#include "libguile/programs.h"
7b893819 101#include "libguile/promises.h"
5d1b3b2d 102#include "libguile/array-map.h"
a0599745 103#include "libguile/random.h"
fd937ecb 104#include "libguile/rdelim.h"
a0599745 105#include "libguile/read.h"
b0e5fd8c 106#include "libguile/rw.h"
a0599745
MD
107#include "libguile/scmsigs.h"
108#include "libguile/script.h"
109#include "libguile/simpos.h"
110#include "libguile/smob.h"
111#include "libguile/socket.h"
112#include "libguile/sort.h"
113#include "libguile/srcprop.h"
114#include "libguile/stackchk.h"
115#include "libguile/stacks.h"
116#include "libguile/stime.h"
117#include "libguile/strings.h"
37710f7e
AW
118#include "libguile/srfi-1.h"
119#include "libguile/srfi-4.h"
ad45f6b3
MV
120#include "libguile/srfi-13.h"
121#include "libguile/srfi-14.h"
37710f7e 122#include "libguile/srfi-60.h"
a0599745
MD
123#include "libguile/strorder.h"
124#include "libguile/strports.h"
125#include "libguile/struct.h"
126#include "libguile/symbols.h"
a0599745 127#include "libguile/throw.h"
2fa901a5 128#include "libguile/arrays.h"
0f458a37 129#include "libguile/trees.h"
ce212434 130#include "libguile/values.h"
a0599745
MD
131#include "libguile/variable.h"
132#include "libguile/vectors.h"
133#include "libguile/version.h"
a6029b97 134#include "libguile/vm.h"
a0599745 135#include "libguile/vports.h"
a0599745 136#include "libguile/guardians.h"
1be6b49c 137#include "libguile/extensions.h"
476b894c 138#include "libguile/uniform.h"
9b31f1c1 139#include "libguile/deprecated.h"
20e6290e 140
a0599745 141#include "libguile/init.h"
22fc179a 142#include "libguile/private-options.h"
a8be22fe 143
95b88819
GH
144#ifdef HAVE_STRING_H
145#include <string.h>
146#endif
147#ifdef HAVE_UNISTD_H
148#include <unistd.h>
149#endif
0f2d19dd
JB
150
151
152\f
1cdaaafb
JB
153/* initializing standard and current I/O ports */
154
19b27fa2
GH
155typedef struct
156{
157 int fdes;
158 char *mode;
19b27fa2
GH
159} stream_body_data;
160
161/* proc to be called in scope of exception handler stream_handler. */
ee149d03 162static SCM
19b27fa2 163stream_body (void *data)
ee149d03 164{
19b27fa2 165 stream_body_data *body_data = (stream_body_data *) data;
bfb85df7 166 SCM port = scm_fdes_to_port (body_data->fdes, body_data->mode, SCM_BOOL_F);
3753e227 167 scm_set_port_revealed_x (port, SCM_INUM1);
19b27fa2
GH
168 return port;
169}
170
171/* exception handler for stream_body. */
172static SCM
e81d98ec
DH
173stream_handler (void *data SCM_UNUSED,
174 SCM tag SCM_UNUSED,
175 SCM throw_args SCM_UNUSED)
19b27fa2
GH
176{
177 return SCM_BOOL_F;
178}
179
180/* Convert a file descriptor to a port, using scm_fdes_to_port.
19b27fa2
GH
181 - set the revealed count for FILE's file descriptor to 1, so
182 that fdes won't be closed when the port object is GC'd.
183 - catch exceptions: allow Guile to be able to start up even
70df8af6
GH
184 if it has been handed bogus stdin/stdout/stderr. replace the
185 bad ports with void ports. */
19b27fa2 186static SCM
bfb85df7 187scm_standard_stream_to_port (int fdes, char *mode)
19b27fa2
GH
188{
189 SCM port;
190 stream_body_data body_data;
191
192 body_data.fdes = fdes;
193 body_data.mode = mode;
19b27fa2
GH
194 port = scm_internal_catch (SCM_BOOL_T, stream_body, &body_data,
195 stream_handler, NULL);
7888309b 196 if (scm_is_false (port))
70df8af6 197 port = scm_void_port (mode);
19b27fa2 198 return port;
ee149d03
JB
199}
200
201/* Create standard ports from stdin, stdout, and stderr. */
1cdaaafb
JB
202static void
203scm_init_standard_ports ()
204{
94754080
JB
205 /* From the SCSH manual:
206
207 It can be useful to turn I/O buffering off in some cases, for
208 example when an I/O stream is to be shared by multiple
209 subprocesses. For this reason, scsh allocates an unbuffered port
210 for file descriptor 0 at start-up time.
211
212 Because shells frequently share stdin with subprocesses, if the
213 shell does buffered reads, it might ``steal'' input intended for
214 a subprocess. For this reason, all shells, including sh, csh,
215 and scsh, read stdin unbuffered. Applications that can tolerate
216 buffered input on stdin can reset \ex{(current-input-port)} to
217 block buffering for higher performance. */
ee149d03 218
9de87eea 219 scm_set_current_input_port
bfb85df7 220 (scm_standard_stream_to_port (0, isatty (0) ? "r0" : "r"));
9de87eea 221 scm_set_current_output_port
bfb85df7 222 (scm_standard_stream_to_port (1, isatty (1) ? "w0" : "w"));
9de87eea 223 scm_set_current_error_port
bfb85df7 224 (scm_standard_stream_to_port (2, isatty (2) ? "w0" : "w"));
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 ();
37710f7e
AW
398 scm_register_srfi_1 ();
399 scm_register_srfi_60 ();
6f81b18a 400 scm_register_poll ();
2be89ca1 401
f3056b42 402 scm_init_strings (); /* Requires array-handle */
ce65df9f 403 scm_init_struct (); /* Requires strings */
4afe4ab4 404 scm_smob_prehistory ();
562cd1b8 405 scm_init_variable ();
8f79d4ed 406 scm_init_continuations (); /* requires smob_prehistory */
de42a0ee 407 scm_init_root (); /* requires continuations */
8f79d4ed 408 scm_init_threads (); /* requires smob_prehistory */
7ad3a978 409 scm_init_gsubr ();
3d7f708f 410 scm_init_thread_procs (); /* requires gsubrs */
85db4a2c 411 scm_init_procprop ();
7ad3a978 412 scm_init_alist ();
8f79d4ed
AW
413 scm_init_arbiters (); /* requires smob_prehistory */
414 scm_init_async (); /* requires smob_prehistory */
7ad3a978
MV
415 scm_init_boolean ();
416 scm_init_chars ();
6b815f1a 417#ifdef GUILE_DEBUG_MALLOC
7ad3a978 418 scm_init_debug_malloc ();
6b815f1a 419#endif
8f79d4ed 420 scm_init_dynwind (); /* requires smob_prehistory */
7ad3a978
MV
421 scm_init_eq ();
422 scm_init_error ();
eaf99988 423 scm_init_finalizers ();
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 439 scm_init_gc_protect_object (); /* requires threads_prehistory */
b89c4943 440 scm_init_gettext ();
7ad3a978 441 scm_init_ioext ();
8f79d4ed 442 scm_init_keywords (); /* Requires smob_prehistory */
3ace9a8e 443 scm_init_fports_keywords ();
7ad3a978 444 scm_init_list ();
3658a374
GS
445 scm_init_random (); /* Requires smob_prehistory */
446 scm_init_macros (); /* Requires smob_prehistory and random */
8f79d4ed
AW
447 scm_init_mallocs (); /* Requires smob_prehistory */
448 scm_init_modules (); /* Requires smob_prehistory */
7ad3a978
MV
449 scm_init_numbers ();
450 scm_init_options ();
451 scm_init_pairs ();
8f79d4ed 452 scm_init_filesys (); /* Requires smob_prehistory */
073167ef 453#ifdef HAVE_POSIX
7ad3a978 454 scm_init_posix ();
52cfc69b 455#endif
eb4a14ed 456#ifdef ENABLE_REGEX
8f79d4ed 457 scm_init_regex_posix (); /* Requires smob_prehistory */
f255378e 458#endif
7ad3a978 459 scm_init_procs ();
7ad3a978 460 scm_init_scmsigs ();
52cfc69b 461#ifdef HAVE_NETWORKING
7ad3a978
MV
462 scm_init_net_db ();
463 scm_init_socket ();
52cfc69b 464#endif
7ad3a978 465 scm_init_sort ();
8f79d4ed 466 scm_init_srcprop (); /* requires smob_prehistory */
7ad3a978 467 scm_init_stackchk ();
f45eccff 468
f3056b42
AW
469 scm_init_generalized_arrays ();
470 scm_init_generalized_vectors ();
471 scm_init_vectors (); /* Requires array-handle, */
f45eccff 472 scm_init_uniform ();
f3056b42
AW
473 scm_init_bitvectors (); /* Requires smob_prehistory, array-handle */
474 scm_init_srfi_4 (); /* Requires smob_prehistory, array-handle */
ce65df9f 475 scm_init_arrays (); /* Requires smob_prehistory, array-handle */
f45eccff
AW
476 scm_init_array_map ();
477
8f79d4ed 478 scm_init_frames (); /* Requires smob_prehistory */
aa3f6951 479 scm_init_stacks (); /* Requires strings, struct, frames */
7ad3a978 480 scm_init_symbols ();
ce212434 481 scm_init_values (); /* Requires struct */
7c33806a 482 scm_init_load (); /* Requires strings */
8f79d4ed 483 scm_init_print (); /* Requires strings, struct, smob */
7ad3a978 484 scm_init_read ();
7ad3a978 485 scm_init_strorder ();
ad45f6b3 486 scm_init_srfi_13 ();
8f79d4ed
AW
487 scm_init_srfi_14 (); /* Requires smob_prehistory */
488 scm_init_throw (); /* Requires smob_prehistory */
0f458a37 489 scm_init_trees ();
7ad3a978 490 scm_init_version ();
26b26354 491 scm_init_weak_set ();
7005c60f 492 scm_init_weak_table ();
a141db86 493 scm_init_weak_vectors ();
8f79d4ed 494 scm_init_guardians (); /* requires smob_prehistory */
7ad3a978 495 scm_init_vports ();
5f161164 496 scm_init_standard_ports (); /* Requires fports */
dc3e203e 497 scm_init_expand (); /* Requires structs */
8f79d4ed
AW
498 scm_init_memoize (); /* Requires smob_prehistory */
499 scm_init_eval (); /* Requires smob_prehistory */
5f161164
AW
500 scm_init_load_path ();
501 scm_init_eval_in_scheme ();
7ad3a978 502 scm_init_evalext ();
7ad3a978 503 scm_init_debug (); /* Requires macro smobs */
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 ();
eaf99988
AW
532
533 /* Finally, cause finalizers to run in a separate thread. */
534 scm_init_finalizer_thread ();
7ad3a978
MV
535}
536
89e00824
ML
537/*
538 Local Variables:
539 c-file-style: "gnu"
540 End:
541*/