ghc/rts/Main.c

   1 /* -----------------------------------------------------------------------------
   2  *
   3  * (c) The GHC Team 1998-2000
   4  *
   5  * Main function for a standalone Haskell program.
   6  *
   7  * ---------------------------------------------------------------------------*/
   8
   9 #define COMPILING_RTS_MAIN
  10
  11 #include "PosixSource.h"
  12 #include "Rts.h"
  13 #include "RtsAPI.h"
  14 #include "SchedAPI.h"
  15 #include "Schedule.h"
  16 #include "RtsFlags.h"
  17 #include "RtsUtils.h"
  18 #include "Prelude.h"
  19 #include "Task.h"
  20 #include <stdlib.h>
  21
  22 #ifdef DEBUG
  23 # include "Printer.h"   /* for printing        */
  24 #endif
  25
  26 #ifdef PAR
  27 # include "Parallel.h"
  28 # include "ParallelRts.h"
  29 # include "LLC.h"
  30 #endif
  31
  32 #if defined(GRAN) || defined(PAR)
  33 # include "GranSimRts.h"
  34 #endif
  35
  36 #ifdef HAVE_WINDOWS_H
  37 # include <windows.h>
  38 #endif
  39
  40 extern void __stginit_ZCMain(void);
  41
  42 /* Hack: we assume that we're building a batch-mode system unless
  43  * INTERPRETER is set
  44  */
  45 #ifndef INTERPRETER /* Hack */
  46 int main(int argc, char *argv[])
  47 {
  48     int exit_status;
  49     SchedulerStatus status;
  50     /* all GranSim/GUM init is done in startupHaskell; sets IAmMainThread! */
  51
  52     startupHaskell(argc,argv,__stginit_ZCMain);
  53
  54     /* Register this thread as a task, so we can get timing stats about it */
  55 #if defined(RTS_SUPPORTS_THREADS)
  56     threadIsTask(osThreadId());
  57 #endif
  58
  59     /* kick off the computation by creating the main thread with a pointer
  60        to mainIO_closure representing the computation of the overall program;
  61        then enter the scheduler with this thread and off we go;
  62
  63        the same for GranSim (we have only one instance of this code)
  64
  65        in a parallel setup, where we have many instances of this code
  66        running on different PEs, we should do this only for the main PE
  67        (IAmMainThread is set in startupHaskell)
  68     */
  69
  70 #  if defined(PAR)
  71
  72 #   if defined(DEBUG)
  73     { /* a wait loop to allow attachment of gdb to UNIX threads */
  74       nat i, j, s;
  75
  76       for (i=0, s=0; i<(nat)RtsFlags.ParFlags.wait; i++)
  77         for (j=0; j<1000000; j++)
  78           s += j % 65536;
  79     }
  80     IF_PAR_DEBUG(verbose,
  81                  belch("Passed wait loop"));
  82 #   endif
  83
  84     if (IAmMainThread == rtsTrue) {
  85       IF_PAR_DEBUG(verbose,
  86                    debugBelch("==== [%x] Main Thread Started ...\n", mytid));
  87
  88       /* ToDo: Dump event for the main thread */
  89       status = rts_mainLazyIO((HaskellObj)mainIO_closure, NULL);
  90     } else {
  91       /* Just to show we're alive */
  92       IF_PAR_DEBUG(verbose,
  93                    debugBelch("== [%x] Non-Main PE enters scheduler via taskStart() without work ...\n",
  94                            mytid));
  95
  96       /* all non-main threads enter the scheduler without work */
  97       taskStart();
  98       status = Success;  // declare victory (see shutdownParallelSystem)
  99     }
 100
 101 #  elif defined(GRAN)
 102
 103     /* ToDo: Dump event for the main thread */
 104     status = rts_mainLazyIO(mainIO_closure, NULL);
 105
 106 #  else /* !PAR && !GRAN */
 107
 108     /* ToDo: want to start with a larger stack size */
 109     rts_lock();
 110     status = rts_evalLazyIO((HaskellObj)mainIO_closure, NULL);
 111     rts_unlock();
 112
 113 #  endif /* !PAR && !GRAN */
 114
 115     /* check the status of the entire Haskell computation */
 116     switch (status) {
 117     case Killed:
 118       errorBelch("main thread exited (uncaught exception)");
 119       exit_status = EXIT_KILLED;
 120       break;
 121     case Interrupted:
 122       errorBelch("interrupted");
 123       exit_status = EXIT_INTERRUPTED;
 124       break;
 125     case Success:
 126       exit_status = EXIT_SUCCESS;
 127       break;
 128 #if defined(PAR)
 129     case NoStatus:
 130       errorBelch("main thread PE killed; probably due to failure of another PE; check /tmp/pvml...");
 131       exit_status = EXIT_KILLED;
 132       break;
 133 #endif
 134     default:
 135       barf("main thread completed with invalid status");
 136     }
 137     shutdownHaskellAndExit(exit_status);
 138     return 0; /* never reached, keep gcc -Wall happy */
 139 }
 140 # endif /* BATCH_MODE */