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

Comparing libev/ev.c (file contents):
Revision 1.221 by root, Sun Apr 6 12:44:49 2008 UTC vs.
Revision 1.263 by root, Wed Oct 1 18:50:03 2008 UTC

126# define EV_USE_EVENTFD 1 126# define EV_USE_EVENTFD 1
127# else 127# else
128# define EV_USE_EVENTFD 0 128# define EV_USE_EVENTFD 0
129# endif 129# endif
130# endif 130# endif
131 131
132#endif 132#endif
133 133
134#include <math.h> 134#include <math.h>
135#include <stdlib.h> 135#include <stdlib.h>
136#include <fcntl.h> 136#include <fcntl.h>
154#ifndef _WIN32 154#ifndef _WIN32
155# include <sys/time.h> 155# include <sys/time.h>
156# include <sys/wait.h> 156# include <sys/wait.h>
157# include <unistd.h> 157# include <unistd.h>
158#else 158#else
159# include <io.h>
159# define WIN32_LEAN_AND_MEAN 160# define WIN32_LEAN_AND_MEAN
160# include <windows.h> 161# include <windows.h>
161# ifndef EV_SELECT_IS_WINSOCKET 162# ifndef EV_SELECT_IS_WINSOCKET
162# define EV_SELECT_IS_WINSOCKET 1 163# define EV_SELECT_IS_WINSOCKET 1
163# endif 164# endif
164#endif 165#endif
165 166
166/* this block tries to deduce configuration from header-defined symbols and defaults */ 167/* this block tries to deduce configuration from header-defined symbols and defaults */
167 168
168#ifndef EV_USE_MONOTONIC 169#ifndef EV_USE_MONOTONIC
170# if defined (_POSIX_MONOTONIC_CLOCK) && _POSIX_MONOTONIC_CLOCK >= 0
171# define EV_USE_MONOTONIC 1
172# else
169# define EV_USE_MONOTONIC 0 173# define EV_USE_MONOTONIC 0
174# endif
170#endif 175#endif
171 176
172#ifndef EV_USE_REALTIME 177#ifndef EV_USE_REALTIME
173# define EV_USE_REALTIME 0 178# define EV_USE_REALTIME 0
174#endif 179#endif
175 180
176#ifndef EV_USE_NANOSLEEP 181#ifndef EV_USE_NANOSLEEP
182# if _POSIX_C_SOURCE >= 199309L
183# define EV_USE_NANOSLEEP 1
184# else
177# define EV_USE_NANOSLEEP 0 185# define EV_USE_NANOSLEEP 0
186# endif
178#endif 187#endif
179 188
180#ifndef EV_USE_SELECT 189#ifndef EV_USE_SELECT
181# define EV_USE_SELECT 1 190# define EV_USE_SELECT 1
182#endif 191#endif
235# else 244# else
236# define EV_USE_EVENTFD 0 245# define EV_USE_EVENTFD 0
237# endif 246# endif
238#endif 247#endif
239 248
249#if 0 /* debugging */
250# define EV_VERIFY 3
251# define EV_USE_4HEAP 1
252# define EV_HEAP_CACHE_AT 1
253#endif
254
255#ifndef EV_VERIFY
256# define EV_VERIFY !EV_MINIMAL
257#endif
258
259#ifndef EV_USE_4HEAP
260# define EV_USE_4HEAP !EV_MINIMAL
261#endif
262
263#ifndef EV_HEAP_CACHE_AT
264# define EV_HEAP_CACHE_AT !EV_MINIMAL
265#endif
266
240/* this block fixes any misconfiguration where we know we run into trouble otherwise */ 267/* this block fixes any misconfiguration where we know we run into trouble otherwise */
241 268
242#ifndef CLOCK_MONOTONIC 269#ifndef CLOCK_MONOTONIC
243# undef EV_USE_MONOTONIC 270# undef EV_USE_MONOTONIC
244# define EV_USE_MONOTONIC 0 271# define EV_USE_MONOTONIC 0
260# endif 287# endif
261#endif 288#endif
262 289
263#if EV_USE_INOTIFY 290#if EV_USE_INOTIFY
264# include <sys/inotify.h> 291# include <sys/inotify.h>
292/* some very old inotify.h headers don't have IN_DONT_FOLLOW */
293# ifndef IN_DONT_FOLLOW
294# undef EV_USE_INOTIFY
295# define EV_USE_INOTIFY 0
296# endif
265#endif 297#endif
266 298
267#if EV_SELECT_IS_WINSOCKET 299#if EV_SELECT_IS_WINSOCKET
268# include <winsock.h> 300# include <winsock.h>
269#endif 301#endif
270 302
271#if EV_USE_EVENTFD 303#if EV_USE_EVENTFD
272/* our minimum requirement is glibc 2.7 which has the stub, but not the header */ 304/* our minimum requirement is glibc 2.7 which has the stub, but not the header */
273# include <stdint.h> 305# include <stdint.h>
306# ifdef __cplusplus
307extern "C" {
308# endif
274int eventfd (unsigned int initval, int flags); 309int eventfd (unsigned int initval, int flags);
310# ifdef __cplusplus
311}
312# endif
275#endif 313#endif
276 314
277/**/ 315/**/
316
317#if EV_VERIFY >= 3
318# define EV_FREQUENT_CHECK ev_loop_verify (EV_A)
319#else
320# define EV_FREQUENT_CHECK do { } while (0)
321#endif
278 322
279/* 323/*
280 * This is used to avoid floating point rounding problems. 324 * This is used to avoid floating point rounding problems.
281 * It is added to ev_rt_now when scheduling periodics 325 * It is added to ev_rt_now when scheduling periodics
282 * to ensure progress, time-wise, even when rounding 326 * to ensure progress, time-wise, even when rounding
294# define expect(expr,value) __builtin_expect ((expr),(value)) 338# define expect(expr,value) __builtin_expect ((expr),(value))
295# define noinline __attribute__ ((noinline)) 339# define noinline __attribute__ ((noinline))
296#else 340#else
297# define expect(expr,value) (expr) 341# define expect(expr,value) (expr)
298# define noinline 342# define noinline
299# if __STDC_VERSION__ < 199901L 343# if __STDC_VERSION__ < 199901L && __GNUC__ < 2
300# define inline 344# define inline
301# endif 345# endif
302#endif 346#endif
303 347
304#define expect_false(expr) expect ((expr) != 0, 0) 348#define expect_false(expr) expect ((expr) != 0, 0)
319 363
320typedef ev_watcher *W; 364typedef ev_watcher *W;
321typedef ev_watcher_list *WL; 365typedef ev_watcher_list *WL;
322typedef ev_watcher_time *WT; 366typedef ev_watcher_time *WT;
323 367
368#define ev_active(w) ((W)(w))->active
369#define ev_at(w) ((WT)(w))->at
370
324#if EV_USE_MONOTONIC 371#if EV_USE_MONOTONIC
325/* sig_atomic_t is used to avoid per-thread variables or locking but still */ 372/* sig_atomic_t is used to avoid per-thread variables or locking but still */
326/* giving it a reasonably high chance of working on typical architetcures */ 373/* giving it a reasonably high chance of working on typical architetcures */
327static EV_ATOMIC_T have_monotonic; /* did clock_gettime (CLOCK_MONOTONIC) work? */ 374static EV_ATOMIC_T have_monotonic; /* did clock_gettime (CLOCK_MONOTONIC) work? */
328#endif 375#endif
354 perror (msg); 401 perror (msg);
355 abort (); 402 abort ();
356 } 403 }
357} 404}
358 405
406static void *
407ev_realloc_emul (void *ptr, long size)
408{
409 /* some systems, notably openbsd and darwin, fail to properly
410 * implement realloc (x, 0) (as required by both ansi c-98 and
411 * the single unix specification, so work around them here.
412 */
413
414 if (size)
415 return realloc (ptr, size);
416
417 free (ptr);
418 return 0;
419}
420
359static void *(*alloc)(void *ptr, long size); 421static void *(*alloc)(void *ptr, long size) = ev_realloc_emul;
360 422
361void 423void
362ev_set_allocator (void *(*cb)(void *ptr, long size)) 424ev_set_allocator (void *(*cb)(void *ptr, long size))
363{ 425{
364 alloc = cb; 426 alloc = cb;
365} 427}
366 428
367inline_speed void * 429inline_speed void *
368ev_realloc (void *ptr, long size) 430ev_realloc (void *ptr, long size)
369{ 431{
370 ptr = alloc ? alloc (ptr, size) : realloc (ptr, size); 432 ptr = alloc (ptr, size);
371 433
372 if (!ptr && size) 434 if (!ptr && size)
373 { 435 {
374 fprintf (stderr, "libev: cannot allocate %ld bytes, aborting.", size); 436 fprintf (stderr, "libev: cannot allocate %ld bytes, aborting.", size);
375 abort (); 437 abort ();
398 W w; 460 W w;
399 int events; 461 int events;
400} ANPENDING; 462} ANPENDING;
401 463
402#if EV_USE_INOTIFY 464#if EV_USE_INOTIFY
465/* hash table entry per inotify-id */
403typedef struct 466typedef struct
404{ 467{
405 WL head; 468 WL head;
406} ANFS; 469} ANFS;
470#endif
471
472/* Heap Entry */
473#if EV_HEAP_CACHE_AT
474 typedef struct {
475 ev_tstamp at;
476 WT w;
477 } ANHE;
478
479 #define ANHE_w(he) (he).w /* access watcher, read-write */
480 #define ANHE_at(he) (he).at /* access cached at, read-only */
481 #define ANHE_at_cache(he) (he).at = (he).w->at /* update at from watcher */
482#else
483 typedef WT ANHE;
484
485 #define ANHE_w(he) (he)
486 #define ANHE_at(he) (he)->at
487 #define ANHE_at_cache(he)
407#endif 488#endif
408 489
409#if EV_MULTIPLICITY 490#if EV_MULTIPLICITY
410 491
411 struct ev_loop 492 struct ev_loop
489 struct timeval tv; 570 struct timeval tv;
490 571
491 tv.tv_sec = (time_t)delay; 572 tv.tv_sec = (time_t)delay;
492 tv.tv_usec = (long)((delay - (ev_tstamp)(tv.tv_sec)) * 1e6); 573 tv.tv_usec = (long)((delay - (ev_tstamp)(tv.tv_sec)) * 1e6);
493 574
575 /* here we rely on sys/time.h + sys/types.h + unistd.h providing select */
576 /* somehting nto guaranteed by newer posix versions, but guaranteed */
577 /* by older ones */
494 select (0, 0, 0, 0, &tv); 578 select (0, 0, 0, 0, &tv);
495#endif 579#endif
496 } 580 }
497} 581}
498 582
499/*****************************************************************************/ 583/*****************************************************************************/
584
585#define MALLOC_ROUND 4096 /* prefer to allocate in chunks of this size, must be 2**n and >> 4 longs */
500 586
501int inline_size 587int inline_size
502array_nextsize (int elem, int cur, int cnt) 588array_nextsize (int elem, int cur, int cnt)
503{ 589{
504 int ncur = cur + 1; 590 int ncur = cur + 1;
505 591
506 do 592 do
507 ncur <<= 1; 593 ncur <<= 1;
508 while (cnt > ncur); 594 while (cnt > ncur);
509 595
510 /* if size > 4096, round to 4096 - 4 * longs to accomodate malloc overhead */ 596 /* if size is large, round to MALLOC_ROUND - 4 * longs to accomodate malloc overhead */
511 if (elem * ncur > 4096) 597 if (elem * ncur > MALLOC_ROUND - sizeof (void *) * 4)
512 { 598 {
513 ncur *= elem; 599 ncur *= elem;
514 ncur = (ncur + elem + 4095 + sizeof (void *) * 4) & ~4095; 600 ncur = (ncur + elem + (MALLOC_ROUND - 1) + sizeof (void *) * 4) & ~(MALLOC_ROUND - 1);
515 ncur = ncur - sizeof (void *) * 4; 601 ncur = ncur - sizeof (void *) * 4;
516 ncur /= elem; 602 ncur /= elem;
517 } 603 }
518 604
519 return ncur; 605 return ncur;
630 events |= (unsigned char)w->events; 716 events |= (unsigned char)w->events;
631 717
632#if EV_SELECT_IS_WINSOCKET 718#if EV_SELECT_IS_WINSOCKET
633 if (events) 719 if (events)
634 { 720 {
635 unsigned long argp; 721 unsigned long arg;
636 #ifdef EV_FD_TO_WIN32_HANDLE 722 #ifdef EV_FD_TO_WIN32_HANDLE
637 anfd->handle = EV_FD_TO_WIN32_HANDLE (fd); 723 anfd->handle = EV_FD_TO_WIN32_HANDLE (fd);
638 #else 724 #else
639 anfd->handle = _get_osfhandle (fd); 725 anfd->handle = _get_osfhandle (fd);
640 #endif 726 #endif
641 assert (("libev only supports socket fds in this configuration", ioctlsocket (anfd->handle, FIONREAD, &argp) == 0)); 727 assert (("libev only supports socket fds in this configuration", ioctlsocket (anfd->handle, FIONREAD, &arg) == 0));
642 } 728 }
643#endif 729#endif
644 730
645 { 731 {
646 unsigned char o_events = anfd->events; 732 unsigned char o_events = anfd->events;
699{ 785{
700 int fd; 786 int fd;
701 787
702 for (fd = 0; fd < anfdmax; ++fd) 788 for (fd = 0; fd < anfdmax; ++fd)
703 if (anfds [fd].events) 789 if (anfds [fd].events)
704 if (!fd_valid (fd) == -1 && errno == EBADF) 790 if (!fd_valid (fd) && errno == EBADF)
705 fd_kill (EV_A_ fd); 791 fd_kill (EV_A_ fd);
706} 792}
707 793
708/* called on ENOMEM in select/poll to kill some fds and retry */ 794/* called on ENOMEM in select/poll to kill some fds and retry */
709static void noinline 795static void noinline
733 } 819 }
734} 820}
735 821
736/*****************************************************************************/ 822/*****************************************************************************/
737 823
824/*
825 * the heap functions want a real array index. array index 0 uis guaranteed to not
826 * be in-use at any time. the first heap entry is at array [HEAP0]. DHEAP gives
827 * the branching factor of the d-tree.
828 */
829
830/*
831 * at the moment we allow libev the luxury of two heaps,
832 * a small-code-size 2-heap one and a ~1.5kb larger 4-heap
833 * which is more cache-efficient.
834 * the difference is about 5% with 50000+ watchers.
835 */
836#if EV_USE_4HEAP
837
838#define DHEAP 4
839#define HEAP0 (DHEAP - 1) /* index of first element in heap */
840#define HPARENT(k) ((((k) - HEAP0 - 1) / DHEAP) + HEAP0)
841#define UPHEAP_DONE(p,k) ((p) == (k))
842
843/* away from the root */
738void inline_speed 844void inline_speed
739upheap (WT *heap, int k) 845downheap (ANHE *heap, int N, int k)
740{ 846{
741 WT w = heap [k]; 847 ANHE he = heap [k];
848 ANHE *E = heap + N + HEAP0;
742 849
743 while (k) 850 for (;;)
744 { 851 {
745 int p = (k - 1) >> 1; 852 ev_tstamp minat;
853 ANHE *minpos;
854 ANHE *pos = heap + DHEAP * (k - HEAP0) + HEAP0 + 1;
746 855
747 if (heap [p]->at <= w->at) 856 /* find minimum child */
857 if (expect_true (pos + DHEAP - 1 < E))
858 {
859 /* fast path */ (minpos = pos + 0), (minat = ANHE_at (*minpos));
860 if ( ANHE_at (pos [1]) < minat) (minpos = pos + 1), (minat = ANHE_at (*minpos));
861 if ( ANHE_at (pos [2]) < minat) (minpos = pos + 2), (minat = ANHE_at (*minpos));
862 if ( ANHE_at (pos [3]) < minat) (minpos = pos + 3), (minat = ANHE_at (*minpos));
863 }
864 else if (pos < E)
865 {
866 /* slow path */ (minpos = pos + 0), (minat = ANHE_at (*minpos));
867 if (pos + 1 < E && ANHE_at (pos [1]) < minat) (minpos = pos + 1), (minat = ANHE_at (*minpos));
868 if (pos + 2 < E && ANHE_at (pos [2]) < minat) (minpos = pos + 2), (minat = ANHE_at (*minpos));
869 if (pos + 3 < E && ANHE_at (pos [3]) < minat) (minpos = pos + 3), (minat = ANHE_at (*minpos));
870 }
871 else
748 break; 872 break;
749 873
874 if (ANHE_at (he) <= minat)
875 break;
876
877 heap [k] = *minpos;
878 ev_active (ANHE_w (*minpos)) = k;
879
880 k = minpos - heap;
881 }
882
883 heap [k] = he;
884 ev_active (ANHE_w (he)) = k;
885}
886
887#else /* 4HEAP */
888
889#define HEAP0 1
890#define HPARENT(k) ((k) >> 1)
891#define UPHEAP_DONE(p,k) (!(p))
892
893/* away from the root */
894void inline_speed
895downheap (ANHE *heap, int N, int k)
896{
897 ANHE he = heap [k];
898
899 for (;;)
900 {
901 int c = k << 1;
902
903 if (c > N + HEAP0 - 1)
904 break;
905
906 c += c + 1 < N + HEAP0 && ANHE_at (heap [c]) > ANHE_at (heap [c + 1])
907 ? 1 : 0;
908
909 if (ANHE_at (he) <= ANHE_at (heap [c]))
910 break;
911
912 heap [k] = heap [c];
913 ev_active (ANHE_w (heap [k])) = k;
914
915 k = c;
916 }
917
918 heap [k] = he;
919 ev_active (ANHE_w (he)) = k;
920}
921#endif
922
923/* towards the root */
924void inline_speed
925upheap (ANHE *heap, int k)
926{
927 ANHE he = heap [k];
928
929 for (;;)
930 {
931 int p = HPARENT (k);
932
933 if (UPHEAP_DONE (p, k) || ANHE_at (heap [p]) <= ANHE_at (he))
934 break;
935
750 heap [k] = heap [p]; 936 heap [k] = heap [p];
751 ((W)heap [k])->active = k + 1; 937 ev_active (ANHE_w (heap [k])) = k;
752 k = p; 938 k = p;
753 } 939 }
754 940
755 heap [k] = w; 941 heap [k] = he;
756 ((W)heap [k])->active = k + 1; 942 ev_active (ANHE_w (he)) = k;
757}
758
759void inline_speed
760downheap (WT *heap, int N, int k)
761{
762 WT w = heap [k];
763
764 for (;;)
765 {
766 int c = (k << 1) + 1;
767
768 if (c >= N)
769 break;
770
771 c += c + 1 < N && heap [c]->at > heap [c + 1]->at
772 ? 1 : 0;
773
774 if (w->at <= heap [c]->at)
775 break;
776
777 heap [k] = heap [c];
778 ((W)heap [k])->active = k + 1;
779
780 k = c;
781 }
782
783 heap [k] = w;
784 ((W)heap [k])->active = k + 1;
785} 943}
786 944
787void inline_size 945void inline_size
788adjustheap (WT *heap, int N, int k) 946adjustheap (ANHE *heap, int N, int k)
789{ 947{
948 if (k > HEAP0 && ANHE_at (heap [HPARENT (k)]) >= ANHE_at (heap [k]))
790 upheap (heap, k); 949 upheap (heap, k);
950 else
791 downheap (heap, N, k); 951 downheap (heap, N, k);
952}
953
954/* rebuild the heap: this function is used only once and executed rarely */
955void inline_size
956reheap (ANHE *heap, int N)
957{
958 int i;
959
960 /* we don't use floyds algorithm, upheap is simpler and is more cache-efficient */
961 /* also, this is easy to implement and correct for both 2-heaps and 4-heaps */
962 for (i = 0; i < N; ++i)
963 upheap (heap, i + HEAP0);
792} 964}
793 965
794/*****************************************************************************/ 966/*****************************************************************************/
795 967
796typedef struct 968typedef struct
820 992
821void inline_speed 993void inline_speed
822fd_intern (int fd) 994fd_intern (int fd)
823{ 995{
824#ifdef _WIN32 996#ifdef _WIN32
825 int arg = 1; 997 unsigned long arg = 1;
826 ioctlsocket (_get_osfhandle (fd), FIONBIO, &arg); 998 ioctlsocket (_get_osfhandle (fd), FIONBIO, &arg);
827#else 999#else
828 fcntl (fd, F_SETFD, FD_CLOEXEC); 1000 fcntl (fd, F_SETFD, FD_CLOEXEC);
829 fcntl (fd, F_SETFL, O_NONBLOCK); 1001 fcntl (fd, F_SETFL, O_NONBLOCK);
830#endif 1002#endif
885pipecb (EV_P_ ev_io *iow, int revents) 1057pipecb (EV_P_ ev_io *iow, int revents)
886{ 1058{
887#if EV_USE_EVENTFD 1059#if EV_USE_EVENTFD
888 if (evfd >= 0) 1060 if (evfd >= 0)
889 { 1061 {
890 uint64_t counter = 1; 1062 uint64_t counter;
891 read (evfd, &counter, sizeof (uint64_t)); 1063 read (evfd, &counter, sizeof (uint64_t));
892 } 1064 }
893 else 1065 else
894#endif 1066#endif
895 { 1067 {
1164 if (!(flags & EVFLAG_NOENV) 1336 if (!(flags & EVFLAG_NOENV)
1165 && !enable_secure () 1337 && !enable_secure ()
1166 && getenv ("LIBEV_FLAGS")) 1338 && getenv ("LIBEV_FLAGS"))
1167 flags = atoi (getenv ("LIBEV_FLAGS")); 1339 flags = atoi (getenv ("LIBEV_FLAGS"));
1168 1340
1169 if (!(flags & 0x0000ffffUL)) 1341 if (!(flags & 0x0000ffffU))
1170 flags |= ev_recommended_backends (); 1342 flags |= ev_recommended_backends ();
1171 1343
1172#if EV_USE_PORT 1344#if EV_USE_PORT
1173 if (!backend && (flags & EVBACKEND_PORT )) backend = port_init (EV_A_ flags); 1345 if (!backend && (flags & EVBACKEND_PORT )) backend = port_init (EV_A_ flags);
1174#endif 1346#endif
1262#endif 1434#endif
1263 1435
1264 backend = 0; 1436 backend = 0;
1265} 1437}
1266 1438
1439#if EV_USE_INOTIFY
1267void inline_size infy_fork (EV_P); 1440void inline_size infy_fork (EV_P);
1441#endif
1268 1442
1269void inline_size 1443void inline_size
1270loop_fork (EV_P) 1444loop_fork (EV_P)
1271{ 1445{
1272#if EV_USE_PORT 1446#if EV_USE_PORT
1312 1486
1313 postfork = 0; 1487 postfork = 0;
1314} 1488}
1315 1489
1316#if EV_MULTIPLICITY 1490#if EV_MULTIPLICITY
1491
1317struct ev_loop * 1492struct ev_loop *
1318ev_loop_new (unsigned int flags) 1493ev_loop_new (unsigned int flags)
1319{ 1494{
1320 struct ev_loop *loop = (struct ev_loop *)ev_malloc (sizeof (struct ev_loop)); 1495 struct ev_loop *loop = (struct ev_loop *)ev_malloc (sizeof (struct ev_loop));
1321 1496
1340ev_loop_fork (EV_P) 1515ev_loop_fork (EV_P)
1341{ 1516{
1342 postfork = 1; /* must be in line with ev_default_fork */ 1517 postfork = 1; /* must be in line with ev_default_fork */
1343} 1518}
1344 1519
1520#if EV_VERIFY
1521static void noinline
1522verify_watcher (EV_P_ W w)
1523{
1524 assert (("watcher has invalid priority", ABSPRI (w) >= 0 && ABSPRI (w) < NUMPRI));
1525
1526 if (w->pending)
1527 assert (("pending watcher not on pending queue", pendings [ABSPRI (w)][w->pending - 1].w == w));
1528}
1529
1530static void noinline
1531verify_heap (EV_P_ ANHE *heap, int N)
1532{
1533 int i;
1534
1535 for (i = HEAP0; i < N + HEAP0; ++i)
1536 {
1537 assert (("active index mismatch in heap", ev_active (ANHE_w (heap [i])) == i));
1538 assert (("heap condition violated", i == HEAP0 || ANHE_at (heap [HPARENT (i)]) <= ANHE_at (heap [i])));
1539 assert (("heap at cache mismatch", ANHE_at (heap [i]) == ev_at (ANHE_w (heap [i]))));
1540
1541 verify_watcher (EV_A_ (W)ANHE_w (heap [i]));
1542 }
1543}
1544
1545static void noinline
1546array_verify (EV_P_ W *ws, int cnt)
1547{
1548 while (cnt--)
1549 {
1550 assert (("active index mismatch", ev_active (ws [cnt]) == cnt + 1));
1551 verify_watcher (EV_A_ ws [cnt]);
1552 }
1553}
1554#endif
1555
1556void
1557ev_loop_verify (EV_P)
1558{
1559#if EV_VERIFY
1560 int i;
1561 WL w;
1562
1563 assert (activecnt >= -1);
1564
1565 assert (fdchangemax >= fdchangecnt);
1566 for (i = 0; i < fdchangecnt; ++i)
1567 assert (("negative fd in fdchanges", fdchanges [i] >= 0));
1568
1569 assert (anfdmax >= 0);
1570 for (i = 0; i < anfdmax; ++i)
1571 for (w = anfds [i].head; w; w = w->next)
1572 {
1573 verify_watcher (EV_A_ (W)w);
1574 assert (("inactive fd watcher on anfd list", ev_active (w) == 1));
1575 assert (("fd mismatch between watcher and anfd", ((ev_io *)w)->fd == i));
1576 }
1577
1578 assert (timermax >= timercnt);
1579 verify_heap (EV_A_ timers, timercnt);
1580
1581#if EV_PERIODIC_ENABLE
1582 assert (periodicmax >= periodiccnt);
1583 verify_heap (EV_A_ periodics, periodiccnt);
1584#endif
1585
1586 for (i = NUMPRI; i--; )
1587 {
1588 assert (pendingmax [i] >= pendingcnt [i]);
1589#if EV_IDLE_ENABLE
1590 assert (idleall >= 0);
1591 assert (idlemax [i] >= idlecnt [i]);
1592 array_verify (EV_A_ (W *)idles [i], idlecnt [i]);
1593#endif
1594 }
1595
1596#if EV_FORK_ENABLE
1597 assert (forkmax >= forkcnt);
1598 array_verify (EV_A_ (W *)forks, forkcnt);
1599#endif
1600
1601#if EV_ASYNC_ENABLE
1602 assert (asyncmax >= asynccnt);
1603 array_verify (EV_A_ (W *)asyncs, asynccnt);
1604#endif
1605
1606 assert (preparemax >= preparecnt);
1607 array_verify (EV_A_ (W *)prepares, preparecnt);
1608
1609 assert (checkmax >= checkcnt);
1610 array_verify (EV_A_ (W *)checks, checkcnt);
1611
1612# if 0
1613 for (w = (ev_child *)childs [chain & (EV_PID_HASHSIZE - 1)]; w; w = (ev_child *)((WL)w)->next)
1614 for (signum = signalmax; signum--; ) if (signals [signum].gotsig)
1345#endif 1615# endif
1616#endif
1617}
1618
1619#endif /* multiplicity */
1346 1620
1347#if EV_MULTIPLICITY 1621#if EV_MULTIPLICITY
1348struct ev_loop * 1622struct ev_loop *
1349ev_default_loop_init (unsigned int flags) 1623ev_default_loop_init (unsigned int flags)
1350#else 1624#else
1426 { 1700 {
1427 /*assert (("non-pending watcher on pending list", p->w->pending));*/ 1701 /*assert (("non-pending watcher on pending list", p->w->pending));*/
1428 1702
1429 p->w->pending = 0; 1703 p->w->pending = 0;
1430 EV_CB_INVOKE (p->w, p->events); 1704 EV_CB_INVOKE (p->w, p->events);
1705 EV_FREQUENT_CHECK;
1431 } 1706 }
1432 } 1707 }
1433} 1708}
1434
1435void inline_size
1436timers_reify (EV_P)
1437{
1438 while (timercnt && ((WT)timers [0])->at <= mn_now)
1439 {
1440 ev_timer *w = (ev_timer *)timers [0];
1441
1442 /*assert (("inactive timer on timer heap detected", ev_is_active (w)));*/
1443
1444 /* first reschedule or stop timer */
1445 if (w->repeat)
1446 {
1447 assert (("negative ev_timer repeat value found while processing timers", w->repeat > 0.));
1448
1449 ((WT)w)->at += w->repeat;
1450 if (((WT)w)->at < mn_now)
1451 ((WT)w)->at = mn_now;
1452
1453 downheap (timers, timercnt, 0);
1454 }
1455 else
1456 ev_timer_stop (EV_A_ w); /* nonrepeating: stop timer */
1457
1458 ev_feed_event (EV_A_ (W)w, EV_TIMEOUT);
1459 }
1460}
1461
1462#if EV_PERIODIC_ENABLE
1463void inline_size
1464periodics_reify (EV_P)
1465{
1466 while (periodiccnt && ((WT)periodics [0])->at <= ev_rt_now)
1467 {
1468 ev_periodic *w = (ev_periodic *)periodics [0];
1469
1470 /*assert (("inactive timer on periodic heap detected", ev_is_active (w)));*/
1471
1472 /* first reschedule or stop timer */
1473 if (w->reschedule_cb)
1474 {
1475 ((WT)w)->at = w->reschedule_cb (w, ev_rt_now + TIME_EPSILON);
1476 assert (("ev_periodic reschedule callback returned time in the past", ((WT)w)->at > ev_rt_now));
1477 downheap (periodics, periodiccnt, 0);
1478 }
1479 else if (w->interval)
1480 {
1481 ((WT)w)->at = w->offset + ceil ((ev_rt_now - w->offset) / w->interval) * w->interval;
1482 if (((WT)w)->at - ev_rt_now <= TIME_EPSILON) ((WT)w)->at += w->interval;
1483 assert (("ev_periodic timeout in the past detected while processing timers, negative interval?", ((WT)w)->at > ev_rt_now));
1484 downheap (periodics, periodiccnt, 0);
1485 }
1486 else
1487 ev_periodic_stop (EV_A_ w); /* nonrepeating: stop timer */
1488
1489 ev_feed_event (EV_A_ (W)w, EV_PERIODIC);
1490 }
1491}
1492
1493static void noinline
1494periodics_reschedule (EV_P)
1495{
1496 int i;
1497
1498 /* adjust periodics after time jump */
1499 for (i = 0; i < periodiccnt; ++i)
1500 {
1501 ev_periodic *w = (ev_periodic *)periodics [i];
1502
1503 if (w->reschedule_cb)
1504 ((WT)w)->at = w->reschedule_cb (w, ev_rt_now);
1505 else if (w->interval)
1506 ((WT)w)->at = w->offset + ceil ((ev_rt_now - w->offset) / w->interval) * w->interval;
1507 }
1508
1509 /* now rebuild the heap */
1510 for (i = periodiccnt >> 1; i--; )
1511 downheap (periodics, periodiccnt, i);
1512}
1513#endif
1514 1709
1515#if EV_IDLE_ENABLE 1710#if EV_IDLE_ENABLE
1516void inline_size 1711void inline_size
1517idle_reify (EV_P) 1712idle_reify (EV_P)
1518{ 1713{
1530 queue_events (EV_A_ (W *)idles [pri], idlecnt [pri], EV_IDLE); 1725 queue_events (EV_A_ (W *)idles [pri], idlecnt [pri], EV_IDLE);
1531 break; 1726 break;
1532 } 1727 }
1533 } 1728 }
1534 } 1729 }
1730}
1731#endif
1732
1733void inline_size
1734timers_reify (EV_P)
1735{
1736 EV_FREQUENT_CHECK;
1737
1738 while (timercnt && ANHE_at (timers [HEAP0]) < mn_now)
1739 {
1740 ev_timer *w = (ev_timer *)ANHE_w (timers [HEAP0]);
1741
1742 /*assert (("inactive timer on timer heap detected", ev_is_active (w)));*/
1743
1744 /* first reschedule or stop timer */
1745 if (w->repeat)
1746 {
1747 ev_at (w) += w->repeat;
1748 if (ev_at (w) < mn_now)
1749 ev_at (w) = mn_now;
1750
1751 assert (("negative ev_timer repeat value found while processing timers", w->repeat > 0.));
1752
1753 ANHE_at_cache (timers [HEAP0]);
1754 downheap (timers, timercnt, HEAP0);
1755 }
1756 else
1757 ev_timer_stop (EV_A_ w); /* nonrepeating: stop timer */
1758
1759 EV_FREQUENT_CHECK;
1760 ev_feed_event (EV_A_ (W)w, EV_TIMEOUT);
1761 }
1762}
1763
1764#if EV_PERIODIC_ENABLE
1765void inline_size
1766periodics_reify (EV_P)
1767{
1768 EV_FREQUENT_CHECK;
1769
1770 while (periodiccnt && ANHE_at (periodics [HEAP0]) < ev_rt_now)
1771 {
1772 ev_periodic *w = (ev_periodic *)ANHE_w (periodics [HEAP0]);
1773
1774 /*assert (("inactive timer on periodic heap detected", ev_is_active (w)));*/
1775
1776 /* first reschedule or stop timer */
1777 if (w->reschedule_cb)
1778 {
1779 ev_at (w) = w->reschedule_cb (w, ev_rt_now);
1780
1781 assert (("ev_periodic reschedule callback returned time in the past", ev_at (w) >= ev_rt_now));
1782
1783 ANHE_at_cache (periodics [HEAP0]);
1784 downheap (periodics, periodiccnt, HEAP0);
1785 }
1786 else if (w->interval)
1787 {
1788 ev_at (w) = w->offset + ceil ((ev_rt_now - w->offset) / w->interval) * w->interval;
1789 /* if next trigger time is not sufficiently in the future, put it there */
1790 /* this might happen because of floating point inexactness */
1791 if (ev_at (w) - ev_rt_now < TIME_EPSILON)
1792 {
1793 ev_at (w) += w->interval;
1794
1795 /* if interval is unreasonably low we might still have a time in the past */
1796 /* so correct this. this will make the periodic very inexact, but the user */
1797 /* has effectively asked to get triggered more often than possible */
1798 if (ev_at (w) < ev_rt_now)
1799 ev_at (w) = ev_rt_now;
1800 }
1801
1802 ANHE_at_cache (periodics [HEAP0]);
1803 downheap (periodics, periodiccnt, HEAP0);
1804 }
1805 else
1806 ev_periodic_stop (EV_A_ w); /* nonrepeating: stop timer */
1807
1808 EV_FREQUENT_CHECK;
1809 ev_feed_event (EV_A_ (W)w, EV_PERIODIC);
1810 }
1811}
1812
1813static void noinline
1814periodics_reschedule (EV_P)
1815{
1816 int i;
1817
1818 /* adjust periodics after time jump */
1819 for (i = HEAP0; i < periodiccnt + HEAP0; ++i)
1820 {
1821 ev_periodic *w = (ev_periodic *)ANHE_w (periodics [i]);
1822
1823 if (w->reschedule_cb)
1824 ev_at (w) = w->reschedule_cb (w, ev_rt_now);
1825 else if (w->interval)
1826 ev_at (w) = w->offset + ceil ((ev_rt_now - w->offset) / w->interval) * w->interval;
1827
1828 ANHE_at_cache (periodics [i]);
1829 }
1830
1831 reheap (periodics, periodiccnt);
1535} 1832}
1536#endif 1833#endif
1537 1834
1538void inline_speed 1835void inline_speed
1539time_update (EV_P_ ev_tstamp max_block) 1836time_update (EV_P_ ev_tstamp max_block)
1568 */ 1865 */
1569 for (i = 4; --i; ) 1866 for (i = 4; --i; )
1570 { 1867 {
1571 rtmn_diff = ev_rt_now - mn_now; 1868 rtmn_diff = ev_rt_now - mn_now;
1572 1869
1573 if (fabs (odiff - rtmn_diff) < MIN_TIMEJUMP) 1870 if (expect_true (fabs (odiff - rtmn_diff) < MIN_TIMEJUMP))
1574 return; /* all is well */ 1871 return; /* all is well */
1575 1872
1576 ev_rt_now = ev_time (); 1873 ev_rt_now = ev_time ();
1577 mn_now = get_clock (); 1874 mn_now = get_clock ();
1578 now_floor = mn_now; 1875 now_floor = mn_now;
1594#if EV_PERIODIC_ENABLE 1891#if EV_PERIODIC_ENABLE
1595 periodics_reschedule (EV_A); 1892 periodics_reschedule (EV_A);
1596#endif 1893#endif
1597 /* adjust timers. this is easy, as the offset is the same for all of them */ 1894 /* adjust timers. this is easy, as the offset is the same for all of them */
1598 for (i = 0; i < timercnt; ++i) 1895 for (i = 0; i < timercnt; ++i)
1896 {
1897 ANHE *he = timers + i + HEAP0;
1599 ((WT)timers [i])->at += ev_rt_now - mn_now; 1898 ANHE_w (*he)->at += ev_rt_now - mn_now;
1899 ANHE_at_cache (*he);
1900 }
1600 } 1901 }
1601 1902
1602 mn_now = ev_rt_now; 1903 mn_now = ev_rt_now;
1603 } 1904 }
1604} 1905}
1613ev_unref (EV_P) 1914ev_unref (EV_P)
1614{ 1915{
1615 --activecnt; 1916 --activecnt;
1616} 1917}
1617 1918
1919void
1920ev_now_update (EV_P)
1921{
1922 time_update (EV_A_ 1e100);
1923}
1924
1618static int loop_done; 1925static int loop_done;
1619 1926
1620void 1927void
1621ev_loop (EV_P_ int flags) 1928ev_loop (EV_P_ int flags)
1622{ 1929{
1624 1931
1625 call_pending (EV_A); /* in case we recurse, ensure ordering stays nice and clean */ 1932 call_pending (EV_A); /* in case we recurse, ensure ordering stays nice and clean */
1626 1933
1627 do 1934 do
1628 { 1935 {
1936#if EV_VERIFY >= 2
1937 ev_loop_verify (EV_A);
1938#endif
1939
1629#ifndef _WIN32 1940#ifndef _WIN32
1630 if (expect_false (curpid)) /* penalise the forking check even more */ 1941 if (expect_false (curpid)) /* penalise the forking check even more */
1631 if (expect_false (getpid () != curpid)) 1942 if (expect_false (getpid () != curpid))
1632 { 1943 {
1633 curpid = getpid (); 1944 curpid = getpid ();
1674 1985
1675 waittime = MAX_BLOCKTIME; 1986 waittime = MAX_BLOCKTIME;
1676 1987
1677 if (timercnt) 1988 if (timercnt)
1678 { 1989 {
1679 ev_tstamp to = ((WT)timers [0])->at - mn_now + backend_fudge; 1990 ev_tstamp to = ANHE_at (timers [HEAP0]) - mn_now + backend_fudge;
1680 if (waittime > to) waittime = to; 1991 if (waittime > to) waittime = to;
1681 } 1992 }
1682 1993
1683#if EV_PERIODIC_ENABLE 1994#if EV_PERIODIC_ENABLE
1684 if (periodiccnt) 1995 if (periodiccnt)
1685 { 1996 {
1686 ev_tstamp to = ((WT)periodics [0])->at - ev_rt_now + backend_fudge; 1997 ev_tstamp to = ANHE_at (periodics [HEAP0]) - ev_rt_now + backend_fudge;
1687 if (waittime > to) waittime = to; 1998 if (waittime > to) waittime = to;
1688 } 1999 }
1689#endif 2000#endif
1690 2001
1691 if (expect_false (waittime < timeout_blocktime)) 2002 if (expect_false (waittime < timeout_blocktime))
1828 if (expect_false (ev_is_active (w))) 2139 if (expect_false (ev_is_active (w)))
1829 return; 2140 return;
1830 2141
1831 assert (("ev_io_start called with negative fd", fd >= 0)); 2142 assert (("ev_io_start called with negative fd", fd >= 0));
1832 2143
2144 EV_FREQUENT_CHECK;
2145
1833 ev_start (EV_A_ (W)w, 1); 2146 ev_start (EV_A_ (W)w, 1);
1834 array_needsize (ANFD, anfds, anfdmax, fd + 1, anfds_init); 2147 array_needsize (ANFD, anfds, anfdmax, fd + 1, anfds_init);
1835 wlist_add (&anfds[fd].head, (WL)w); 2148 wlist_add (&anfds[fd].head, (WL)w);
1836 2149
1837 fd_change (EV_A_ fd, w->events & EV_IOFDSET | 1); 2150 fd_change (EV_A_ fd, w->events & EV_IOFDSET | 1);
1838 w->events &= ~EV_IOFDSET; 2151 w->events &= ~EV_IOFDSET;
2152
2153 EV_FREQUENT_CHECK;
1839} 2154}
1840 2155
1841void noinline 2156void noinline
1842ev_io_stop (EV_P_ ev_io *w) 2157ev_io_stop (EV_P_ ev_io *w)
1843{ 2158{
1844 clear_pending (EV_A_ (W)w); 2159 clear_pending (EV_A_ (W)w);
1845 if (expect_false (!ev_is_active (w))) 2160 if (expect_false (!ev_is_active (w)))
1846 return; 2161 return;
1847 2162
1848 assert (("ev_io_start called with illegal fd (must stay constant after start!)", w->fd >= 0 && w->fd < anfdmax)); 2163 assert (("ev_io_stop called with illegal fd (must stay constant after start!)", w->fd >= 0 && w->fd < anfdmax));
2164
2165 EV_FREQUENT_CHECK;
1849 2166
1850 wlist_del (&anfds[w->fd].head, (WL)w); 2167 wlist_del (&anfds[w->fd].head, (WL)w);
1851 ev_stop (EV_A_ (W)w); 2168 ev_stop (EV_A_ (W)w);
1852 2169
1853 fd_change (EV_A_ w->fd, 1); 2170 fd_change (EV_A_ w->fd, 1);
2171
2172 EV_FREQUENT_CHECK;
1854} 2173}
1855 2174
1856void noinline 2175void noinline
1857ev_timer_start (EV_P_ ev_timer *w) 2176ev_timer_start (EV_P_ ev_timer *w)
1858{ 2177{
1859 if (expect_false (ev_is_active (w))) 2178 if (expect_false (ev_is_active (w)))
1860 return; 2179 return;
1861 2180
1862 ((WT)w)->at += mn_now; 2181 ev_at (w) += mn_now;
1863 2182
1864 assert (("ev_timer_start called with negative timer repeat value", w->repeat >= 0.)); 2183 assert (("ev_timer_start called with negative timer repeat value", w->repeat >= 0.));
1865 2184
2185 EV_FREQUENT_CHECK;
2186
2187 ++timercnt;
1866 ev_start (EV_A_ (W)w, ++timercnt); 2188 ev_start (EV_A_ (W)w, timercnt + HEAP0 - 1);
1867 array_needsize (WT, timers, timermax, timercnt, EMPTY2); 2189 array_needsize (ANHE, timers, timermax, ev_active (w) + 1, EMPTY2);
1868 timers [timercnt - 1] = (WT)w; 2190 ANHE_w (timers [ev_active (w)]) = (WT)w;
1869 upheap (timers, timercnt - 1); 2191 ANHE_at_cache (timers [ev_active (w)]);
2192 upheap (timers, ev_active (w));
1870 2193
2194 EV_FREQUENT_CHECK;
2195
1871 /*assert (("internal timer heap corruption", timers [((W)w)->active - 1] == w));*/ 2196 /*assert (("internal timer heap corruption", timers [ev_active (w)] == (WT)w));*/
1872} 2197}
1873 2198
1874void noinline 2199void noinline
1875ev_timer_stop (EV_P_ ev_timer *w) 2200ev_timer_stop (EV_P_ ev_timer *w)
1876{ 2201{
1877 clear_pending (EV_A_ (W)w); 2202 clear_pending (EV_A_ (W)w);
1878 if (expect_false (!ev_is_active (w))) 2203 if (expect_false (!ev_is_active (w)))
1879 return; 2204 return;
1880 2205
1881 assert (("internal timer heap corruption", timers [((W)w)->active - 1] == (WT)w)); 2206 EV_FREQUENT_CHECK;
1882 2207
1883 { 2208 {
1884 int active = ((W)w)->active; 2209 int active = ev_active (w);
1885 2210
2211 assert (("internal timer heap corruption", ANHE_w (timers [active]) == (WT)w));
2212
2213 --timercnt;
2214
1886 if (expect_true (--active < --timercnt)) 2215 if (expect_true (active < timercnt + HEAP0))
1887 { 2216 {
1888 timers [active] = timers [timercnt]; 2217 timers [active] = timers [timercnt + HEAP0];
1889 adjustheap (timers, timercnt, active); 2218 adjustheap (timers, timercnt, active);
1890 } 2219 }
1891 } 2220 }
1892 2221
1893 ((WT)w)->at -= mn_now; 2222 EV_FREQUENT_CHECK;
2223
2224 ev_at (w) -= mn_now;
1894 2225
1895 ev_stop (EV_A_ (W)w); 2226 ev_stop (EV_A_ (W)w);
1896} 2227}
1897 2228
1898void noinline 2229void noinline
1899ev_timer_again (EV_P_ ev_timer *w) 2230ev_timer_again (EV_P_ ev_timer *w)
1900{ 2231{
2232 EV_FREQUENT_CHECK;
2233
1901 if (ev_is_active (w)) 2234 if (ev_is_active (w))
1902 { 2235 {
1903 if (w->repeat) 2236 if (w->repeat)
1904 { 2237 {
1905 ((WT)w)->at = mn_now + w->repeat; 2238 ev_at (w) = mn_now + w->repeat;
2239 ANHE_at_cache (timers [ev_active (w)]);
1906 adjustheap (timers, timercnt, ((W)w)->active - 1); 2240 adjustheap (timers, timercnt, ev_active (w));
1907 } 2241 }
1908 else 2242 else
1909 ev_timer_stop (EV_A_ w); 2243 ev_timer_stop (EV_A_ w);
1910 } 2244 }
1911 else if (w->repeat) 2245 else if (w->repeat)
1912 { 2246 {
1913 w->at = w->repeat; 2247 ev_at (w) = w->repeat;
1914 ev_timer_start (EV_A_ w); 2248 ev_timer_start (EV_A_ w);
1915 } 2249 }
2250
2251 EV_FREQUENT_CHECK;
1916} 2252}
1917 2253
1918#if EV_PERIODIC_ENABLE 2254#if EV_PERIODIC_ENABLE
1919void noinline 2255void noinline
1920ev_periodic_start (EV_P_ ev_periodic *w) 2256ev_periodic_start (EV_P_ ev_periodic *w)
1921{ 2257{
1922 if (expect_false (ev_is_active (w))) 2258 if (expect_false (ev_is_active (w)))
1923 return; 2259 return;
1924 2260
1925 if (w->reschedule_cb) 2261 if (w->reschedule_cb)
1926 ((WT)w)->at = w->reschedule_cb (w, ev_rt_now); 2262 ev_at (w) = w->reschedule_cb (w, ev_rt_now);
1927 else if (w->interval) 2263 else if (w->interval)
1928 { 2264 {
1929 assert (("ev_periodic_start called with negative interval value", w->interval >= 0.)); 2265 assert (("ev_periodic_start called with negative interval value", w->interval >= 0.));
1930 /* this formula differs from the one in periodic_reify because we do not always round up */ 2266 /* this formula differs from the one in periodic_reify because we do not always round up */
1931 ((WT)w)->at = w->offset + ceil ((ev_rt_now - w->offset) / w->interval) * w->interval; 2267 ev_at (w) = w->offset + ceil ((ev_rt_now - w->offset) / w->interval) * w->interval;
1932 } 2268 }
1933 else 2269 else
1934 ((WT)w)->at = w->offset; 2270 ev_at (w) = w->offset;
1935 2271
2272 EV_FREQUENT_CHECK;
2273
2274 ++periodiccnt;
1936 ev_start (EV_A_ (W)w, ++periodiccnt); 2275 ev_start (EV_A_ (W)w, periodiccnt + HEAP0 - 1);
1937 array_needsize (WT, periodics, periodicmax, periodiccnt, EMPTY2); 2276 array_needsize (ANHE, periodics, periodicmax, ev_active (w) + 1, EMPTY2);
1938 periodics [periodiccnt - 1] = (WT)w; 2277 ANHE_w (periodics [ev_active (w)]) = (WT)w;
1939 upheap (periodics, periodiccnt - 1); 2278 ANHE_at_cache (periodics [ev_active (w)]);
2279 upheap (periodics, ev_active (w));
1940 2280
2281 EV_FREQUENT_CHECK;
2282
1941 /*assert (("internal periodic heap corruption", periodics [((W)w)->active - 1] == w));*/ 2283 /*assert (("internal periodic heap corruption", ANHE_w (periodics [ev_active (w)]) == (WT)w));*/
1942} 2284}
1943 2285
1944void noinline 2286void noinline
1945ev_periodic_stop (EV_P_ ev_periodic *w) 2287ev_periodic_stop (EV_P_ ev_periodic *w)
1946{ 2288{
1947 clear_pending (EV_A_ (W)w); 2289 clear_pending (EV_A_ (W)w);
1948 if (expect_false (!ev_is_active (w))) 2290 if (expect_false (!ev_is_active (w)))
1949 return; 2291 return;
1950 2292
1951 assert (("internal periodic heap corruption", periodics [((W)w)->active - 1] == (WT)w)); 2293 EV_FREQUENT_CHECK;
1952 2294
1953 { 2295 {
1954 int active = ((W)w)->active; 2296 int active = ev_active (w);
1955 2297
2298 assert (("internal periodic heap corruption", ANHE_w (periodics [active]) == (WT)w));
2299
2300 --periodiccnt;
2301
1956 if (expect_true (--active < --periodiccnt)) 2302 if (expect_true (active < periodiccnt + HEAP0))
1957 { 2303 {
1958 periodics [active] = periodics [periodiccnt]; 2304 periodics [active] = periodics [periodiccnt + HEAP0];
1959 adjustheap (periodics, periodiccnt, active); 2305 adjustheap (periodics, periodiccnt, active);
1960 } 2306 }
1961 } 2307 }
1962 2308
2309 EV_FREQUENT_CHECK;
2310
1963 ev_stop (EV_A_ (W)w); 2311 ev_stop (EV_A_ (W)w);
1964} 2312}
1965 2313
1966void noinline 2314void noinline
1967ev_periodic_again (EV_P_ ev_periodic *w) 2315ev_periodic_again (EV_P_ ev_periodic *w)
1986 return; 2334 return;
1987 2335
1988 assert (("ev_signal_start called with illegal signal number", w->signum > 0)); 2336 assert (("ev_signal_start called with illegal signal number", w->signum > 0));
1989 2337
1990 evpipe_init (EV_A); 2338 evpipe_init (EV_A);
2339
2340 EV_FREQUENT_CHECK;
1991 2341
1992 { 2342 {
1993#ifndef _WIN32 2343#ifndef _WIN32
1994 sigset_t full, prev; 2344 sigset_t full, prev;
1995 sigfillset (&full); 2345 sigfillset (&full);
2016 sigfillset (&sa.sa_mask); 2366 sigfillset (&sa.sa_mask);
2017 sa.sa_flags = SA_RESTART; /* if restarting works we save one iteration */ 2367 sa.sa_flags = SA_RESTART; /* if restarting works we save one iteration */
2018 sigaction (w->signum, &sa, 0); 2368 sigaction (w->signum, &sa, 0);
2019#endif 2369#endif
2020 } 2370 }
2371
2372 EV_FREQUENT_CHECK;
2021} 2373}
2022 2374
2023void noinline 2375void noinline
2024ev_signal_stop (EV_P_ ev_signal *w) 2376ev_signal_stop (EV_P_ ev_signal *w)
2025{ 2377{
2026 clear_pending (EV_A_ (W)w); 2378 clear_pending (EV_A_ (W)w);
2027 if (expect_false (!ev_is_active (w))) 2379 if (expect_false (!ev_is_active (w)))
2028 return; 2380 return;
2029 2381
2382 EV_FREQUENT_CHECK;
2383
2030 wlist_del (&signals [w->signum - 1].head, (WL)w); 2384 wlist_del (&signals [w->signum - 1].head, (WL)w);
2031 ev_stop (EV_A_ (W)w); 2385 ev_stop (EV_A_ (W)w);
2032 2386
2033 if (!signals [w->signum - 1].head) 2387 if (!signals [w->signum - 1].head)
2034 signal (w->signum, SIG_DFL); 2388 signal (w->signum, SIG_DFL);
2389
2390 EV_FREQUENT_CHECK;
2035} 2391}
2036 2392
2037void 2393void
2038ev_child_start (EV_P_ ev_child *w) 2394ev_child_start (EV_P_ ev_child *w)
2039{ 2395{
2041 assert (("child watchers are only supported in the default loop", loop == ev_default_loop_ptr)); 2397 assert (("child watchers are only supported in the default loop", loop == ev_default_loop_ptr));
2042#endif 2398#endif
2043 if (expect_false (ev_is_active (w))) 2399 if (expect_false (ev_is_active (w)))
2044 return; 2400 return;
2045 2401
2402 EV_FREQUENT_CHECK;
2403
2046 ev_start (EV_A_ (W)w, 1); 2404 ev_start (EV_A_ (W)w, 1);
2047 wlist_add (&childs [w->pid & (EV_PID_HASHSIZE - 1)], (WL)w); 2405 wlist_add (&childs [w->pid & (EV_PID_HASHSIZE - 1)], (WL)w);
2406
2407 EV_FREQUENT_CHECK;
2048} 2408}
2049 2409
2050void 2410void
2051ev_child_stop (EV_P_ ev_child *w) 2411ev_child_stop (EV_P_ ev_child *w)
2052{ 2412{
2053 clear_pending (EV_A_ (W)w); 2413 clear_pending (EV_A_ (W)w);
2054 if (expect_false (!ev_is_active (w))) 2414 if (expect_false (!ev_is_active (w)))
2055 return; 2415 return;
2056 2416
2417 EV_FREQUENT_CHECK;
2418
2057 wlist_del (&childs [w->pid & (EV_PID_HASHSIZE - 1)], (WL)w); 2419 wlist_del (&childs [w->pid & (EV_PID_HASHSIZE - 1)], (WL)w);
2058 ev_stop (EV_A_ (W)w); 2420 ev_stop (EV_A_ (W)w);
2421
2422 EV_FREQUENT_CHECK;
2059} 2423}
2060 2424
2061#if EV_STAT_ENABLE 2425#if EV_STAT_ENABLE
2062 2426
2063# ifdef _WIN32 2427# ifdef _WIN32
2081 if (w->wd < 0) 2445 if (w->wd < 0)
2082 { 2446 {
2083 ev_timer_start (EV_A_ &w->timer); /* this is not race-free, so we still need to recheck periodically */ 2447 ev_timer_start (EV_A_ &w->timer); /* this is not race-free, so we still need to recheck periodically */
2084 2448
2085 /* monitor some parent directory for speedup hints */ 2449 /* monitor some parent directory for speedup hints */
2450 /* note that exceeding the hardcoded limit is not a correctness issue, */
2451 /* but an efficiency issue only */
2086 if ((errno == ENOENT || errno == EACCES) && strlen (w->path) < 4096) 2452 if ((errno == ENOENT || errno == EACCES) && strlen (w->path) < 4096)
2087 { 2453 {
2088 char path [4096]; 2454 char path [4096];
2089 strcpy (path, w->path); 2455 strcpy (path, w->path);
2090 2456
2216 } 2582 }
2217 2583
2218 } 2584 }
2219} 2585}
2220 2586
2587#endif
2588
2589#ifdef _WIN32
2590# define EV_LSTAT(p,b) _stati64 (p, b)
2591#else
2592# define EV_LSTAT(p,b) lstat (p, b)
2221#endif 2593#endif
2222 2594
2223void 2595void
2224ev_stat_stat (EV_P_ ev_stat *w) 2596ev_stat_stat (EV_P_ ev_stat *w)
2225{ 2597{
2289 else 2661 else
2290#endif 2662#endif
2291 ev_timer_start (EV_A_ &w->timer); 2663 ev_timer_start (EV_A_ &w->timer);
2292 2664
2293 ev_start (EV_A_ (W)w, 1); 2665 ev_start (EV_A_ (W)w, 1);
2666
2667 EV_FREQUENT_CHECK;
2294} 2668}
2295 2669
2296void 2670void
2297ev_stat_stop (EV_P_ ev_stat *w) 2671ev_stat_stop (EV_P_ ev_stat *w)
2298{ 2672{
2299 clear_pending (EV_A_ (W)w); 2673 clear_pending (EV_A_ (W)w);
2300 if (expect_false (!ev_is_active (w))) 2674 if (expect_false (!ev_is_active (w)))
2301 return; 2675 return;
2302 2676
2677 EV_FREQUENT_CHECK;
2678
2303#if EV_USE_INOTIFY 2679#if EV_USE_INOTIFY
2304 infy_del (EV_A_ w); 2680 infy_del (EV_A_ w);
2305#endif 2681#endif
2306 ev_timer_stop (EV_A_ &w->timer); 2682 ev_timer_stop (EV_A_ &w->timer);
2307 2683
2308 ev_stop (EV_A_ (W)w); 2684 ev_stop (EV_A_ (W)w);
2685
2686 EV_FREQUENT_CHECK;
2309} 2687}
2310#endif 2688#endif
2311 2689
2312#if EV_IDLE_ENABLE 2690#if EV_IDLE_ENABLE
2313void 2691void
2315{ 2693{
2316 if (expect_false (ev_is_active (w))) 2694 if (expect_false (ev_is_active (w)))
2317 return; 2695 return;
2318 2696
2319 pri_adjust (EV_A_ (W)w); 2697 pri_adjust (EV_A_ (W)w);
2698
2699 EV_FREQUENT_CHECK;
2320 2700
2321 { 2701 {
2322 int active = ++idlecnt [ABSPRI (w)]; 2702 int active = ++idlecnt [ABSPRI (w)];
2323 2703
2324 ++idleall; 2704 ++idleall;
2325 ev_start (EV_A_ (W)w, active); 2705 ev_start (EV_A_ (W)w, active);
2326 2706
2327 array_needsize (ev_idle *, idles [ABSPRI (w)], idlemax [ABSPRI (w)], active, EMPTY2); 2707 array_needsize (ev_idle *, idles [ABSPRI (w)], idlemax [ABSPRI (w)], active, EMPTY2);
2328 idles [ABSPRI (w)][active - 1] = w; 2708 idles [ABSPRI (w)][active - 1] = w;
2329 } 2709 }
2710
2711 EV_FREQUENT_CHECK;
2330} 2712}
2331 2713
2332void 2714void
2333ev_idle_stop (EV_P_ ev_idle *w) 2715ev_idle_stop (EV_P_ ev_idle *w)
2334{ 2716{
2335 clear_pending (EV_A_ (W)w); 2717 clear_pending (EV_A_ (W)w);
2336 if (expect_false (!ev_is_active (w))) 2718 if (expect_false (!ev_is_active (w)))
2337 return; 2719 return;
2338 2720
2721 EV_FREQUENT_CHECK;
2722
2339 { 2723 {
2340 int active = ((W)w)->active; 2724 int active = ev_active (w);
2341 2725
2342 idles [ABSPRI (w)][active - 1] = idles [ABSPRI (w)][--idlecnt [ABSPRI (w)]]; 2726 idles [ABSPRI (w)][active - 1] = idles [ABSPRI (w)][--idlecnt [ABSPRI (w)]];
2343 ((W)idles [ABSPRI (w)][active - 1])->active = active; 2727 ev_active (idles [ABSPRI (w)][active - 1]) = active;
2344 2728
2345 ev_stop (EV_A_ (W)w); 2729 ev_stop (EV_A_ (W)w);
2346 --idleall; 2730 --idleall;
2347 } 2731 }
2732
2733 EV_FREQUENT_CHECK;
2348} 2734}
2349#endif 2735#endif
2350 2736
2351void 2737void
2352ev_prepare_start (EV_P_ ev_prepare *w) 2738ev_prepare_start (EV_P_ ev_prepare *w)
2353{ 2739{
2354 if (expect_false (ev_is_active (w))) 2740 if (expect_false (ev_is_active (w)))
2355 return; 2741 return;
2742
2743 EV_FREQUENT_CHECK;
2356 2744
2357 ev_start (EV_A_ (W)w, ++preparecnt); 2745 ev_start (EV_A_ (W)w, ++preparecnt);
2358 array_needsize (ev_prepare *, prepares, preparemax, preparecnt, EMPTY2); 2746 array_needsize (ev_prepare *, prepares, preparemax, preparecnt, EMPTY2);
2359 prepares [preparecnt - 1] = w; 2747 prepares [preparecnt - 1] = w;
2748
2749 EV_FREQUENT_CHECK;
2360} 2750}
2361 2751
2362void 2752void
2363ev_prepare_stop (EV_P_ ev_prepare *w) 2753ev_prepare_stop (EV_P_ ev_prepare *w)
2364{ 2754{
2365 clear_pending (EV_A_ (W)w); 2755 clear_pending (EV_A_ (W)w);
2366 if (expect_false (!ev_is_active (w))) 2756 if (expect_false (!ev_is_active (w)))
2367 return; 2757 return;
2368 2758
2759 EV_FREQUENT_CHECK;
2760
2369 { 2761 {
2370 int active = ((W)w)->active; 2762 int active = ev_active (w);
2763
2371 prepares [active - 1] = prepares [--preparecnt]; 2764 prepares [active - 1] = prepares [--preparecnt];
2372 ((W)prepares [active - 1])->active = active; 2765 ev_active (prepares [active - 1]) = active;
2373 } 2766 }
2374 2767
2375 ev_stop (EV_A_ (W)w); 2768 ev_stop (EV_A_ (W)w);
2769
2770 EV_FREQUENT_CHECK;
2376} 2771}
2377 2772
2378void 2773void
2379ev_check_start (EV_P_ ev_check *w) 2774ev_check_start (EV_P_ ev_check *w)
2380{ 2775{
2381 if (expect_false (ev_is_active (w))) 2776 if (expect_false (ev_is_active (w)))
2382 return; 2777 return;
2778
2779 EV_FREQUENT_CHECK;
2383 2780
2384 ev_start (EV_A_ (W)w, ++checkcnt); 2781 ev_start (EV_A_ (W)w, ++checkcnt);
2385 array_needsize (ev_check *, checks, checkmax, checkcnt, EMPTY2); 2782 array_needsize (ev_check *, checks, checkmax, checkcnt, EMPTY2);
2386 checks [checkcnt - 1] = w; 2783 checks [checkcnt - 1] = w;
2784
2785 EV_FREQUENT_CHECK;
2387} 2786}
2388 2787
2389void 2788void
2390ev_check_stop (EV_P_ ev_check *w) 2789ev_check_stop (EV_P_ ev_check *w)
2391{ 2790{
2392 clear_pending (EV_A_ (W)w); 2791 clear_pending (EV_A_ (W)w);
2393 if (expect_false (!ev_is_active (w))) 2792 if (expect_false (!ev_is_active (w)))
2394 return; 2793 return;
2395 2794
2795 EV_FREQUENT_CHECK;
2796
2396 { 2797 {
2397 int active = ((W)w)->active; 2798 int active = ev_active (w);
2799
2398 checks [active - 1] = checks [--checkcnt]; 2800 checks [active - 1] = checks [--checkcnt];
2399 ((W)checks [active - 1])->active = active; 2801 ev_active (checks [active - 1]) = active;
2400 } 2802 }
2401 2803
2402 ev_stop (EV_A_ (W)w); 2804 ev_stop (EV_A_ (W)w);
2805
2806 EV_FREQUENT_CHECK;
2403} 2807}
2404 2808
2405#if EV_EMBED_ENABLE 2809#if EV_EMBED_ENABLE
2406void noinline 2810void noinline
2407ev_embed_sweep (EV_P_ ev_embed *w) 2811ev_embed_sweep (EV_P_ ev_embed *w)
2434 ev_loop (EV_A_ EVLOOP_NONBLOCK); 2838 ev_loop (EV_A_ EVLOOP_NONBLOCK);
2435 } 2839 }
2436 } 2840 }
2437} 2841}
2438 2842
2843static void
2844embed_fork_cb (EV_P_ ev_fork *fork_w, int revents)
2845{
2846 ev_embed *w = (ev_embed *)(((char *)fork_w) - offsetof (ev_embed, fork));
2847
2848 {
2849 struct ev_loop *loop = w->other;
2850
2851 ev_loop_fork (EV_A);
2852 }
2853}
2854
2439#if 0 2855#if 0
2440static void 2856static void
2441embed_idle_cb (EV_P_ ev_idle *idle, int revents) 2857embed_idle_cb (EV_P_ ev_idle *idle, int revents)
2442{ 2858{
2443 ev_idle_stop (EV_A_ idle); 2859 ev_idle_stop (EV_A_ idle);
2454 struct ev_loop *loop = w->other; 2870 struct ev_loop *loop = w->other;
2455 assert (("loop to be embedded is not embeddable", backend & ev_embeddable_backends ())); 2871 assert (("loop to be embedded is not embeddable", backend & ev_embeddable_backends ()));
2456 ev_io_init (&w->io, embed_io_cb, backend_fd, EV_READ); 2872 ev_io_init (&w->io, embed_io_cb, backend_fd, EV_READ);
2457 } 2873 }
2458 2874
2875 EV_FREQUENT_CHECK;
2876
2459 ev_set_priority (&w->io, ev_priority (w)); 2877 ev_set_priority (&w->io, ev_priority (w));
2460 ev_io_start (EV_A_ &w->io); 2878 ev_io_start (EV_A_ &w->io);
2461 2879
2462 ev_prepare_init (&w->prepare, embed_prepare_cb); 2880 ev_prepare_init (&w->prepare, embed_prepare_cb);
2463 ev_set_priority (&w->prepare, EV_MINPRI); 2881 ev_set_priority (&w->prepare, EV_MINPRI);
2464 ev_prepare_start (EV_A_ &w->prepare); 2882 ev_prepare_start (EV_A_ &w->prepare);
2465 2883
2884 ev_fork_init (&w->fork, embed_fork_cb);
2885 ev_fork_start (EV_A_ &w->fork);
2886
2466 /*ev_idle_init (&w->idle, e,bed_idle_cb);*/ 2887 /*ev_idle_init (&w->idle, e,bed_idle_cb);*/
2467 2888
2468 ev_start (EV_A_ (W)w, 1); 2889 ev_start (EV_A_ (W)w, 1);
2890
2891 EV_FREQUENT_CHECK;
2469} 2892}
2470 2893
2471void 2894void
2472ev_embed_stop (EV_P_ ev_embed *w) 2895ev_embed_stop (EV_P_ ev_embed *w)
2473{ 2896{
2474 clear_pending (EV_A_ (W)w); 2897 clear_pending (EV_A_ (W)w);
2475 if (expect_false (!ev_is_active (w))) 2898 if (expect_false (!ev_is_active (w)))
2476 return; 2899 return;
2477 2900
2901 EV_FREQUENT_CHECK;
2902
2478 ev_io_stop (EV_A_ &w->io); 2903 ev_io_stop (EV_A_ &w->io);
2479 ev_prepare_stop (EV_A_ &w->prepare); 2904 ev_prepare_stop (EV_A_ &w->prepare);
2905 ev_fork_stop (EV_A_ &w->fork);
2480 2906
2481 ev_stop (EV_A_ (W)w); 2907 EV_FREQUENT_CHECK;
2482} 2908}
2483#endif 2909#endif
2484 2910
2485#if EV_FORK_ENABLE 2911#if EV_FORK_ENABLE
2486void 2912void
2487ev_fork_start (EV_P_ ev_fork *w) 2913ev_fork_start (EV_P_ ev_fork *w)
2488{ 2914{
2489 if (expect_false (ev_is_active (w))) 2915 if (expect_false (ev_is_active (w)))
2490 return; 2916 return;
2917
2918 EV_FREQUENT_CHECK;
2491 2919
2492 ev_start (EV_A_ (W)w, ++forkcnt); 2920 ev_start (EV_A_ (W)w, ++forkcnt);
2493 array_needsize (ev_fork *, forks, forkmax, forkcnt, EMPTY2); 2921 array_needsize (ev_fork *, forks, forkmax, forkcnt, EMPTY2);
2494 forks [forkcnt - 1] = w; 2922 forks [forkcnt - 1] = w;
2923
2924 EV_FREQUENT_CHECK;
2495} 2925}
2496 2926
2497void 2927void
2498ev_fork_stop (EV_P_ ev_fork *w) 2928ev_fork_stop (EV_P_ ev_fork *w)
2499{ 2929{
2500 clear_pending (EV_A_ (W)w); 2930 clear_pending (EV_A_ (W)w);
2501 if (expect_false (!ev_is_active (w))) 2931 if (expect_false (!ev_is_active (w)))
2502 return; 2932 return;
2503 2933
2934 EV_FREQUENT_CHECK;
2935
2504 { 2936 {
2505 int active = ((W)w)->active; 2937 int active = ev_active (w);
2938
2506 forks [active - 1] = forks [--forkcnt]; 2939 forks [active - 1] = forks [--forkcnt];
2507 ((W)forks [active - 1])->active = active; 2940 ev_active (forks [active - 1]) = active;
2508 } 2941 }
2509 2942
2510 ev_stop (EV_A_ (W)w); 2943 ev_stop (EV_A_ (W)w);
2944
2945 EV_FREQUENT_CHECK;
2511} 2946}
2512#endif 2947#endif
2513 2948
2514#if EV_ASYNC_ENABLE 2949#if EV_ASYNC_ENABLE
2515void 2950void
2517{ 2952{
2518 if (expect_false (ev_is_active (w))) 2953 if (expect_false (ev_is_active (w)))
2519 return; 2954 return;
2520 2955
2521 evpipe_init (EV_A); 2956 evpipe_init (EV_A);
2957
2958 EV_FREQUENT_CHECK;
2522 2959
2523 ev_start (EV_A_ (W)w, ++asynccnt); 2960 ev_start (EV_A_ (W)w, ++asynccnt);
2524 array_needsize (ev_async *, asyncs, asyncmax, asynccnt, EMPTY2); 2961 array_needsize (ev_async *, asyncs, asyncmax, asynccnt, EMPTY2);
2525 asyncs [asynccnt - 1] = w; 2962 asyncs [asynccnt - 1] = w;
2963
2964 EV_FREQUENT_CHECK;
2526} 2965}
2527 2966
2528void 2967void
2529ev_async_stop (EV_P_ ev_async *w) 2968ev_async_stop (EV_P_ ev_async *w)
2530{ 2969{
2531 clear_pending (EV_A_ (W)w); 2970 clear_pending (EV_A_ (W)w);
2532 if (expect_false (!ev_is_active (w))) 2971 if (expect_false (!ev_is_active (w)))
2533 return; 2972 return;
2534 2973
2974 EV_FREQUENT_CHECK;
2975
2535 { 2976 {
2536 int active = ((W)w)->active; 2977 int active = ev_active (w);
2978
2537 asyncs [active - 1] = asyncs [--asynccnt]; 2979 asyncs [active - 1] = asyncs [--asynccnt];
2538 ((W)asyncs [active - 1])->active = active; 2980 ev_active (asyncs [active - 1]) = active;
2539 } 2981 }
2540 2982
2541 ev_stop (EV_A_ (W)w); 2983 ev_stop (EV_A_ (W)w);
2984
2985 EV_FREQUENT_CHECK;
2542} 2986}
2543 2987
2544void 2988void
2545ev_async_send (EV_P_ ev_async *w) 2989ev_async_send (EV_P_ ev_async *w)
2546{ 2990{
2563once_cb (EV_P_ struct ev_once *once, int revents) 3007once_cb (EV_P_ struct ev_once *once, int revents)
2564{ 3008{
2565 void (*cb)(int revents, void *arg) = once->cb; 3009 void (*cb)(int revents, void *arg) = once->cb;
2566 void *arg = once->arg; 3010 void *arg = once->arg;
2567 3011
2568 ev_io_stop (EV_A_ &once->io); 3012 ev_io_stop (EV_A_ &once->io);
2569 ev_timer_stop (EV_A_ &once->to); 3013 ev_timer_stop (EV_A_ &once->to);
2570 ev_free (once); 3014 ev_free (once);
2571 3015
2572 cb (revents, arg); 3016 cb (revents, arg);
2573} 3017}
2574 3018
2575static void 3019static void
2576once_cb_io (EV_P_ ev_io *w, int revents) 3020once_cb_io (EV_P_ ev_io *w, int revents)
2577{ 3021{
2578 once_cb (EV_A_ (struct ev_once *)(((char *)w) - offsetof (struct ev_once, io)), revents); 3022 struct ev_once *once = (struct ev_once *)(((char *)w) - offsetof (struct ev_once, io));
3023
3024 once_cb (EV_A_ once, revents | ev_clear_pending (EV_A_ &once->to));
2579} 3025}
2580 3026
2581static void 3027static void
2582once_cb_to (EV_P_ ev_timer *w, int revents) 3028once_cb_to (EV_P_ ev_timer *w, int revents)
2583{ 3029{
2584 once_cb (EV_A_ (struct ev_once *)(((char *)w) - offsetof (struct ev_once, to)), revents); 3030 struct ev_once *once = (struct ev_once *)(((char *)w) - offsetof (struct ev_once, to));
3031
3032 once_cb (EV_A_ once, revents | ev_clear_pending (EV_A_ &once->io));
2585} 3033}
2586 3034
2587void 3035void
2588ev_once (EV_P_ int fd, int events, ev_tstamp timeout, void (*cb)(int revents, void *arg), void *arg) 3036ev_once (EV_P_ int fd, int events, ev_tstamp timeout, void (*cb)(int revents, void *arg), void *arg)
2589{ 3037{

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines