1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
|
/* -----------------------------------------------------------------------------
*
* (c) The GHC Team 2001-
*
* The task manager subsystem. Tasks execute STG code, with this
* module providing the API which the Scheduler uses to control their
* creation and destruction.
*
* Two kinds of RTS builds uses 'tasks' - the SMP and the
* 'native thread-friendly' builds.
*
* The SMP build lets multiple tasks concurrently execute STG code,
* all sharing vital internal RTS data structures in a controlled manner
* (see details elsewhere...ToDo: fill in ref!)
*
* The 'threads' build has at any one time only one task executing STG
* code, other tasks are either busy executing code outside the RTS
* (e.g., a C call) or waiting for their turn to (again) evaluate some
* STG code. A task relinquishes its RTS token when it is asked to
* evaluate an external (C) call.
*
* -------------------------------------------------------------------------*/
#include "Rts.h"
#if defined(RTS_SUPPORTS_THREADS) /* to the end */
#include "RtsUtils.h"
#include "OSThreads.h"
#include "Task.h"
#include "Stats.h"
#include "RtsFlags.h"
#include "Schedule.h"
/* There's not all that much code that is shared between the
* SMP and threads version of the 'task manager.' A sign
* that the code ought to be structured differently..(Maybe ToDo).
*/
/*
* The following Task Manager-local variables are assumed to be
* accessed with the RTS lock in hand.
*/
#if defined(SMP)
static TaskInfo* taskTable;
#endif
/* upper bound / the number of tasks created. */
static nat maxTasks;
/* number of tasks currently created */
static nat taskCount;
#if defined(SMP)
void
startTaskManager( nat maxCount, void (*taskStart)(void) )
{
nat i;
static int initialized = 0;
if (!initialized) {
taskCount = 0;
maxTasks = maxCount;
/* allocate table holding task metadata */
if (maxCount > 0) {
taskTable = stgMallocBytes(maxCount * sizeof(TaskInfo),
"startTaskManager:tasks");
/* and eagerly create them all. */
for (i = 0; i < maxCount; i++) {
startTask(taskStart);
taskCount++;
}
}
initialized = 1;
}
}
void
startTask ( void (*taskStart)(void) )
{
int r;
OSThreadId tid;
r = createOSThread(&tid,taskStart);
if (r != 0) {
barf("startTask: Can't create new task");
}
taskTable[taskCount].id = tid;
taskTable[taskCount].mut_time = 0.0;
taskTable[taskCount].mut_etime = 0.0;
taskTable[taskCount].gc_time = 0.0;
taskTable[taskCount].gc_etime = 0.0;
taskTable[taskCount].elapsedtimestart = stat_getElapsedTime();
IF_DEBUG(scheduler,debugBelch("scheduler: Started task: %ld\n",tid););
return;
}
void
stopTaskManager ()
{
nat i;
OSThreadId tid = osThreadId();
/* Don't want to use pthread_cancel, since we'd have to install
* these silly exception handlers (pthread_cleanup_{push,pop}) around
* all our locks.
*/
#if 0
/* Cancel all our tasks */
for (i = 0; i < RtsFlags.ParFlags.nNodes; i++) {
pthread_cancel(taskTable[i].id);
}
/* Wait for all the tasks to terminate */
for (i = 0; i < maxCount; i++) {
IF_DEBUG(scheduler,debugBelch("scheduler: waiting for task %ld\n",
taskTable[i].id));
pthread_join(taskTable[i].id, NULL);
}
#endif
/* Send 'em all a SIGHUP. That should shut 'em up. */
await_death = maxCount - 1;
for (i = 0; i < maxCount; i++) {
/* don't cancel the thread running this piece of code. */
if ( taskTable[i].id != tid ) {
pthread_kill(taskTable[i].id,SIGTERM);
}
}
while (await_death > 0) {
sched_yield();
}
return;
}
void
resetTaskManagerAfterFork ()
{
barf("resetTaskManagerAfterFork not implemented for SMP");
}
#else
/************ THREADS version *****************/
void
startTaskManager( nat maxCount,
void (*taskStart)(void) STG_UNUSED )
{
/* In the threaded case, maxCount is used to limit the
the creation of worker tasks. Tasks are created lazily, i.e.,
when the current task gives up the token on executing
STG code.
*/
maxTasks = maxCount;
taskCount = 0;
}
rtsBool
startTask ( void (*taskStart)(void) )
{
int r;
OSThreadId tid;
/* If more than one worker thread is known to be blocked waiting
on thread_ready_cond, don't create a new one.
*/
if ( rts_n_waiting_tasks > 0) {
IF_DEBUG(scheduler,debugBelch(
"scheduler: startTask: %d tasks waiting, not creating new one.\n",
rts_n_waiting_tasks););
// the task will run as soon as a capability is available,
// so there's no need to wake it.
return rtsFalse;
}
/* If the task limit has been reached, just return. */
if (maxTasks > 0 && taskCount == maxTasks) {
IF_DEBUG(scheduler,debugBelch("scheduler: startTask: task limit (%d) reached, not creating new one.\n",maxTasks));
return rtsFalse;
}
r = createOSThread(&tid,taskStart);
if (r != 0) {
barf("startTask: Can't create new task");
}
taskCount++;
IF_DEBUG(scheduler,debugBelch("scheduler: startTask: new task %ld (total_count: %d; waiting: %d)\n", tid, taskCount, rts_n_waiting_tasks););
return rtsTrue;
}
void
stopTaskManager ()
{
}
void
resetTaskManagerAfterFork ( void )
{
rts_n_waiting_tasks = 0;
taskCount = 0;
}
#endif
#endif /* RTS_SUPPORTS_THREADS */
|
