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.239 by root, Thu May 8 20:52:13 2008 UTC

269#endif 269#endif
270 270
271#if EV_USE_EVENTFD 271#if EV_USE_EVENTFD
272/* our minimum requirement is glibc 2.7 which has the stub, but not the header */ 272/* our minimum requirement is glibc 2.7 which has the stub, but not the header */
273# include <stdint.h> 273# include <stdint.h>
274# ifdef __cplusplus
275extern "C" {
276# endif
274int eventfd (unsigned int initval, int flags); 277int eventfd (unsigned int initval, int flags);
278# ifdef __cplusplus
279}
280# endif
275#endif 281#endif
276 282
277/**/ 283/**/
278 284
279/* 285/*
294# define expect(expr,value) __builtin_expect ((expr),(value)) 300# define expect(expr,value) __builtin_expect ((expr),(value))
295# define noinline __attribute__ ((noinline)) 301# define noinline __attribute__ ((noinline))
296#else 302#else
297# define expect(expr,value) (expr) 303# define expect(expr,value) (expr)
298# define noinline 304# define noinline
299# if __STDC_VERSION__ < 199901L 305# if __STDC_VERSION__ < 199901L && __GNUC__ < 2
300# define inline 306# define inline
301# endif 307# endif
302#endif 308#endif
303 309
304#define expect_false(expr) expect ((expr) != 0, 0) 310#define expect_false(expr) expect ((expr) != 0, 0)
319 325
320typedef ev_watcher *W; 326typedef ev_watcher *W;
321typedef ev_watcher_list *WL; 327typedef ev_watcher_list *WL;
322typedef ev_watcher_time *WT; 328typedef ev_watcher_time *WT;
323 329
330#define ev_active(w) ((W)(w))->active
331#define ev_at(w) ((WT)(w))->at
332
324#if EV_USE_MONOTONIC 333#if EV_USE_MONOTONIC
325/* sig_atomic_t is used to avoid per-thread variables or locking but still */ 334/* 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 */ 335/* giving it a reasonably high chance of working on typical architetcures */
327static EV_ATOMIC_T have_monotonic; /* did clock_gettime (CLOCK_MONOTONIC) work? */ 336static EV_ATOMIC_T have_monotonic; /* did clock_gettime (CLOCK_MONOTONIC) work? */
328#endif 337#endif
354 perror (msg); 363 perror (msg);
355 abort (); 364 abort ();
356 } 365 }
357} 366}
358 367
368static void *
369ev_realloc_emul (void *ptr, long size)
370{
371 /* some systems, notably openbsd and darwin, fail to properly
372 * implement realloc (x, 0) (as required by both ansi c-98 and
373 * the single unix specification, so work around them here.
374 */
375
376 if (size)
377 return realloc (ptr, size);
378
379 free (ptr);
380 return 0;
381}
382
359static void *(*alloc)(void *ptr, long size); 383static void *(*alloc)(void *ptr, long size) = ev_realloc_emul;
360 384
361void 385void
362ev_set_allocator (void *(*cb)(void *ptr, long size)) 386ev_set_allocator (void *(*cb)(void *ptr, long size))
363{ 387{
364 alloc = cb; 388 alloc = cb;
365} 389}
366 390
367inline_speed void * 391inline_speed void *
368ev_realloc (void *ptr, long size) 392ev_realloc (void *ptr, long size)
369{ 393{
370 ptr = alloc ? alloc (ptr, size) : realloc (ptr, size); 394 ptr = alloc (ptr, size);
371 395
372 if (!ptr && size) 396 if (!ptr && size)
373 { 397 {
374 fprintf (stderr, "libev: cannot allocate %ld bytes, aborting.", size); 398 fprintf (stderr, "libev: cannot allocate %ld bytes, aborting.", size);
375 abort (); 399 abort ();
496 } 520 }
497} 521}
498 522
499/*****************************************************************************/ 523/*****************************************************************************/
500 524
525#define MALLOC_ROUND 4096 /* prefer to allocate in chunks of this size, must be 2**n and >> 4 longs */
526
501int inline_size 527int inline_size
502array_nextsize (int elem, int cur, int cnt) 528array_nextsize (int elem, int cur, int cnt)
503{ 529{
504 int ncur = cur + 1; 530 int ncur = cur + 1;
505 531
506 do 532 do
507 ncur <<= 1; 533 ncur <<= 1;
508 while (cnt > ncur); 534 while (cnt > ncur);
509 535
510 /* if size > 4096, round to 4096 - 4 * longs to accomodate malloc overhead */ 536 /* if size is large, round to MALLOC_ROUND - 4 * longs to accomodate malloc overhead */
511 if (elem * ncur > 4096) 537 if (elem * ncur > MALLOC_ROUND - sizeof (void *) * 4)
512 { 538 {
513 ncur *= elem; 539 ncur *= elem;
514 ncur = (ncur + elem + 4095 + sizeof (void *) * 4) & ~4095; 540 ncur = (ncur + elem + (MALLOC_ROUND - 1) + sizeof (void *) * 4) & ~(MALLOC_ROUND - 1);
515 ncur = ncur - sizeof (void *) * 4; 541 ncur = ncur - sizeof (void *) * 4;
516 ncur /= elem; 542 ncur /= elem;
517 } 543 }
518 544
519 return ncur; 545 return ncur;
733 } 759 }
734} 760}
735 761
736/*****************************************************************************/ 762/*****************************************************************************/
737 763
764/*
765 * at the moment we allow libev the luxury of two heaps,
766 * a small-code-size 2-heap one and a ~1.5kb larger 4-heap
767 * which is more cache-efficient.
768 * the difference is about 5% with 50000+ watchers.
769 */
770#define USE_4HEAP !EV_MINIMAL
771#if USE_4HEAP
772
773#define DHEAP 4
774#define HEAP0 (DHEAP - 1) /* index of first element in heap */
775
776/* towards the root */
738void inline_speed 777void inline_speed
739upheap (WT *heap, int k) 778upheap (WT *heap, int k)
740{ 779{
741 WT w = heap [k]; 780 WT w = heap [k];
742 781
743 while (k) 782 for (;;)
744 { 783 {
745 int p = (k - 1) >> 1; 784 int p = ((k - HEAP0 - 1) / DHEAP) + HEAP0;
746 785
747 if (heap [p]->at <= w->at) 786 if (p == k || heap [p]->at <= w->at)
748 break; 787 break;
749 788
750 heap [k] = heap [p]; 789 heap [k] = heap [p];
751 ((W)heap [k])->active = k + 1; 790 ev_active (heap [k]) = k;
752 k = p; 791 k = p;
753 } 792 }
754 793
755 heap [k] = w; 794 heap [k] = w;
756 ((W)heap [k])->active = k + 1; 795 ev_active (heap [k]) = k;
757} 796}
758 797
798/* away from the root */
759void inline_speed 799void inline_speed
760downheap (WT *heap, int N, int k) 800downheap (WT *heap, int N, int k)
761{ 801{
762 WT w = heap [k]; 802 WT w = heap [k];
803 WT *E = heap + N + HEAP0;
763 804
764 for (;;) 805 for (;;)
765 { 806 {
807 ev_tstamp minat;
808 WT *minpos;
809 WT *pos = heap + DHEAP * (k - HEAP0) + HEAP0;
810
811 // find minimum child
812 if (expect_true (pos + DHEAP - 1 < E))
813 {
814 /* fast path */
815 (minpos = pos + 0), (minat = (*minpos)->at);
816 if (pos [1]->at < minat) (minpos = pos + 1), (minat = (*minpos)->at);
817 if (pos [2]->at < minat) (minpos = pos + 2), (minat = (*minpos)->at);
818 if (pos [3]->at < minat) (minpos = pos + 3), (minat = (*minpos)->at);
819 }
820 else
821 {
822 /* slow path */
823 if (pos >= E)
824 break;
825 (minpos = pos + 0), (minat = (*minpos)->at);
826 if (pos + 1 < E && pos [1]->at < minat) (minpos = pos + 1), (minat = (*minpos)->at);
827 if (pos + 2 < E && pos [2]->at < minat) (minpos = pos + 2), (minat = (*minpos)->at);
828 if (pos + 3 < E && pos [3]->at < minat) (minpos = pos + 3), (minat = (*minpos)->at);
829 }
830
831 if (w->at <= minat)
832 break;
833
834 ev_active (*minpos) = k;
835 heap [k] = *minpos;
836
837 k = minpos - heap;
838 }
839
840 heap [k] = w;
841 ev_active (heap [k]) = k;
842}
843
844#else // 4HEAP
845
846#define HEAP0 1
847
848/* towards the root */
849void inline_speed
850upheap (WT *heap, int k)
851{
852 WT w = heap [k];
853
854 for (;;)
855 {
856 int p = k >> 1;
857
858 /* maybe we could use a dummy element at heap [0]? */
859 if (!p || heap [p]->at <= w->at)
860 break;
861
862 heap [k] = heap [p];
863 ev_active (heap [k]) = k;
864 k = p;
865 }
866
867 heap [k] = w;
868 ev_active (heap [k]) = k;
869}
870
871/* away from the root */
872void inline_speed
873downheap (WT *heap, int N, int k)
874{
875 WT w = heap [k];
876
877 for (;;)
878 {
766 int c = (k << 1) + 1; 879 int c = k << 1;
767 880
768 if (c >= N) 881 if (c > N)
769 break; 882 break;
770 883
771 c += c + 1 < N && heap [c]->at > heap [c + 1]->at 884 c += c + 1 < N && heap [c]->at > heap [c + 1]->at
772 ? 1 : 0; 885 ? 1 : 0;
773 886
774 if (w->at <= heap [c]->at) 887 if (w->at <= heap [c]->at)
775 break; 888 break;
776 889
777 heap [k] = heap [c]; 890 heap [k] = heap [c];
778 ((W)heap [k])->active = k + 1; 891 ((W)heap [k])->active = k;
779 892
780 k = c; 893 k = c;
781 } 894 }
782 895
783 heap [k] = w; 896 heap [k] = w;
784 ((W)heap [k])->active = k + 1; 897 ev_active (heap [k]) = k;
785} 898}
899#endif
786 900
787void inline_size 901void inline_size
788adjustheap (WT *heap, int N, int k) 902adjustheap (WT *heap, int N, int k)
789{ 903{
790 upheap (heap, k); 904 upheap (heap, k);
885pipecb (EV_P_ ev_io *iow, int revents) 999pipecb (EV_P_ ev_io *iow, int revents)
886{ 1000{
887#if EV_USE_EVENTFD 1001#if EV_USE_EVENTFD
888 if (evfd >= 0) 1002 if (evfd >= 0)
889 { 1003 {
890 uint64_t counter = 1; 1004 uint64_t counter;
891 read (evfd, &counter, sizeof (uint64_t)); 1005 read (evfd, &counter, sizeof (uint64_t));
892 } 1006 }
893 else 1007 else
894#endif 1008#endif
895 { 1009 {
1164 if (!(flags & EVFLAG_NOENV) 1278 if (!(flags & EVFLAG_NOENV)
1165 && !enable_secure () 1279 && !enable_secure ()
1166 && getenv ("LIBEV_FLAGS")) 1280 && getenv ("LIBEV_FLAGS"))
1167 flags = atoi (getenv ("LIBEV_FLAGS")); 1281 flags = atoi (getenv ("LIBEV_FLAGS"));
1168 1282
1169 if (!(flags & 0x0000ffffUL)) 1283 if (!(flags & 0x0000ffffU))
1170 flags |= ev_recommended_backends (); 1284 flags |= ev_recommended_backends ();
1171 1285
1172#if EV_USE_PORT 1286#if EV_USE_PORT
1173 if (!backend && (flags & EVBACKEND_PORT )) backend = port_init (EV_A_ flags); 1287 if (!backend && (flags & EVBACKEND_PORT )) backend = port_init (EV_A_ flags);
1174#endif 1288#endif
1262#endif 1376#endif
1263 1377
1264 backend = 0; 1378 backend = 0;
1265} 1379}
1266 1380
1381#if EV_USE_INOTIFY
1267void inline_size infy_fork (EV_P); 1382void inline_size infy_fork (EV_P);
1383#endif
1268 1384
1269void inline_size 1385void inline_size
1270loop_fork (EV_P) 1386loop_fork (EV_P)
1271{ 1387{
1272#if EV_USE_PORT 1388#if EV_USE_PORT
1339void 1455void
1340ev_loop_fork (EV_P) 1456ev_loop_fork (EV_P)
1341{ 1457{
1342 postfork = 1; /* must be in line with ev_default_fork */ 1458 postfork = 1; /* must be in line with ev_default_fork */
1343} 1459}
1344
1345#endif 1460#endif
1346 1461
1347#if EV_MULTIPLICITY 1462#if EV_MULTIPLICITY
1348struct ev_loop * 1463struct ev_loop *
1349ev_default_loop_init (unsigned int flags) 1464ev_default_loop_init (unsigned int flags)
1430 EV_CB_INVOKE (p->w, p->events); 1545 EV_CB_INVOKE (p->w, p->events);
1431 } 1546 }
1432 } 1547 }
1433} 1548}
1434 1549
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
1515#if EV_IDLE_ENABLE 1550#if EV_IDLE_ENABLE
1516void inline_size 1551void inline_size
1517idle_reify (EV_P) 1552idle_reify (EV_P)
1518{ 1553{
1519 if (expect_false (idleall)) 1554 if (expect_false (idleall))
1530 queue_events (EV_A_ (W *)idles [pri], idlecnt [pri], EV_IDLE); 1565 queue_events (EV_A_ (W *)idles [pri], idlecnt [pri], EV_IDLE);
1531 break; 1566 break;
1532 } 1567 }
1533 } 1568 }
1534 } 1569 }
1570}
1571#endif
1572
1573void inline_size
1574timers_reify (EV_P)
1575{
1576 while (timercnt && ev_at (timers [HEAP0]) <= mn_now)
1577 {
1578 ev_timer *w = (ev_timer *)timers [HEAP0];
1579
1580 /*assert (("inactive timer on timer heap detected", ev_is_active (w)));*/
1581
1582 /* first reschedule or stop timer */
1583 if (w->repeat)
1584 {
1585 assert (("negative ev_timer repeat value found while processing timers", w->repeat > 0.));
1586
1587 ev_at (w) += w->repeat;
1588 if (ev_at (w) < mn_now)
1589 ev_at (w) = mn_now;
1590
1591 downheap (timers, timercnt, HEAP0);
1592 }
1593 else
1594 ev_timer_stop (EV_A_ w); /* nonrepeating: stop timer */
1595
1596 ev_feed_event (EV_A_ (W)w, EV_TIMEOUT);
1597 }
1598}
1599
1600#if EV_PERIODIC_ENABLE
1601void inline_size
1602periodics_reify (EV_P)
1603{
1604 while (periodiccnt && ev_at (periodics [HEAP0]) <= ev_rt_now)
1605 {
1606 ev_periodic *w = (ev_periodic *)periodics [HEAP0];
1607
1608 /*assert (("inactive timer on periodic heap detected", ev_is_active (w)));*/
1609
1610 /* first reschedule or stop timer */
1611 if (w->reschedule_cb)
1612 {
1613 ev_at (w) = w->reschedule_cb (w, ev_rt_now + TIME_EPSILON);
1614 assert (("ev_periodic reschedule callback returned time in the past", ev_at (w) > ev_rt_now));
1615 downheap (periodics, periodiccnt, 1);
1616 }
1617 else if (w->interval)
1618 {
1619 ev_at (w) = w->offset + ceil ((ev_rt_now - w->offset) / w->interval) * w->interval;
1620 if (ev_at (w) - ev_rt_now <= TIME_EPSILON) ev_at (w) += w->interval;
1621 assert (("ev_periodic timeout in the past detected while processing timers, negative interval?", ev_at (w) > ev_rt_now));
1622 downheap (periodics, periodiccnt, HEAP0);
1623 }
1624 else
1625 ev_periodic_stop (EV_A_ w); /* nonrepeating: stop timer */
1626
1627 ev_feed_event (EV_A_ (W)w, EV_PERIODIC);
1628 }
1629}
1630
1631static void noinline
1632periodics_reschedule (EV_P)
1633{
1634 int i;
1635
1636 /* adjust periodics after time jump */
1637 for (i = 1; i <= periodiccnt; ++i)
1638 {
1639 ev_periodic *w = (ev_periodic *)periodics [i];
1640
1641 if (w->reschedule_cb)
1642 ev_at (w) = w->reschedule_cb (w, ev_rt_now);
1643 else if (w->interval)
1644 ev_at (w) = w->offset + ceil ((ev_rt_now - w->offset) / w->interval) * w->interval;
1645 }
1646
1647 /* now rebuild the heap */
1648 for (i = periodiccnt >> 1; --i; )
1649 downheap (periodics, periodiccnt, i + HEAP0);
1535} 1650}
1536#endif 1651#endif
1537 1652
1538void inline_speed 1653void inline_speed
1539time_update (EV_P_ ev_tstamp max_block) 1654time_update (EV_P_ ev_tstamp max_block)
1568 */ 1683 */
1569 for (i = 4; --i; ) 1684 for (i = 4; --i; )
1570 { 1685 {
1571 rtmn_diff = ev_rt_now - mn_now; 1686 rtmn_diff = ev_rt_now - mn_now;
1572 1687
1573 if (fabs (odiff - rtmn_diff) < MIN_TIMEJUMP) 1688 if (expect_true (fabs (odiff - rtmn_diff) < MIN_TIMEJUMP))
1574 return; /* all is well */ 1689 return; /* all is well */
1575 1690
1576 ev_rt_now = ev_time (); 1691 ev_rt_now = ev_time ();
1577 mn_now = get_clock (); 1692 mn_now = get_clock ();
1578 now_floor = mn_now; 1693 now_floor = mn_now;
1593 { 1708 {
1594#if EV_PERIODIC_ENABLE 1709#if EV_PERIODIC_ENABLE
1595 periodics_reschedule (EV_A); 1710 periodics_reschedule (EV_A);
1596#endif 1711#endif
1597 /* adjust timers. this is easy, as the offset is the same for all of them */ 1712 /* adjust timers. this is easy, as the offset is the same for all of them */
1598 for (i = 0; i < timercnt; ++i) 1713 for (i = 1; i <= timercnt; ++i)
1599 ((WT)timers [i])->at += ev_rt_now - mn_now; 1714 ev_at (timers [i]) += ev_rt_now - mn_now;
1600 } 1715 }
1601 1716
1602 mn_now = ev_rt_now; 1717 mn_now = ev_rt_now;
1603 } 1718 }
1604} 1719}
1674 1789
1675 waittime = MAX_BLOCKTIME; 1790 waittime = MAX_BLOCKTIME;
1676 1791
1677 if (timercnt) 1792 if (timercnt)
1678 { 1793 {
1679 ev_tstamp to = ((WT)timers [0])->at - mn_now + backend_fudge; 1794 ev_tstamp to = ev_at (timers [HEAP0]) - mn_now + backend_fudge;
1680 if (waittime > to) waittime = to; 1795 if (waittime > to) waittime = to;
1681 } 1796 }
1682 1797
1683#if EV_PERIODIC_ENABLE 1798#if EV_PERIODIC_ENABLE
1684 if (periodiccnt) 1799 if (periodiccnt)
1685 { 1800 {
1686 ev_tstamp to = ((WT)periodics [0])->at - ev_rt_now + backend_fudge; 1801 ev_tstamp to = ev_at (periodics [HEAP0]) - ev_rt_now + backend_fudge;
1687 if (waittime > to) waittime = to; 1802 if (waittime > to) waittime = to;
1688 } 1803 }
1689#endif 1804#endif
1690 1805
1691 if (expect_false (waittime < timeout_blocktime)) 1806 if (expect_false (waittime < timeout_blocktime))
1857ev_timer_start (EV_P_ ev_timer *w) 1972ev_timer_start (EV_P_ ev_timer *w)
1858{ 1973{
1859 if (expect_false (ev_is_active (w))) 1974 if (expect_false (ev_is_active (w)))
1860 return; 1975 return;
1861 1976
1862 ((WT)w)->at += mn_now; 1977 ev_at (w) += mn_now;
1863 1978
1864 assert (("ev_timer_start called with negative timer repeat value", w->repeat >= 0.)); 1979 assert (("ev_timer_start called with negative timer repeat value", w->repeat >= 0.));
1865 1980
1866 ev_start (EV_A_ (W)w, ++timercnt); 1981 ev_start (EV_A_ (W)w, ++timercnt + HEAP0 - 1);
1867 array_needsize (WT, timers, timermax, timercnt, EMPTY2); 1982 array_needsize (WT, timers, timermax, timercnt + HEAP0, EMPTY2);
1868 timers [timercnt - 1] = (WT)w; 1983 timers [ev_active (w)] = (WT)w;
1869 upheap (timers, timercnt - 1); 1984 upheap (timers, ev_active (w));
1870 1985
1871 /*assert (("internal timer heap corruption", timers [((W)w)->active - 1] == w));*/ 1986 /*assert (("internal timer heap corruption", timers [ev_active (w)] == w));*/
1872} 1987}
1873 1988
1874void noinline 1989void noinline
1875ev_timer_stop (EV_P_ ev_timer *w) 1990ev_timer_stop (EV_P_ ev_timer *w)
1876{ 1991{
1877 clear_pending (EV_A_ (W)w); 1992 clear_pending (EV_A_ (W)w);
1878 if (expect_false (!ev_is_active (w))) 1993 if (expect_false (!ev_is_active (w)))
1879 return; 1994 return;
1880 1995
1881 assert (("internal timer heap corruption", timers [((W)w)->active - 1] == (WT)w));
1882
1883 { 1996 {
1884 int active = ((W)w)->active; 1997 int active = ev_active (w);
1885 1998
1999 assert (("internal timer heap corruption", timers [active] == (WT)w));
2000
1886 if (expect_true (--active < --timercnt)) 2001 if (expect_true (active < timercnt + HEAP0 - 1))
1887 { 2002 {
1888 timers [active] = timers [timercnt]; 2003 timers [active] = timers [timercnt + HEAP0 - 1];
1889 adjustheap (timers, timercnt, active); 2004 adjustheap (timers, timercnt, active);
1890 } 2005 }
2006
2007 --timercnt;
1891 } 2008 }
1892 2009
1893 ((WT)w)->at -= mn_now; 2010 ev_at (w) -= mn_now;
1894 2011
1895 ev_stop (EV_A_ (W)w); 2012 ev_stop (EV_A_ (W)w);
1896} 2013}
1897 2014
1898void noinline 2015void noinline
1900{ 2017{
1901 if (ev_is_active (w)) 2018 if (ev_is_active (w))
1902 { 2019 {
1903 if (w->repeat) 2020 if (w->repeat)
1904 { 2021 {
1905 ((WT)w)->at = mn_now + w->repeat; 2022 ev_at (w) = mn_now + w->repeat;
1906 adjustheap (timers, timercnt, ((W)w)->active - 1); 2023 adjustheap (timers, timercnt, ev_active (w));
1907 } 2024 }
1908 else 2025 else
1909 ev_timer_stop (EV_A_ w); 2026 ev_timer_stop (EV_A_ w);
1910 } 2027 }
1911 else if (w->repeat) 2028 else if (w->repeat)
1912 { 2029 {
1913 w->at = w->repeat; 2030 ev_at (w) = w->repeat;
1914 ev_timer_start (EV_A_ w); 2031 ev_timer_start (EV_A_ w);
1915 } 2032 }
1916} 2033}
1917 2034
1918#if EV_PERIODIC_ENABLE 2035#if EV_PERIODIC_ENABLE
1921{ 2038{
1922 if (expect_false (ev_is_active (w))) 2039 if (expect_false (ev_is_active (w)))
1923 return; 2040 return;
1924 2041
1925 if (w->reschedule_cb) 2042 if (w->reschedule_cb)
1926 ((WT)w)->at = w->reschedule_cb (w, ev_rt_now); 2043 ev_at (w) = w->reschedule_cb (w, ev_rt_now);
1927 else if (w->interval) 2044 else if (w->interval)
1928 { 2045 {
1929 assert (("ev_periodic_start called with negative interval value", w->interval >= 0.)); 2046 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 */ 2047 /* 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; 2048 ev_at (w) = w->offset + ceil ((ev_rt_now - w->offset) / w->interval) * w->interval;
1932 } 2049 }
1933 else 2050 else
1934 ((WT)w)->at = w->offset; 2051 ev_at (w) = w->offset;
1935 2052
1936 ev_start (EV_A_ (W)w, ++periodiccnt); 2053 ev_start (EV_A_ (W)w, ++periodiccnt + HEAP0 - 1);
1937 array_needsize (WT, periodics, periodicmax, periodiccnt, EMPTY2); 2054 array_needsize (WT, periodics, periodicmax, periodiccnt + HEAP0, EMPTY2);
1938 periodics [periodiccnt - 1] = (WT)w; 2055 periodics [ev_active (w)] = (WT)w;
1939 upheap (periodics, periodiccnt - 1); 2056 upheap (periodics, ev_active (w));
1940 2057
1941 /*assert (("internal periodic heap corruption", periodics [((W)w)->active - 1] == w));*/ 2058 /*assert (("internal periodic heap corruption", periodics [ev_active (w)] == w));*/
1942} 2059}
1943 2060
1944void noinline 2061void noinline
1945ev_periodic_stop (EV_P_ ev_periodic *w) 2062ev_periodic_stop (EV_P_ ev_periodic *w)
1946{ 2063{
1947 clear_pending (EV_A_ (W)w); 2064 clear_pending (EV_A_ (W)w);
1948 if (expect_false (!ev_is_active (w))) 2065 if (expect_false (!ev_is_active (w)))
1949 return; 2066 return;
1950 2067
1951 assert (("internal periodic heap corruption", periodics [((W)w)->active - 1] == (WT)w));
1952
1953 { 2068 {
1954 int active = ((W)w)->active; 2069 int active = ev_active (w);
1955 2070
2071 assert (("internal periodic heap corruption", periodics [active] == (WT)w));
2072
1956 if (expect_true (--active < --periodiccnt)) 2073 if (expect_true (active < periodiccnt + HEAP0 - 1))
1957 { 2074 {
1958 periodics [active] = periodics [periodiccnt]; 2075 periodics [active] = periodics [periodiccnt + HEAP0 - 1];
1959 adjustheap (periodics, periodiccnt, active); 2076 adjustheap (periodics, periodiccnt, active);
1960 } 2077 }
2078
2079 --periodiccnt;
1961 } 2080 }
1962 2081
1963 ev_stop (EV_A_ (W)w); 2082 ev_stop (EV_A_ (W)w);
1964} 2083}
1965 2084
2081 if (w->wd < 0) 2200 if (w->wd < 0)
2082 { 2201 {
2083 ev_timer_start (EV_A_ &w->timer); /* this is not race-free, so we still need to recheck periodically */ 2202 ev_timer_start (EV_A_ &w->timer); /* this is not race-free, so we still need to recheck periodically */
2084 2203
2085 /* monitor some parent directory for speedup hints */ 2204 /* monitor some parent directory for speedup hints */
2205 /* note that exceeding the hardcoded limit is not a correctness issue, */
2206 /* but an efficiency issue only */
2086 if ((errno == ENOENT || errno == EACCES) && strlen (w->path) < 4096) 2207 if ((errno == ENOENT || errno == EACCES) && strlen (w->path) < 4096)
2087 { 2208 {
2088 char path [4096]; 2209 char path [4096];
2089 strcpy (path, w->path); 2210 strcpy (path, w->path);
2090 2211
2335 clear_pending (EV_A_ (W)w); 2456 clear_pending (EV_A_ (W)w);
2336 if (expect_false (!ev_is_active (w))) 2457 if (expect_false (!ev_is_active (w)))
2337 return; 2458 return;
2338 2459
2339 { 2460 {
2340 int active = ((W)w)->active; 2461 int active = ev_active (w);
2341 2462
2342 idles [ABSPRI (w)][active - 1] = idles [ABSPRI (w)][--idlecnt [ABSPRI (w)]]; 2463 idles [ABSPRI (w)][active - 1] = idles [ABSPRI (w)][--idlecnt [ABSPRI (w)]];
2343 ((W)idles [ABSPRI (w)][active - 1])->active = active; 2464 ev_active (idles [ABSPRI (w)][active - 1]) = active;
2344 2465
2345 ev_stop (EV_A_ (W)w); 2466 ev_stop (EV_A_ (W)w);
2346 --idleall; 2467 --idleall;
2347 } 2468 }
2348} 2469}
2365 clear_pending (EV_A_ (W)w); 2486 clear_pending (EV_A_ (W)w);
2366 if (expect_false (!ev_is_active (w))) 2487 if (expect_false (!ev_is_active (w)))
2367 return; 2488 return;
2368 2489
2369 { 2490 {
2370 int active = ((W)w)->active; 2491 int active = ev_active (w);
2492
2371 prepares [active - 1] = prepares [--preparecnt]; 2493 prepares [active - 1] = prepares [--preparecnt];
2372 ((W)prepares [active - 1])->active = active; 2494 ev_active (prepares [active - 1]) = active;
2373 } 2495 }
2374 2496
2375 ev_stop (EV_A_ (W)w); 2497 ev_stop (EV_A_ (W)w);
2376} 2498}
2377 2499
2392 clear_pending (EV_A_ (W)w); 2514 clear_pending (EV_A_ (W)w);
2393 if (expect_false (!ev_is_active (w))) 2515 if (expect_false (!ev_is_active (w)))
2394 return; 2516 return;
2395 2517
2396 { 2518 {
2397 int active = ((W)w)->active; 2519 int active = ev_active (w);
2520
2398 checks [active - 1] = checks [--checkcnt]; 2521 checks [active - 1] = checks [--checkcnt];
2399 ((W)checks [active - 1])->active = active; 2522 ev_active (checks [active - 1]) = active;
2400 } 2523 }
2401 2524
2402 ev_stop (EV_A_ (W)w); 2525 ev_stop (EV_A_ (W)w);
2403} 2526}
2404 2527
2500 clear_pending (EV_A_ (W)w); 2623 clear_pending (EV_A_ (W)w);
2501 if (expect_false (!ev_is_active (w))) 2624 if (expect_false (!ev_is_active (w)))
2502 return; 2625 return;
2503 2626
2504 { 2627 {
2505 int active = ((W)w)->active; 2628 int active = ev_active (w);
2629
2506 forks [active - 1] = forks [--forkcnt]; 2630 forks [active - 1] = forks [--forkcnt];
2507 ((W)forks [active - 1])->active = active; 2631 ev_active (forks [active - 1]) = active;
2508 } 2632 }
2509 2633
2510 ev_stop (EV_A_ (W)w); 2634 ev_stop (EV_A_ (W)w);
2511} 2635}
2512#endif 2636#endif
2531 clear_pending (EV_A_ (W)w); 2655 clear_pending (EV_A_ (W)w);
2532 if (expect_false (!ev_is_active (w))) 2656 if (expect_false (!ev_is_active (w)))
2533 return; 2657 return;
2534 2658
2535 { 2659 {
2536 int active = ((W)w)->active; 2660 int active = ev_active (w);
2661
2537 asyncs [active - 1] = asyncs [--asynccnt]; 2662 asyncs [active - 1] = asyncs [--asynccnt];
2538 ((W)asyncs [active - 1])->active = active; 2663 ev_active (asyncs [active - 1]) = active;
2539 } 2664 }
2540 2665
2541 ev_stop (EV_A_ (W)w); 2666 ev_stop (EV_A_ (W)w);
2542} 2667}
2543 2668

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines