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

Comparing libev/ev.c (file contents):
Revision 1.372 by root, Wed Feb 16 08:02:50 2011 UTC vs.
Revision 1.383 by root, Wed Jul 20 00:40:14 2011 UTC

43# include EV_CONFIG_H 43# include EV_CONFIG_H
44# else 44# else
45# include "config.h" 45# include "config.h"
46# endif 46# endif
47 47
48#if HAVE_FLOOR
49# ifndef EV_USE_FLOOR
50# define EV_USE_FLOOR 1
51# endif
52#endif
53
48# if HAVE_CLOCK_SYSCALL 54# if HAVE_CLOCK_SYSCALL
49# ifndef EV_USE_CLOCK_SYSCALL 55# ifndef EV_USE_CLOCK_SYSCALL
50# define EV_USE_CLOCK_SYSCALL 1 56# define EV_USE_CLOCK_SYSCALL 1
51# ifndef EV_USE_REALTIME 57# ifndef EV_USE_REALTIME
52# define EV_USE_REALTIME 0 58# define EV_USE_REALTIME 0
156# define EV_USE_EVENTFD 0 162# define EV_USE_EVENTFD 0
157# endif 163# endif
158 164
159#endif 165#endif
160 166
161#include <math.h>
162#include <stdlib.h> 167#include <stdlib.h>
163#include <string.h> 168#include <string.h>
164#include <fcntl.h> 169#include <fcntl.h>
165#include <stddef.h> 170#include <stddef.h>
166 171
232/* to make it compile regardless, just remove the above line, */ 237/* to make it compile regardless, just remove the above line, */
233/* but consider reporting it, too! :) */ 238/* but consider reporting it, too! :) */
234# define EV_NSIG 65 239# define EV_NSIG 65
235#endif 240#endif
236 241
242#ifndef EV_USE_FLOOR
243# define EV_USE_FLOOR 0
244#endif
245
237#ifndef EV_USE_CLOCK_SYSCALL 246#ifndef EV_USE_CLOCK_SYSCALL
238# if __linux && __GLIBC__ >= 2 247# if __linux && __GLIBC__ >= 2
239# define EV_USE_CLOCK_SYSCALL EV_FEATURE_OS 248# define EV_USE_CLOCK_SYSCALL EV_FEATURE_OS
240# else 249# else
241# define EV_USE_CLOCK_SYSCALL 0 250# define EV_USE_CLOCK_SYSCALL 0
443#else 452#else
444# define EV_FREQUENT_CHECK do { } while (0) 453# define EV_FREQUENT_CHECK do { } while (0)
445#endif 454#endif
446 455
447/* 456/*
448 * This is used to avoid floating point rounding problems. 457 * This is used to work around floating point rounding problems.
449 * It is added to ev_rt_now when scheduling periodics
450 * to ensure progress, time-wise, even when rounding
451 * errors are against us.
452 * This value is good at least till the year 4000. 458 * This value is good at least till the year 4000.
453 * Better solutions welcome.
454 */ 459 */
455#define TIME_EPSILON 0.0001220703125 /* 1/8192 */ 460#define MIN_INTERVAL 0.0001220703125 /* 1/2**13, good till 4000 */
461/*#define MIN_INTERVAL 0.00000095367431640625 /* 1/2**20, good till 2200 */
456 462
457#define MIN_TIMEJUMP 1. /* minimum timejump that gets detected (if monotonic clock available) */ 463#define MIN_TIMEJUMP 1. /* minimum timejump that gets detected (if monotonic clock available) */
458#define MAX_BLOCKTIME 59.743 /* never wait longer than this time (to detect time jumps) */ 464#define MAX_BLOCKTIME 59.743 /* never wait longer than this time (to detect time jumps) */
459 465
460#define EV_TV_SET(tv,t) do { tv.tv_sec = (long)t; tv.tv_usec = (long)((t - tv.tv_sec) * 1e6); } while (0) 466#define EV_TV_SET(tv,t) do { tv.tv_sec = (long)t; tv.tv_usec = (long)((t - tv.tv_sec) * 1e6); } while (0)
461#define EV_TS_SET(ts,t) do { ts.tv_sec = (long)t; ts.tv_nsec = (long)((t - ts.tv_sec) * 1e9); } while (0) 467#define EV_TS_SET(ts,t) do { ts.tv_sec = (long)t; ts.tv_nsec = (long)((t - ts.tv_sec) * 1e9); } while (0)
462 468
463#if __GNUC__ >= 4 469/* the following are taken from libecb */
464# define expect(expr,value) __builtin_expect ((expr),(value)) 470/* ecb.h start */
465# define noinline __attribute__ ((noinline)) 471
472/* many compilers define _GNUC_ to some versions but then only implement
473 * what their idiot authors think are the "more important" extensions,
474 * causing enourmous grief in return for some better fake benchmark numbers.
475 * or so.
476 * we try to detect these and simply assume they are not gcc - if they have
477 * an issue with that they should have done it right in the first place.
478 */
479#ifndef ECB_GCC_VERSION
480 #if !defined(__GNUC_MINOR__) || defined(__INTEL_COMPILER) || defined(__SUNPRO_C) || defined(__SUNPRO_CC) || defined(__llvm__) || defined(__clang__)
481 #define ECB_GCC_VERSION(major,minor) 0
482 #else
483 #define ECB_GCC_VERSION(major,minor) (__GNUC__ > (major) || (__GNUC__ == (major) && __GNUC_MINOR__ >= (minor)))
484 #endif
485#endif
486
487#if __cplusplus
488 #define ecb_inline static inline
489#elif ECB_GCC_VERSION(2,5)
490 #define ecb_inline static __inline__
491#elif ECB_C99
492 #define ecb_inline static inline
466#else 493#else
467# define expect(expr,value) (expr) 494 #define ecb_inline static
468# define noinline
469# if __STDC_VERSION__ < 199901L && __GNUC__ < 2
470# define inline
471# endif 495#endif
496
497#ifndef ECB_MEMORY_FENCE
498 #if ECB_GCC_VERSION(2,5)
499 #if __x86
500 #define ECB_MEMORY_FENCE __asm__ __volatile__ ("lock; orb $0, -1(%%esp)" : : : "memory")
501 #define ECB_MEMORY_FENCE_ACQUIRE ECB_MEMORY_FENCE
502 #define ECB_MEMORY_FENCE_RELEASE ECB_MEMORY_FENCE /* better be safe than sorry */
503 #elif __amd64
504 #define ECB_MEMORY_FENCE __asm__ __volatile__ ("mfence" : : : "memory")
505 #define ECB_MEMORY_FENCE_ACQUIRE __asm__ __volatile__ ("lfence" : : : "memory")
506 #define ECB_MEMORY_FENCE_RELEASE __asm__ __volatile__ ("sfence")
507 #endif
472#endif 508 #endif
509#endif
473 510
511#ifndef ECB_MEMORY_FENCE
512 #if ECB_GCC_VERSION(4,4)
513 #define ECB_MEMORY_FENCE __sync_synchronize ()
514 #define ECB_MEMORY_FENCE_ACQUIRE ({ char dummy = 0; __sync_lock_test_and_set (&dummy, 1); })
515 #define ECB_MEMORY_FENCE_RELEASE ({ char dummy = 1; __sync_lock_release (&dummy ); })
516 #elif _MSC_VER >= 1400
517 #define ECB_MEMORY_FENCE do { } while (0)
518 #define ECB_MEMORY_FENCE_ACQUIRE ECB_MEMORY_FENCE
519 #define ECB_MEMORY_FENCE_RELEASE ECB_MEMORY_FENCE
520 #elif defined(_WIN32) && defined(MemoryBarrier)
521 #define ECB_MEMORY_FENCE MemoryBarrier ()
522 #define ECB_MEMORY_FENCE_ACQUIRE ECB_MEMORY_FENCE
523 #define ECB_MEMORY_FENCE_RELEASE ECB_MEMORY_FENCE
524 #endif
525#endif
526
527#ifndef ECB_MEMORY_FENCE
528 #include <pthread.h>
529
530 static pthread_mutex_t ecb_mf_lock = PTHREAD_MUTEX_INITIALIZER;
531 #define ECB_MEMORY_FENCE do { pthread_mutex_lock (&ecb_mf_lock); pthread_mutex_unlock (&ecb_mf_lock); } while (0)
532 #define ECB_MEMORY_FENCE_ACQUIRE ECB_MEMORY_FENCE
533 #define ECB_MEMORY_FENCE_RELEASE ECB_MEMORY_FENCE
534#endif
535
536#if ECB_GCC_VERSION(3,1)
537 #define ecb_attribute(attrlist) __attribute__(attrlist)
538 #define ecb_is_constant(expr) __builtin_constant_p (expr)
539 #define ecb_expect(expr,value) __builtin_expect ((expr),(value))
540 #define ecb_prefetch(addr,rw,locality) __builtin_prefetch (addr, rw, locality)
541#else
542 #define ecb_attribute(attrlist)
543 #define ecb_is_constant(expr) 0
544 #define ecb_expect(expr,value) (expr)
545 #define ecb_prefetch(addr,rw,locality)
546#endif
547
548#define ecb_noinline ecb_attribute ((__noinline__))
549#define ecb_noreturn ecb_attribute ((__noreturn__))
550#define ecb_unused ecb_attribute ((__unused__))
551#define ecb_const ecb_attribute ((__const__))
552#define ecb_pure ecb_attribute ((__pure__))
553
554#if ECB_GCC_VERSION(4,3)
555 #define ecb_artificial ecb_attribute ((__artificial__))
556 #define ecb_hot ecb_attribute ((__hot__))
557 #define ecb_cold ecb_attribute ((__cold__))
558#else
559 #define ecb_artificial
560 #define ecb_hot
561 #define ecb_cold
562#endif
563
564/* put around conditional expressions if you are very sure that the */
565/* expression is mostly true or mostly false. note that these return */
566/* booleans, not the expression. */
474#define expect_false(expr) expect ((expr) != 0, 0) 567#define ecb_expect_false(expr) ecb_expect (!!(expr), 0)
475#define expect_true(expr) expect ((expr) != 0, 1) 568#define ecb_expect_true(expr) ecb_expect (!!(expr), 1)
569/* ecb.h end */
570
571#define expect_false(cond) ecb_expect_false (cond)
572#define expect_true(cond) ecb_expect_true (cond)
573#define noinline ecb_noinline
574
476#define inline_size static inline 575#define inline_size ecb_inline
477 576
478#if EV_FEATURE_CODE 577#if EV_FEATURE_CODE
479# define inline_speed static inline 578# define inline_speed ecb_inline
480#else 579#else
481# define inline_speed static noinline 580# define inline_speed static noinline
482#endif 581#endif
483 582
484#define NUMPRI (EV_MAXPRI - EV_MINPRI + 1) 583#define NUMPRI (EV_MAXPRI - EV_MINPRI + 1)
523# include "ev_win32.c" 622# include "ev_win32.c"
524#endif 623#endif
525 624
526/*****************************************************************************/ 625/*****************************************************************************/
527 626
627/* define a suitable floor function (only used by periodics atm) */
628
629#if EV_USE_FLOOR
630# include <math.h>
631# define ev_floor(v) floor (v)
632#else
633
634#include <float.h>
635
636/* a floor() replacement function, should be independent of ev_tstamp type */
637static ev_tstamp noinline
638ev_floor (ev_tstamp v)
639{
640 /* the choice of shift factor is not terribly important */
641#if FLT_RADIX != 2 /* assume FLT_RADIX == 10 */
642 const ev_tstamp shift = sizeof (unsigned long) >= 8 ? 10000000000000000000. : 1000000000.;
643#else
644 const ev_tstamp shift = sizeof (unsigned long) >= 8 ? 18446744073709551616. : 4294967296.;
645#endif
646
647 /* argument too large for an unsigned long? */
648 if (expect_false (v >= shift))
649 {
650 ev_tstamp f;
651
652 if (v == v - 1.)
653 return v; /* very large number */
654
655 f = shift * ev_floor (v * (1. / shift));
656 return f + ev_floor (v - f);
657 }
658
659 /* special treatment for negative args? */
660 if (expect_false (v < 0.))
661 {
662 ev_tstamp f = -ev_floor (-v);
663
664 return f - (f == v ? 0 : 1);
665 }
666
667 /* fits into an unsigned long */
668 return (unsigned long)v;
669}
670
671#endif
672
673/*****************************************************************************/
674
528#ifdef __linux 675#ifdef __linux
529# include <sys/utsname.h> 676# include <sys/utsname.h>
530#endif 677#endif
531 678
532static unsigned int noinline 679static unsigned int noinline ecb_cold
533ev_linux_version (void) 680ev_linux_version (void)
534{ 681{
535#ifdef __linux 682#ifdef __linux
536 unsigned int v = 0; 683 unsigned int v = 0;
537 struct utsname buf; 684 struct utsname buf;
566} 713}
567 714
568/*****************************************************************************/ 715/*****************************************************************************/
569 716
570#if EV_AVOID_STDIO 717#if EV_AVOID_STDIO
571static void noinline 718static void noinline ecb_cold
572ev_printerr (const char *msg) 719ev_printerr (const char *msg)
573{ 720{
574 write (STDERR_FILENO, msg, strlen (msg)); 721 write (STDERR_FILENO, msg, strlen (msg));
575} 722}
576#endif 723#endif
577 724
578static void (*syserr_cb)(const char *msg); 725static void (*syserr_cb)(const char *msg);
579 726
580void 727void ecb_cold
581ev_set_syserr_cb (void (*cb)(const char *msg)) 728ev_set_syserr_cb (void (*cb)(const char *msg))
582{ 729{
583 syserr_cb = cb; 730 syserr_cb = cb;
584} 731}
585 732
586static void noinline 733static void noinline ecb_cold
587ev_syserr (const char *msg) 734ev_syserr (const char *msg)
588{ 735{
589 if (!msg) 736 if (!msg)
590 msg = "(libev) system error"; 737 msg = "(libev) system error";
591 738
624#endif 771#endif
625} 772}
626 773
627static void *(*alloc)(void *ptr, long size) = ev_realloc_emul; 774static void *(*alloc)(void *ptr, long size) = ev_realloc_emul;
628 775
629void 776void ecb_cold
630ev_set_allocator (void *(*cb)(void *ptr, long size)) 777ev_set_allocator (void *(*cb)(void *ptr, long size))
631{ 778{
632 alloc = cb; 779 alloc = cb;
633} 780}
634 781
816 select (0, 0, 0, 0, &tv); 963 select (0, 0, 0, 0, &tv);
817#endif 964#endif
818 } 965 }
819} 966}
820 967
821inline_speed int
822ev_timeout_to_ms (ev_tstamp timeout)
823{
824 int ms = timeout * 1000. + .999999;
825
826 return expect_true (ms) ? ms : timeout < 1e-6 ? 0 : 1;
827}
828
829/*****************************************************************************/ 968/*****************************************************************************/
830 969
831#define MALLOC_ROUND 4096 /* prefer to allocate in chunks of this size, must be 2**n and >> 4 longs */ 970#define MALLOC_ROUND 4096 /* prefer to allocate in chunks of this size, must be 2**n and >> 4 longs */
832 971
833/* find a suitable new size for the given array, */ 972/* find a suitable new size for the given array, */
851 } 990 }
852 991
853 return ncur; 992 return ncur;
854} 993}
855 994
856static noinline void * 995static void * noinline ecb_cold
857array_realloc (int elem, void *base, int *cur, int cnt) 996array_realloc (int elem, void *base, int *cur, int cnt)
858{ 997{
859 *cur = array_nextsize (elem, *cur, cnt); 998 *cur = array_nextsize (elem, *cur, cnt);
860 return ev_realloc (base, elem * *cur); 999 return ev_realloc (base, elem * *cur);
861} 1000}
864 memset ((void *)(base), 0, sizeof (*(base)) * (count)) 1003 memset ((void *)(base), 0, sizeof (*(base)) * (count))
865 1004
866#define array_needsize(type,base,cur,cnt,init) \ 1005#define array_needsize(type,base,cur,cnt,init) \
867 if (expect_false ((cnt) > (cur))) \ 1006 if (expect_false ((cnt) > (cur))) \
868 { \ 1007 { \
869 int ocur_ = (cur); \ 1008 int ecb_unused ocur_ = (cur); \
870 (base) = (type *)array_realloc \ 1009 (base) = (type *)array_realloc \
871 (sizeof (type), (base), &(cur), (cnt)); \ 1010 (sizeof (type), (base), &(cur), (cnt)); \
872 init ((base) + (ocur_), (cur) - ocur_); \ 1011 init ((base) + (ocur_), (cur) - ocur_); \
873 } 1012 }
874 1013
980 for (i = 0; i < fdchangecnt; ++i) 1119 for (i = 0; i < fdchangecnt; ++i)
981 { 1120 {
982 int fd = fdchanges [i]; 1121 int fd = fdchanges [i];
983 ANFD *anfd = anfds + fd; 1122 ANFD *anfd = anfds + fd;
984 1123
985 if (anfd->reify & EV__IOFDSET) 1124 if (anfd->reify & EV__IOFDSET && anfd->head)
986 { 1125 {
987 SOCKET handle = EV_FD_TO_WIN32_HANDLE (fd); 1126 SOCKET handle = EV_FD_TO_WIN32_HANDLE (fd);
988 1127
989 if (handle != anfd->handle) 1128 if (handle != anfd->handle)
990 { 1129 {
1044 fdchanges [fdchangecnt - 1] = fd; 1183 fdchanges [fdchangecnt - 1] = fd;
1045 } 1184 }
1046} 1185}
1047 1186
1048/* the given fd is invalid/unusable, so make sure it doesn't hurt us anymore */ 1187/* the given fd is invalid/unusable, so make sure it doesn't hurt us anymore */
1049inline_speed void 1188inline_speed void ecb_cold
1050fd_kill (EV_P_ int fd) 1189fd_kill (EV_P_ int fd)
1051{ 1190{
1052 ev_io *w; 1191 ev_io *w;
1053 1192
1054 while ((w = (ev_io *)anfds [fd].head)) 1193 while ((w = (ev_io *)anfds [fd].head))
1057 ev_feed_event (EV_A_ (W)w, EV_ERROR | EV_READ | EV_WRITE); 1196 ev_feed_event (EV_A_ (W)w, EV_ERROR | EV_READ | EV_WRITE);
1058 } 1197 }
1059} 1198}
1060 1199
1061/* check whether the given fd is actually valid, for error recovery */ 1200/* check whether the given fd is actually valid, for error recovery */
1062inline_size int 1201inline_size int ecb_cold
1063fd_valid (int fd) 1202fd_valid (int fd)
1064{ 1203{
1065#ifdef _WIN32 1204#ifdef _WIN32
1066 return EV_FD_TO_WIN32_HANDLE (fd) != -1; 1205 return EV_FD_TO_WIN32_HANDLE (fd) != -1;
1067#else 1206#else
1068 return fcntl (fd, F_GETFD) != -1; 1207 return fcntl (fd, F_GETFD) != -1;
1069#endif 1208#endif
1070} 1209}
1071 1210
1072/* called on EBADF to verify fds */ 1211/* called on EBADF to verify fds */
1073static void noinline 1212static void noinline ecb_cold
1074fd_ebadf (EV_P) 1213fd_ebadf (EV_P)
1075{ 1214{
1076 int fd; 1215 int fd;
1077 1216
1078 for (fd = 0; fd < anfdmax; ++fd) 1217 for (fd = 0; fd < anfdmax; ++fd)
1080 if (!fd_valid (fd) && errno == EBADF) 1219 if (!fd_valid (fd) && errno == EBADF)
1081 fd_kill (EV_A_ fd); 1220 fd_kill (EV_A_ fd);
1082} 1221}
1083 1222
1084/* called on ENOMEM in select/poll to kill some fds and retry */ 1223/* called on ENOMEM in select/poll to kill some fds and retry */
1085static void noinline 1224static void noinline ecb_cold
1086fd_enomem (EV_P) 1225fd_enomem (EV_P)
1087{ 1226{
1088 int fd; 1227 int fd;
1089 1228
1090 for (fd = anfdmax; fd--; ) 1229 for (fd = anfdmax; fd--; )
1285 1424
1286/*****************************************************************************/ 1425/*****************************************************************************/
1287 1426
1288#if EV_SIGNAL_ENABLE || EV_ASYNC_ENABLE 1427#if EV_SIGNAL_ENABLE || EV_ASYNC_ENABLE
1289 1428
1290static void noinline 1429static void noinline ecb_cold
1291evpipe_init (EV_P) 1430evpipe_init (EV_P)
1292{ 1431{
1293 if (!ev_is_active (&pipe_w)) 1432 if (!ev_is_active (&pipe_w))
1294 { 1433 {
1295# if EV_USE_EVENTFD 1434# if EV_USE_EVENTFD
1317 ev_io_start (EV_A_ &pipe_w); 1456 ev_io_start (EV_A_ &pipe_w);
1318 ev_unref (EV_A); /* watcher should not keep loop alive */ 1457 ev_unref (EV_A); /* watcher should not keep loop alive */
1319 } 1458 }
1320} 1459}
1321 1460
1322inline_size void 1461inline_speed void
1323evpipe_write (EV_P_ EV_ATOMIC_T *flag) 1462evpipe_write (EV_P_ EV_ATOMIC_T *flag)
1324{ 1463{
1325 if (!*flag) 1464 if (expect_true (*flag))
1465 return;
1466
1467 *flag = 1;
1468
1469 ECB_MEMORY_FENCE_RELEASE;
1470
1471 pipe_write_skipped = 1;
1472
1473 ECB_MEMORY_FENCE;
1474
1475 if (pipe_write_wanted)
1326 { 1476 {
1477 int old_errno;
1478
1479 pipe_write_skipped = 0; /* optimisation only */
1480
1327 int old_errno = errno; /* save errno because write might clobber it */ 1481 old_errno = errno; /* save errno because write will clobber it */
1328 char dummy;
1329
1330 *flag = 1;
1331 1482
1332#if EV_USE_EVENTFD 1483#if EV_USE_EVENTFD
1333 if (evfd >= 0) 1484 if (evfd >= 0)
1334 { 1485 {
1335 uint64_t counter = 1; 1486 uint64_t counter = 1;
1336 write (evfd, &counter, sizeof (uint64_t)); 1487 write (evfd, &counter, sizeof (uint64_t));
1337 } 1488 }
1338 else 1489 else
1339#endif 1490#endif
1491 {
1340 /* win32 people keep sending patches that change this write() to send() */ 1492 /* win32 people keep sending patches that change this write() to send() */
1341 /* and then run away. but send() is wrong, it wants a socket handle on win32 */ 1493 /* and then run away. but send() is wrong, it wants a socket handle on win32 */
1342 /* so when you think this write should be a send instead, please find out */ 1494 /* so when you think this write should be a send instead, please find out */
1343 /* where your send() is from - it's definitely not the microsoft send, and */ 1495 /* where your send() is from - it's definitely not the microsoft send, and */
1344 /* tell me. thank you. */ 1496 /* tell me. thank you. */
1345 write (evpipe [1], &dummy, 1); 1497 write (evpipe [1], &(evpipe [1]), 1);
1498 }
1346 1499
1347 errno = old_errno; 1500 errno = old_errno;
1348 } 1501 }
1349} 1502}
1350 1503
1353static void 1506static void
1354pipecb (EV_P_ ev_io *iow, int revents) 1507pipecb (EV_P_ ev_io *iow, int revents)
1355{ 1508{
1356 int i; 1509 int i;
1357 1510
1511 if (revents & EV_READ)
1512 {
1358#if EV_USE_EVENTFD 1513#if EV_USE_EVENTFD
1359 if (evfd >= 0) 1514 if (evfd >= 0)
1360 { 1515 {
1361 uint64_t counter; 1516 uint64_t counter;
1362 read (evfd, &counter, sizeof (uint64_t)); 1517 read (evfd, &counter, sizeof (uint64_t));
1363 } 1518 }
1364 else 1519 else
1365#endif 1520#endif
1366 { 1521 {
1367 char dummy; 1522 char dummy;
1368 /* see discussion in evpipe_write when you think this read should be recv in win32 */ 1523 /* see discussion in evpipe_write when you think this read should be recv in win32 */
1369 read (evpipe [0], &dummy, 1); 1524 read (evpipe [0], &dummy, 1);
1525 }
1370 } 1526 }
1527
1528 pipe_write_skipped = 0;
1371 1529
1372#if EV_SIGNAL_ENABLE 1530#if EV_SIGNAL_ENABLE
1373 if (sig_pending) 1531 if (sig_pending)
1374 { 1532 {
1375 sig_pending = 0; 1533 sig_pending = 0;
1404 EV_P = signals [signum - 1].loop; 1562 EV_P = signals [signum - 1].loop;
1405 1563
1406 if (!EV_A) 1564 if (!EV_A)
1407 return; 1565 return;
1408#endif 1566#endif
1567
1568 if (!ev_active (&pipe_w))
1569 return;
1409 1570
1410 signals [signum - 1].pending = 1; 1571 signals [signum - 1].pending = 1;
1411 evpipe_write (EV_A_ &sig_pending); 1572 evpipe_write (EV_A_ &sig_pending);
1412} 1573}
1413 1574
1545#endif 1706#endif
1546#if EV_USE_SELECT 1707#if EV_USE_SELECT
1547# include "ev_select.c" 1708# include "ev_select.c"
1548#endif 1709#endif
1549 1710
1550int 1711int ecb_cold
1551ev_version_major (void) 1712ev_version_major (void)
1552{ 1713{
1553 return EV_VERSION_MAJOR; 1714 return EV_VERSION_MAJOR;
1554} 1715}
1555 1716
1556int 1717int ecb_cold
1557ev_version_minor (void) 1718ev_version_minor (void)
1558{ 1719{
1559 return EV_VERSION_MINOR; 1720 return EV_VERSION_MINOR;
1560} 1721}
1561 1722
1562/* return true if we are running with elevated privileges and should ignore env variables */ 1723/* return true if we are running with elevated privileges and should ignore env variables */
1563int inline_size 1724int inline_size ecb_cold
1564enable_secure (void) 1725enable_secure (void)
1565{ 1726{
1566#ifdef _WIN32 1727#ifdef _WIN32
1567 return 0; 1728 return 0;
1568#else 1729#else
1569 return getuid () != geteuid () 1730 return getuid () != geteuid ()
1570 || getgid () != getegid (); 1731 || getgid () != getegid ();
1571#endif 1732#endif
1572} 1733}
1573 1734
1574unsigned int 1735unsigned int ecb_cold
1575ev_supported_backends (void) 1736ev_supported_backends (void)
1576{ 1737{
1577 unsigned int flags = 0; 1738 unsigned int flags = 0;
1578 1739
1579 if (EV_USE_PORT ) flags |= EVBACKEND_PORT; 1740 if (EV_USE_PORT ) flags |= EVBACKEND_PORT;
1583 if (EV_USE_SELECT) flags |= EVBACKEND_SELECT; 1744 if (EV_USE_SELECT) flags |= EVBACKEND_SELECT;
1584 1745
1585 return flags; 1746 return flags;
1586} 1747}
1587 1748
1588unsigned int 1749unsigned int ecb_cold
1589ev_recommended_backends (void) 1750ev_recommended_backends (void)
1590{ 1751{
1591 unsigned int flags = ev_supported_backends (); 1752 unsigned int flags = ev_supported_backends ();
1592 1753
1593#ifndef __NetBSD__ 1754#ifndef __NetBSD__
1605#endif 1766#endif
1606 1767
1607 return flags; 1768 return flags;
1608} 1769}
1609 1770
1610unsigned int 1771unsigned int ecb_cold
1611ev_embeddable_backends (void) 1772ev_embeddable_backends (void)
1612{ 1773{
1613 int flags = EVBACKEND_EPOLL | EVBACKEND_KQUEUE | EVBACKEND_PORT; 1774 int flags = EVBACKEND_EPOLL | EVBACKEND_KQUEUE | EVBACKEND_PORT;
1614 1775
1615 /* epoll embeddability broken on all linux versions up to at least 2.6.23 */ 1776 /* epoll embeddability broken on all linux versions up to at least 2.6.23 */
1660ev_userdata (EV_P) 1821ev_userdata (EV_P)
1661{ 1822{
1662 return userdata; 1823 return userdata;
1663} 1824}
1664 1825
1826void
1665void ev_set_invoke_pending_cb (EV_P_ void (*invoke_pending_cb)(EV_P)) 1827ev_set_invoke_pending_cb (EV_P_ void (*invoke_pending_cb)(EV_P))
1666{ 1828{
1667 invoke_cb = invoke_pending_cb; 1829 invoke_cb = invoke_pending_cb;
1668} 1830}
1669 1831
1832void
1670void ev_set_loop_release_cb (EV_P_ void (*release)(EV_P), void (*acquire)(EV_P)) 1833ev_set_loop_release_cb (EV_P_ void (*release)(EV_P), void (*acquire)(EV_P))
1671{ 1834{
1672 release_cb = release; 1835 release_cb = release;
1673 acquire_cb = acquire; 1836 acquire_cb = acquire;
1674} 1837}
1675#endif 1838#endif
1676 1839
1677/* initialise a loop structure, must be zero-initialised */ 1840/* initialise a loop structure, must be zero-initialised */
1678static void noinline 1841static void noinline ecb_cold
1679loop_init (EV_P_ unsigned int flags) 1842loop_init (EV_P_ unsigned int flags)
1680{ 1843{
1681 if (!backend) 1844 if (!backend)
1682 { 1845 {
1683 origflags = flags; 1846 origflags = flags;
1711 if (!(flags & EVFLAG_NOENV) 1874 if (!(flags & EVFLAG_NOENV)
1712 && !enable_secure () 1875 && !enable_secure ()
1713 && getenv ("LIBEV_FLAGS")) 1876 && getenv ("LIBEV_FLAGS"))
1714 flags = atoi (getenv ("LIBEV_FLAGS")); 1877 flags = atoi (getenv ("LIBEV_FLAGS"));
1715 1878
1716 ev_rt_now = ev_time (); 1879 ev_rt_now = ev_time ();
1717 mn_now = get_clock (); 1880 mn_now = get_clock ();
1718 now_floor = mn_now; 1881 now_floor = mn_now;
1719 rtmn_diff = ev_rt_now - mn_now; 1882 rtmn_diff = ev_rt_now - mn_now;
1720#if EV_FEATURE_API 1883#if EV_FEATURE_API
1721 invoke_cb = ev_invoke_pending; 1884 invoke_cb = ev_invoke_pending;
1722#endif 1885#endif
1723 1886
1724 io_blocktime = 0.; 1887 io_blocktime = 0.;
1725 timeout_blocktime = 0.; 1888 timeout_blocktime = 0.;
1726 backend = 0; 1889 backend = 0;
1727 backend_fd = -1; 1890 backend_fd = -1;
1728 sig_pending = 0; 1891 sig_pending = 0;
1729#if EV_ASYNC_ENABLE 1892#if EV_ASYNC_ENABLE
1730 async_pending = 0; 1893 async_pending = 0;
1731#endif 1894#endif
1895 pipe_write_skipped = 0;
1896 pipe_write_wanted = 0;
1732#if EV_USE_INOTIFY 1897#if EV_USE_INOTIFY
1733 fs_fd = flags & EVFLAG_NOINOTIFY ? -1 : -2; 1898 fs_fd = flags & EVFLAG_NOINOTIFY ? -1 : -2;
1734#endif 1899#endif
1735#if EV_USE_SIGNALFD 1900#if EV_USE_SIGNALFD
1736 sigfd = flags & EVFLAG_SIGNALFD ? -2 : -1; 1901 sigfd = flags & EVFLAG_SIGNALFD ? -2 : -1;
1737#endif 1902#endif
1738 1903
1739 if (!(flags & EVBACKEND_MASK)) 1904 if (!(flags & EVBACKEND_MASK))
1740 flags |= ev_recommended_backends (); 1905 flags |= ev_recommended_backends ();
1741 1906
1766#endif 1931#endif
1767 } 1932 }
1768} 1933}
1769 1934
1770/* free up a loop structure */ 1935/* free up a loop structure */
1771void 1936void ecb_cold
1772ev_loop_destroy (EV_P) 1937ev_loop_destroy (EV_P)
1773{ 1938{
1774 int i; 1939 int i;
1775 1940
1776#if EV_MULTIPLICITY 1941#if EV_MULTIPLICITY
1906 infy_fork (EV_A); 2071 infy_fork (EV_A);
1907#endif 2072#endif
1908 2073
1909 if (ev_is_active (&pipe_w)) 2074 if (ev_is_active (&pipe_w))
1910 { 2075 {
1911 /* this "locks" the handlers against writing to the pipe */ 2076 /* pipe_write_wanted must be false now, so modifying fd vars should be safe */
1912 /* while we modify the fd vars */
1913 sig_pending = 1;
1914#if EV_ASYNC_ENABLE
1915 async_pending = 1;
1916#endif
1917 2077
1918 ev_ref (EV_A); 2078 ev_ref (EV_A);
1919 ev_io_stop (EV_A_ &pipe_w); 2079 ev_io_stop (EV_A_ &pipe_w);
1920 2080
1921#if EV_USE_EVENTFD 2081#if EV_USE_EVENTFD
1939 postfork = 0; 2099 postfork = 0;
1940} 2100}
1941 2101
1942#if EV_MULTIPLICITY 2102#if EV_MULTIPLICITY
1943 2103
1944struct ev_loop * 2104struct ev_loop * ecb_cold
1945ev_loop_new (unsigned int flags) 2105ev_loop_new (unsigned int flags)
1946{ 2106{
1947 EV_P = (struct ev_loop *)ev_malloc (sizeof (struct ev_loop)); 2107 EV_P = (struct ev_loop *)ev_malloc (sizeof (struct ev_loop));
1948 2108
1949 memset (EV_A, 0, sizeof (struct ev_loop)); 2109 memset (EV_A, 0, sizeof (struct ev_loop));
1957} 2117}
1958 2118
1959#endif /* multiplicity */ 2119#endif /* multiplicity */
1960 2120
1961#if EV_VERIFY 2121#if EV_VERIFY
1962static void noinline 2122static void noinline ecb_cold
1963verify_watcher (EV_P_ W w) 2123verify_watcher (EV_P_ W w)
1964{ 2124{
1965 assert (("libev: watcher has invalid priority", ABSPRI (w) >= 0 && ABSPRI (w) < NUMPRI)); 2125 assert (("libev: watcher has invalid priority", ABSPRI (w) >= 0 && ABSPRI (w) < NUMPRI));
1966 2126
1967 if (w->pending) 2127 if (w->pending)
1968 assert (("libev: pending watcher not on pending queue", pendings [ABSPRI (w)][w->pending - 1].w == w)); 2128 assert (("libev: pending watcher not on pending queue", pendings [ABSPRI (w)][w->pending - 1].w == w));
1969} 2129}
1970 2130
1971static void noinline 2131static void noinline ecb_cold
1972verify_heap (EV_P_ ANHE *heap, int N) 2132verify_heap (EV_P_ ANHE *heap, int N)
1973{ 2133{
1974 int i; 2134 int i;
1975 2135
1976 for (i = HEAP0; i < N + HEAP0; ++i) 2136 for (i = HEAP0; i < N + HEAP0; ++i)
1981 2141
1982 verify_watcher (EV_A_ (W)ANHE_w (heap [i])); 2142 verify_watcher (EV_A_ (W)ANHE_w (heap [i]));
1983 } 2143 }
1984} 2144}
1985 2145
1986static void noinline 2146static void noinline ecb_cold
1987array_verify (EV_P_ W *ws, int cnt) 2147array_verify (EV_P_ W *ws, int cnt)
1988{ 2148{
1989 while (cnt--) 2149 while (cnt--)
1990 { 2150 {
1991 assert (("libev: active index mismatch", ev_active (ws [cnt]) == cnt + 1)); 2151 assert (("libev: active index mismatch", ev_active (ws [cnt]) == cnt + 1));
1993 } 2153 }
1994} 2154}
1995#endif 2155#endif
1996 2156
1997#if EV_FEATURE_API 2157#if EV_FEATURE_API
1998void 2158void ecb_cold
1999ev_verify (EV_P) 2159ev_verify (EV_P)
2000{ 2160{
2001#if EV_VERIFY 2161#if EV_VERIFY
2002 int i; 2162 int i;
2003 WL w; 2163 WL w;
2069#endif 2229#endif
2070} 2230}
2071#endif 2231#endif
2072 2232
2073#if EV_MULTIPLICITY 2233#if EV_MULTIPLICITY
2074struct ev_loop * 2234struct ev_loop * ecb_cold
2075#else 2235#else
2076int 2236int
2077#endif 2237#endif
2078ev_default_loop (unsigned int flags) 2238ev_default_loop (unsigned int flags)
2079{ 2239{
2208 } 2368 }
2209} 2369}
2210 2370
2211#if EV_PERIODIC_ENABLE 2371#if EV_PERIODIC_ENABLE
2212 2372
2213inline_speed void 2373static void noinline
2214periodic_recalc (EV_P_ ev_periodic *w) 2374periodic_recalc (EV_P_ ev_periodic *w)
2215{ 2375{
2216 /* TODO: use slow but potentially more correct incremental algo, */ 2376 ev_tstamp interval = w->interval > MIN_INTERVAL ? w->interval : MIN_INTERVAL;
2217 /* also do not rely on ceil */ 2377 ev_tstamp at = w->offset + interval * ev_floor ((ev_rt_now - w->offset) / interval);
2218 ev_at (w) = w->offset + ceil ((ev_rt_now - w->offset) / w->interval) * w->interval; 2378
2379 /* the above almost always errs on the low side */
2380 while (at <= ev_rt_now)
2381 {
2382 ev_tstamp nat = at + w->interval;
2383
2384 /* when resolution fails us, we use ev_rt_now */
2385 if (expect_false (nat == at))
2386 {
2387 at = ev_rt_now;
2388 break;
2389 }
2390
2391 at = nat;
2392 }
2393
2394 ev_at (w) = at;
2219} 2395}
2220 2396
2221/* make periodics pending */ 2397/* make periodics pending */
2222inline_size void 2398inline_size void
2223periodics_reify (EV_P) 2399periodics_reify (EV_P)
2245 downheap (periodics, periodiccnt, HEAP0); 2421 downheap (periodics, periodiccnt, HEAP0);
2246 } 2422 }
2247 else if (w->interval) 2423 else if (w->interval)
2248 { 2424 {
2249 periodic_recalc (EV_A_ w); 2425 periodic_recalc (EV_A_ w);
2250
2251 /* if next trigger time is not sufficiently in the future, put it there */
2252 /* this might happen because of floating point inexactness */
2253 if (ev_at (w) - ev_rt_now < TIME_EPSILON)
2254 {
2255 ev_at (w) += w->interval;
2256
2257 /* if interval is unreasonably low we might still have a time in the past */
2258 /* so correct this. this will make the periodic very inexact, but the user */
2259 /* has effectively asked to get triggered more often than possible */
2260 if (ev_at (w) < ev_rt_now)
2261 ev_at (w) = ev_rt_now;
2262 }
2263
2264 ANHE_at_cache (periodics [HEAP0]); 2426 ANHE_at_cache (periodics [HEAP0]);
2265 downheap (periodics, periodiccnt, HEAP0); 2427 downheap (periodics, periodiccnt, HEAP0);
2266 } 2428 }
2267 else 2429 else
2268 ev_periodic_stop (EV_A_ w); /* nonrepeating: stop timer */ 2430 ev_periodic_stop (EV_A_ w); /* nonrepeating: stop timer */
2276 } 2438 }
2277} 2439}
2278 2440
2279/* simply recalculate all periodics */ 2441/* simply recalculate all periodics */
2280/* TODO: maybe ensure that at least one event happens when jumping forward? */ 2442/* TODO: maybe ensure that at least one event happens when jumping forward? */
2281static void noinline 2443static void noinline ecb_cold
2282periodics_reschedule (EV_P) 2444periodics_reschedule (EV_P)
2283{ 2445{
2284 int i; 2446 int i;
2285 2447
2286 /* adjust periodics after time jump */ 2448 /* adjust periodics after time jump */
2299 reheap (periodics, periodiccnt); 2461 reheap (periodics, periodiccnt);
2300} 2462}
2301#endif 2463#endif
2302 2464
2303/* adjust all timers by a given offset */ 2465/* adjust all timers by a given offset */
2304static void noinline 2466static void noinline ecb_cold
2305timers_reschedule (EV_P_ ev_tstamp adjust) 2467timers_reschedule (EV_P_ ev_tstamp adjust)
2306{ 2468{
2307 int i; 2469 int i;
2308 2470
2309 for (i = 0; i < timercnt; ++i) 2471 for (i = 0; i < timercnt; ++i)
2346 * doesn't hurt either as we only do this on time-jumps or 2508 * doesn't hurt either as we only do this on time-jumps or
2347 * in the unlikely event of having been preempted here. 2509 * in the unlikely event of having been preempted here.
2348 */ 2510 */
2349 for (i = 4; --i; ) 2511 for (i = 4; --i; )
2350 { 2512 {
2513 ev_tstamp diff;
2351 rtmn_diff = ev_rt_now - mn_now; 2514 rtmn_diff = ev_rt_now - mn_now;
2352 2515
2516 diff = odiff - rtmn_diff;
2517
2353 if (expect_true (fabs (odiff - rtmn_diff) < MIN_TIMEJUMP)) 2518 if (expect_true ((diff < 0. ? -diff : diff) < MIN_TIMEJUMP))
2354 return; /* all is well */ 2519 return; /* all is well */
2355 2520
2356 ev_rt_now = ev_time (); 2521 ev_rt_now = ev_time ();
2357 mn_now = get_clock (); 2522 mn_now = get_clock ();
2358 now_floor = mn_now; 2523 now_floor = mn_now;
2448 ev_tstamp prev_mn_now = mn_now; 2613 ev_tstamp prev_mn_now = mn_now;
2449 2614
2450 /* update time to cancel out callback processing overhead */ 2615 /* update time to cancel out callback processing overhead */
2451 time_update (EV_A_ 1e100); 2616 time_update (EV_A_ 1e100);
2452 2617
2618 /* from now on, we want a pipe-wake-up */
2619 pipe_write_wanted = 1;
2620
2621 ECB_MEMORY_FENCE;
2622
2453 if (expect_true (!(flags & EVRUN_NOWAIT || idleall || !activecnt))) 2623 if (expect_true (!(flags & EVRUN_NOWAIT || idleall || !activecnt || pipe_write_skipped)))
2454 { 2624 {
2455 waittime = MAX_BLOCKTIME; 2625 waittime = MAX_BLOCKTIME;
2456 2626
2457 if (timercnt) 2627 if (timercnt)
2458 { 2628 {
2459 ev_tstamp to = ANHE_at (timers [HEAP0]) - mn_now + backend_fudge; 2629 ev_tstamp to = ANHE_at (timers [HEAP0]) - mn_now;
2460 if (waittime > to) waittime = to; 2630 if (waittime > to) waittime = to;
2461 } 2631 }
2462 2632
2463#if EV_PERIODIC_ENABLE 2633#if EV_PERIODIC_ENABLE
2464 if (periodiccnt) 2634 if (periodiccnt)
2465 { 2635 {
2466 ev_tstamp to = ANHE_at (periodics [HEAP0]) - ev_rt_now + backend_fudge; 2636 ev_tstamp to = ANHE_at (periodics [HEAP0]) - ev_rt_now;
2467 if (waittime > to) waittime = to; 2637 if (waittime > to) waittime = to;
2468 } 2638 }
2469#endif 2639#endif
2470 2640
2471 /* don't let timeouts decrease the waittime below timeout_blocktime */ 2641 /* don't let timeouts decrease the waittime below timeout_blocktime */
2472 if (expect_false (waittime < timeout_blocktime)) 2642 if (expect_false (waittime < timeout_blocktime))
2473 waittime = timeout_blocktime; 2643 waittime = timeout_blocktime;
2644
2645 /* at this point, we NEED to wait, so we have to ensure */
2646 /* to pass a minimum nonzero value to the backend */
2647 if (expect_false (waittime < backend_mintime))
2648 waittime = backend_mintime;
2474 2649
2475 /* extra check because io_blocktime is commonly 0 */ 2650 /* extra check because io_blocktime is commonly 0 */
2476 if (expect_false (io_blocktime)) 2651 if (expect_false (io_blocktime))
2477 { 2652 {
2478 sleeptime = io_blocktime - (mn_now - prev_mn_now); 2653 sleeptime = io_blocktime - (mn_now - prev_mn_now);
2479 2654
2480 if (sleeptime > waittime - backend_fudge) 2655 if (sleeptime > waittime - backend_mintime)
2481 sleeptime = waittime - backend_fudge; 2656 sleeptime = waittime - backend_mintime;
2482 2657
2483 if (expect_true (sleeptime > 0.)) 2658 if (expect_true (sleeptime > 0.))
2484 { 2659 {
2485 ev_sleep (sleeptime); 2660 ev_sleep (sleeptime);
2486 waittime -= sleeptime; 2661 waittime -= sleeptime;
2492 ++loop_count; 2667 ++loop_count;
2493#endif 2668#endif
2494 assert ((loop_done = EVBREAK_RECURSE, 1)); /* assert for side effect */ 2669 assert ((loop_done = EVBREAK_RECURSE, 1)); /* assert for side effect */
2495 backend_poll (EV_A_ waittime); 2670 backend_poll (EV_A_ waittime);
2496 assert ((loop_done = EVBREAK_CANCEL, 1)); /* assert for side effect */ 2671 assert ((loop_done = EVBREAK_CANCEL, 1)); /* assert for side effect */
2672
2673 pipe_write_wanted = 0;
2674
2675 if (pipe_write_skipped)
2676 {
2677 assert (("libev: pipe_w not active, but pipe not written", ev_is_active (&pipe_w)));
2678 ev_feed_event (EV_A_ &pipe_w, EV_CUSTOM);
2679 }
2680
2497 2681
2498 /* update ev_rt_now, do magic */ 2682 /* update ev_rt_now, do magic */
2499 time_update (EV_A_ waittime + sleeptime); 2683 time_update (EV_A_ waittime + sleeptime);
2500 } 2684 }
2501 2685
3155 infy_wd (EV_A_ ev->wd, ev->wd, ev); 3339 infy_wd (EV_A_ ev->wd, ev->wd, ev);
3156 ofs += sizeof (struct inotify_event) + ev->len; 3340 ofs += sizeof (struct inotify_event) + ev->len;
3157 } 3341 }
3158} 3342}
3159 3343
3160inline_size void 3344inline_size void ecb_cold
3161ev_check_2625 (EV_P) 3345ev_check_2625 (EV_P)
3162{ 3346{
3163 /* kernels < 2.6.25 are borked 3347 /* kernels < 2.6.25 are borked
3164 * http://www.ussg.indiana.edu/hypermail/linux/kernel/0711.3/1208.html 3348 * http://www.ussg.indiana.edu/hypermail/linux/kernel/0711.3/1208.html
3165 */ 3349 */
3790} 3974}
3791 3975
3792/*****************************************************************************/ 3976/*****************************************************************************/
3793 3977
3794#if EV_WALK_ENABLE 3978#if EV_WALK_ENABLE
3795void 3979void ecb_cold
3796ev_walk (EV_P_ int types, void (*cb)(EV_P_ int type, void *w)) 3980ev_walk (EV_P_ int types, void (*cb)(EV_P_ int type, void *w))
3797{ 3981{
3798 int i, j; 3982 int i, j;
3799 ev_watcher_list *wl, *wn; 3983 ev_watcher_list *wl, *wn;
3800 3984

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines