X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fincludes%2FRts.h;h=35ba5ced76aa20cb57394bd875f8321dcbb433a0;hb=8504635323bc4c2d7ade98771a4e281c2d56761c;hp=355ca9f1a1f7f581d206b20e0b10d97b8b3acca5;hpb=b933b46923f9e67fbb20a62b9ccde5a9a3e8fb7e;p=ghc-hetmet.git diff --git a/ghc/includes/Rts.h b/ghc/includes/Rts.h index 355ca9f..35ba5ce 100644 --- a/ghc/includes/Rts.h +++ b/ghc/includes/Rts.h @@ -1,7 +1,6 @@ /* ----------------------------------------------------------------------------- - * $Id: Rts.h,v 1.10 2000/01/12 15:15:17 simonmar Exp $ * - * (c) The GHC Team, 1998-1999 + * (c) The GHC Team, 1998-2004 * * Top-level include file for the RTS itself * @@ -10,38 +9,194 @@ #ifndef RTS_H #define RTS_H +#ifdef __cplusplus +extern "C" { +#endif + #ifndef IN_STG_CODE #define IN_STG_CODE 0 #endif #include "Stg.h" +#include "RtsTypes.h" + +#if __GNUC__ >= 3 +/* Assume that a flexible array member at the end of a struct + * can be defined thus: T arr[]; */ +#define FLEXIBLE_ARRAY +#else +/* Assume that it must be defined thus: T arr[0]; */ +#define FLEXIBLE_ARRAY 0 +#endif + +#if defined(SMP) || defined(THREADED_RTS) +#define RTS_SUPPORTS_THREADS 1 +#endif + +/* Fix for mingw stat problem (done here so it's early enough) */ +#ifdef mingw32_TARGET_OS +#define __MSVCRT__ 1 +#endif + +#if defined(__GNUC__) +#define GNU_ATTRIBUTE(at) __attribute__((at)) +#else +#define GNU_ATTRIBUTE(at) +#endif + +#if __GNUC__ >= 3 +#define GNUC3_ATTRIBUTE(at) __attribute__((at)) +#else +#define GNUC3_ATTRIBUTE(at) +#endif + +#define STG_UNUSED GNUC3_ATTRIBUTE(__unused__) + +/* + * We often want to know the size of something in units of an + * StgWord... (rounded up, of course!) + */ +#define sizeofW(t) ((sizeof(t)+sizeof(W_)-1)/sizeof(W_)) + +/* + * It's nice to be able to grep for casts + */ +#define stgCast(ty,e) ((ty)(e)) + /* ----------------------------------------------------------------------------- - Miscellaneous garbage + Assertions and Debuggery -------------------------------------------------------------------------- */ -#if ! defined(EXIT_SUCCESS) || ! defined(EXIT_FAILURE) -/* "stdlib.h" should have defined these; but at least - on SunOS 4.1.3, this is not so. -*/ -#define EXIT_SUCCESS 0 -#define EXIT_FAILURE 1 +#ifndef DEBUG +#define ASSERT(predicate) /* nothing */ +#else + +void _stgAssert (char *, unsigned int); + +#define ASSERT(predicate) \ + if (predicate) \ + /*null*/; \ + else \ + _stgAssert(__FILE__, __LINE__) +#endif /* DEBUG */ + +/* + * Use this on the RHS of macros which expand to nothing + * to make sure that the macro can be used in a context which + * demands a non-empty statement. + */ + +#define doNothing() do { } while (0) + +/* ----------------------------------------------------------------------------- + Include everything STG-ish + -------------------------------------------------------------------------- */ + +/* System headers: stdlib.h is eeded so that we can use NULL. It must + * come after MachRegs.h, because stdlib.h might define some inline + * functions which may only be defined after register variables have + * been declared. + */ +#include + +/* Global constaints */ +#include "Constants.h" + +/* Profiling information */ +#include "StgProf.h" +#include "StgLdvProf.h" + +/* Storage format definitions */ +#include "StgFun.h" +#include "Closures.h" +#include "Liveness.h" +#include "ClosureTypes.h" +#include "InfoTables.h" +#include "TSO.h" + +/* Info tables, closures & code fragments defined in the RTS */ +#include "StgMiscClosures.h" + +/* Simulated-parallel information */ +#include "GranSim.h" + +/* Parallel information */ +#include "Parallel.h" + +/* STG/Optimised-C related stuff */ +#include "SMP.h" +#include "Block.h" + +#ifdef SMP +#include #endif +/* GNU mp library */ +#include "gmp.h" + +/* Macros for STG/C code */ +#include "ClosureMacros.h" +#include "StgTicky.h" +#include "Stable.h" + +/* Runtime-system hooks */ +#include "Hooks.h" +#include "RtsMessages.h" + +#include "ieee-flpt.h" + +#include "Signals.h" + +/* Misc stuff without a home */ +DLL_IMPORT_RTS extern char **prog_argv; /* so we can get at these from Haskell */ +DLL_IMPORT_RTS extern int prog_argc; +DLL_IMPORT_RTS extern char *prog_name; + +extern void stackOverflow(void); + +extern void __decodeDouble (MP_INT *man, I_ *_exp, StgDouble dbl); +extern void __decodeFloat (MP_INT *man, I_ *_exp, StgFloat flt); + +#if defined(WANT_DOTNET_SUPPORT) +#include "DNInvoke.h" +#endif + +/* Initialising the whole adjustor thunk machinery. */ +extern void initAdjustor(void); + +extern void stg_exit(int n) GNU_ATTRIBUTE(__noreturn__); + +/* ----------------------------------------------------------------------------- + RTS Exit codes + -------------------------------------------------------------------------- */ + +/* 255 is allegedly used by dynamic linkers to report linking failure */ +#define EXIT_INTERNAL_ERROR 254 +#define EXIT_DEADLOCK 253 +#define EXIT_INTERRUPTED 252 +#define EXIT_HEAPOVERFLOW 251 +#define EXIT_KILLED 250 + +/* ----------------------------------------------------------------------------- + Miscellaneous garbage + -------------------------------------------------------------------------- */ + /* declarations for runtime flags/values */ #define MAX_RTS_ARGS 32 +#ifdef _WIN32 +/* On the yucky side..suppress -Wmissing-declarations warnings when + * including + */ +extern void* GetCurrentFiber ( void ); +extern void* GetFiberData ( void ); +#endif + /* ----------------------------------------------------------------------------- - Useful typedefs + Assertions and Debuggery -------------------------------------------------------------------------- */ -typedef unsigned int nat; /* at least 32 bits (like int) */ -typedef unsigned long lnat; /* at least 32 bits */ -typedef unsigned long long ullong; /* at least 32 bits */ - -typedef enum { - rtsFalse = 0, - rtsTrue -} rtsBool; +#define IF_RTSFLAGS(c,s) if (RtsFlags.c) { s; } /* ----------------------------------------------------------------------------- Assertions and Debuggery @@ -53,6 +208,12 @@ typedef enum { #define IF_DEBUG(c,s) doNothing() #endif +#ifdef DEBUG +#define DEBUG_ONLY(s) s +#else +#define DEBUG_ONLY(s) doNothing() +#endif + #if defined(GRAN) && defined(DEBUG) #define IF_GRAN_DEBUG(c,s) if (RtsFlags.GranFlags.Debug.c) { s; } #else @@ -66,35 +227,25 @@ typedef enum { #endif /* ----------------------------------------------------------------------------- - Attributes + Useful macros and inline functions -------------------------------------------------------------------------- */ -#ifdef __GNUC__ /* Avoid spurious warnings */ -#if __GNUC__ >= 2 && __GNUC_MINOR__ >= 7 -#define STG_NORETURN __attribute__ ((noreturn)) -#define STG_UNUSED __attribute__ ((unused)) -#else -#define STG_NORETURN -#define STG_UNUSED +#if defined(__GNUC__) +#define SUPPORTS_TYPEOF #endif + +#if defined(SUPPORTS_TYPEOF) +#define stg_min(a,b) ({typeof(a) _a = (a), _b = (b); _a <= _b ? _a : _b; }) +#define stg_max(a,b) ({typeof(a) _a = (a), _b = (b); _a <= _b ? _b : _a; }) #else -#define STG_NORETURN -#define STG_UNUSED +#define stg_min(a,b) ((a) <= (b) ? (a) : (b)) +#define stg_max(a,b) ((a) <= (b) ? (b) : (a)) #endif -/* ----------------------------------------------------------------------------- - Useful macros and inline functions - -------------------------------------------------------------------------- */ +/* -------------------------------------------------------------------------- */ -/* - * Use this on the RHS of macros which expand to nothing - * to make sure that the macro can be used in a context which - * demands a non-empty statement. - */ - -#define doNothing() do { } while (0) - -#define stg_min(a,b) ({typeof(a) _a = (a), _b = (b); _a <= _b ? _a : _b; }) -#define stg_max(a,b) ({typeof(a) _a = (a), _b = (b); _a <= _b ? _b : _a; }) +#ifdef __cplusplus +} +#endif -#endif RTS_H +#endif /* RTS_H */