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

Comparing libev/ev.html (file contents):
Revision 1.69 by root, Fri Dec 7 20:19:16 2007 UTC vs.
Revision 1.73 by root, Sat Dec 8 22:11:14 2007 UTC

4<head> 4<head>
5 <title>libev</title> 5 <title>libev</title>
6 <meta name="description" content="Pod documentation for libev" /> 6 <meta name="description" content="Pod documentation for libev" />
7 <meta name="inputfile" content="&lt;standard input&gt;" /> 7 <meta name="inputfile" content="&lt;standard input&gt;" />
8 <meta name="outputfile" content="&lt;standard output&gt;" /> 8 <meta name="outputfile" content="&lt;standard output&gt;" />
9 <meta name="created" content="Fri Dec 7 21:19:14 2007" /> 9 <meta name="created" content="Sat Dec 8 23:11:11 2007" />
10 <meta name="generator" content="Pod::Xhtml 1.57" /> 10 <meta name="generator" content="Pod::Xhtml 1.57" />
11<link rel="stylesheet" href="http://res.tst.eu/pod.css"/></head> 11<link rel="stylesheet" href="http://res.tst.eu/pod.css"/></head>
12<body> 12<body>
13<div class="pod"> 13<div class="pod">
14<!-- INDEX START --> 14<!-- INDEX START -->
529one iteration of the loop. This is useful if you are waiting for some 529one iteration of the loop. This is useful if you are waiting for some
530external event in conjunction with something not expressible using other 530external event in conjunction with something not expressible using other
531libev watchers. However, a pair of <code>ev_prepare</code>/<code>ev_check</code> watchers is 531libev watchers. However, a pair of <code>ev_prepare</code>/<code>ev_check</code> watchers is
532usually a better approach for this kind of thing.</p> 532usually a better approach for this kind of thing.</p>
533 <p>Here are the gory details of what <code>ev_loop</code> does:</p> 533 <p>Here are the gory details of what <code>ev_loop</code> does:</p>
534<pre> - Before the first iteration, call any pending watchers.
534<pre> * If there are no active watchers (reference count is zero), return. 535 * If there are no active watchers (reference count is zero), return.
535 - Queue prepare watchers and then call all outstanding watchers. 536 - Queue all prepare watchers and then call all outstanding watchers.
536 - If we have been forked, recreate the kernel state. 537 - If we have been forked, recreate the kernel state.
537 - Update the kernel state with all outstanding changes. 538 - Update the kernel state with all outstanding changes.
538 - Update the &quot;event loop time&quot;. 539 - Update the &quot;event loop time&quot;.
539 - Calculate for how long to block. 540 - Calculate for how long to block.
540 - Block the process, waiting for any events. 541 - Block the process, waiting for any events.
769 <dt>bool ev_is_pending (ev_TYPE *watcher)</dt> 770 <dt>bool ev_is_pending (ev_TYPE *watcher)</dt>
770 <dd> 771 <dd>
771 <p>Returns a true value iff the watcher is pending, (i.e. it has outstanding 772 <p>Returns a true value iff the watcher is pending, (i.e. it has outstanding
772events but its callback has not yet been invoked). As long as a watcher 773events but its callback has not yet been invoked). As long as a watcher
773is pending (but not active) you must not call an init function on it (but 774is pending (but not active) you must not call an init function on it (but
774<code>ev_TYPE_set</code> is safe) and you must make sure the watcher is available to 775<code>ev_TYPE_set</code> is safe), you must not change its priority, and you must
775libev (e.g. you cnanot <code>free ()</code> it).</p> 776make sure the watcher is available to libev (e.g. you cannot <code>free ()</code>
777it).</p>
776 </dd> 778 </dd>
777 <dt>callback ev_cb (ev_TYPE *watcher)</dt> 779 <dt>callback ev_cb (ev_TYPE *watcher)</dt>
778 <dd> 780 <dd>
779 <p>Returns the callback currently set on the watcher.</p> 781 <p>Returns the callback currently set on the watcher.</p>
780 </dd> 782 </dd>
795invocation after new events have been received. This is useful, for 797invocation after new events have been received. This is useful, for
796example, to reduce latency after idling, or more often, to bind two 798example, to reduce latency after idling, or more often, to bind two
797watchers on the same event and make sure one is called first.</p> 799watchers on the same event and make sure one is called first.</p>
798 <p>If you need to suppress invocation when higher priority events are pending 800 <p>If you need to suppress invocation when higher priority events are pending
799you need to look at <code>ev_idle</code> watchers, which provide this functionality.</p> 801you need to look at <code>ev_idle</code> watchers, which provide this functionality.</p>
802 <p>You <i>must not</i> change the priority of a watcher as long as it is active or
803pending.</p>
800 <p>The default priority used by watchers when no priority has been set is 804 <p>The default priority used by watchers when no priority has been set is
801always <code>0</code>, which is supposed to not be too high and not be too low :).</p> 805always <code>0</code>, which is supposed to not be too high and not be too low :).</p>
802 <p>Setting a priority outside the range of <code>EV_MINPRI</code> to <code>EV_MAXPRI</code> is 806 <p>Setting a priority outside the range of <code>EV_MINPRI</code> to <code>EV_MAXPRI</code> is
803fine, as long as you do not mind that the priority value you query might 807fine, as long as you do not mind that the priority value you query might
804or might not have been adjusted to be within valid range.</p> 808or might not have been adjusted to be within valid range.</p>
809 </dd>
810 <dt>ev_invoke (loop, ev_TYPE *watcher, int revents)</dt>
811 <dd>
812 <p>Invoke the <code>watcher</code> with the given <code>loop</code> and <code>revents</code>. Neither
813<code>loop</code> nor <code>revents</code> need to be valid as long as the watcher callback
814can deal with that fact.</p>
815 </dd>
816 <dt>int ev_clear_pending (loop, ev_TYPE *watcher)</dt>
817 <dd>
818 <p>If the watcher is pending, this function returns clears its pending status
819and returns its <code>revents</code> bitset (as if its callback was invoked). If the
820watcher isn't pending it does nothing and returns <code>0</code>.</p>
805 </dd> 821 </dd>
806</dl> 822</dl>
807 823
808 824
809 825
1468are ready to run (it's actually more complicated: it only runs coroutines 1484are ready to run (it's actually more complicated: it only runs coroutines
1469with priority higher than or equal to the event loop and one coroutine 1485with priority higher than or equal to the event loop and one coroutine
1470of lower priority, but only once, using idle watchers to keep the event 1486of lower priority, but only once, using idle watchers to keep the event
1471loop from blocking if lower-priority coroutines are active, thus mapping 1487loop from blocking if lower-priority coroutines are active, thus mapping
1472low-priority coroutines to idle/background tasks).</p> 1488low-priority coroutines to idle/background tasks).</p>
1489<p>It is recommended to give <code>ev_check</code> watchers highest (<code>EV_MAXPRI</code>)
1490priority, to ensure that they are being run before any other watchers
1491after the poll. Also, <code>ev_check</code> watchers (and <code>ev_prepare</code> watchers,
1492too) should not activate (&quot;feed&quot;) events into libev. While libev fully
1493supports this, they will be called before other <code>ev_check</code> watchers did
1494their job. As <code>ev_check</code> watchers are often used to embed other event
1495loops those other event loops might be in an unusable state until their
1496<code>ev_check</code> watcher ran (always remind yourself to coexist peacefully with
1497others).</p>
1473<dl> 1498<dl>
1474 <dt>ev_prepare_init (ev_prepare *, callback)</dt> 1499 <dt>ev_prepare_init (ev_prepare *, callback)</dt>
1475 <dt>ev_check_init (ev_check *, callback)</dt> 1500 <dt>ev_check_init (ev_check *, callback)</dt>
1476 <dd> 1501 <dd>
1477 <p>Initialises and configures the prepare or check watcher - they have no 1502 <p>Initialises and configures the prepare or check watcher - they have no
1478parameters of any kind. There are <code>ev_prepare_set</code> and <code>ev_check_set</code> 1503parameters of any kind. There are <code>ev_prepare_set</code> and <code>ev_check_set</code>
1479macros, but using them is utterly, utterly and completely pointless.</p> 1504macros, but using them is utterly, utterly and completely pointless.</p>
1480 </dd> 1505 </dd>
1481</dl> 1506</dl>
1482<p>Example: To include a library such as adns, you would add IO watchers 1507<p>There are a number of principal ways to embed other event loops or modules
1483and a timeout watcher in a prepare handler, as required by libadns, and 1508into libev. Here are some ideas on how to include libadns into libev
1509(there is a Perl module named <code>EV::ADNS</code> that does this, which you could
1510use for an actually working example. Another Perl module named <code>EV::Glib</code>
1511embeds a Glib main context into libev, and finally, <code>Glib::EV</code> embeds EV
1512into the Glib event loop).</p>
1513<p>Method 1: Add IO watchers and a timeout watcher in a prepare handler,
1484in a check watcher, destroy them and call into libadns. What follows is 1514and in a check watcher, destroy them and call into libadns. What follows
1485pseudo-code only of course:</p> 1515is pseudo-code only of course. This requires you to either use a low
1516priority for the check watcher or use <code>ev_clear_pending</code> explicitly, as
1517the callbacks for the IO/timeout watchers might not have been called yet.</p>
1486<pre> static ev_io iow [nfd]; 1518<pre> static ev_io iow [nfd];
1487 static ev_timer tw; 1519 static ev_timer tw;
1488 1520
1489 static void 1521 static void
1490 io_cb (ev_loop *loop, ev_io *w, int revents) 1522 io_cb (ev_loop *loop, ev_io *w, int revents)
1491 { 1523 {
1492 // set the relevant poll flags
1493 // could also call adns_processreadable etc. here
1494 struct pollfd *fd = (struct pollfd *)w-&gt;data;
1495 if (revents &amp; EV_READ ) fd-&gt;revents |= fd-&gt;events &amp; POLLIN;
1496 if (revents &amp; EV_WRITE) fd-&gt;revents |= fd-&gt;events &amp; POLLOUT;
1497 } 1524 }
1498 1525
1499 // create io watchers for each fd and a timer before blocking 1526 // create io watchers for each fd and a timer before blocking
1500 static void 1527 static void
1501 adns_prepare_cb (ev_loop *loop, ev_prepare *w, int revents) 1528 adns_prepare_cb (ev_loop *loop, ev_prepare *w, int revents)
1507 1534
1508 /* the callback is illegal, but won't be called as we stop during check */ 1535 /* the callback is illegal, but won't be called as we stop during check */
1509 ev_timer_init (&amp;tw, 0, timeout * 1e-3); 1536 ev_timer_init (&amp;tw, 0, timeout * 1e-3);
1510 ev_timer_start (loop, &amp;tw); 1537 ev_timer_start (loop, &amp;tw);
1511 1538
1512 // create on ev_io per pollfd 1539 // create one ev_io per pollfd
1513 for (int i = 0; i &lt; nfd; ++i) 1540 for (int i = 0; i &lt; nfd; ++i)
1514 { 1541 {
1515 ev_io_init (iow + i, io_cb, fds [i].fd, 1542 ev_io_init (iow + i, io_cb, fds [i].fd,
1516 ((fds [i].events &amp; POLLIN ? EV_READ : 0) 1543 ((fds [i].events &amp; POLLIN ? EV_READ : 0)
1517 | (fds [i].events &amp; POLLOUT ? EV_WRITE : 0))); 1544 | (fds [i].events &amp; POLLOUT ? EV_WRITE : 0)));
1518 1545
1519 fds [i].revents = 0; 1546 fds [i].revents = 0;
1520 iow [i].data = fds + i;
1521 ev_io_start (loop, iow + i); 1547 ev_io_start (loop, iow + i);
1522 } 1548 }
1523 } 1549 }
1524 1550
1525 // stop all watchers after blocking 1551 // stop all watchers after blocking
1527 adns_check_cb (ev_loop *loop, ev_check *w, int revents) 1553 adns_check_cb (ev_loop *loop, ev_check *w, int revents)
1528 { 1554 {
1529 ev_timer_stop (loop, &amp;tw); 1555 ev_timer_stop (loop, &amp;tw);
1530 1556
1531 for (int i = 0; i &lt; nfd; ++i) 1557 for (int i = 0; i &lt; nfd; ++i)
1558 {
1559 // set the relevant poll flags
1560 // could also call adns_processreadable etc. here
1561 struct pollfd *fd = fds + i;
1562 int revents = ev_clear_pending (iow + i);
1563 if (revents &amp; EV_READ ) fd-&gt;revents |= fd-&gt;events &amp; POLLIN;
1564 if (revents &amp; EV_WRITE) fd-&gt;revents |= fd-&gt;events &amp; POLLOUT;
1565
1566 // now stop the watcher
1532 ev_io_stop (loop, iow + i); 1567 ev_io_stop (loop, iow + i);
1568 }
1533 1569
1534 adns_afterpoll (adns, fds, nfd, timeval_from (ev_now (loop)); 1570 adns_afterpoll (adns, fds, nfd, timeval_from (ev_now (loop));
1571 }
1572
1573</pre>
1574<p>Method 2: This would be just like method 1, but you run <code>adns_afterpoll</code>
1575in the prepare watcher and would dispose of the check watcher.</p>
1576<p>Method 3: If the module to be embedded supports explicit event
1577notification (adns does), you can also make use of the actual watcher
1578callbacks, and only destroy/create the watchers in the prepare watcher.</p>
1579<pre> static void
1580 timer_cb (EV_P_ ev_timer *w, int revents)
1581 {
1582 adns_state ads = (adns_state)w-&gt;data;
1583 update_now (EV_A);
1584
1585 adns_processtimeouts (ads, &amp;tv_now);
1586 }
1587
1588 static void
1589 io_cb (EV_P_ ev_io *w, int revents)
1590 {
1591 adns_state ads = (adns_state)w-&gt;data;
1592 update_now (EV_A);
1593
1594 if (revents &amp; EV_READ ) adns_processreadable (ads, w-&gt;fd, &amp;tv_now);
1595 if (revents &amp; EV_WRITE) adns_processwriteable (ads, w-&gt;fd, &amp;tv_now);
1596 }
1597
1598 // do not ever call adns_afterpoll
1599
1600</pre>
1601<p>Method 4: Do not use a prepare or check watcher because the module you
1602want to embed is too inflexible to support it. Instead, youc na override
1603their poll function. The drawback with this solution is that the main
1604loop is now no longer controllable by EV. The <code>Glib::EV</code> module does
1605this.</p>
1606<pre> static gint
1607 event_poll_func (GPollFD *fds, guint nfds, gint timeout)
1608 {
1609 int got_events = 0;
1610
1611 for (n = 0; n &lt; nfds; ++n)
1612 // create/start io watcher that sets the relevant bits in fds[n] and increment got_events
1613
1614 if (timeout &gt;= 0)
1615 // create/start timer
1616
1617 // poll
1618 ev_loop (EV_A_ 0);
1619
1620 // stop timer again
1621 if (timeout &gt;= 0)
1622 ev_timer_stop (EV_A_ &amp;to);
1623
1624 // stop io watchers again - their callbacks should have set
1625 for (n = 0; n &lt; nfds; ++n)
1626 ev_io_stop (EV_A_ iow [n]);
1627
1628 return got_events;
1535 } 1629 }
1536 1630
1537 1631
1538 1632
1539 1633
1806 ev::io iow; 1900 ev::io iow;
1807 iow.set &lt;myclass, &amp;myclass::io_cb&gt; (&amp;obj); 1901 iow.set &lt;myclass, &amp;myclass::io_cb&gt; (&amp;obj);
1808 1902
1809</pre> 1903</pre>
1810 </dd> 1904 </dd>
1811 <dt>w-&gt;set (void (*function)(watcher &amp;w, int), void *data = 0)</dt> 1905 <dt>w-&gt;set&lt;function&gt; (void *data = 0)</dt>
1812 <dd> 1906 <dd>
1813 <p>Also sets a callback, but uses a static method or plain function as 1907 <p>Also sets a callback, but uses a static method or plain function as
1814callback. The optional <code>data</code> argument will be stored in the watcher's 1908callback. The optional <code>data</code> argument will be stored in the watcher's
1815<code>data</code> member and is free for you to use.</p> 1909<code>data</code> member and is free for you to use.</p>
1910 <p>The prototype of the <code>function</code> must be <code>void (*)(ev::TYPE &amp;w, int)</code>.</p>
1816 <p>See the method-<code>set</code> above for more details.</p> 1911 <p>See the method-<code>set</code> above for more details.</p>
1912 <p>Example:</p>
1913<pre> static void io_cb (ev::io &amp;w, int revents) { }
1914 iow.set &lt;io_cb&gt; ();
1915
1916</pre>
1817 </dd> 1917 </dd>
1818 <dt>w-&gt;set (struct ev_loop *)</dt> 1918 <dt>w-&gt;set (struct ev_loop *)</dt>
1819 <dd> 1919 <dd>
1820 <p>Associates a different <code>struct ev_loop</code> with this watcher. You can only 1920 <p>Associates a different <code>struct ev_loop</code> with this watcher. You can only
1821do this when the watcher is inactive (and not pending either).</p> 1921do this when the watcher is inactive (and not pending either).</p>

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines