… | |
… | |
759 | } |
759 | } |
760 | } |
760 | } |
761 | |
761 | |
762 | /*****************************************************************************/ |
762 | /*****************************************************************************/ |
763 | |
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 | #define USE_4HEAP 1/* they do not work corretcly */ |
|
|
772 | #if USE_4HEAP |
|
|
773 | |
|
|
774 | #define DHEAP 4 |
|
|
775 | #define HEAP0 (DHEAP - 1) /* index of first element in heap */ |
|
|
776 | |
764 | /* towards the root */ |
777 | /* towards the root */ |
765 | void inline_speed |
778 | void inline_speed |
766 | upheap (WT *heap, int k) |
779 | upheap (WT *heap, int k) |
767 | { |
780 | { |
768 | WT w = heap [k]; |
781 | WT w = heap [k]; |
769 | |
782 | |
770 | for (;;) |
783 | for (;;) |
771 | { |
784 | { |
|
|
785 | int p = ((k - HEAP0 - 1) / DHEAP) + HEAP0; |
|
|
786 | |
|
|
787 | if (p == k || heap [p]->at <= w->at) |
|
|
788 | break; |
|
|
789 | |
|
|
790 | heap [k] = heap [p]; |
|
|
791 | ev_active (heap [k]) = k; |
|
|
792 | k = p; |
|
|
793 | } |
|
|
794 | |
|
|
795 | heap [k] = w; |
|
|
796 | ev_active (heap [k]) = k; |
|
|
797 | } |
|
|
798 | |
|
|
799 | /* away from the root */ |
|
|
800 | void inline_speed |
|
|
801 | downheap (WT *heap, int N, int k) |
|
|
802 | { |
|
|
803 | WT w = heap [k]; |
|
|
804 | WT *E = heap + N + HEAP0; |
|
|
805 | |
|
|
806 | for (;;) |
|
|
807 | { |
|
|
808 | ev_tstamp minat; |
|
|
809 | WT *minpos; |
|
|
810 | WT *pos = heap + DHEAP * (k - HEAP0) + HEAP0; |
|
|
811 | |
|
|
812 | // find minimum child |
|
|
813 | if (expect_true (pos + DHEAP - 1 < E)) |
|
|
814 | { |
|
|
815 | /* fast path */ |
|
|
816 | (minpos = pos + 0), (minat = (*minpos)->at); |
|
|
817 | if (pos [1]->at < minat) (minpos = pos + 1), (minat = (*minpos)->at); |
|
|
818 | if (pos [2]->at < minat) (minpos = pos + 2), (minat = (*minpos)->at); |
|
|
819 | if (pos [3]->at < minat) (minpos = pos + 3), (minat = (*minpos)->at); |
|
|
820 | } |
|
|
821 | else |
|
|
822 | { |
|
|
823 | /* slow path */ |
|
|
824 | if (pos >= E) |
|
|
825 | break; |
|
|
826 | (minpos = pos + 0), (minat = (*minpos)->at); |
|
|
827 | if (pos + 1 < E && pos [1]->at < minat) (minpos = pos + 1), (minat = (*minpos)->at); |
|
|
828 | if (pos + 2 < E && pos [2]->at < minat) (minpos = pos + 2), (minat = (*minpos)->at); |
|
|
829 | if (pos + 3 < E && pos [3]->at < minat) (minpos = pos + 3), (minat = (*minpos)->at); |
|
|
830 | } |
|
|
831 | |
|
|
832 | if (w->at <= minat) |
|
|
833 | break; |
|
|
834 | |
|
|
835 | ev_active (*minpos) = k; |
|
|
836 | heap [k] = *minpos; |
|
|
837 | |
|
|
838 | k = minpos - heap; |
|
|
839 | } |
|
|
840 | |
|
|
841 | heap [k] = w; |
|
|
842 | ev_active (heap [k]) = k; |
|
|
843 | } |
|
|
844 | |
|
|
845 | #else // 4HEAP |
|
|
846 | |
|
|
847 | #define HEAP0 1 |
|
|
848 | |
|
|
849 | /* towards the root */ |
|
|
850 | void inline_speed |
|
|
851 | upheap (WT *heap, int k) |
|
|
852 | { |
|
|
853 | WT w = heap [k]; |
|
|
854 | |
|
|
855 | for (;;) |
|
|
856 | { |
772 | int p = k >> 1; |
857 | int p = k >> 1; |
773 | |
858 | |
774 | /* maybe we could use a dummy element at heap [0]? */ |
859 | /* maybe we could use a dummy element at heap [0]? */ |
775 | if (!p || heap [p]->at <= w->at) |
860 | if (!p || heap [p]->at <= w->at) |
776 | break; |
861 | break; |
… | |
… | |
795 | int c = k << 1; |
880 | int c = k << 1; |
796 | |
881 | |
797 | if (c > N) |
882 | if (c > N) |
798 | break; |
883 | break; |
799 | |
884 | |
800 | c += c < N && heap [c]->at > heap [c + 1]->at |
885 | c += c + 1 < N && heap [c]->at > heap [c + 1]->at |
801 | ? 1 : 0; |
886 | ? 1 : 0; |
802 | |
887 | |
803 | if (w->at <= heap [c]->at) |
888 | if (w->at <= heap [c]->at) |
804 | break; |
889 | break; |
805 | |
890 | |
806 | heap [k] = heap [c]; |
891 | heap [k] = heap [c]; |
807 | ev_active (heap [k]) = k; |
892 | ((W)heap [k])->active = k; |
808 | |
893 | |
809 | k = c; |
894 | k = c; |
810 | } |
895 | } |
811 | |
896 | |
812 | heap [k] = w; |
897 | heap [k] = w; |
813 | ev_active (heap [k]) = k; |
898 | ev_active (heap [k]) = k; |
814 | } |
899 | } |
|
|
900 | #endif |
815 | |
901 | |
816 | void inline_size |
902 | void inline_size |
817 | adjustheap (WT *heap, int N, int k) |
903 | adjustheap (WT *heap, int N, int k) |
818 | { |
904 | { |
819 | upheap (heap, k); |
905 | upheap (heap, k); |
… | |
… | |
1370 | void |
1456 | void |
1371 | ev_loop_fork (EV_P) |
1457 | ev_loop_fork (EV_P) |
1372 | { |
1458 | { |
1373 | postfork = 1; /* must be in line with ev_default_fork */ |
1459 | postfork = 1; /* must be in line with ev_default_fork */ |
1374 | } |
1460 | } |
1375 | |
|
|
1376 | #endif |
1461 | #endif |
1377 | |
1462 | |
1378 | #if EV_MULTIPLICITY |
1463 | #if EV_MULTIPLICITY |
1379 | struct ev_loop * |
1464 | struct ev_loop * |
1380 | ev_default_loop_init (unsigned int flags) |
1465 | ev_default_loop_init (unsigned int flags) |
… | |
… | |
1461 | EV_CB_INVOKE (p->w, p->events); |
1546 | EV_CB_INVOKE (p->w, p->events); |
1462 | } |
1547 | } |
1463 | } |
1548 | } |
1464 | } |
1549 | } |
1465 | |
1550 | |
|
|
1551 | #if EV_IDLE_ENABLE |
|
|
1552 | void inline_size |
|
|
1553 | idle_reify (EV_P) |
|
|
1554 | { |
|
|
1555 | if (expect_false (idleall)) |
|
|
1556 | { |
|
|
1557 | int pri; |
|
|
1558 | |
|
|
1559 | for (pri = NUMPRI; pri--; ) |
|
|
1560 | { |
|
|
1561 | if (pendingcnt [pri]) |
|
|
1562 | break; |
|
|
1563 | |
|
|
1564 | if (idlecnt [pri]) |
|
|
1565 | { |
|
|
1566 | queue_events (EV_A_ (W *)idles [pri], idlecnt [pri], EV_IDLE); |
|
|
1567 | break; |
|
|
1568 | } |
|
|
1569 | } |
|
|
1570 | } |
|
|
1571 | } |
|
|
1572 | #endif |
|
|
1573 | |
1466 | void inline_size |
1574 | void inline_size |
1467 | timers_reify (EV_P) |
1575 | timers_reify (EV_P) |
1468 | { |
1576 | { |
1469 | while (timercnt && ev_at (timers [1]) <= mn_now) |
1577 | while (timercnt && ev_at (timers [HEAP0]) <= mn_now) |
1470 | { |
1578 | { |
1471 | ev_timer *w = (ev_timer *)timers [1]; |
1579 | ev_timer *w = (ev_timer *)timers [HEAP0]; |
1472 | |
1580 | |
1473 | /*assert (("inactive timer on timer heap detected", ev_is_active (w)));*/ |
1581 | /*assert (("inactive timer on timer heap detected", ev_is_active (w)));*/ |
1474 | |
1582 | |
1475 | /* first reschedule or stop timer */ |
1583 | /* first reschedule or stop timer */ |
1476 | if (w->repeat) |
1584 | if (w->repeat) |
… | |
… | |
1479 | |
1587 | |
1480 | ev_at (w) += w->repeat; |
1588 | ev_at (w) += w->repeat; |
1481 | if (ev_at (w) < mn_now) |
1589 | if (ev_at (w) < mn_now) |
1482 | ev_at (w) = mn_now; |
1590 | ev_at (w) = mn_now; |
1483 | |
1591 | |
1484 | downheap (timers, timercnt, 1); |
1592 | downheap (timers, timercnt, HEAP0); |
1485 | } |
1593 | } |
1486 | else |
1594 | else |
1487 | ev_timer_stop (EV_A_ w); /* nonrepeating: stop timer */ |
1595 | ev_timer_stop (EV_A_ w); /* nonrepeating: stop timer */ |
1488 | |
1596 | |
1489 | ev_feed_event (EV_A_ (W)w, EV_TIMEOUT); |
1597 | ev_feed_event (EV_A_ (W)w, EV_TIMEOUT); |
… | |
… | |
1492 | |
1600 | |
1493 | #if EV_PERIODIC_ENABLE |
1601 | #if EV_PERIODIC_ENABLE |
1494 | void inline_size |
1602 | void inline_size |
1495 | periodics_reify (EV_P) |
1603 | periodics_reify (EV_P) |
1496 | { |
1604 | { |
1497 | while (periodiccnt && ev_at (periodics [1]) <= ev_rt_now) |
1605 | while (periodiccnt && ev_at (periodics [HEAP0]) <= ev_rt_now) |
1498 | { |
1606 | { |
1499 | ev_periodic *w = (ev_periodic *)periodics [1]; |
1607 | ev_periodic *w = (ev_periodic *)periodics [HEAP0]; |
1500 | |
1608 | |
1501 | /*assert (("inactive timer on periodic heap detected", ev_is_active (w)));*/ |
1609 | /*assert (("inactive timer on periodic heap detected", ev_is_active (w)));*/ |
1502 | |
1610 | |
1503 | /* first reschedule or stop timer */ |
1611 | /* first reschedule or stop timer */ |
1504 | if (w->reschedule_cb) |
1612 | if (w->reschedule_cb) |
… | |
… | |
1510 | else if (w->interval) |
1618 | else if (w->interval) |
1511 | { |
1619 | { |
1512 | ev_at (w) = w->offset + ceil ((ev_rt_now - w->offset) / w->interval) * w->interval; |
1620 | ev_at (w) = w->offset + ceil ((ev_rt_now - w->offset) / w->interval) * w->interval; |
1513 | if (ev_at (w) - ev_rt_now <= TIME_EPSILON) ev_at (w) += w->interval; |
1621 | if (ev_at (w) - ev_rt_now <= TIME_EPSILON) ev_at (w) += w->interval; |
1514 | assert (("ev_periodic timeout in the past detected while processing timers, negative interval?", ev_at (w) > ev_rt_now)); |
1622 | assert (("ev_periodic timeout in the past detected while processing timers, negative interval?", ev_at (w) > ev_rt_now)); |
1515 | downheap (periodics, periodiccnt, 1); |
1623 | downheap (periodics, periodiccnt, HEAP0); |
1516 | } |
1624 | } |
1517 | else |
1625 | else |
1518 | ev_periodic_stop (EV_A_ w); /* nonrepeating: stop timer */ |
1626 | ev_periodic_stop (EV_A_ w); /* nonrepeating: stop timer */ |
1519 | |
1627 | |
1520 | ev_feed_event (EV_A_ (W)w, EV_PERIODIC); |
1628 | ev_feed_event (EV_A_ (W)w, EV_PERIODIC); |
… | |
… | |
1536 | else if (w->interval) |
1644 | else if (w->interval) |
1537 | ev_at (w) = w->offset + ceil ((ev_rt_now - w->offset) / w->interval) * w->interval; |
1645 | ev_at (w) = w->offset + ceil ((ev_rt_now - w->offset) / w->interval) * w->interval; |
1538 | } |
1646 | } |
1539 | |
1647 | |
1540 | /* now rebuild the heap */ |
1648 | /* now rebuild the heap */ |
1541 | for (i = periodiccnt >> 1; i--; ) |
1649 | for (i = periodiccnt >> 1; --i; ) |
1542 | downheap (periodics, periodiccnt, i); |
1650 | downheap (periodics, periodiccnt, i + HEAP0); |
1543 | } |
|
|
1544 | #endif |
|
|
1545 | |
|
|
1546 | #if EV_IDLE_ENABLE |
|
|
1547 | void inline_size |
|
|
1548 | idle_reify (EV_P) |
|
|
1549 | { |
|
|
1550 | if (expect_false (idleall)) |
|
|
1551 | { |
|
|
1552 | int pri; |
|
|
1553 | |
|
|
1554 | for (pri = NUMPRI; pri--; ) |
|
|
1555 | { |
|
|
1556 | if (pendingcnt [pri]) |
|
|
1557 | break; |
|
|
1558 | |
|
|
1559 | if (idlecnt [pri]) |
|
|
1560 | { |
|
|
1561 | queue_events (EV_A_ (W *)idles [pri], idlecnt [pri], EV_IDLE); |
|
|
1562 | break; |
|
|
1563 | } |
|
|
1564 | } |
|
|
1565 | } |
|
|
1566 | } |
1651 | } |
1567 | #endif |
1652 | #endif |
1568 | |
1653 | |
1569 | void inline_speed |
1654 | void inline_speed |
1570 | time_update (EV_P_ ev_tstamp max_block) |
1655 | time_update (EV_P_ ev_tstamp max_block) |
… | |
… | |
1599 | */ |
1684 | */ |
1600 | for (i = 4; --i; ) |
1685 | for (i = 4; --i; ) |
1601 | { |
1686 | { |
1602 | rtmn_diff = ev_rt_now - mn_now; |
1687 | rtmn_diff = ev_rt_now - mn_now; |
1603 | |
1688 | |
1604 | if (fabs (odiff - rtmn_diff) < MIN_TIMEJUMP) |
1689 | if (expect_true (fabs (odiff - rtmn_diff) < MIN_TIMEJUMP)) |
1605 | return; /* all is well */ |
1690 | return; /* all is well */ |
1606 | |
1691 | |
1607 | ev_rt_now = ev_time (); |
1692 | ev_rt_now = ev_time (); |
1608 | mn_now = get_clock (); |
1693 | mn_now = get_clock (); |
1609 | now_floor = mn_now; |
1694 | now_floor = mn_now; |
… | |
… | |
1705 | |
1790 | |
1706 | waittime = MAX_BLOCKTIME; |
1791 | waittime = MAX_BLOCKTIME; |
1707 | |
1792 | |
1708 | if (timercnt) |
1793 | if (timercnt) |
1709 | { |
1794 | { |
1710 | ev_tstamp to = ev_at (timers [1]) - mn_now + backend_fudge; |
1795 | ev_tstamp to = ev_at (timers [HEAP0]) - mn_now + backend_fudge; |
1711 | if (waittime > to) waittime = to; |
1796 | if (waittime > to) waittime = to; |
1712 | } |
1797 | } |
1713 | |
1798 | |
1714 | #if EV_PERIODIC_ENABLE |
1799 | #if EV_PERIODIC_ENABLE |
1715 | if (periodiccnt) |
1800 | if (periodiccnt) |
1716 | { |
1801 | { |
1717 | ev_tstamp to = ev_at (periodics [1]) - ev_rt_now + backend_fudge; |
1802 | ev_tstamp to = ev_at (periodics [HEAP0]) - ev_rt_now + backend_fudge; |
1718 | if (waittime > to) waittime = to; |
1803 | if (waittime > to) waittime = to; |
1719 | } |
1804 | } |
1720 | #endif |
1805 | #endif |
1721 | |
1806 | |
1722 | if (expect_false (waittime < timeout_blocktime)) |
1807 | if (expect_false (waittime < timeout_blocktime)) |
… | |
… | |
1892 | |
1977 | |
1893 | ev_at (w) += mn_now; |
1978 | ev_at (w) += mn_now; |
1894 | |
1979 | |
1895 | assert (("ev_timer_start called with negative timer repeat value", w->repeat >= 0.)); |
1980 | assert (("ev_timer_start called with negative timer repeat value", w->repeat >= 0.)); |
1896 | |
1981 | |
1897 | ev_start (EV_A_ (W)w, ++timercnt); |
1982 | ev_start (EV_A_ (W)w, ++timercnt + HEAP0 - 1); |
1898 | array_needsize (WT, timers, timermax, timercnt + 1, EMPTY2); |
1983 | array_needsize (WT, timers, timermax, timercnt + HEAP0, EMPTY2); |
1899 | timers [timercnt] = (WT)w; |
1984 | timers [ev_active (w)] = (WT)w; |
1900 | upheap (timers, timercnt); |
1985 | upheap (timers, ev_active (w)); |
1901 | |
1986 | |
1902 | /*assert (("internal timer heap corruption", timers [ev_active (w)] == w));*/ |
1987 | /*assert (("internal timer heap corruption", timers [ev_active (w)] == w));*/ |
1903 | } |
1988 | } |
1904 | |
1989 | |
1905 | void noinline |
1990 | void noinline |
… | |
… | |
1912 | { |
1997 | { |
1913 | int active = ev_active (w); |
1998 | int active = ev_active (w); |
1914 | |
1999 | |
1915 | assert (("internal timer heap corruption", timers [active] == (WT)w)); |
2000 | assert (("internal timer heap corruption", timers [active] == (WT)w)); |
1916 | |
2001 | |
1917 | if (expect_true (active < timercnt)) |
2002 | if (expect_true (active < timercnt + HEAP0 - 1)) |
1918 | { |
2003 | { |
1919 | timers [active] = timers [timercnt]; |
2004 | timers [active] = timers [timercnt + HEAP0 - 1]; |
1920 | adjustheap (timers, timercnt, active); |
2005 | adjustheap (timers, timercnt, active); |
1921 | } |
2006 | } |
1922 | |
2007 | |
1923 | --timercnt; |
2008 | --timercnt; |
1924 | } |
2009 | } |
… | |
… | |
1964 | ev_at (w) = w->offset + ceil ((ev_rt_now - w->offset) / w->interval) * w->interval; |
2049 | ev_at (w) = w->offset + ceil ((ev_rt_now - w->offset) / w->interval) * w->interval; |
1965 | } |
2050 | } |
1966 | else |
2051 | else |
1967 | ev_at (w) = w->offset; |
2052 | ev_at (w) = w->offset; |
1968 | |
2053 | |
1969 | ev_start (EV_A_ (W)w, ++periodiccnt); |
2054 | ev_start (EV_A_ (W)w, ++periodiccnt + HEAP0 - 1); |
1970 | array_needsize (WT, periodics, periodicmax, periodiccnt + 1, EMPTY2); |
2055 | array_needsize (WT, periodics, periodicmax, periodiccnt + HEAP0, EMPTY2); |
1971 | periodics [periodiccnt] = (WT)w; |
2056 | periodics [ev_active (w)] = (WT)w; |
1972 | upheap (periodics, periodiccnt); |
2057 | upheap (periodics, ev_active (w)); |
1973 | |
2058 | |
1974 | /*assert (("internal periodic heap corruption", periodics [ev_active (w)] == w));*/ |
2059 | /*assert (("internal periodic heap corruption", periodics [ev_active (w)] == w));*/ |
1975 | } |
2060 | } |
1976 | |
2061 | |
1977 | void noinline |
2062 | void noinline |
… | |
… | |
1984 | { |
2069 | { |
1985 | int active = ev_active (w); |
2070 | int active = ev_active (w); |
1986 | |
2071 | |
1987 | assert (("internal periodic heap corruption", periodics [active] == (WT)w)); |
2072 | assert (("internal periodic heap corruption", periodics [active] == (WT)w)); |
1988 | |
2073 | |
1989 | if (expect_true (active < periodiccnt)) |
2074 | if (expect_true (active < periodiccnt + HEAP0 - 1)) |
1990 | { |
2075 | { |
1991 | periodics [active] = periodics [periodiccnt]; |
2076 | periodics [active] = periodics [periodiccnt + HEAP0 - 1]; |
1992 | adjustheap (periodics, periodiccnt, active); |
2077 | adjustheap (periodics, periodiccnt, active); |
1993 | } |
2078 | } |
1994 | |
2079 | |
1995 | --periodiccnt; |
2080 | --periodiccnt; |
1996 | } |
2081 | } |