X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Frts%2FMain.c;h=f66ecdf44ec27eb5bd46689f4b67203e4de3ef5a;hb=3cb2f910c98f448abdda935b85fe02fc4a138856;hp=c286b985b1407c7b8314905b0aad8e9a7583a49f;hpb=892b901751581f2e73199e8c5e24731eebd67406;p=ghc-hetmet.git diff --git a/ghc/rts/Main.c b/ghc/rts/Main.c index c286b98..f66ecdf 100644 --- a/ghc/rts/Main.c +++ b/ghc/rts/Main.c @@ -1,76 +1,131 @@ /* ----------------------------------------------------------------------------- - * $Id: Main.c,v 1.4 1999/02/26 16:44:13 simonm Exp $ + * $Id: Main.c,v 1.25 2000/06/25 17:25:42 panne Exp $ * - * (c) The GHC Team 1998-1999 + * (c) The GHC Team 1998-2000 * * Main function for a standalone Haskell program. * * ---------------------------------------------------------------------------*/ +#define COMPILING_RTS_MAIN + #include "Rts.h" #include "RtsAPI.h" +#include "SchedAPI.h" #include "RtsFlags.h" -#include "Schedule.h" /* for MainTSO */ #include "RtsUtils.h" +#include "Prelude.h" #ifdef DEBUG -#include "RtsFlags.h" /* for debugging flags */ -#include "Printer.h" /* for printing */ +# include "Printer.h" /* for printing */ #endif #ifdef INTERPRETER -#include "Assembler.h" +# include "Assembler.h" #endif #ifdef PAR -#include "ParInit.h" -#include "Parallel.h" -#include "LLC.h" +# include "ParInit.h" +# include "Parallel.h" +# include "LLC.h" +#endif + +#if defined(GRAN) || defined(PAR) +# include "GranSimRts.h" #endif +#ifdef HAVE_WINDOWS_H +# include +#endif + +EXTFUN(__init_PrelMain); + /* Hack: we assume that we're building a batch-mode system unless * INTERPRETER is set */ #ifndef INTERPRETER /* Hack */ int main(int argc, char *argv[]) { + int exit_status; SchedulerStatus status; - startupHaskell(argc,argv); - -#ifndef PAR - MainTSO = createIOThread(stg_max(BLOCK_SIZE_W, - RtsFlags.GcFlags.initialStkSize), - (StgClosure *)&mainIO_closure); - status = schedule(MainTSO,NULL); -#else + /* all GranSim/GUM init is done in startupHaskell; sets IAmMainThread! */ + + startupHaskell(argc,argv,__init_PrelMain); + + /* kick off the computation by creating the main thread with a pointer + to mainIO_closure representing the computation of the overall program; + then enter the scheduler with this thread and off we go; + + the same for GranSim (we have only one instance of this code) + + in a parallel setup, where we have many instances of this code + running on different PEs, we should do this only for the main PE + (IAmMainThread is set in startupHaskell) + */ + +# if defined(PAR) + +# if defined(DEBUG) + { /* a wait loop to allow attachment of gdb to UNIX threads */ + nat i, j, s; + + for (i=0, s=0; i<(nat)RtsFlags.ParFlags.wait; i++) + for (j=0; j<1000000; j++) + s += j % 65536; + } + IF_PAR_DEBUG(verbose, + belch("Passed wait loop")); +# endif + if (IAmMainThread == rtsTrue) { - /*Just to show we're alive */ fprintf(stderr, "Main Thread Started ...\n"); - - MainTSO = createIOThread(stg_max(BLOCK_SIZE_W, - RtsFlags.GcFlags.initialStkSize), - (StgClosure *)&mainIO_closure); - status = schedule(MainTSO,NULL); + + /* ToDo: Dump event for the main thread */ + status = rts_evalIO((HaskellObj)mainIO_closure, NULL); } else { - WaitForPEOp(PP_FINISH,SysManTask); - exit(EXIT_SUCCESS); + /* Just to show we're alive */ + IF_PAR_DEBUG(verbose, + fprintf(stderr, "== [%x] Non-Main PE enters scheduler via taskStart() without work ...\n", + mytid)); + + /* all non-main threads enter the scheduler without work */ + status = rts_evalNothing((StgClosure*)NULL); } -#endif /* PAR */ + +# elif defined(GRAN) + + /* ToDo: Dump event for the main thread */ + status = rts_evalIO(mainIO_closure, NULL); + +# else /* !PAR && !GRAN */ + + /* ToDo: want to start with a larger stack size */ + status = rts_evalIO((HaskellObj)mainIO_closure, NULL); + +# endif /* !PAR && !GRAN */ + + // ToDo: update for parallel execution + /* check the status of the entire Haskell computation */ switch (status) { - case AllBlocked: - barf("Scheduler stopped, all threads blocked"); case Deadlock: - shutdownHaskell(); - barf("No threads to run! Deadlock?"); + prog_belch("no threads to run: infinite loop or deadlock?"); + exit_status = EXIT_DEADLOCK; + break; case Killed: - belch("%s: warning: main thread killed", prog_argv[0]); - case Success: + prog_belch("main thread exited (uncaught exception)"); + exit_status = EXIT_KILLED; + break; case Interrupted: - /* carry on */ + prog_belch("interrupted"); + exit_status = EXIT_INTERRUPTED; + break; + case Success: + exit_status = EXIT_SUCCESS; + break; + default: + barf("main thread completed with invalid status"); } - /* run all threads */ - run_all_threads(); - shutdownHaskell(); - stg_exit(EXIT_SUCCESS); + shutdownHaskellAndExit(exit_status); + return 0; /* never reached, keep gcc -Wall happy */ } -#endif /* BATCH_MODE */ +# endif /* BATCH_MODE */