ViewVC Help
View File | Revision Log | Show Annotations | Download File
/cvs/libev/ev_select.c
(Generate patch)

Comparing libev/ev_select.c (file contents):
Revision 1.22 by root, Fri Nov 23 05:13:49 2007 UTC vs.
Revision 1.58 by root, Sat Aug 17 05:30:16 2019 UTC

1/* 1/*
2 * libev select fd activity backend 2 * libev select fd activity backend
3 * 3 *
4 * Copyright (c) 2007 Marc Alexander Lehmann <libev@schmorp.de> 4 * Copyright (c) 2007,2008,2009,2010,2011 Marc Alexander Lehmann <libev@schmorp.de>
5 * All rights reserved. 5 * All rights reserved.
6 * 6 *
7 * Redistribution and use in source and binary forms, with or without 7 * Redistribution and use in source and binary forms, with or without modifica-
8 * modification, are permitted provided that the following conditions are 8 * tion, are permitted provided that the following conditions are met:
9 * met:
10 * 9 *
11 * * Redistributions of source code must retain the above copyright 10 * 1. Redistributions of source code must retain the above copyright notice,
11 * this list of conditions and the following disclaimer.
12 *
13 * 2. Redistributions in binary form must reproduce the above copyright
12 * notice, this list of conditions and the following disclaimer. 14 * notice, this list of conditions and the following disclaimer in the
15 * documentation and/or other materials provided with the distribution.
13 * 16 *
14 * * Redistributions in binary form must reproduce the above 17 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR IMPLIED
15 * copyright notice, this list of conditions and the following 18 * WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MER-
16 * disclaimer in the documentation and/or other materials provided 19 * CHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO
17 * with the distribution. 20 * EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPE-
18 *
19 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
20 * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
21 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
22 * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
23 * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
24 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 21 * CIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
25 * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 22 * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS;
26 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 23 * OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY,
27 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 24 * WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTH-
28 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 25 * ERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
29 * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 26 * OF THE POSSIBILITY OF SUCH DAMAGE.
27 *
28 * Alternatively, the contents of this file may be used under the terms of
29 * the GNU General Public License ("GPL") version 2 or any later version,
30 * in which case the provisions of the GPL are applicable instead of
31 * the above. If you wish to allow the use of your version of this file
32 * only under the terms of the GPL and not to allow others to use your
33 * version of this file under the BSD license, indicate your decision
34 * by deleting the provisions above and replace them with the notice
35 * and other provisions required by the GPL. If you do not delete the
36 * provisions above, a recipient may use your version of this file under
37 * either the BSD or the GPL.
30 */ 38 */
31 39
32#ifndef _WIN32 40#ifndef _WIN32
33/* for unix systems */ 41/* for unix systems */
34# include <sys/select.h>
35# include <inttypes.h> 42# include <inttypes.h>
43# ifndef __hpux
44/* for REAL unix systems */
45# include <sys/select.h>
46# endif
36#endif 47#endif
37 48
38#ifndef EV_SELECT_USE_FD_SET 49#ifndef EV_SELECT_USE_FD_SET
39# ifdef NFDBITS 50# ifdef NFDBITS
40# define EV_SELECT_USE_FD_SET 0 51# define EV_SELECT_USE_FD_SET 0
… …
44#endif 55#endif
45 56
46#if EV_SELECT_IS_WINSOCKET 57#if EV_SELECT_IS_WINSOCKET
47# undef EV_SELECT_USE_FD_SET 58# undef EV_SELECT_USE_FD_SET
48# define EV_SELECT_USE_FD_SET 1 59# define EV_SELECT_USE_FD_SET 1
49# undef EINTR 60# undef NFDBITS
50# define EINTR WSAEINTR 61# define NFDBITS 0
51# undef EBADF
52# define EBADF WSAENOTSOCK
53# undef ENOMEM
54# define ENOMEM (errno + 1)
55#endif 62#endif
56 63
57#if !EV_SELECT_USE_FD_SET 64#if !EV_SELECT_USE_FD_SET
58# define NFDBYTES (NFDBITS / 8) 65# define NFDBYTES (NFDBITS / 8)
59#endif 66#endif
… …
73 SOCKET handle = anfds [fd].handle; 80 SOCKET handle = anfds [fd].handle;
74 #else 81 #else
75 int handle = fd; 82 int handle = fd;
76 #endif 83 #endif
77 84
85 assert (("libev: fd >= FD_SETSIZE passed to fd_set-based select backend", fd < FD_SETSIZE));
86
87 /* FD_SET is broken on windows (it adds the fd to a set twice or more,
88 * which eventually leads to overflows). Need to call it only on changes.
89 */
90 #if EV_SELECT_IS_WINSOCKET
91 if ((oev ^ nev) & EV_READ)
92 #endif
78 if (nev & EV_READ) 93 if (nev & EV_READ)
79 FD_SET (handle, (fd_set *)vec_ri); 94 FD_SET (handle, (fd_set *)vec_ri);
80 else 95 else
81 FD_CLR (handle, (fd_set *)vec_ri); 96 FD_CLR (handle, (fd_set *)vec_ri);
82 97
98 #if EV_SELECT_IS_WINSOCKET
99 if ((oev ^ nev) & EV_WRITE)
100 #endif
83 if (nev & EV_WRITE) 101 if (nev & EV_WRITE)
84 FD_SET (handle, (fd_set *)vec_wi); 102 FD_SET (handle, (fd_set *)vec_wi);
85 else 103 else
86 FD_CLR (handle, (fd_set *)vec_wi); 104 FD_CLR (handle, (fd_set *)vec_wi);
87 105
88#else 106#else
89 107
90 int word = fd / NFDBITS; 108 int word = fd / NFDBITS;
91 int mask = 1UL << (fd % NFDBITS); 109 fd_mask mask = 1UL << (fd % NFDBITS);
92 110
93 if (vec_max < word + 1) 111 if (ecb_expect_false (vec_max <= word))
94 { 112 {
95 int new_max = word + 1; 113 int new_max = word + 1;
96 114
97 vec_ri = ev_realloc (vec_ri, new_max * NFDBYTES); 115 vec_ri = ev_realloc (vec_ri, new_max * NFDBYTES);
98 vec_ro = ev_realloc (vec_ro, new_max * NFDBYTES); /* could free/malloc */ 116 vec_ro = ev_realloc (vec_ro, new_max * NFDBYTES); /* could free/malloc */
99 vec_wi = ev_realloc (vec_wi, new_max * NFDBYTES); 117 vec_wi = ev_realloc (vec_wi, new_max * NFDBYTES);
100 vec_wo = ev_realloc (vec_wo, new_max * NFDBYTES); /* could free/malloc */ 118 vec_wo = ev_realloc (vec_wo, new_max * NFDBYTES); /* could free/malloc */
119 #ifdef _WIN32
120 vec_eo = ev_realloc (vec_eo, new_max * NFDBYTES); /* could free/malloc */
121 #endif
101 122
102 for (; vec_max < new_max; ++vec_max) 123 for (; vec_max < new_max; ++vec_max)
103 ((fd_mask *)vec_ri)[vec_max] = 124 ((fd_mask *)vec_ri) [vec_max] =
104 ((fd_mask *)vec_wi)[vec_max] = 0; 125 ((fd_mask *)vec_wi) [vec_max] = 0;
105 } 126 }
106 127
107 ((fd_mask *)vec_ri) [word] |= mask; 128 ((fd_mask *)vec_ri) [word] |= mask;
108 if (!(nev & EV_READ)) 129 if (!(nev & EV_READ))
109 ((fd_mask *)vec_ri) [word] &= ~mask; 130 ((fd_mask *)vec_ri) [word] &= ~mask;
… …
118static void 139static void
119select_poll (EV_P_ ev_tstamp timeout) 140select_poll (EV_P_ ev_tstamp timeout)
120{ 141{
121 struct timeval tv; 142 struct timeval tv;
122 int res; 143 int res;
144 int fd_setsize;
145
146 EV_RELEASE_CB;
147 EV_TV_SET (tv, timeout);
123 148
124#if EV_SELECT_USE_FD_SET 149#if EV_SELECT_USE_FD_SET
150 fd_setsize = sizeof (fd_set);
151#else
152 fd_setsize = vec_max * NFDBYTES;
153#endif
154
125 memcpy (vec_ro, vec_ri, sizeof (fd_set)); 155 memcpy (vec_ro, vec_ri, fd_setsize);
126 memcpy (vec_wo, vec_wi, sizeof (fd_set)); 156 memcpy (vec_wo, vec_wi, fd_setsize);
127#else
128 memcpy (vec_ro, vec_ri, vec_max * NFDBYTES);
129 memcpy (vec_wo, vec_wi, vec_max * NFDBYTES);
130#endif
131 157
132 tv.tv_sec = (long)timeout; 158#ifdef _WIN32
133 tv.tv_usec = (long)((timeout - (ev_tstamp)tv.tv_sec) * 1e6); 159 /* pass in the write set as except set.
134 160 * the idea behind this is to work around a windows bug that causes
161 * errors to be reported as an exception and not by setting
162 * the writable bit. this is so uncontrollably lame.
163 */
164 memcpy (vec_eo, vec_wi, fd_setsize);
165 res = select (vec_max * NFDBITS, (fd_set *)vec_ro, (fd_set *)vec_wo, (fd_set *)vec_eo, &tv);
166#elif EV_SELECT_USE_FD_SET
167 fd_setsize = anfdmax < FD_SETSIZE ? anfdmax : FD_SETSIZE;
168 res = select (fd_setsize, (fd_set *)vec_ro, (fd_set *)vec_wo, 0, &tv);
169#else
135 res = select (vec_max * NFDBITS, (fd_set *)vec_ro, (fd_set *)vec_wo, 0, &tv); 170 res = select (vec_max * NFDBITS, (fd_set *)vec_ro, (fd_set *)vec_wo, 0, &tv);
171#endif
172 EV_ACQUIRE_CB;
136 173
137 if (res < 0) 174 if (ecb_expect_false (res < 0))
138 { 175 {
139 #if EV_SELECT_IS_WINSOCKET 176 #if EV_SELECT_IS_WINSOCKET
140 errno = WSAGetLastError (); 177 errno = WSAGetLastError ();
178 #endif
179 #ifdef WSABASEERR
180 /* on windows, select returns incompatible error codes, fix this */
181 if (errno >= WSABASEERR && errno < WSABASEERR + 1000)
182 if (errno == WSAENOTSOCK)
183 errno = EBADF;
184 else
185 errno -= WSABASEERR;
186 #endif
187
188 #ifdef _WIN32
189 /* select on windows erroneously returns EINVAL when no fd sets have been
190 * provided (this is documented). what microsoft doesn't tell you that this bug
191 * exists even when the fd sets _are_ provided, so we have to check for this bug
192 * here and emulate by sleeping manually.
193 * we also get EINVAL when the timeout is invalid, but we ignore this case here
194 * and assume that EINVAL always means: you have to wait manually.
195 */
196 if (errno == EINVAL)
197 {
198 if (timeout)
199 {
200 unsigned long ms = EV_TS_TO_MSEC (timeout);
201 Sleep (ms ? ms : 1);
202 }
203
204 return;
205 }
141 #endif 206 #endif
142 207
143 if (errno == EBADF) 208 if (errno == EBADF)
144 fd_ebadf (EV_A); 209 fd_ebadf (EV_A);
145 else if (errno == ENOMEM && !syserr_cb) 210 else if (errno == ENOMEM && !syserr_cb)
146 fd_enomem (EV_A); 211 fd_enomem (EV_A);
147 else if (errno != EINTR) 212 else if (errno != EINTR)
148 syserr ("(libev) select"); 213 ev_syserr ("(libev) select");
149 214
150 return; 215 return;
151 } 216 }
152 217
153#if EV_SELECT_USE_FD_SET 218#if EV_SELECT_USE_FD_SET
… …
165 int handle = fd; 230 int handle = fd;
166 #endif 231 #endif
167 232
168 if (FD_ISSET (handle, (fd_set *)vec_ro)) events |= EV_READ; 233 if (FD_ISSET (handle, (fd_set *)vec_ro)) events |= EV_READ;
169 if (FD_ISSET (handle, (fd_set *)vec_wo)) events |= EV_WRITE; 234 if (FD_ISSET (handle, (fd_set *)vec_wo)) events |= EV_WRITE;
235 #ifdef _WIN32
236 if (FD_ISSET (handle, (fd_set *)vec_eo)) events |= EV_WRITE;
237 #endif
170 238
171 if (events) 239 if (ecb_expect_true (events))
172 fd_event (EV_A_ fd, events); 240 fd_event (EV_A_ fd, events);
173 } 241 }
174 } 242 }
175 243
176#else 244#else
… …
179 int word, bit; 247 int word, bit;
180 for (word = vec_max; word--; ) 248 for (word = vec_max; word--; )
181 { 249 {
182 fd_mask word_r = ((fd_mask *)vec_ro) [word]; 250 fd_mask word_r = ((fd_mask *)vec_ro) [word];
183 fd_mask word_w = ((fd_mask *)vec_wo) [word]; 251 fd_mask word_w = ((fd_mask *)vec_wo) [word];
252 #ifdef _WIN32
253 word_w |= ((fd_mask *)vec_eo) [word];
254 #endif
184 255
185 if (word_r || word_w) 256 if (word_r || word_w)
186 for (bit = NFDBITS; bit--; ) 257 for (bit = NFDBITS; bit--; )
187 { 258 {
188 fd_mask mask = 1UL << bit; 259 fd_mask mask = 1UL << bit;
189 int events = 0; 260 int events = 0;
190 261
191 events |= word_r & mask ? EV_READ : 0; 262 events |= word_r & mask ? EV_READ : 0;
192 events |= word_w & mask ? EV_WRITE : 0; 263 events |= word_w & mask ? EV_WRITE : 0;
193 264
194 if (events) 265 if (ecb_expect_true (events))
195 fd_event (EV_A_ word * NFDBITS + bit, events); 266 fd_event (EV_A_ word * NFDBITS + bit, events);
196 } 267 }
197 } 268 }
198 } 269 }
199 270
200#endif 271#endif
201} 272}
202 273
203static int 274inline_size
275int
204select_init (EV_P_ int flags) 276select_init (EV_P_ int flags)
205{ 277{
206 backend_fudge = 1e-2; /* needed to compensate for select returning early, very conservative */ 278 backend_mintime = EV_TS_CONST (1e-6);
207 backend_modify = select_modify; 279 backend_modify = select_modify;
208 backend_poll = select_poll; 280 backend_poll = select_poll;
209 281
210#if EV_SELECT_USE_FD_SET 282#if EV_SELECT_USE_FD_SET
211 vec_max = FD_SETSIZE / 32;
212 vec_ri = ev_malloc (sizeof (fd_set)); FD_ZERO ((fd_set *)vec_ri); 283 vec_ri = ev_malloc (sizeof (fd_set)); FD_ZERO ((fd_set *)vec_ri);
213 vec_ro = ev_malloc (sizeof (fd_set)); 284 vec_ro = ev_malloc (sizeof (fd_set));
214 vec_wi = ev_malloc (sizeof (fd_set)); FD_ZERO ((fd_set *)vec_wi); 285 vec_wi = ev_malloc (sizeof (fd_set)); FD_ZERO ((fd_set *)vec_wi);
215 vec_wo = ev_malloc (sizeof (fd_set)); 286 vec_wo = ev_malloc (sizeof (fd_set));
287 #ifdef _WIN32
288 vec_eo = ev_malloc (sizeof (fd_set));
289 #endif
216#else 290#else
217 vec_max = 0; 291 vec_max = 0;
218 vec_ri = 0; 292 vec_ri = 0;
219 vec_ri = 0; 293 vec_ro = 0;
294 vec_wi = 0;
220 vec_wo = 0; 295 vec_wo = 0;
296 #ifdef _WIN32
221 vec_wo = 0; 297 vec_eo = 0;
298 #endif
222#endif 299#endif
223 300
224 return EVBACKEND_SELECT; 301 return EVBACKEND_SELECT;
225} 302}
226 303
227static void 304inline_size
305void
228select_destroy (EV_P) 306select_destroy (EV_P)
229{ 307{
230 ev_free (vec_ri); 308 ev_free (vec_ri);
231 ev_free (vec_ro); 309 ev_free (vec_ro);
232 ev_free (vec_wi); 310 ev_free (vec_wi);
233 ev_free (vec_wo); 311 ev_free (vec_wo);
312 #ifdef _WIN32
313 ev_free (vec_eo);
314 #endif
234} 315}
235 316
236

Diff Legend

– Removed lines
+ Added lines
< Changed lines
> Changed lines