1 /* -----------------------------------------------------------------------------
2 * $Id: Select.c,v 1.8 2000/01/17 17:33:30 simonmar Exp $
4 * (c) The GHC Team 1995-1999
6 * Support for concurrent non-blocking I/O and thread waiting.
8 * ---------------------------------------------------------------------------*/
10 /* we're outside the realms of POSIX here... */
11 #define NON_POSIX_SOURCE
20 # if defined(HAVE_SYS_TYPES_H)
21 # include <sys/types.h>
24 # ifdef HAVE_SYS_TIME_H
25 # include <sys/time.h>
28 nat ticks_since_select = 0;
30 /* Argument 'wait' says whether to wait for I/O to become available,
31 * or whether to just check and return immediately. If there are
32 * other threads ready to run, we normally do the non-waiting variety,
33 * otherwise we wait (see Schedule.c).
35 * SMP note: must be called with sched_mutex locked.
38 awaitEvent(rtsBool wait)
40 #ifdef mingw32_TARGET_OS
42 * Win32 doesn't support select(). ToDo: use MsgWaitForMultipleObjects()
43 * to achieve (similar) effect.
49 StgTSO *tso, *prev, *next;
57 #ifndef linux_TARGET_OS
58 struct timeval tv_before,tv_after;
61 IF_DEBUG(scheduler,belch("Checking for threads blocked on I/O...\n"));
63 /* loop until we've woken up some threads. This loop is needed
64 * because the select timing isn't accurate, we sometimes sleep
65 * for a while but not long enough to wake up a thread in
70 /* see how long it's been since we last checked the blocked queue.
71 * ToDo: make this check atomic, so we don't lose any ticks.
73 delta = ticks_since_select;
74 ticks_since_select = 0;
75 delta = delta * TICK_MILLISECS * 1000;
77 min = wait == rtsTrue ? 0x7fffffff : 0;
80 * Collect all of the fd's that we're interested in, and capture
81 * the minimum waiting time (in microseconds) for the delayed threads.
86 for(tso = blocked_queue_hd; tso != END_TSO_QUEUE; tso = next) {
89 switch (tso->why_blocked) {
92 int fd = tso->block_info.fd;
93 maxfd = (fd > maxfd) ? fd : maxfd;
100 int fd = tso->block_info.fd;
101 maxfd = (fd > maxfd) ? fd : maxfd;
108 if (tso->block_info.delay < min)
109 min = tso->block_info.delay;
118 /* Release the scheduler lock while we do the poll.
119 * this means that someone might muck with the blocked_queue
120 * while we do this, but it shouldn't matter:
122 * - another task might poll for I/O and remove one
123 * or more threads from the blocked_queue.
124 * - more I/O threads may be added to blocked_queue.
125 * - more delayed threads may be added to blocked_queue. We'll
126 * just subtract delta from their delays after the poll.
128 * I believe none of these cases lead to trouble --SDM.
130 RELEASE_LOCK(&sched_mutex);
132 /* Check for any interesting events */
134 tv.tv_sec = min / 1000000;
135 tv.tv_usec = min % 1000000;
137 #ifndef linux_TARGET_OS
138 gettimeofday(&tv_before, (struct timezone *) NULL);
141 while (!interrupted &&
142 (numFound = select(maxfd+1, &rfd, &wfd, NULL, &tv)) < 0) {
143 if (errno != EINTR) {
144 /* fflush(stdout); */
146 barf("select failed");
148 ACQUIRE_LOCK(&sched_mutex);
150 /* We got a signal; could be one of ours. If so, we need
151 * to start up the signal handler straight away, otherwise
152 * we could block for a long time before the signal is
155 if (signals_pending()) {
156 start_signal_handlers();
157 RELEASE_LOCK(&sched_mutex);
161 /* If new runnable threads have arrived, stop waiting for
164 if (run_queue_hd != END_TSO_QUEUE) {
165 RELEASE_LOCK(&sched_mutex);
169 RELEASE_LOCK(&sched_mutex);
172 #ifdef linux_TARGET_OS
173 /* on Linux, tv is set to indicate the amount of time not
174 * slept, so we don't need to gettimeofday() to find out.
176 delta += min - (tv.tv_sec * 1000000 + tv.tv_usec);
178 gettimeofday(&tv_after, (struct timezone *) NULL);
179 delta += (tv_after.tv_sec - tv_before.tv_sec) * 1000000 +
180 tv_after.tv_usec - tv_before.tv_usec;
184 if (delta != 0) { fprintf(stderr,"waited: %d %d %d\n", min, delta,
188 ACQUIRE_LOCK(&sched_mutex);
190 /* Step through the waiting queue, unblocking every thread that now has
191 * a file descriptor in a ready state.
193 * For the delayed threads, decrement the number of microsecs
194 * we've been blocked for. Unblock the threads that have thusly expired.
198 for(tso = blocked_queue_hd; tso != END_TSO_QUEUE; tso = next) {
200 switch (tso->why_blocked) {
202 ready = FD_ISSET(tso->block_info.fd, &rfd);
206 ready = FD_ISSET(tso->block_info.fd, &wfd);
210 if (tso->block_info.delay > delta) {
211 tso->block_info.delay -= delta;
214 tso->block_info.delay = 0;
224 IF_DEBUG(scheduler,belch("Waking up thread %d\n", tso->id));
225 tso->why_blocked = NotBlocked;
226 tso->link = END_TSO_QUEUE;
227 PUSH_ON_RUN_QUEUE(tso);
230 blocked_queue_hd = tso;
238 blocked_queue_hd = blocked_queue_tl = END_TSO_QUEUE;
240 prev->link = END_TSO_QUEUE;
241 blocked_queue_tl = prev;
244 } while (wait && run_queue_hd == END_TSO_QUEUE);