1 /* -----------------------------------------------------------------------------
2 * $Id: RtsStartup.c,v 1.56 2001/11/22 14:25:12 simonmar Exp $
4 * (c) The GHC Team, 1998-2000
6 * Main function for a standalone Haskell program.
8 * ---------------------------------------------------------------------------*/
10 #include "PosixSource.h"
15 #include "Storage.h" /* initStorage, exitStorage */
16 #include "StablePriv.h" /* initStablePtrTable */
17 #include "Schedule.h" /* initScheduler */
18 #include "Stats.h" /* initStats */
24 #include "StgStartup.h"
25 #include "Prelude.h" /* fixupRTStoPreludeRefs */
29 #if defined(RTS_GTK_FRONTPANEL)
30 #include "FrontPanel.h"
33 #if defined(PROFILING) || defined(DEBUG)
34 # include "Profiling.h"
35 # include "ProfHeap.h"
36 # include "RetainerProfile.h"
40 # include "GranSimRts.h"
43 #if defined(GRAN) || defined(PAR)
44 # include "ParallelRts.h"
48 # include "Parallel.h"
55 struct RTS_FLAGS RtsFlags;
57 static int rts_has_started_up = 0;
62 EXTFUN(__stginit_Prelude);
63 static void initModules ( void (*)(void) );
66 setProgArgv(int argc, char *argv[])
68 /* Usually this is done by startupHaskell, so we don't need to call this.
69 However, sometimes Hugs wants to change the arguments which Haskell
70 getArgs >>= ... will be fed. So you can do that by calling here
71 _after_ calling startupHaskell.
78 getProgArgv(int *argc, char **argv[])
86 startupHaskell(int argc, char *argv[], void (*init_root)(void))
88 /* To avoid repeated initialisations of the RTS */
89 if (rts_has_started_up)
94 /* The very first thing we do is grab the start time...just in case we're
95 * collecting timing statistics.
101 * The parallel system needs to be initialised and synchronised before
102 * the program is run.
104 startupParallelSystem(argv);
106 if (*argv[0] == '-') { /* Strip off mainPE flag argument */
111 argv[1] = argv[0]; /* ignore the nPEs argument */
115 /* Set the RTS flags to default values. */
116 initRtsFlagsDefaults();
118 /* Call the user hook to reset defaults, if present */
121 /* Parse the flags, separating the RTS flags from the programs args */
122 setupRtsFlags(&argc, argv, &rts_argc, rts_argv);
127 /* NB: this really must be done after processing the RTS flags */
128 IF_PAR_DEBUG(verbose,
129 fprintf(stderr, "==== Synchronising system (%d PEs)\n", nPEs));
130 synchroniseSystem(); // calls initParallelSystem etc
133 /* initialise scheduler data structures (needs to be done before
139 /* And start GranSim profiling if required: */
140 if (RtsFlags.GranFlags.GranSimStats.Full)
141 init_gr_simulation(rts_argc, rts_argv, prog_argc, prog_argv);
143 /* And start GUM profiling if required: */
144 if (RtsFlags.ParFlags.ParStats.Full)
145 init_gr_simulation(rts_argc, rts_argv, prog_argc, prog_argv);
146 #endif /* PAR || GRAN */
148 /* initialize the storage manager */
151 /* initialise the stable pointer table */
152 initStablePtrTable();
154 #if defined(PROFILING) || defined(DEBUG)
158 /* run the per-module initialisation code */
159 initModules(init_root);
161 #if defined(PROFILING) || defined(DEBUG)
165 /* start the ticker */
166 install_vtalrm_handler();
167 initialize_virtual_timer(TICK_MILLISECS);
169 /* start our haskell execution tasks */
174 /* Initialise the stats department */
177 #if !defined(mingw32_TARGET_OS) && !defined(PAR)
178 /* Initialise the user signal handler set */
180 /* Set up handler to run on SIGINT, etc. */
181 initDefaultHandlers();
184 #ifdef RTS_GTK_FRONTPANEL
185 if (RtsFlags.GcFlags.frontpanel) {
190 /* Record initialization times */
194 /* -----------------------------------------------------------------------------
195 Per-module initialisation
197 This process traverses all the compiled modules in the program
198 starting with "Main", and performing per-module initialisation for
201 So far, two things happen at initialisation time:
203 - we register stable names for each foreign-exported function
204 in that module. This prevents foreign-exported entities, and
205 things they depend on, from being garbage collected.
207 - we supply a unique integer to each statically declared cost
208 centre and cost centre stack in the program.
210 The code generator inserts a small function "__stginit_<module>" in each
211 module and calls the registration functions in each of the modules it
212 imports. So, if we call "__stginit_PrelMain", each reachable module in the
213 program will be registered (because PrelMain.mainIO calls Main.main).
215 The init* functions are compiled in the same way as STG code,
216 i.e. without normal C call/return conventions. Hence we must use
217 StgRun to call this stuff.
218 -------------------------------------------------------------------------- */
220 /* The init functions use an explicit stack...
222 #define INIT_STACK_BLOCKS 4
223 F_ *init_stack = NULL;
227 initModules ( void (*init_root)(void) )
233 #define cap MainCapability
238 init_stack = (F_ *)bd->start;
239 init_stack[init_sp++] = (F_)stg_init_ret;
240 init_stack[init_sp++] = (F_)__stginit_Prelude;
241 if (init_root != NULL) {
242 init_stack[init_sp++] = (F_)init_root;
245 cap.r.rSp = (P_)(init_stack + init_sp);
246 StgRun((StgFunPtr)stg_init, &cap.r);
251 /* -----------------------------------------------------------------------------
252 * Shutting down the RTS - two ways of doing this, one which
253 * calls exit(), one that doesn't.
255 * (shutdownHaskellAndExit() is called by System.exitWith).
256 * -----------------------------------------------------------------------------
259 shutdownHaskellAndExit(int n)
264 /* really exit (stg_exit() would call shutdownParallelSystem() again) */
272 shutdownHaskell(void)
274 if (!rts_has_started_up)
277 /* start timing the shutdown */
284 // We do not need to perform a major garbage collection because all the
285 // closures created since the last census will not affect the profiling
286 // statistics anyhow.
289 // We ignore any object created afterwards.
290 // finalizeWeakPointersNow() may corrupt the heap (because it executes
291 // rts_evalIO(), which adds an initial evaluation stack again).
292 // Thus, we call LdvCensusKillAll() here, and prohibit LDV profiling
294 // Acutally, it is pointless to call LdvCensusKillAll() any later because
295 // no object created later will be taken into account for profiling.
296 if (RtsFlags.ProfFlags.doHeapProfile == HEAP_BY_LDV)
301 /* Finalize any remaining weak pointers */
302 finalizeWeakPointersNow();
306 /* end_gr_simulation prints global stats if requested -- HWL */
307 if (!RtsFlags.GranFlags.GranSimStats.Suppressed)
311 /* stop all running tasks */
314 /* stop the ticker */
315 initialize_virtual_timer(0);
317 /* reset the standard file descriptors to blocking mode */
318 resetNonBlockingFd(0);
319 resetNonBlockingFd(1);
320 resetNonBlockingFd(2);
323 /* controlled exit; good thread! */
324 shutdownParallelSystem(0);
326 /* global statistics in parallel system */
330 /* stop timing the shutdown, we're about to print stats */
333 /* clean up things from the storage manager's point of view.
334 * also outputs the stats (+RTS -s) info.
338 #ifdef RTS_GTK_FRONTPANEL
339 if (RtsFlags.GcFlags.frontpanel) {
344 #if defined(PROFILING)
345 report_ccs_profiling();
348 #if defined(PROFILING) || defined(DEBUG)
353 // Originally, this was in report_ccs_profiling(). Now, retainer
354 // profiling might tack some extra stuff on to the end of this file
355 // during endProfiling().
359 #if defined(TICKY_TICKY)
360 if (RtsFlags.TickyFlags.showTickyStats) PrintTickyInfo();
363 rts_has_started_up=0;
367 * called from STG-land to exit the program
371 static int exit_started=rtsFalse;
378 /* HACK: avoid a loop when exiting due to a stupid error */
381 exit_started=rtsTrue;
383 IF_PAR_DEBUG(verbose, fprintf(stderr,"==-- stg_exit %d on [%x]...", n, mytid));
384 shutdownParallelSystem(n);