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

Comparing libev/ev.pod (file contents):
Revision 1.456 by root, Tue Jul 2 06:07:54 2019 UTC vs.
Revision 1.469 by root, Sat Jun 3 08:53:03 2023 UTC

480unblocking the signals. 480unblocking the signals.
481 481
482It's also required by POSIX in a threaded program, as libev calls 482It's also required by POSIX in a threaded program, as libev calls
483C<sigprocmask>, whose behaviour is officially unspecified. 483C<sigprocmask>, whose behaviour is officially unspecified.
484 484
485This flag's behaviour will become the default in future versions of libev. 485=item C<EVFLAG_NOTIMERFD>
486
487When this flag is specified, the libev will avoid using a C<timerfd> to
488detect time jumps. It will still be able to detect time jumps, but takes
489longer and has a lower accuracy in doing so, but saves a file descriptor
490per loop.
491
492The current implementation only tries to use a C<timerfd> when the first
493C<ev_periodic> watcher is started and falls back on other methods if it
494cannot be created, but this behaviour might change in the future.
486 495
487=item C<EVBACKEND_SELECT> (value 1, portable select backend) 496=item C<EVBACKEND_SELECT> (value 1, portable select backend)
488 497
489This is your standard select(2) backend. Not I<completely> standard, as 498This is your standard select(2) backend. Not I<completely> standard, as
490libev tries to roll its own fd_set with no limits on the number of fds, 499libev tries to roll its own fd_set with no limits on the number of fds,
666and is not embeddable, which would limit the usefulness of this backend 675and is not embeddable, which would limit the usefulness of this backend
667immensely. 676immensely.
668 677
669=item C<EVBACKEND_PORT> (value 32, Solaris 10) 678=item C<EVBACKEND_PORT> (value 32, Solaris 10)
670 679
671This uses the Solaris 10 event port mechanism. As with everything on Solaris, 680This uses the Solaris 10 event port mechanism. As with everything on
672it's really slow, but it still scales very well (O(active_fds)). 681Solaris, it's really slow, but it still scales very well (O(active_fds)).
673 682
674While this backend scales well, it requires one system call per active 683While this backend scales well, it requires one system call per active
675file descriptor per loop iteration. For small and medium numbers of file 684file descriptor per loop iteration. For small and medium numbers of file
676descriptors a "slow" C<EVBACKEND_SELECT> or C<EVBACKEND_POLL> backend 685descriptors a "slow" C<EVBACKEND_SELECT> or C<EVBACKEND_POLL> backend
677might perform better. 686might perform better.
950 - Queue all expired timers. 959 - Queue all expired timers.
951 - Queue all expired periodics. 960 - Queue all expired periodics.
952 - Queue all idle watchers with priority higher than that of pending events. 961 - Queue all idle watchers with priority higher than that of pending events.
953 - Queue all check watchers. 962 - Queue all check watchers.
954 - Call all queued watchers in reverse order (i.e. check watchers first). 963 - Call all queued watchers in reverse order (i.e. check watchers first).
955 Signals and child watchers are implemented as I/O watchers, and will 964 Signals, async and child watchers are implemented as I/O watchers, and
956 be handled here by queueing them when their watcher gets executed. 965 will be handled here by queueing them when their watcher gets executed.
957 - If ev_break has been called, or EVRUN_ONCE or EVRUN_NOWAIT 966 - If ev_break has been called, or EVRUN_ONCE or EVRUN_NOWAIT
958 were used, or there are no active watchers, goto FINISH, otherwise 967 were used, or there are no active watchers, goto FINISH, otherwise
959 continue with step LOOP. 968 continue with step LOOP.
960 FINISH: 969 FINISH:
961 - Reset the ev_break status iff it was EVBREAK_ONE. 970 - Reset the ev_break status iff it was EVBREAK_ONE.
1209with a watcher-specific start function (C<< ev_TYPE_start (loop, watcher 1218with a watcher-specific start function (C<< ev_TYPE_start (loop, watcher
1210*) >>), and you can stop watching for events at any time by calling the 1219*) >>), and you can stop watching for events at any time by calling the
1211corresponding stop function (C<< ev_TYPE_stop (loop, watcher *) >>. 1220corresponding stop function (C<< ev_TYPE_stop (loop, watcher *) >>.
1212 1221
1213As long as your watcher is active (has been started but not stopped) you 1222As long as your watcher is active (has been started but not stopped) you
1214must not touch the values stored in it. Most specifically you must never 1223must not touch the values stored in it except when explicitly documented
1215reinitialise it or call its C<ev_TYPE_set> macro. 1224otherwise. Most specifically you must never reinitialise it or call its
1225C<ev_TYPE_set> macro.
1216 1226
1217Each and every callback receives the event loop pointer as first, the 1227Each and every callback receives the event loop pointer as first, the
1218registered watcher structure as second, and a bitset of received events as 1228registered watcher structure as second, and a bitset of received events as
1219third argument. 1229third argument.
1220 1230
1386 1396
1387=item bool ev_is_active (ev_TYPE *watcher) 1397=item bool ev_is_active (ev_TYPE *watcher)
1388 1398
1389Returns a true value iff the watcher is active (i.e. it has been started 1399Returns a true value iff the watcher is active (i.e. it has been started
1390and not yet been stopped). As long as a watcher is active you must not modify 1400and not yet been stopped). As long as a watcher is active you must not modify
1391it. 1401it unless documented otherwise.
1402
1403Obviously, it is safe to call this on an active watcher, or actually any
1404watcher that is initialised.
1392 1405
1393=item bool ev_is_pending (ev_TYPE *watcher) 1406=item bool ev_is_pending (ev_TYPE *watcher)
1394 1407
1395Returns a true value iff the watcher is pending, (i.e. it has outstanding 1408Returns a true value iff the watcher is pending, (i.e. it has outstanding
1396events but its callback has not yet been invoked). As long as a watcher 1409events but its callback has not yet been invoked). As long as a watcher
1397is pending (but not active) you must not call an init function on it (but 1410is pending (but not active) you must not call an init function on it (but
1398C<ev_TYPE_set> is safe), you must not change its priority, and you must 1411C<ev_TYPE_set> is safe), you must not change its priority, and you must
1399make sure the watcher is available to libev (e.g. you cannot C<free ()> 1412make sure the watcher is available to libev (e.g. you cannot C<free ()>
1400it). 1413it).
1401 1414
1415It is safe to call this on any watcher in any state as long as it is
1416initialised.
1417
1402=item callback ev_cb (ev_TYPE *watcher) 1418=item callback ev_cb (ev_TYPE *watcher)
1403 1419
1404Returns the callback currently set on the watcher. 1420Returns the callback currently set on the watcher.
1405 1421
1406=item ev_set_cb (ev_TYPE *watcher, callback) 1422=item ev_set_cb (ev_TYPE *watcher, callback)
1419from being executed (except for C<ev_idle> watchers). 1435from being executed (except for C<ev_idle> watchers).
1420 1436
1421If you need to suppress invocation when higher priority events are pending 1437If you need to suppress invocation when higher priority events are pending
1422you need to look at C<ev_idle> watchers, which provide this functionality. 1438you need to look at C<ev_idle> watchers, which provide this functionality.
1423 1439
1424You I<must not> change the priority of a watcher as long as it is active or 1440You I<must not> change the priority of a watcher as long as it is active
1425pending. 1441or pending. Reading the priority with C<ev_priority> is fine in any state.
1426 1442
1427Setting a priority outside the range of C<EV_MINPRI> to C<EV_MAXPRI> is 1443Setting a priority outside the range of C<EV_MINPRI> to C<EV_MAXPRI> is
1428fine, as long as you do not mind that the priority value you query might 1444fine, as long as you do not mind that the priority value you query might
1429or might not have been clamped to the valid range. 1445or might not have been clamped to the valid range.
1430 1446
1452 1468
1453=item ev_feed_event (loop, ev_TYPE *watcher, int revents) 1469=item ev_feed_event (loop, ev_TYPE *watcher, int revents)
1454 1470
1455Feeds the given event set into the event loop, as if the specified event 1471Feeds the given event set into the event loop, as if the specified event
1456had happened for the specified watcher (which must be a pointer to an 1472had happened for the specified watcher (which must be a pointer to an
1457initialised but not necessarily started event watcher). Obviously you must 1473initialised but not necessarily started event watcher, though it can be
1458not free the watcher as long as it has pending events. 1474active). Obviously you must not free the watcher as long as it has pending
1475events.
1459 1476
1460Stopping the watcher, letting libev invoke it, or calling 1477Stopping the watcher, letting libev invoke it, or calling
1461C<ev_clear_pending> will clear the pending event, even if the watcher was 1478C<ev_clear_pending> will clear the pending event, even if the watcher was
1462not started in the first place. 1479not started in the first place.
1463 1480
1491 1508
1492=item started/running/active 1509=item started/running/active
1493 1510
1494Once a watcher has been started with a call to C<ev_TYPE_start> it becomes 1511Once a watcher has been started with a call to C<ev_TYPE_start> it becomes
1495property of the event loop, and is actively waiting for events. While in 1512property of the event loop, and is actively waiting for events. While in
1496this state it cannot be accessed (except in a few documented ways), moved, 1513this state it cannot be accessed (except in a few documented ways, such as
1497freed or anything else - the only legal thing is to keep a pointer to it, 1514stoping it), moved, freed or anything else - the only legal thing is to
1498and call libev functions on it that are documented to work on active watchers. 1515keep a pointer to it, and call libev functions on it that are documented
1516to work on active watchers.
1517
1518As a rule of thumb, before accessing a member or calling any function on
1519a watcher, it should be stopped (or freshly initialised). If that is not
1520convenient, you can check the documentation for that function or member to
1521see if it is safe to use on an active watcher.
1499 1522
1500=item pending 1523=item pending
1501 1524
1502If a watcher is active and libev determines that an event it is interested 1525If a watcher is active and libev determines that an event it is interested
1503in has occurred (such as a timer expiring), it will become pending. It will 1526in has occurred (such as a timer expiring), it will become pending. It
1504stay in this pending state until either it is stopped or its callback is 1527will stay in this pending state until either it is explicitly stopped or
1505about to be invoked, so it is not normally pending inside the watcher 1528its callback is about to be invoked, so it is not normally pending inside
1506callback. 1529the watcher callback.
1507 1530
1508The watcher might or might not be active while it is pending (for example, 1531Generally, the watcher might or might not be active while it is pending
1509an expired non-repeating timer can be pending but no longer active). If it 1532(for example, an expired non-repeating timer can be pending but no longer
1510is stopped, it can be freely accessed (e.g. by calling C<ev_TYPE_set>), 1533active). If it is pending but not active, it can be freely accessed (e.g.
1511but it is still property of the event loop at this time, so cannot be 1534by calling C<ev_TYPE_set>), but it is still property of the event loop at
1512moved, freed or reused. And if it is active the rules described in the 1535this time, so cannot be moved, freed or reused. And if it is active the
1513previous item still apply. 1536rules described in the previous item still apply.
1537
1538Explicitly stopping a watcher will also clear the pending state
1539unconditionally, so it is safe to stop a watcher and then free it.
1514 1540
1515It is also possible to feed an event on a watcher that is not active (e.g. 1541It is also possible to feed an event on a watcher that is not active (e.g.
1516via C<ev_feed_event>), in which case it becomes pending without being 1542via C<ev_feed_event>), in which case it becomes pending without being
1517active. 1543active.
1518 1544
1535 1561
1536Many event loops support I<watcher priorities>, which are usually small 1562Many event loops support I<watcher priorities>, which are usually small
1537integers that influence the ordering of event callback invocation 1563integers that influence the ordering of event callback invocation
1538between watchers in some way, all else being equal. 1564between watchers in some way, all else being equal.
1539 1565
1540In libev, Watcher priorities can be set using C<ev_set_priority>. See its 1566In libev, watcher priorities can be set using C<ev_set_priority>. See its
1541description for the more technical details such as the actual priority 1567description for the more technical details such as the actual priority
1542range. 1568range.
1543 1569
1544There are two common ways how these these priorities are being interpreted 1570There are two common ways how these these priorities are being interpreted
1545by event loops: 1571by event loops:
1639 1665
1640This section describes each watcher in detail, but will not repeat 1666This section describes each watcher in detail, but will not repeat
1641information given in the last section. Any initialisation/set macros, 1667information given in the last section. Any initialisation/set macros,
1642functions and members specific to the watcher type are explained. 1668functions and members specific to the watcher type are explained.
1643 1669
1644Members are additionally marked with either I<[read-only]>, meaning that, 1670Most members are additionally marked with either I<[read-only]>, meaning
1645while the watcher is active, you can look at the member and expect some 1671that, while the watcher is active, you can look at the member and expect
1646sensible content, but you must not modify it (you can modify it while the 1672some sensible content, but you must not modify it (you can modify it while
1647watcher is stopped to your hearts content), or I<[read-write]>, which 1673the watcher is stopped to your hearts content), or I<[read-write]>, which
1648means you can expect it to have some sensible content while the watcher 1674means you can expect it to have some sensible content while the watcher is
1649is active, but you can also modify it. Modifying it may not do something 1675active, but you can also modify it (within the same thread as the event
1676loop, i.e. without creating data races). Modifying it may not do something
1650sensible or take immediate effect (or do anything at all), but libev will 1677sensible or take immediate effect (or do anything at all), but libev will
1651not crash or malfunction in any way. 1678not crash or malfunction in any way.
1652 1679
1680In any case, the documentation for each member will explain what the
1681effects are, and if there are any additional access restrictions.
1653 1682
1654=head2 C<ev_io> - is this file descriptor readable or writable? 1683=head2 C<ev_io> - is this file descriptor readable or writable?
1655 1684
1656I/O watchers check whether a file descriptor is readable or writable 1685I/O watchers check whether a file descriptor is readable or writable
1657in each iteration of the event loop, or, more precisely, when reading 1686in each iteration of the event loop, or, more precisely, when reading
1817=item ev_io_init (ev_io *, callback, int fd, int events) 1846=item ev_io_init (ev_io *, callback, int fd, int events)
1818 1847
1819=item ev_io_set (ev_io *, int fd, int events) 1848=item ev_io_set (ev_io *, int fd, int events)
1820 1849
1821Configures an C<ev_io> watcher. The C<fd> is the file descriptor to 1850Configures an C<ev_io> watcher. The C<fd> is the file descriptor to
1822receive events for and C<events> is either C<EV_READ>, C<EV_WRITE> or 1851receive events for and C<events> is either C<EV_READ>, C<EV_WRITE>, both
1823C<EV_READ | EV_WRITE>, to express the desire to receive the given events. 1852C<EV_READ | EV_WRITE> or C<0>, to express the desire to receive the given
1853events.
1824 1854
1825=item int fd [read-only] 1855Note that setting the C<events> to C<0> and starting the watcher is
1856supported, but not specially optimized - if your program sometimes happens
1857to generate this combination this is fine, but if it is easy to avoid
1858starting an io watcher watching for no events you should do so.
1826 1859
1827The file descriptor being watched. 1860=item ev_io_modify (ev_io *, int events)
1828 1861
1862Similar to C<ev_io_set>, but only changes the requested events. Using this
1863might be faster with some backends, as libev can assume that the C<fd>
1864still refers to the same underlying file description, something it cannot
1865do when using C<ev_io_set>.
1866
1867=item int fd [no-modify]
1868
1869The file descriptor being watched. While it can be read at any time, you
1870must not modify this member even when the watcher is stopped - always use
1871C<ev_io_set> for that.
1872
1829=item int events [read-only] 1873=item int events [no-modify]
1830 1874
1831The events being watched. 1875The set of events the fd is being watched for, among other flags. Remember
1876that this is a bit set - to test for C<EV_READ>, use C<< w->events &
1877EV_READ >>, and similarly for C<EV_WRITE>.
1878
1879As with C<fd>, you must not modify this member even when the watcher is
1880stopped, always use C<ev_io_set> or C<ev_io_modify> for that.
1832 1881
1833=back 1882=back
1834 1883
1835=head3 Examples 1884=head3 Examples
1836 1885
3829event loop thread and an unspecified mechanism to wake up the main thread. 3878event loop thread and an unspecified mechanism to wake up the main thread.
3830 3879
3831First, you need to associate some data with the event loop: 3880First, you need to associate some data with the event loop:
3832 3881
3833 typedef struct { 3882 typedef struct {
3834 mutex_t lock; /* global loop lock */ 3883 pthread_mutex_t lock; /* global loop lock */
3884 pthread_t tid;
3885 pthread_cond_t invoke_cv;
3835 ev_async async_w; 3886 ev_async async_w;
3836 thread_t tid;
3837 cond_t invoke_cv;
3838 } userdata; 3887 } userdata;
3839 3888
3840 void prepare_loop (EV_P) 3889 void prepare_loop (EV_P)
3841 { 3890 {
3842 // for simplicity, we use a static userdata struct. 3891 // for simplicity, we use a static userdata struct.
3843 static userdata u; 3892 static userdata u;
3844 3893
3845 ev_async_init (&u->async_w, async_cb); 3894 ev_async_init (&u.async_w, async_cb);
3846 ev_async_start (EV_A_ &u->async_w); 3895 ev_async_start (EV_A_ &u.async_w);
3847 3896
3848 pthread_mutex_init (&u->lock, 0); 3897 pthread_mutex_init (&u.lock, 0);
3849 pthread_cond_init (&u->invoke_cv, 0); 3898 pthread_cond_init (&u.invoke_cv, 0);
3850 3899
3851 // now associate this with the loop 3900 // now associate this with the loop
3852 ev_set_userdata (EV_A_ u); 3901 ev_set_userdata (EV_A_ &u);
3853 ev_set_invoke_pending_cb (EV_A_ l_invoke); 3902 ev_set_invoke_pending_cb (EV_A_ l_invoke);
3854 ev_set_loop_release_cb (EV_A_ l_release, l_acquire); 3903 ev_set_loop_release_cb (EV_A_ l_release, l_acquire);
3855 3904
3856 // then create the thread running ev_run 3905 // then create the thread running ev_run
3857 pthread_create (&u->tid, 0, l_run, EV_A); 3906 pthread_create (&u.tid, 0, l_run, EV_A);
3858 } 3907 }
3859 3908
3860The callback for the C<ev_async> watcher does nothing: the watcher is used 3909The callback for the C<ev_async> watcher does nothing: the watcher is used
3861solely to wake up the event loop so it takes notice of any new watchers 3910solely to wake up the event loop so it takes notice of any new watchers
3862that might have been added: 3911that might have been added:
4233gets automatically stopped and restarted when reconfiguring it with this 4282gets automatically stopped and restarted when reconfiguring it with this
4234method. 4283method.
4235 4284
4236For C<ev::embed> watchers this method is called C<set_embed>, to avoid 4285For C<ev::embed> watchers this method is called C<set_embed>, to avoid
4237clashing with the C<set (loop)> method. 4286clashing with the C<set (loop)> method.
4287
4288For C<ev::io> watchers there is an additional C<set> method that acepts a
4289new event mask only, and internally calls C<ev_io_modify>.
4238 4290
4239=item w->start () 4291=item w->start ()
4240 4292
4241Starts the watcher. Note that there is no C<loop> argument, as the 4293Starts the watcher. Note that there is no C<loop> argument, as the
4242constructor already stores the event loop. 4294constructor already stores the event loop.
4606 4658
4607=item EV_USE_NANOSLEEP 4659=item EV_USE_NANOSLEEP
4608 4660
4609If defined to be C<1>, libev will assume that C<nanosleep ()> is available 4661If defined to be C<1>, libev will assume that C<nanosleep ()> is available
4610and will use it for delays. Otherwise it will use C<select ()>. 4662and will use it for delays. Otherwise it will use C<select ()>.
4663
4664=item EV_USE_EVENTFD
4665
4666If defined to be C<1>, then libev will assume that C<eventfd ()> is
4667available and will probe for kernel support at runtime. This will improve
4668C<ev_signal> and C<ev_async> performance and reduce resource consumption.
4669If undefined, it will be enabled if the headers indicate GNU/Linux + Glibc
46702.7 or newer, otherwise disabled.
4671
4672=item EV_USE_SIGNALFD
4673
4674If defined to be C<1>, then libev will assume that C<signalfd ()> is
4675available and will probe for kernel support at runtime. This enables
4676the use of EVFLAG_SIGNALFD for faster and simpler signal handling. If
4677undefined, it will be enabled if the headers indicate GNU/Linux + Glibc
46782.7 or newer, otherwise disabled.
4679
4680=item EV_USE_TIMERFD
4681
4682If defined to be C<1>, then libev will assume that C<timerfd ()> is
4683available and will probe for kernel support at runtime. This allows
4684libev to detect time jumps accurately. If undefined, it will be enabled
4685if the headers indicate GNU/Linux + Glibc 2.8 or newer and define
4686C<TFD_TIMER_CANCEL_ON_SET>, otherwise disabled.
4611 4687
4612=item EV_USE_EVENTFD 4688=item EV_USE_EVENTFD
4613 4689
4614If defined to be C<1>, then libev will assume that C<eventfd ()> is 4690If defined to be C<1>, then libev will assume that C<eventfd ()> is
4615available and will probe for kernel support at runtime. This will improve 4691available and will probe for kernel support at runtime. This will improve

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines