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.386 by root, Wed Jul 20 01:04:20 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
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 defined(_WIN32) && defined(MemoryBarrier)
517 #define ECB_MEMORY_FENCE MemoryBarrier ()
518 #define ECB_MEMORY_FENCE_ACQUIRE ECB_MEMORY_FENCE
519 #define ECB_MEMORY_FENCE_RELEASE ECB_MEMORY_FENCE
520 #endif
521#endif
522
523#ifndef ECB_MEMORY_FENCE
524 #include <pthread.h>
525
526 static pthread_mutex_t ecb_mf_lock = PTHREAD_MUTEX_INITIALIZER;
527 #define ECB_MEMORY_FENCE do { pthread_mutex_lock (&ecb_mf_lock); pthread_mutex_unlock (&ecb_mf_lock); } while (0)
528 #define ECB_MEMORY_FENCE_ACQUIRE ECB_MEMORY_FENCE
529 #define ECB_MEMORY_FENCE_RELEASE ECB_MEMORY_FENCE
530#endif
531
532#if ECB_GCC_VERSION(3,1)
533 #define ecb_attribute(attrlist) __attribute__(attrlist)
534 #define ecb_is_constant(expr) __builtin_constant_p (expr)
535 #define ecb_expect(expr,value) __builtin_expect ((expr),(value))
536 #define ecb_prefetch(addr,rw,locality) __builtin_prefetch (addr, rw, locality)
537#else
538 #define ecb_attribute(attrlist)
539 #define ecb_is_constant(expr) 0
540 #define ecb_expect(expr,value) (expr)
541 #define ecb_prefetch(addr,rw,locality)
542#endif
543
544#define ecb_noinline ecb_attribute ((__noinline__))
545#define ecb_noreturn ecb_attribute ((__noreturn__))
546#define ecb_unused ecb_attribute ((__unused__))
547#define ecb_const ecb_attribute ((__const__))
548#define ecb_pure ecb_attribute ((__pure__))
549
550#if ECB_GCC_VERSION(4,3)
551 #define ecb_artificial ecb_attribute ((__artificial__))
552 #define ecb_hot ecb_attribute ((__hot__))
553 #define ecb_cold ecb_attribute ((__cold__))
554#else
555 #define ecb_artificial
556 #define ecb_hot
557 #define ecb_cold
558#endif
559
560/* put around conditional expressions if you are very sure that the */
561/* expression is mostly true or mostly false. note that these return */
562/* booleans, not the expression. */
474#define expect_false(expr) expect ((expr) != 0, 0) 563#define ecb_expect_false(expr) ecb_expect (!!(expr), 0)
475#define expect_true(expr) expect ((expr) != 0, 1) 564#define ecb_expect_true(expr) ecb_expect (!!(expr), 1)
565/* ecb.h end */
566
567#define expect_false(cond) ecb_expect_false (cond)
568#define expect_true(cond) ecb_expect_true (cond)
569#define noinline ecb_noinline
570
476#define inline_size static inline 571#define inline_size ecb_inline
477 572
478#if EV_FEATURE_CODE 573#if EV_FEATURE_CODE
479# define inline_speed static inline 574# define inline_speed ecb_inline
480#else 575#else
481# define inline_speed static noinline 576# define inline_speed static noinline
482#endif 577#endif
483 578
484#define NUMPRI (EV_MAXPRI - EV_MINPRI + 1) 579#define NUMPRI (EV_MAXPRI - EV_MINPRI + 1)
523# include "ev_win32.c" 618# include "ev_win32.c"
524#endif 619#endif
525 620
526/*****************************************************************************/ 621/*****************************************************************************/
527 622
623/* define a suitable floor function (only used by periodics atm) */
624
625#if EV_USE_FLOOR
626# include <math.h>
627# define ev_floor(v) floor (v)
628#else
629
630#include <float.h>
631
632/* a floor() replacement function, should be independent of ev_tstamp type */
633static ev_tstamp noinline
634ev_floor (ev_tstamp v)
635{
636 /* the choice of shift factor is not terribly important */
637#if FLT_RADIX != 2 /* assume FLT_RADIX == 10 */
638 const ev_tstamp shift = sizeof (unsigned long) >= 8 ? 10000000000000000000. : 1000000000.;
639#else
640 const ev_tstamp shift = sizeof (unsigned long) >= 8 ? 18446744073709551616. : 4294967296.;
641#endif
642
643 /* argument too large for an unsigned long? */
644 if (expect_false (v >= shift))
645 {
646 ev_tstamp f;
647
648 if (v == v - 1.)
649 return v; /* very large number */
650
651 f = shift * ev_floor (v * (1. / shift));
652 return f + ev_floor (v - f);
653 }
654
655 /* special treatment for negative args? */
656 if (expect_false (v < 0.))
657 {
658 ev_tstamp f = -ev_floor (-v);
659
660 return f - (f == v ? 0 : 1);
661 }
662
663 /* fits into an unsigned long */
664 return (unsigned long)v;
665}
666
667#endif
668
669/*****************************************************************************/
670
528#ifdef __linux 671#ifdef __linux
529# include <sys/utsname.h> 672# include <sys/utsname.h>
530#endif 673#endif
531 674
532static unsigned int noinline 675static unsigned int noinline ecb_cold
533ev_linux_version (void) 676ev_linux_version (void)
534{ 677{
535#ifdef __linux 678#ifdef __linux
536 unsigned int v = 0; 679 unsigned int v = 0;
537 struct utsname buf; 680 struct utsname buf;
566} 709}
567 710
568/*****************************************************************************/ 711/*****************************************************************************/
569 712
570#if EV_AVOID_STDIO 713#if EV_AVOID_STDIO
571static void noinline 714static void noinline ecb_cold
572ev_printerr (const char *msg) 715ev_printerr (const char *msg)
573{ 716{
574 write (STDERR_FILENO, msg, strlen (msg)); 717 write (STDERR_FILENO, msg, strlen (msg));
575} 718}
576#endif 719#endif
577 720
578static void (*syserr_cb)(const char *msg); 721static void (*syserr_cb)(const char *msg);
579 722
580void 723void ecb_cold
581ev_set_syserr_cb (void (*cb)(const char *msg)) 724ev_set_syserr_cb (void (*cb)(const char *msg))
582{ 725{
583 syserr_cb = cb; 726 syserr_cb = cb;
584} 727}
585 728
586static void noinline 729static void noinline ecb_cold
587ev_syserr (const char *msg) 730ev_syserr (const char *msg)
588{ 731{
589 if (!msg) 732 if (!msg)
590 msg = "(libev) system error"; 733 msg = "(libev) system error";
591 734
624#endif 767#endif
625} 768}
626 769
627static void *(*alloc)(void *ptr, long size) = ev_realloc_emul; 770static void *(*alloc)(void *ptr, long size) = ev_realloc_emul;
628 771
629void 772void ecb_cold
630ev_set_allocator (void *(*cb)(void *ptr, long size)) 773ev_set_allocator (void *(*cb)(void *ptr, long size))
631{ 774{
632 alloc = cb; 775 alloc = cb;
633} 776}
634 777
816 select (0, 0, 0, 0, &tv); 959 select (0, 0, 0, 0, &tv);
817#endif 960#endif
818 } 961 }
819} 962}
820 963
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/*****************************************************************************/ 964/*****************************************************************************/
830 965
831#define MALLOC_ROUND 4096 /* prefer to allocate in chunks of this size, must be 2**n and >> 4 longs */ 966#define MALLOC_ROUND 4096 /* prefer to allocate in chunks of this size, must be 2**n and >> 4 longs */
832 967
833/* find a suitable new size for the given array, */ 968/* find a suitable new size for the given array, */
851 } 986 }
852 987
853 return ncur; 988 return ncur;
854} 989}
855 990
856static noinline void * 991static void * noinline ecb_cold
857array_realloc (int elem, void *base, int *cur, int cnt) 992array_realloc (int elem, void *base, int *cur, int cnt)
858{ 993{
859 *cur = array_nextsize (elem, *cur, cnt); 994 *cur = array_nextsize (elem, *cur, cnt);
860 return ev_realloc (base, elem * *cur); 995 return ev_realloc (base, elem * *cur);
861} 996}
864 memset ((void *)(base), 0, sizeof (*(base)) * (count)) 999 memset ((void *)(base), 0, sizeof (*(base)) * (count))
865 1000
866#define array_needsize(type,base,cur,cnt,init) \ 1001#define array_needsize(type,base,cur,cnt,init) \
867 if (expect_false ((cnt) > (cur))) \ 1002 if (expect_false ((cnt) > (cur))) \
868 { \ 1003 { \
869 int ocur_ = (cur); \ 1004 int ecb_unused ocur_ = (cur); \
870 (base) = (type *)array_realloc \ 1005 (base) = (type *)array_realloc \
871 (sizeof (type), (base), &(cur), (cnt)); \ 1006 (sizeof (type), (base), &(cur), (cnt)); \
872 init ((base) + (ocur_), (cur) - ocur_); \ 1007 init ((base) + (ocur_), (cur) - ocur_); \
873 } 1008 }
874 1009
980 for (i = 0; i < fdchangecnt; ++i) 1115 for (i = 0; i < fdchangecnt; ++i)
981 { 1116 {
982 int fd = fdchanges [i]; 1117 int fd = fdchanges [i];
983 ANFD *anfd = anfds + fd; 1118 ANFD *anfd = anfds + fd;
984 1119
985 if (anfd->reify & EV__IOFDSET) 1120 if (anfd->reify & EV__IOFDSET && anfd->head)
986 { 1121 {
987 SOCKET handle = EV_FD_TO_WIN32_HANDLE (fd); 1122 SOCKET handle = EV_FD_TO_WIN32_HANDLE (fd);
988 1123
989 if (handle != anfd->handle) 1124 if (handle != anfd->handle)
990 { 1125 {
1044 fdchanges [fdchangecnt - 1] = fd; 1179 fdchanges [fdchangecnt - 1] = fd;
1045 } 1180 }
1046} 1181}
1047 1182
1048/* the given fd is invalid/unusable, so make sure it doesn't hurt us anymore */ 1183/* the given fd is invalid/unusable, so make sure it doesn't hurt us anymore */
1049inline_speed void 1184inline_speed void ecb_cold
1050fd_kill (EV_P_ int fd) 1185fd_kill (EV_P_ int fd)
1051{ 1186{
1052 ev_io *w; 1187 ev_io *w;
1053 1188
1054 while ((w = (ev_io *)anfds [fd].head)) 1189 while ((w = (ev_io *)anfds [fd].head))
1057 ev_feed_event (EV_A_ (W)w, EV_ERROR | EV_READ | EV_WRITE); 1192 ev_feed_event (EV_A_ (W)w, EV_ERROR | EV_READ | EV_WRITE);
1058 } 1193 }
1059} 1194}
1060 1195
1061/* check whether the given fd is actually valid, for error recovery */ 1196/* check whether the given fd is actually valid, for error recovery */
1062inline_size int 1197inline_size int ecb_cold
1063fd_valid (int fd) 1198fd_valid (int fd)
1064{ 1199{
1065#ifdef _WIN32 1200#ifdef _WIN32
1066 return EV_FD_TO_WIN32_HANDLE (fd) != -1; 1201 return EV_FD_TO_WIN32_HANDLE (fd) != -1;
1067#else 1202#else
1068 return fcntl (fd, F_GETFD) != -1; 1203 return fcntl (fd, F_GETFD) != -1;
1069#endif 1204#endif
1070} 1205}
1071 1206
1072/* called on EBADF to verify fds */ 1207/* called on EBADF to verify fds */
1073static void noinline 1208static void noinline ecb_cold
1074fd_ebadf (EV_P) 1209fd_ebadf (EV_P)
1075{ 1210{
1076 int fd; 1211 int fd;
1077 1212
1078 for (fd = 0; fd < anfdmax; ++fd) 1213 for (fd = 0; fd < anfdmax; ++fd)
1080 if (!fd_valid (fd) && errno == EBADF) 1215 if (!fd_valid (fd) && errno == EBADF)
1081 fd_kill (EV_A_ fd); 1216 fd_kill (EV_A_ fd);
1082} 1217}
1083 1218
1084/* called on ENOMEM in select/poll to kill some fds and retry */ 1219/* called on ENOMEM in select/poll to kill some fds and retry */
1085static void noinline 1220static void noinline ecb_cold
1086fd_enomem (EV_P) 1221fd_enomem (EV_P)
1087{ 1222{
1088 int fd; 1223 int fd;
1089 1224
1090 for (fd = anfdmax; fd--; ) 1225 for (fd = anfdmax; fd--; )
1285 1420
1286/*****************************************************************************/ 1421/*****************************************************************************/
1287 1422
1288#if EV_SIGNAL_ENABLE || EV_ASYNC_ENABLE 1423#if EV_SIGNAL_ENABLE || EV_ASYNC_ENABLE
1289 1424
1290static void noinline 1425static void noinline ecb_cold
1291evpipe_init (EV_P) 1426evpipe_init (EV_P)
1292{ 1427{
1293 if (!ev_is_active (&pipe_w)) 1428 if (!ev_is_active (&pipe_w))
1294 { 1429 {
1295# if EV_USE_EVENTFD 1430# if EV_USE_EVENTFD
1317 ev_io_start (EV_A_ &pipe_w); 1452 ev_io_start (EV_A_ &pipe_w);
1318 ev_unref (EV_A); /* watcher should not keep loop alive */ 1453 ev_unref (EV_A); /* watcher should not keep loop alive */
1319 } 1454 }
1320} 1455}
1321 1456
1322inline_size void 1457inline_speed void
1323evpipe_write (EV_P_ EV_ATOMIC_T *flag) 1458evpipe_write (EV_P_ EV_ATOMIC_T *flag)
1324{ 1459{
1325 if (!*flag) 1460 if (expect_true (*flag))
1461 /*return*//*D*/;
1462
1463 *flag = 1;
1464
1465 ECB_MEMORY_FENCE_RELEASE; /* make sure flag is visible before the wakeup */
1466
1467 pipe_write_skipped = 1;
1468
1469 ECB_MEMORY_FENCE; /* make sure pipe_write_skipped is visible before we check pipe_write_wanted */
1470
1471 if (pipe_write_wanted)
1326 { 1472 {
1473 int old_errno;
1474
1475 pipe_write_skipped = 0; /* just an optimsiation, no fence needed */
1476
1327 int old_errno = errno; /* save errno because write might clobber it */ 1477 old_errno = errno; /* save errno because write will clobber it */
1328 char dummy;
1329
1330 *flag = 1;
1331 1478
1332#if EV_USE_EVENTFD 1479#if EV_USE_EVENTFD
1333 if (evfd >= 0) 1480 if (evfd >= 0)
1334 { 1481 {
1335 uint64_t counter = 1; 1482 uint64_t counter = 1;
1336 write (evfd, &counter, sizeof (uint64_t)); 1483 write (evfd, &counter, sizeof (uint64_t));
1337 } 1484 }
1338 else 1485 else
1339#endif 1486#endif
1487 {
1340 /* win32 people keep sending patches that change this write() to send() */ 1488 /* 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 */ 1489 /* 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 */ 1490 /* 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 */ 1491 /* where your send() is from - it's definitely not the microsoft send, and */
1344 /* tell me. thank you. */ 1492 /* tell me. thank you. */
1345 write (evpipe [1], &dummy, 1); 1493 write (evpipe [1], &(evpipe [1]), 1);
1494 }
1346 1495
1347 errno = old_errno; 1496 errno = old_errno;
1348 } 1497 }
1349} 1498}
1350 1499
1353static void 1502static void
1354pipecb (EV_P_ ev_io *iow, int revents) 1503pipecb (EV_P_ ev_io *iow, int revents)
1355{ 1504{
1356 int i; 1505 int i;
1357 1506
1507 if (revents & EV_READ)
1508 {
1358#if EV_USE_EVENTFD 1509#if EV_USE_EVENTFD
1359 if (evfd >= 0) 1510 if (evfd >= 0)
1360 { 1511 {
1361 uint64_t counter; 1512 uint64_t counter;
1362 read (evfd, &counter, sizeof (uint64_t)); 1513 read (evfd, &counter, sizeof (uint64_t));
1363 } 1514 }
1364 else 1515 else
1365#endif 1516#endif
1366 { 1517 {
1367 char dummy; 1518 char dummy;
1368 /* see discussion in evpipe_write when you think this read should be recv in win32 */ 1519 /* see discussion in evpipe_write when you think this read should be recv in win32 */
1369 read (evpipe [0], &dummy, 1); 1520 read (evpipe [0], &dummy, 1);
1521 }
1370 } 1522 }
1523
1524 pipe_write_skipped = 0;
1371 1525
1372#if EV_SIGNAL_ENABLE 1526#if EV_SIGNAL_ENABLE
1373 if (sig_pending) 1527 if (sig_pending)
1374 { 1528 {
1375 sig_pending = 0; 1529 sig_pending = 0;
1404 EV_P = signals [signum - 1].loop; 1558 EV_P = signals [signum - 1].loop;
1405 1559
1406 if (!EV_A) 1560 if (!EV_A)
1407 return; 1561 return;
1408#endif 1562#endif
1563
1564 if (!ev_active (&pipe_w))
1565 return;
1409 1566
1410 signals [signum - 1].pending = 1; 1567 signals [signum - 1].pending = 1;
1411 evpipe_write (EV_A_ &sig_pending); 1568 evpipe_write (EV_A_ &sig_pending);
1412} 1569}
1413 1570
1545#endif 1702#endif
1546#if EV_USE_SELECT 1703#if EV_USE_SELECT
1547# include "ev_select.c" 1704# include "ev_select.c"
1548#endif 1705#endif
1549 1706
1550int 1707int ecb_cold
1551ev_version_major (void) 1708ev_version_major (void)
1552{ 1709{
1553 return EV_VERSION_MAJOR; 1710 return EV_VERSION_MAJOR;
1554} 1711}
1555 1712
1556int 1713int ecb_cold
1557ev_version_minor (void) 1714ev_version_minor (void)
1558{ 1715{
1559 return EV_VERSION_MINOR; 1716 return EV_VERSION_MINOR;
1560} 1717}
1561 1718
1562/* return true if we are running with elevated privileges and should ignore env variables */ 1719/* return true if we are running with elevated privileges and should ignore env variables */
1563int inline_size 1720int inline_size ecb_cold
1564enable_secure (void) 1721enable_secure (void)
1565{ 1722{
1566#ifdef _WIN32 1723#ifdef _WIN32
1567 return 0; 1724 return 0;
1568#else 1725#else
1569 return getuid () != geteuid () 1726 return getuid () != geteuid ()
1570 || getgid () != getegid (); 1727 || getgid () != getegid ();
1571#endif 1728#endif
1572} 1729}
1573 1730
1574unsigned int 1731unsigned int ecb_cold
1575ev_supported_backends (void) 1732ev_supported_backends (void)
1576{ 1733{
1577 unsigned int flags = 0; 1734 unsigned int flags = 0;
1578 1735
1579 if (EV_USE_PORT ) flags |= EVBACKEND_PORT; 1736 if (EV_USE_PORT ) flags |= EVBACKEND_PORT;
1583 if (EV_USE_SELECT) flags |= EVBACKEND_SELECT; 1740 if (EV_USE_SELECT) flags |= EVBACKEND_SELECT;
1584 1741
1585 return flags; 1742 return flags;
1586} 1743}
1587 1744
1588unsigned int 1745unsigned int ecb_cold
1589ev_recommended_backends (void) 1746ev_recommended_backends (void)
1590{ 1747{
1591 unsigned int flags = ev_supported_backends (); 1748 unsigned int flags = ev_supported_backends ();
1592 1749
1593#ifndef __NetBSD__ 1750#ifndef __NetBSD__
1605#endif 1762#endif
1606 1763
1607 return flags; 1764 return flags;
1608} 1765}
1609 1766
1610unsigned int 1767unsigned int ecb_cold
1611ev_embeddable_backends (void) 1768ev_embeddable_backends (void)
1612{ 1769{
1613 int flags = EVBACKEND_EPOLL | EVBACKEND_KQUEUE | EVBACKEND_PORT; 1770 int flags = EVBACKEND_EPOLL | EVBACKEND_KQUEUE | EVBACKEND_PORT;
1614 1771
1615 /* epoll embeddability broken on all linux versions up to at least 2.6.23 */ 1772 /* epoll embeddability broken on all linux versions up to at least 2.6.23 */
1660ev_userdata (EV_P) 1817ev_userdata (EV_P)
1661{ 1818{
1662 return userdata; 1819 return userdata;
1663} 1820}
1664 1821
1822void
1665void ev_set_invoke_pending_cb (EV_P_ void (*invoke_pending_cb)(EV_P)) 1823ev_set_invoke_pending_cb (EV_P_ void (*invoke_pending_cb)(EV_P))
1666{ 1824{
1667 invoke_cb = invoke_pending_cb; 1825 invoke_cb = invoke_pending_cb;
1668} 1826}
1669 1827
1828void
1670void ev_set_loop_release_cb (EV_P_ void (*release)(EV_P), void (*acquire)(EV_P)) 1829ev_set_loop_release_cb (EV_P_ void (*release)(EV_P), void (*acquire)(EV_P))
1671{ 1830{
1672 release_cb = release; 1831 release_cb = release;
1673 acquire_cb = acquire; 1832 acquire_cb = acquire;
1674} 1833}
1675#endif 1834#endif
1676 1835
1677/* initialise a loop structure, must be zero-initialised */ 1836/* initialise a loop structure, must be zero-initialised */
1678static void noinline 1837static void noinline ecb_cold
1679loop_init (EV_P_ unsigned int flags) 1838loop_init (EV_P_ unsigned int flags)
1680{ 1839{
1681 if (!backend) 1840 if (!backend)
1682 { 1841 {
1683 origflags = flags; 1842 origflags = flags;
1711 if (!(flags & EVFLAG_NOENV) 1870 if (!(flags & EVFLAG_NOENV)
1712 && !enable_secure () 1871 && !enable_secure ()
1713 && getenv ("LIBEV_FLAGS")) 1872 && getenv ("LIBEV_FLAGS"))
1714 flags = atoi (getenv ("LIBEV_FLAGS")); 1873 flags = atoi (getenv ("LIBEV_FLAGS"));
1715 1874
1716 ev_rt_now = ev_time (); 1875 ev_rt_now = ev_time ();
1717 mn_now = get_clock (); 1876 mn_now = get_clock ();
1718 now_floor = mn_now; 1877 now_floor = mn_now;
1719 rtmn_diff = ev_rt_now - mn_now; 1878 rtmn_diff = ev_rt_now - mn_now;
1720#if EV_FEATURE_API 1879#if EV_FEATURE_API
1721 invoke_cb = ev_invoke_pending; 1880 invoke_cb = ev_invoke_pending;
1722#endif 1881#endif
1723 1882
1724 io_blocktime = 0.; 1883 io_blocktime = 0.;
1725 timeout_blocktime = 0.; 1884 timeout_blocktime = 0.;
1726 backend = 0; 1885 backend = 0;
1727 backend_fd = -1; 1886 backend_fd = -1;
1728 sig_pending = 0; 1887 sig_pending = 0;
1729#if EV_ASYNC_ENABLE 1888#if EV_ASYNC_ENABLE
1730 async_pending = 0; 1889 async_pending = 0;
1731#endif 1890#endif
1891 pipe_write_skipped = 0;
1892 pipe_write_wanted = 0;
1732#if EV_USE_INOTIFY 1893#if EV_USE_INOTIFY
1733 fs_fd = flags & EVFLAG_NOINOTIFY ? -1 : -2; 1894 fs_fd = flags & EVFLAG_NOINOTIFY ? -1 : -2;
1734#endif 1895#endif
1735#if EV_USE_SIGNALFD 1896#if EV_USE_SIGNALFD
1736 sigfd = flags & EVFLAG_SIGNALFD ? -2 : -1; 1897 sigfd = flags & EVFLAG_SIGNALFD ? -2 : -1;
1737#endif 1898#endif
1738 1899
1739 if (!(flags & EVBACKEND_MASK)) 1900 if (!(flags & EVBACKEND_MASK))
1740 flags |= ev_recommended_backends (); 1901 flags |= ev_recommended_backends ();
1741 1902
1766#endif 1927#endif
1767 } 1928 }
1768} 1929}
1769 1930
1770/* free up a loop structure */ 1931/* free up a loop structure */
1771void 1932void ecb_cold
1772ev_loop_destroy (EV_P) 1933ev_loop_destroy (EV_P)
1773{ 1934{
1774 int i; 1935 int i;
1775 1936
1776#if EV_MULTIPLICITY 1937#if EV_MULTIPLICITY
1906 infy_fork (EV_A); 2067 infy_fork (EV_A);
1907#endif 2068#endif
1908 2069
1909 if (ev_is_active (&pipe_w)) 2070 if (ev_is_active (&pipe_w))
1910 { 2071 {
1911 /* this "locks" the handlers against writing to the pipe */ 2072 /* 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 2073
1918 ev_ref (EV_A); 2074 ev_ref (EV_A);
1919 ev_io_stop (EV_A_ &pipe_w); 2075 ev_io_stop (EV_A_ &pipe_w);
1920 2076
1921#if EV_USE_EVENTFD 2077#if EV_USE_EVENTFD
1939 postfork = 0; 2095 postfork = 0;
1940} 2096}
1941 2097
1942#if EV_MULTIPLICITY 2098#if EV_MULTIPLICITY
1943 2099
1944struct ev_loop * 2100struct ev_loop * ecb_cold
1945ev_loop_new (unsigned int flags) 2101ev_loop_new (unsigned int flags)
1946{ 2102{
1947 EV_P = (struct ev_loop *)ev_malloc (sizeof (struct ev_loop)); 2103 EV_P = (struct ev_loop *)ev_malloc (sizeof (struct ev_loop));
1948 2104
1949 memset (EV_A, 0, sizeof (struct ev_loop)); 2105 memset (EV_A, 0, sizeof (struct ev_loop));
1957} 2113}
1958 2114
1959#endif /* multiplicity */ 2115#endif /* multiplicity */
1960 2116
1961#if EV_VERIFY 2117#if EV_VERIFY
1962static void noinline 2118static void noinline ecb_cold
1963verify_watcher (EV_P_ W w) 2119verify_watcher (EV_P_ W w)
1964{ 2120{
1965 assert (("libev: watcher has invalid priority", ABSPRI (w) >= 0 && ABSPRI (w) < NUMPRI)); 2121 assert (("libev: watcher has invalid priority", ABSPRI (w) >= 0 && ABSPRI (w) < NUMPRI));
1966 2122
1967 if (w->pending) 2123 if (w->pending)
1968 assert (("libev: pending watcher not on pending queue", pendings [ABSPRI (w)][w->pending - 1].w == w)); 2124 assert (("libev: pending watcher not on pending queue", pendings [ABSPRI (w)][w->pending - 1].w == w));
1969} 2125}
1970 2126
1971static void noinline 2127static void noinline ecb_cold
1972verify_heap (EV_P_ ANHE *heap, int N) 2128verify_heap (EV_P_ ANHE *heap, int N)
1973{ 2129{
1974 int i; 2130 int i;
1975 2131
1976 for (i = HEAP0; i < N + HEAP0; ++i) 2132 for (i = HEAP0; i < N + HEAP0; ++i)
1981 2137
1982 verify_watcher (EV_A_ (W)ANHE_w (heap [i])); 2138 verify_watcher (EV_A_ (W)ANHE_w (heap [i]));
1983 } 2139 }
1984} 2140}
1985 2141
1986static void noinline 2142static void noinline ecb_cold
1987array_verify (EV_P_ W *ws, int cnt) 2143array_verify (EV_P_ W *ws, int cnt)
1988{ 2144{
1989 while (cnt--) 2145 while (cnt--)
1990 { 2146 {
1991 assert (("libev: active index mismatch", ev_active (ws [cnt]) == cnt + 1)); 2147 assert (("libev: active index mismatch", ev_active (ws [cnt]) == cnt + 1));
1993 } 2149 }
1994} 2150}
1995#endif 2151#endif
1996 2152
1997#if EV_FEATURE_API 2153#if EV_FEATURE_API
1998void 2154void ecb_cold
1999ev_verify (EV_P) 2155ev_verify (EV_P)
2000{ 2156{
2001#if EV_VERIFY 2157#if EV_VERIFY
2002 int i; 2158 int i;
2003 WL w; 2159 WL w;
2069#endif 2225#endif
2070} 2226}
2071#endif 2227#endif
2072 2228
2073#if EV_MULTIPLICITY 2229#if EV_MULTIPLICITY
2074struct ev_loop * 2230struct ev_loop * ecb_cold
2075#else 2231#else
2076int 2232int
2077#endif 2233#endif
2078ev_default_loop (unsigned int flags) 2234ev_default_loop (unsigned int flags)
2079{ 2235{
2208 } 2364 }
2209} 2365}
2210 2366
2211#if EV_PERIODIC_ENABLE 2367#if EV_PERIODIC_ENABLE
2212 2368
2213inline_speed void 2369static void noinline
2214periodic_recalc (EV_P_ ev_periodic *w) 2370periodic_recalc (EV_P_ ev_periodic *w)
2215{ 2371{
2216 /* TODO: use slow but potentially more correct incremental algo, */ 2372 ev_tstamp interval = w->interval > MIN_INTERVAL ? w->interval : MIN_INTERVAL;
2217 /* also do not rely on ceil */ 2373 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; 2374
2375 /* the above almost always errs on the low side */
2376 while (at <= ev_rt_now)
2377 {
2378 ev_tstamp nat = at + w->interval;
2379
2380 /* when resolution fails us, we use ev_rt_now */
2381 if (expect_false (nat == at))
2382 {
2383 at = ev_rt_now;
2384 break;
2385 }
2386
2387 at = nat;
2388 }
2389
2390 ev_at (w) = at;
2219} 2391}
2220 2392
2221/* make periodics pending */ 2393/* make periodics pending */
2222inline_size void 2394inline_size void
2223periodics_reify (EV_P) 2395periodics_reify (EV_P)
2245 downheap (periodics, periodiccnt, HEAP0); 2417 downheap (periodics, periodiccnt, HEAP0);
2246 } 2418 }
2247 else if (w->interval) 2419 else if (w->interval)
2248 { 2420 {
2249 periodic_recalc (EV_A_ w); 2421 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]); 2422 ANHE_at_cache (periodics [HEAP0]);
2265 downheap (periodics, periodiccnt, HEAP0); 2423 downheap (periodics, periodiccnt, HEAP0);
2266 } 2424 }
2267 else 2425 else
2268 ev_periodic_stop (EV_A_ w); /* nonrepeating: stop timer */ 2426 ev_periodic_stop (EV_A_ w); /* nonrepeating: stop timer */
2276 } 2434 }
2277} 2435}
2278 2436
2279/* simply recalculate all periodics */ 2437/* simply recalculate all periodics */
2280/* TODO: maybe ensure that at least one event happens when jumping forward? */ 2438/* TODO: maybe ensure that at least one event happens when jumping forward? */
2281static void noinline 2439static void noinline ecb_cold
2282periodics_reschedule (EV_P) 2440periodics_reschedule (EV_P)
2283{ 2441{
2284 int i; 2442 int i;
2285 2443
2286 /* adjust periodics after time jump */ 2444 /* adjust periodics after time jump */
2299 reheap (periodics, periodiccnt); 2457 reheap (periodics, periodiccnt);
2300} 2458}
2301#endif 2459#endif
2302 2460
2303/* adjust all timers by a given offset */ 2461/* adjust all timers by a given offset */
2304static void noinline 2462static void noinline ecb_cold
2305timers_reschedule (EV_P_ ev_tstamp adjust) 2463timers_reschedule (EV_P_ ev_tstamp adjust)
2306{ 2464{
2307 int i; 2465 int i;
2308 2466
2309 for (i = 0; i < timercnt; ++i) 2467 for (i = 0; i < timercnt; ++i)
2346 * doesn't hurt either as we only do this on time-jumps or 2504 * doesn't hurt either as we only do this on time-jumps or
2347 * in the unlikely event of having been preempted here. 2505 * in the unlikely event of having been preempted here.
2348 */ 2506 */
2349 for (i = 4; --i; ) 2507 for (i = 4; --i; )
2350 { 2508 {
2509 ev_tstamp diff;
2351 rtmn_diff = ev_rt_now - mn_now; 2510 rtmn_diff = ev_rt_now - mn_now;
2352 2511
2512 diff = odiff - rtmn_diff;
2513
2353 if (expect_true (fabs (odiff - rtmn_diff) < MIN_TIMEJUMP)) 2514 if (expect_true ((diff < 0. ? -diff : diff) < MIN_TIMEJUMP))
2354 return; /* all is well */ 2515 return; /* all is well */
2355 2516
2356 ev_rt_now = ev_time (); 2517 ev_rt_now = ev_time ();
2357 mn_now = get_clock (); 2518 mn_now = get_clock ();
2358 now_floor = mn_now; 2519 now_floor = mn_now;
2448 ev_tstamp prev_mn_now = mn_now; 2609 ev_tstamp prev_mn_now = mn_now;
2449 2610
2450 /* update time to cancel out callback processing overhead */ 2611 /* update time to cancel out callback processing overhead */
2451 time_update (EV_A_ 1e100); 2612 time_update (EV_A_ 1e100);
2452 2613
2614 /* from now on, we want a pipe-wake-up */
2615 pipe_write_wanted = 1;
2616
2617 ECB_MEMORY_FENCE; /* amke sure pipe_write_wanted is visible before we check for potential skips */
2618
2453 if (expect_true (!(flags & EVRUN_NOWAIT || idleall || !activecnt))) 2619 if (expect_true (!(flags & EVRUN_NOWAIT || idleall || !activecnt || pipe_write_skipped)))
2454 { 2620 {
2455 waittime = MAX_BLOCKTIME; 2621 waittime = MAX_BLOCKTIME;
2456 2622
2457 if (timercnt) 2623 if (timercnt)
2458 { 2624 {
2459 ev_tstamp to = ANHE_at (timers [HEAP0]) - mn_now + backend_fudge; 2625 ev_tstamp to = ANHE_at (timers [HEAP0]) - mn_now;
2460 if (waittime > to) waittime = to; 2626 if (waittime > to) waittime = to;
2461 } 2627 }
2462 2628
2463#if EV_PERIODIC_ENABLE 2629#if EV_PERIODIC_ENABLE
2464 if (periodiccnt) 2630 if (periodiccnt)
2465 { 2631 {
2466 ev_tstamp to = ANHE_at (periodics [HEAP0]) - ev_rt_now + backend_fudge; 2632 ev_tstamp to = ANHE_at (periodics [HEAP0]) - ev_rt_now;
2467 if (waittime > to) waittime = to; 2633 if (waittime > to) waittime = to;
2468 } 2634 }
2469#endif 2635#endif
2470 2636
2471 /* don't let timeouts decrease the waittime below timeout_blocktime */ 2637 /* don't let timeouts decrease the waittime below timeout_blocktime */
2472 if (expect_false (waittime < timeout_blocktime)) 2638 if (expect_false (waittime < timeout_blocktime))
2473 waittime = timeout_blocktime; 2639 waittime = timeout_blocktime;
2640
2641 /* at this point, we NEED to wait, so we have to ensure */
2642 /* to pass a minimum nonzero value to the backend */
2643 if (expect_false (waittime < backend_mintime))
2644 waittime = backend_mintime;
2474 2645
2475 /* extra check because io_blocktime is commonly 0 */ 2646 /* extra check because io_blocktime is commonly 0 */
2476 if (expect_false (io_blocktime)) 2647 if (expect_false (io_blocktime))
2477 { 2648 {
2478 sleeptime = io_blocktime - (mn_now - prev_mn_now); 2649 sleeptime = io_blocktime - (mn_now - prev_mn_now);
2479 2650
2480 if (sleeptime > waittime - backend_fudge) 2651 if (sleeptime > waittime - backend_mintime)
2481 sleeptime = waittime - backend_fudge; 2652 sleeptime = waittime - backend_mintime;
2482 2653
2483 if (expect_true (sleeptime > 0.)) 2654 if (expect_true (sleeptime > 0.))
2484 { 2655 {
2485 ev_sleep (sleeptime); 2656 ev_sleep (sleeptime);
2486 waittime -= sleeptime; 2657 waittime -= sleeptime;
2492 ++loop_count; 2663 ++loop_count;
2493#endif 2664#endif
2494 assert ((loop_done = EVBREAK_RECURSE, 1)); /* assert for side effect */ 2665 assert ((loop_done = EVBREAK_RECURSE, 1)); /* assert for side effect */
2495 backend_poll (EV_A_ waittime); 2666 backend_poll (EV_A_ waittime);
2496 assert ((loop_done = EVBREAK_CANCEL, 1)); /* assert for side effect */ 2667 assert ((loop_done = EVBREAK_CANCEL, 1)); /* assert for side effect */
2668
2669 pipe_write_wanted = 0; /* just an optimsiation, no fence needed */
2670
2671 if (pipe_write_skipped)
2672 {
2673 assert (("libev: pipe_w not active, but pipe not written", ev_is_active (&pipe_w)));
2674 ev_feed_event (EV_A_ &pipe_w, EV_CUSTOM);
2675 }
2676
2497 2677
2498 /* update ev_rt_now, do magic */ 2678 /* update ev_rt_now, do magic */
2499 time_update (EV_A_ waittime + sleeptime); 2679 time_update (EV_A_ waittime + sleeptime);
2500 } 2680 }
2501 2681
3155 infy_wd (EV_A_ ev->wd, ev->wd, ev); 3335 infy_wd (EV_A_ ev->wd, ev->wd, ev);
3156 ofs += sizeof (struct inotify_event) + ev->len; 3336 ofs += sizeof (struct inotify_event) + ev->len;
3157 } 3337 }
3158} 3338}
3159 3339
3160inline_size void 3340inline_size void ecb_cold
3161ev_check_2625 (EV_P) 3341ev_check_2625 (EV_P)
3162{ 3342{
3163 /* kernels < 2.6.25 are borked 3343 /* kernels < 2.6.25 are borked
3164 * http://www.ussg.indiana.edu/hypermail/linux/kernel/0711.3/1208.html 3344 * http://www.ussg.indiana.edu/hypermail/linux/kernel/0711.3/1208.html
3165 */ 3345 */
3790} 3970}
3791 3971
3792/*****************************************************************************/ 3972/*****************************************************************************/
3793 3973
3794#if EV_WALK_ENABLE 3974#if EV_WALK_ENABLE
3795void 3975void ecb_cold
3796ev_walk (EV_P_ int types, void (*cb)(EV_P_ int type, void *w)) 3976ev_walk (EV_P_ int types, void (*cb)(EV_P_ int type, void *w))
3797{ 3977{
3798 int i, j; 3978 int i, j;
3799 ev_watcher_list *wl, *wn; 3979 ev_watcher_list *wl, *wn;
3800 3980

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines