/* -----------------------------------------------------------------------------
- * $Id: SchedAPI.h,v 1.7 1999/11/02 15:05:52 simonmar Exp $
+ * $Id: SchedAPI.h,v 1.12 2000/12/04 12:31:20 simonmar Exp $
*
* (c) The GHC Team 1998
*
#ifndef SCHEDAPI_H
#define SCHEDAPI_H
+#if defined(GRAN)
+// Dummy def for NO_PRI if not in GranSim
+#define NO_PRI 0
+#endif
+
/*
* schedule() plus the thread creation functions are not part
* part of the external RTS API, so leave them out if we're
/*
* Creating threads
*/
-
+#if defined(GRAN)
+StgTSO *createThread(nat stack_size, StgInt pri);
+#else
StgTSO *createThread(nat stack_size);
+#endif
void scheduleThread(StgTSO *tso);
static inline void pushClosure (StgTSO *tso, StgClosure *c) {
static inline StgTSO *
createGenThread(nat stack_size, StgClosure *closure) {
StgTSO *t;
+#if defined(GRAN)
+ t = createThread(stack_size, NO_PRI);
+#else
t = createThread(stack_size);
+#endif
pushClosure(t,closure);
return t;
}
static inline StgTSO *
createIOThread(nat stack_size, StgClosure *closure) {
StgTSO *t;
+#if defined(GRAN)
+ t = createThread(stack_size, NO_PRI);
+#else
t = createThread(stack_size);
+#endif
pushRealWorld(t);
pushClosure(t,closure);
return t;
static inline StgTSO *
createStrictIOThread(nat stack_size, StgClosure *closure) {
StgTSO *t;
+#if defined(GRAN)
+ t = createThread(stack_size, NO_PRI);
+#else
t = createThread(stack_size);
+#endif
pushClosure(t,closure);
- pushClosure(t,(StgClosure*)&forceIO_closure);
+ pushClosure(t,(StgClosure*)&stg_forceIO_closure);
return t;
}
/*
* Killing threads
*/
-
-void deleteThread(StgTSO *tso);
+extern void deleteThread(StgTSO *tso);
+extern void deleteAllThreads ( void );
+extern int howManyThreadsAvail ( void );
+/*
+ * Run until there are no more threads.
+ */
+extern void finishAllThreads ( void );
/*
* Reverting CAFs
*/
-
-void RevertCAFs(void);
+extern void RevertCAFs ( void );
#endif