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
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
|
/* -----------------------------------------------------------------------------
*
* (c) The GHC Team, 1995-2007
*
* Interval timer for profiling and pre-emptive scheduling.
*
* ---------------------------------------------------------------------------*/
/*
* The interval timer is used for profiling and for context switching in the
* threaded build. Though POSIX 1003.1b includes a standard interface for
* such things, no one really seems to be implementing them yet. Even
* Solaris 2.3 only seems to provide support for @CLOCK_REAL@, whereas we're
* keen on getting access to @CLOCK_VIRTUAL@.
*
* Hence, we use the old-fashioned @setitimer@ that just about everyone seems
* to support. So much for standards.
*/
#include "PosixSource.h"
#include "Rts.h"
#include "Ticker.h"
#include "Itimer.h"
#include "Proftimer.h"
#include "Schedule.h"
#include "Clock.h"
/* As recommended in the autoconf manual */
# ifdef TIME_WITH_SYS_TIME
# include <sys/time.h>
# include <time.h>
# else
# ifdef HAVE_SYS_TIME_H
# include <sys/time.h>
# else
# include <time.h>
# endif
# endif
#ifdef HAVE_SIGNAL_H
# include <signal.h>
#endif
#include <string.h>
/*
* timer_create doesn't exist and setitimer doesn't fire on iOS, so we're using
* a pthreads-based implementation. It may be to do with interference with the
* signals of the debugger. Revisit. See #7723.
*/
#if defined(ios_HOST_OS)
#define USE_PTHREAD_FOR_ITIMER
#endif
#if defined(USE_PTHREAD_FOR_ITIMER)
#include <pthread.h>
#include <unistd.h>
#endif
/*
* We use a realtime timer by default. I found this much more
* reliable than a CPU timer:
*
* Experiments with different frequences: using
* CLOCK_REALTIME/CLOCK_MONOTONIC on Linux 2.6.32,
* 1000us has <1% impact on runtime
* 100us has ~2% impact on runtime
* 10us has ~40% impact on runtime
*
* using CLOCK_PROCESS_CPUTIME_ID on Linux 2.6.32,
* I cannot get it to tick faster than 10ms (10000us)
* which isn't great for profiling.
*
* In the threaded RTS, we can't tick in CPU time because the thread
* which has the virtual timer might be idle, so the tick would never
* fire. Therfore we used to tick in realtime in the threaded RTS and
* in CPU time otherwise, but now we always tick in realtime, for
* several reasons:
*
* - resolution (see above)
* - consistency (-threaded is the same as normal)
* - more consistency: Windows only has a realtime timer
*
* Note we want to use CLOCK_MONOTONIC rather than CLOCK_REALTIME,
* because the latter may jump around (NTP adjustments, leap seconds
* etc.).
*/
#if defined(solaris2_HOST_OS)
/* USE_TIMER_CREATE is usually disabled for Solaris. In fact it is
supported well on this OS, but requires additional privilege. When
user does not have it, then the testing configure program fails
which results in USE_TIMER_CREATE not defined.
On the other hand when we cross-compile, then we optimistically
assume usage of timer_create function. The problem is that if we
cross compile for example from i386-solaris2 to x86_64-solaris2,
then the build fails with error like this:
ghc-stage2: timer_create: Not owner
which happens on first ghc-stage2 invocation. So to support
cross-compilation to Solaris we manually undefine USE_TIMER_CREATE
here */
#undef USE_TIMER_CREATE
#endif /* solaris2_HOST_OS */
#if defined(USE_TIMER_CREATE)
# define ITIMER_SIGNAL SIGVTALRM
#elif defined(HAVE_SETITIMER)
# define ITIMER_SIGNAL SIGALRM
// Using SIGALRM can leads to problems, see #850. But we have no
// option if timer_create() is not available.
#else
# error No way to set an interval timer.
#endif
#if defined(USE_TIMER_CREATE)
static timer_t timer;
#endif
static Time itimer_interval = DEFAULT_TICK_INTERVAL;
#if !defined(USE_PTHREAD_FOR_ITIMER)
static void install_vtalrm_handler(TickProc handle_tick)
{
struct sigaction action;
action.sa_handler = handle_tick;
sigemptyset(&action.sa_mask);
#ifdef SA_RESTART
// specify SA_RESTART. One consequence if we don't do this is
// that readline gets confused by the -threaded RTS. It seems
// that if a SIGALRM handler is installed without SA_RESTART,
// readline installs its own SIGALRM signal handler (see
// readline's signals.c), and this somehow causes readline to go
// wrong when the input exceeds a single line (try it).
action.sa_flags = SA_RESTART;
#else
action.sa_flags = 0;
#endif
if (sigaction(ITIMER_SIGNAL, &action, NULL) == -1) {
sysErrorBelch("sigaction");
stg_exit(EXIT_FAILURE);
}
}
#endif
#if defined(USE_PTHREAD_FOR_ITIMER)
static volatile int itimer_enabled;
static void *itimer_thread_func(void *_handle_tick)
{
TickProc handle_tick = _handle_tick;
while (1) {
usleep(TimeToUS(itimer_interval));
switch (itimer_enabled) {
case 1: handle_tick(0); break;
case 2: itimer_enabled = 0;
}
}
return NULL;
}
#endif
void
initTicker (Time interval, TickProc handle_tick)
{
itimer_interval = interval;
#if defined(USE_PTHREAD_FOR_ITIMER)
pthread_t tid;
pthread_create(&tid, NULL, itimer_thread_func, (void*)handle_tick);
#elif defined(USE_TIMER_CREATE)
{
struct sigevent ev;
// Keep programs like valgrind happy
memset(&ev, 0, sizeof(ev));
ev.sigev_notify = SIGEV_SIGNAL;
ev.sigev_signo = ITIMER_SIGNAL;
if (timer_create(CLOCK_ID, &ev, &timer) != 0) {
sysErrorBelch("timer_create");
stg_exit(EXIT_FAILURE);
}
}
install_vtalrm_handler(handle_tick);
#else
install_vtalrm_handler(handle_tick);
#endif
}
void
startTicker(void)
{
#if defined(USE_PTHREAD_FOR_ITIMER)
itimer_enabled = 1;
#elif defined(USE_TIMER_CREATE)
{
struct itimerspec it;
it.it_value.tv_sec = TimeToSeconds(itimer_interval);
it.it_value.tv_nsec = TimeToNS(itimer_interval) % 1000000000;
it.it_interval = it.it_value;
if (timer_settime(timer, 0, &it, NULL) != 0) {
sysErrorBelch("timer_settime");
stg_exit(EXIT_FAILURE);
}
}
#else
{
struct itimerval it;
it.it_value.tv_sec = TimeToSeconds(itimer_interval);
it.it_value.tv_usec = TimeToUS(itimer_interval) % 1000000;
it.it_interval = it.it_value;
if (setitimer(ITIMER_REAL, &it, NULL) != 0) {
sysErrorBelch("setitimer");
stg_exit(EXIT_FAILURE);
}
}
#endif
}
void
stopTicker(void)
{
#if defined(USE_PTHREAD_FOR_ITIMER)
if (itimer_enabled == 1) {
itimer_enabled = 2;
/* Wait for the thread to confirm it won't generate another tick. */
while (itimer_enabled != 0)
sched_yield();
}
#elif defined(USE_TIMER_CREATE)
struct itimerspec it;
it.it_value.tv_sec = 0;
it.it_value.tv_nsec = 0;
it.it_interval = it.it_value;
if (timer_settime(timer, 0, &it, NULL) != 0) {
sysErrorBelch("timer_settime");
stg_exit(EXIT_FAILURE);
}
#else
struct itimerval it;
it.it_value.tv_sec = 0;
it.it_value.tv_usec = 0;
it.it_interval = it.it_value;
if (setitimer(ITIMER_REAL, &it, NULL) != 0) {
sysErrorBelch("setitimer");
stg_exit(EXIT_FAILURE);
}
#endif
}
void
exitTicker (rtsBool wait STG_UNUSED)
{
#if defined(USE_TIMER_CREATE)
// Before deleting the timer set the signal to ignore to avoid the
// possibility of the signal being delivered after the timer is deleted.
signal(ITIMER_SIGNAL, SIG_IGN);
timer_delete(timer);
// ignore errors - we don't really care if it fails.
#endif
}
int
rtsTimerSignal(void)
{
return ITIMER_SIGNAL;
}
// Local Variables:
// mode: C
// fill-column: 80
// indent-tabs-mode: nil
// c-basic-offset: 4
// buffer-file-coding-system: utf-8-unix
// End:
|