Select.c 5.76 KB
Newer Older
1
/* -----------------------------------------------------------------------------
2
 * $Id: Select.c,v 1.7 2000/01/13 12:40:16 simonmar Exp $
3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
 *
 * (c) The GHC Team 1995-1999
 *
 * Support for concurrent non-blocking I/O and thread waiting.
 *
 * ---------------------------------------------------------------------------*/

/* we're outside the realms of POSIX here... */
#define NON_POSIX_SOURCE

#include "Rts.h"
#include "Schedule.h"
#include "RtsUtils.h"
#include "RtsFlags.h"
#include "Itimer.h"
18
#include "Signals.h"
19 20 21 22 23 24 25 26 27 28 29 30 31 32 33

# if defined(HAVE_SYS_TYPES_H)
#  include <sys/types.h>
# endif

# ifdef HAVE_SYS_TIME_H
#  include <sys/time.h>
# endif

nat ticks_since_select = 0;

/* Argument 'wait' says whether to wait for I/O to become available,
 * or whether to just check and return immediately.  If there are
 * other threads ready to run, we normally do the non-waiting variety,
 * otherwise we wait (see Schedule.c).
34 35
 *
 * SMP note: must be called with sched_mutex locked.
36 37 38 39
 */
void
awaitEvent(rtsBool wait)
{
sof's avatar
sof committed
40 41 42 43 44 45 46 47 48
#ifdef mingw32_TARGET_OS
/*
 * Win32 doesn't support select(). ToDo: use MsgWaitForMultipleObjects()
 * to achieve (similar) effect.
 *
 */
    return;
#else

49 50 51
    StgTSO *tso, *prev, *next;
    rtsBool ready;
    fd_set rfd,wfd;
52 53
    int numFound;
    nat min, delta;
54 55
    int maxfd = -1;
   
56 57 58 59
    struct timeval tv;
#ifndef linux_TARGET_OS
    struct timeval tv_before,tv_after;
#endif
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

    IF_DEBUG(scheduler,belch("Checking for threads blocked on I/O...\n"));

    /* see how long it's been since we last checked the blocked queue.
     * ToDo: make this check atomic, so we don't lose any ticks.
     */
    delta = ticks_since_select;
    ticks_since_select = 0;
    delta = delta * TICK_MILLISECS * 1000;

    min = wait == rtsTrue ? 0x7fffffff : 0;

    /* 
     * Collect all of the fd's that we're interested in, and capture
     * the minimum waiting time (in microseconds) for the delayed threads.
     */
    FD_ZERO(&rfd);
    FD_ZERO(&wfd);

    for(tso = blocked_queue_hd; tso != END_TSO_QUEUE; tso = next) {
      next = tso->link;

      switch (tso->why_blocked) {
      case BlockedOnRead:
	{ 
	  int fd = tso->block_info.fd;
	  maxfd = (fd > maxfd) ? fd : maxfd;
	  FD_SET(fd, &rfd);
	  continue;
	}

      case BlockedOnWrite:
	{ 
	  int fd = tso->block_info.fd;
	  maxfd = (fd > maxfd) ? fd : maxfd;
	  FD_SET(fd, &wfd);
	  continue;
	}

      case BlockedOnDelay:
	{
101
	  if (tso->block_info.delay < min)
102 103 104 105 106 107 108 109 110
	    min = tso->block_info.delay;
	  continue;
	}

      default:
	barf("AwaitEvent");
      }
    }

111 112 113 114 115 116 117 118 119 120 121 122 123 124
    /* Release the scheduler lock while we do the poll.
     * this means that someone might muck with the blocked_queue
     * while we do this, but it shouldn't matter:
     *
     *   - another task might poll for I/O and remove one
     *     or more threads from the blocked_queue.
     *   - more I/O threads may be added to blocked_queue.
     *   - more delayed threads may be added to blocked_queue. We'll
     *     just subtract delta from their delays after the poll.
     *
     * I believe none of these cases lead to trouble --SDM.
     */
    RELEASE_LOCK(&sched_mutex);

125 126 127 128 129
    /* Check for any interesting events */

    tv.tv_sec = min / 1000000;
    tv.tv_usec = min % 1000000;

130
#ifndef linux_TARGET_OS
131
    gettimeofday(&tv_before, (struct timezone *) NULL);
132
#endif
133

134 135
    while (!interrupted &&
	   (numFound = select(maxfd+1, &rfd, &wfd, NULL, &tv)) < 0) {
136 137
      if (errno != EINTR) {
	/* fflush(stdout); */
138
	perror("select");
139
	barf("select failed");
140
      }
141
      ACQUIRE_LOCK(&sched_mutex);
142

143 144 145 146 147 148 149
      /* We got a signal; could be one of ours.  If so, we need
       * to start up the signal handler straight away, otherwise
       * we could block for a long time before the signal is
       * serviced.
       */
      if (signals_pending()) {
	start_signal_handlers();
150 151
	RELEASE_LOCK(&sched_mutex);
	break;
152
      }
153 154 155 156 157

      /* If new runnable threads have arrived, stop waiting for
       * I/O and run them.
       */
      if (run_queue_hd != END_TSO_QUEUE) {
158 159
	RELEASE_LOCK(&sched_mutex);
	break;
160
      }
161

162
      RELEASE_LOCK(&sched_mutex);
163 164
    }	

165
#ifdef linux_TARGET_OS
166 167 168 169
    /* on Linux, tv is set to indicate the amount of time not
     * slept, so we don't need to gettimeofday() to find out.
     */
    delta += min - (tv.tv_sec * 1000000 + tv.tv_usec);
170
#else
171 172 173 174 175 176 177 178
    gettimeofday(&tv_after, (struct timezone *) NULL);
    delta += (tv_after.tv_sec - tv_before.tv_sec) * 1000000 +
      tv_after.tv_usec - tv_before.tv_usec;
#endif

#if 0
    if (delta != 0) { fprintf(stderr,"waited: %d %d %d\n", min, delta,
			      interrupted); }
179
#endif
180

181 182
    ACQUIRE_LOCK(&sched_mutex);

183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203
    /*
      Step through the waiting queue, unblocking every thread that now has
      a file descriptor in a ready state.

      For the delayed threads, decrement the number of microsecs
      we've been blocked for. Unblock the threads that have thusly expired.
     */

    prev = NULL;
    for(tso = blocked_queue_hd; tso != END_TSO_QUEUE; tso = next) {
      next = tso->link;
      switch (tso->why_blocked) {
      case BlockedOnRead:
	ready = FD_ISSET(tso->block_info.fd, &rfd);
	break;
	
      case BlockedOnWrite:
	ready = FD_ISSET(tso->block_info.fd, &wfd);
	break;
	
      case BlockedOnDelay:
204 205 206 207 208 209 210
	if (tso->block_info.delay > delta) {
	  tso->block_info.delay -= delta;
	  ready = 0;
	} else {
	  tso->block_info.delay = 0;
	  ready = 1;
	}
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
	break;
	
      default:
	barf("awaitEvent");
      }
      
      if (ready) {
	IF_DEBUG(scheduler,belch("Waking up thread %d\n", tso->id));
	tso->why_blocked = NotBlocked;
	tso->link = END_TSO_QUEUE;
	PUSH_ON_RUN_QUEUE(tso);
      } else {
	if (prev == NULL)
	  blocked_queue_hd = tso;
	else
	  prev->link = tso;
	prev = tso;
      }
    }

    if (prev == NULL)
      blocked_queue_hd = blocked_queue_tl = END_TSO_QUEUE;
    else {
      prev->link = END_TSO_QUEUE;
      blocked_queue_tl = prev;
    }
sof's avatar
sof committed
237
#endif
238
}