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

Comparing libev/ev.pod (file contents):
Revision 1.337 by root, Sun Oct 31 20:20:20 2010 UTC vs.
Revision 1.354 by root, Tue Jan 11 01:40:25 2011 UTC

241the current system, you would need to look at C<ev_embeddable_backends () 241the current system, you would need to look at C<ev_embeddable_backends ()
242& ev_supported_backends ()>, likewise for recommended ones. 242& ev_supported_backends ()>, likewise for recommended ones.
243 243
244See the description of C<ev_embed> watchers for more info. 244See the description of C<ev_embed> watchers for more info.
245 245
246=item ev_set_allocator (void *(*cb)(void *ptr, long size)) [NOT REENTRANT] 246=item ev_set_allocator (void *(*cb)(void *ptr, long size))
247 247
248Sets the allocation function to use (the prototype is similar - the 248Sets the allocation function to use (the prototype is similar - the
249semantics are identical to the C<realloc> C89/SuS/POSIX function). It is 249semantics are identical to the C<realloc> C89/SuS/POSIX function). It is
250used to allocate and free memory (no surprises here). If it returns zero 250used to allocate and free memory (no surprises here). If it returns zero
251when memory needs to be allocated (C<size != 0>), the library might abort 251when memory needs to be allocated (C<size != 0>), the library might abort
277 } 277 }
278 278
279 ... 279 ...
280 ev_set_allocator (persistent_realloc); 280 ev_set_allocator (persistent_realloc);
281 281
282=item ev_set_syserr_cb (void (*cb)(const char *msg)); [NOT REENTRANT] 282=item ev_set_syserr_cb (void (*cb)(const char *msg))
283 283
284Set the callback function to call on a retryable system call error (such 284Set the callback function to call on a retryable system call error (such
285as failed select, poll, epoll_wait). The message is a printable string 285as failed select, poll, epoll_wait). The message is a printable string
286indicating the system call or subsystem causing the problem. If this 286indicating the system call or subsystem causing the problem. If this
287callback is set, then libev will expect it to remedy the situation, no 287callback is set, then libev will expect it to remedy the situation, no
299 } 299 }
300 300
301 ... 301 ...
302 ev_set_syserr_cb (fatal_error); 302 ev_set_syserr_cb (fatal_error);
303 303
304=item ev_feed_signal (int signum)
305
306This function can be used to "simulate" a signal receive. It is completely
307safe to call this function at any time, from any context, including signal
308handlers or random threads.
309
310Its main use is to customise signal handling in your process, especially
311in the presence of threads. For example, you could block signals
312by default in all threads (and specifying C<EVFLAG_NOSIGMASK> when
313creating any loops), and in one thread, use C<sigwait> or any other
314mechanism to wait for signals, then "deliver" them to libev by calling
315C<ev_feed_signal>.
316
304=back 317=back
305 318
306=head1 FUNCTIONS CONTROLLING EVENT LOOPS 319=head1 FUNCTIONS CONTROLLING EVENT LOOPS
307 320
308An event loop is described by a C<struct ev_loop *> (the C<struct> is 321An event loop is described by a C<struct ev_loop *> (the C<struct> is
355=item struct ev_loop *ev_loop_new (unsigned int flags) 368=item struct ev_loop *ev_loop_new (unsigned int flags)
356 369
357This will create and initialise a new event loop object. If the loop 370This will create and initialise a new event loop object. If the loop
358could not be initialised, returns false. 371could not be initialised, returns false.
359 372
360Note that this function I<is> thread-safe, and one common way to use 373This function is thread-safe, and one common way to use libev with
361libev with threads is indeed to create one loop per thread, and using the 374threads is indeed to create one loop per thread, and using the default
362default loop in the "main" or "initial" thread. 375loop in the "main" or "initial" thread.
363 376
364The flags argument can be used to specify special behaviour or specific 377The flags argument can be used to specify special behaviour or specific
365backends to use, and is usually specified as C<0> (or C<EVFLAG_AUTO>). 378backends to use, and is usually specified as C<0> (or C<EVFLAG_AUTO>).
366 379
367The following flags are supported: 380The following flags are supported:
402environment variable. 415environment variable.
403 416
404=item C<EVFLAG_NOINOTIFY> 417=item C<EVFLAG_NOINOTIFY>
405 418
406When this flag is specified, then libev will not attempt to use the 419When this flag is specified, then libev will not attempt to use the
407I<inotify> API for it's C<ev_stat> watchers. Apart from debugging and 420I<inotify> API for its C<ev_stat> watchers. Apart from debugging and
408testing, this flag can be useful to conserve inotify file descriptors, as 421testing, this flag can be useful to conserve inotify file descriptors, as
409otherwise each loop using C<ev_stat> watchers consumes one inotify handle. 422otherwise each loop using C<ev_stat> watchers consumes one inotify handle.
410 423
411=item C<EVFLAG_SIGNALFD> 424=item C<EVFLAG_SIGNALFD>
412 425
413When this flag is specified, then libev will attempt to use the 426When this flag is specified, then libev will attempt to use the
414I<signalfd> API for it's C<ev_signal> (and C<ev_child>) watchers. This API 427I<signalfd> API for its C<ev_signal> (and C<ev_child>) watchers. This API
415delivers signals synchronously, which makes it both faster and might make 428delivers signals synchronously, which makes it both faster and might make
416it possible to get the queued signal data. It can also simplify signal 429it possible to get the queued signal data. It can also simplify signal
417handling with threads, as long as you properly block signals in your 430handling with threads, as long as you properly block signals in your
418threads that are not interested in handling them. 431threads that are not interested in handling them.
419 432
420Signalfd will not be used by default as this changes your signal mask, and 433Signalfd will not be used by default as this changes your signal mask, and
421there are a lot of shoddy libraries and programs (glib's threadpool for 434there are a lot of shoddy libraries and programs (glib's threadpool for
422example) that can't properly initialise their signal masks. 435example) that can't properly initialise their signal masks.
436
437=item C<EVFLAG_NOSIGMASK>
438
439When this flag is specified, then libev will avoid to modify the signal
440mask. Specifically, this means you ahve to make sure signals are unblocked
441when you want to receive them.
442
443This behaviour is useful when you want to do your own signal handling, or
444want to handle signals only in specific threads and want to avoid libev
445unblocking the signals.
446
447This flag's behaviour will become the default in future versions of libev.
423 448
424=item C<EVBACKEND_SELECT> (value 1, portable select backend) 449=item C<EVBACKEND_SELECT> (value 1, portable select backend)
425 450
426This is your standard select(2) backend. Not I<completely> standard, as 451This is your standard select(2) backend. Not I<completely> standard, as
427libev tries to roll its own fd_set with no limits on the number of fds, 452libev tries to roll its own fd_set with no limits on the number of fds,
464 489
465The epoll mechanism deserves honorable mention as the most misdesigned 490The epoll mechanism deserves honorable mention as the most misdesigned
466of the more advanced event mechanisms: mere annoyances include silently 491of the more advanced event mechanisms: mere annoyances include silently
467dropping file descriptors, requiring a system call per change per file 492dropping file descriptors, requiring a system call per change per file
468descriptor (and unnecessary guessing of parameters), problems with dup, 493descriptor (and unnecessary guessing of parameters), problems with dup,
469returning before the timeout value requiring additional iterations and so 494returning before the timeout value, resulting in additional iterations
495(and only giving 5ms accuracy while select on the same platform gives
470on. The biggest issue is fork races, however - if a program forks then 4960.1ms) and so on. The biggest issue is fork races, however - if a program
471I<both> parent and child process have to recreate the epoll set, which can 497forks then I<both> parent and child process have to recreate the epoll
472take considerable time (one syscall per file descriptor) and is of course 498set, which can take considerable time (one syscall per file descriptor)
473hard to detect. 499and is of course hard to detect.
474 500
475Epoll is also notoriously buggy - embedding epoll fds I<should> work, but 501Epoll is also notoriously buggy - embedding epoll fds I<should> work, but
476of course I<doesn't>, and epoll just loves to report events for totally 502of course I<doesn't>, and epoll just loves to report events for totally
477I<different> file descriptors (even already closed ones, so one cannot 503I<different> file descriptors (even already closed ones, so one cannot
478even remove them from the set) than registered in the set (especially 504even remove them from the set) than registered in the set (especially
480employing an additional generation counter and comparing that against the 506employing an additional generation counter and comparing that against the
481events to filter out spurious ones, recreating the set when required. Last 507events to filter out spurious ones, recreating the set when required. Last
482not least, it also refuses to work with some file descriptors which work 508not least, it also refuses to work with some file descriptors which work
483perfectly fine with C<select> (files, many character devices...). 509perfectly fine with C<select> (files, many character devices...).
484 510
511Epoll is truly the train wreck analog among event poll mechanisms,
512a frankenpoll, cobbled together in a hurry, no thought to design or
513interaction with others.
514
485While stopping, setting and starting an I/O watcher in the same iteration 515While stopping, setting and starting an I/O watcher in the same iteration
486will result in some caching, there is still a system call per such 516will result in some caching, there is still a system call per such
487incident (because the same I<file descriptor> could point to a different 517incident (because the same I<file descriptor> could point to a different
488I<file description> now), so its best to avoid that. Also, C<dup ()>'ed 518I<file description> now), so its best to avoid that. Also, C<dup ()>'ed
489file descriptors might not work very well if you register events for both 519file descriptors might not work very well if you register events for both
554=item C<EVBACKEND_PORT> (value 32, Solaris 10) 584=item C<EVBACKEND_PORT> (value 32, Solaris 10)
555 585
556This uses the Solaris 10 event port mechanism. As with everything on Solaris, 586This uses the Solaris 10 event port mechanism. As with everything on Solaris,
557it's really slow, but it still scales very well (O(active_fds)). 587it's really slow, but it still scales very well (O(active_fds)).
558 588
559Please note that Solaris event ports can deliver a lot of spurious
560notifications, so you need to use non-blocking I/O or other means to avoid
561blocking when no data (or space) is available.
562
563While this backend scales well, it requires one system call per active 589While this backend scales well, it requires one system call per active
564file descriptor per loop iteration. For small and medium numbers of file 590file descriptor per loop iteration. For small and medium numbers of file
565descriptors a "slow" C<EVBACKEND_SELECT> or C<EVBACKEND_POLL> backend 591descriptors a "slow" C<EVBACKEND_SELECT> or C<EVBACKEND_POLL> backend
566might perform better. 592might perform better.
567 593
568On the positive side, with the exception of the spurious readiness 594On the positive side, this backend actually performed fully to
569notifications, this backend actually performed fully to specification
570in all tests and is fully embeddable, which is a rare feat among the 595specification in all tests and is fully embeddable, which is a rare feat
571OS-specific backends (I vastly prefer correctness over speed hacks). 596among the OS-specific backends (I vastly prefer correctness over speed
597hacks).
598
599On the negative side, the interface is I<bizarre> - so bizarre that
600even sun itself gets it wrong in their code examples: The event polling
601function sometimes returning events to the caller even though an error
602occurred, but with no indication whether it has done so or not (yes, it's
603even documented that way) - deadly for edge-triggered interfaces where
604you absolutely have to know whether an event occurred or not because you
605have to re-arm the watcher.
606
607Fortunately libev seems to be able to work around these idiocies.
572 608
573This backend maps C<EV_READ> and C<EV_WRITE> in the same way as 609This backend maps C<EV_READ> and C<EV_WRITE> in the same way as
574C<EVBACKEND_POLL>. 610C<EVBACKEND_POLL>.
575 611
576=item C<EVBACKEND_ALL> 612=item C<EVBACKEND_ALL>
577 613
578Try all backends (even potentially broken ones that wouldn't be tried 614Try all backends (even potentially broken ones that wouldn't be tried
579with C<EVFLAG_AUTO>). Since this is a mask, you can do stuff such as 615with C<EVFLAG_AUTO>). Since this is a mask, you can do stuff such as
580C<EVBACKEND_ALL & ~EVBACKEND_KQUEUE>. 616C<EVBACKEND_ALL & ~EVBACKEND_KQUEUE>.
581 617
582It is definitely not recommended to use this flag. 618It is definitely not recommended to use this flag, use whatever
619C<ev_recommended_backends ()> returns, or simply do not specify a backend
620at all.
621
622=item C<EVBACKEND_MASK>
623
624Not a backend at all, but a mask to select all backend bits from a
625C<flags> value, in case you want to mask out any backends from a flags
626value (e.g. when modifying the C<LIBEV_FLAGS> environment variable).
583 627
584=back 628=back
585 629
586If one or more of the backend flags are or'ed into the flags value, 630If one or more of the backend flags are or'ed into the flags value,
587then only these backends will be tried (in the reverse order as listed 631then only these backends will be tried (in the reverse order as listed
616This function is normally used on loop objects allocated by 660This function is normally used on loop objects allocated by
617C<ev_loop_new>, but it can also be used on the default loop returned by 661C<ev_loop_new>, but it can also be used on the default loop returned by
618C<ev_default_loop>, in which case it is not thread-safe. 662C<ev_default_loop>, in which case it is not thread-safe.
619 663
620Note that it is not advisable to call this function on the default loop 664Note that it is not advisable to call this function on the default loop
621except in the rare occasion where you really need to free it's resources. 665except in the rare occasion where you really need to free its resources.
622If you need dynamically allocated loops it is better to use C<ev_loop_new> 666If you need dynamically allocated loops it is better to use C<ev_loop_new>
623and C<ev_loop_destroy>. 667and C<ev_loop_destroy>.
624 668
625=item ev_loop_fork (loop) 669=item ev_loop_fork (loop)
626 670
674prepare and check phases. 718prepare and check phases.
675 719
676=item unsigned int ev_depth (loop) 720=item unsigned int ev_depth (loop)
677 721
678Returns the number of times C<ev_run> was entered minus the number of 722Returns the number of times C<ev_run> was entered minus the number of
679times C<ev_run> was exited, in other words, the recursion depth. 723times C<ev_run> was exited normally, in other words, the recursion depth.
680 724
681Outside C<ev_run>, this number is zero. In a callback, this number is 725Outside C<ev_run>, this number is zero. In a callback, this number is
682C<1>, unless C<ev_run> was invoked recursively (or from another thread), 726C<1>, unless C<ev_run> was invoked recursively (or from another thread),
683in which case it is higher. 727in which case it is higher.
684 728
685Leaving C<ev_run> abnormally (setjmp/longjmp, cancelling the thread 729Leaving C<ev_run> abnormally (setjmp/longjmp, cancelling the thread,
686etc.), doesn't count as "exit" - consider this as a hint to avoid such 730throwing an exception etc.), doesn't count as "exit" - consider this
687ungentleman-like behaviour unless it's really convenient. 731as a hint to avoid such ungentleman-like behaviour unless it's really
732convenient, in which case it is fully supported.
688 733
689=item unsigned int ev_backend (loop) 734=item unsigned int ev_backend (loop)
690 735
691Returns one of the C<EVBACKEND_*> flags indicating the event backend in 736Returns one of the C<EVBACKEND_*> flags indicating the event backend in
692use. 737use.
753relying on all watchers to be stopped when deciding when a program has 798relying on all watchers to be stopped when deciding when a program has
754finished (especially in interactive programs), but having a program 799finished (especially in interactive programs), but having a program
755that automatically loops as long as it has to and no longer by virtue 800that automatically loops as long as it has to and no longer by virtue
756of relying on its watchers stopping correctly, that is truly a thing of 801of relying on its watchers stopping correctly, that is truly a thing of
757beauty. 802beauty.
803
804This function is also I<mostly> exception-safe - you can break out of
805a C<ev_run> call by calling C<longjmp> in a callback, throwing a C++
806exception and so on. This does not decrement the C<ev_depth> value, nor
807will it clear any outstanding C<EVBREAK_ONE> breaks.
758 808
759A flags value of C<EVRUN_NOWAIT> will look for new events, will handle 809A flags value of C<EVRUN_NOWAIT> will look for new events, will handle
760those events and any already outstanding ones, but will not wait and 810those events and any already outstanding ones, but will not wait and
761block your process in case there are no events and will return after one 811block your process in case there are no events and will return after one
762iteration of the loop. This is sometimes useful to poll and handle new 812iteration of the loop. This is sometimes useful to poll and handle new
824Can be used to make a call to C<ev_run> return early (but only after it 874Can be used to make a call to C<ev_run> return early (but only after it
825has processed all outstanding events). The C<how> argument must be either 875has processed all outstanding events). The C<how> argument must be either
826C<EVBREAK_ONE>, which will make the innermost C<ev_run> call return, or 876C<EVBREAK_ONE>, which will make the innermost C<ev_run> call return, or
827C<EVBREAK_ALL>, which will make all nested C<ev_run> calls return. 877C<EVBREAK_ALL>, which will make all nested C<ev_run> calls return.
828 878
829This "break state" will be cleared when entering C<ev_run> again. 879This "break state" will be cleared on the next call to C<ev_run>.
830 880
831It is safe to call C<ev_break> from outside any C<ev_run> calls, too. 881It is safe to call C<ev_break> from outside any C<ev_run> calls, too, in
882which case it will have no effect.
832 883
833=item ev_ref (loop) 884=item ev_ref (loop)
834 885
835=item ev_unref (loop) 886=item ev_unref (loop)
836 887
857running when nothing else is active. 908running when nothing else is active.
858 909
859 ev_signal exitsig; 910 ev_signal exitsig;
860 ev_signal_init (&exitsig, sig_cb, SIGINT); 911 ev_signal_init (&exitsig, sig_cb, SIGINT);
861 ev_signal_start (loop, &exitsig); 912 ev_signal_start (loop, &exitsig);
862 evf_unref (loop); 913 ev_unref (loop);
863 914
864Example: For some weird reason, unregister the above signal handler again. 915Example: For some weird reason, unregister the above signal handler again.
865 916
866 ev_ref (loop); 917 ev_ref (loop);
867 ev_signal_stop (loop, &exitsig); 918 ev_signal_stop (loop, &exitsig);
979See also the locking example in the C<THREADS> section later in this 1030See also the locking example in the C<THREADS> section later in this
980document. 1031document.
981 1032
982=item ev_set_userdata (loop, void *data) 1033=item ev_set_userdata (loop, void *data)
983 1034
984=item ev_userdata (loop) 1035=item void *ev_userdata (loop)
985 1036
986Set and retrieve a single C<void *> associated with a loop. When 1037Set and retrieve a single C<void *> associated with a loop. When
987C<ev_set_userdata> has never been called, then C<ev_userdata> returns 1038C<ev_set_userdata> has never been called, then C<ev_userdata> returns
988C<0.> 1039C<0>.
989 1040
990These two functions can be used to associate arbitrary data with a loop, 1041These two functions can be used to associate arbitrary data with a loop,
991and are intended solely for the C<invoke_pending_cb>, C<release> and 1042and are intended solely for the C<invoke_pending_cb>, C<release> and
992C<acquire> callbacks described above, but of course can be (ab-)used for 1043C<acquire> callbacks described above, but of course can be (ab-)used for
993any other purpose as well. 1044any other purpose as well.
1565In general you can register as many read and/or write event watchers per 1616In general you can register as many read and/or write event watchers per
1566fd as you want (as long as you don't confuse yourself). Setting all file 1617fd as you want (as long as you don't confuse yourself). Setting all file
1567descriptors to non-blocking mode is also usually a good idea (but not 1618descriptors to non-blocking mode is also usually a good idea (but not
1568required if you know what you are doing). 1619required if you know what you are doing).
1569 1620
1570If you cannot use non-blocking mode, then force the use of a
1571known-to-be-good backend (at the time of this writing, this includes only
1572C<EVBACKEND_SELECT> and C<EVBACKEND_POLL>). The same applies to file
1573descriptors for which non-blocking operation makes no sense (such as
1574files) - libev doesn't guarantee any specific behaviour in that case.
1575
1576Another thing you have to watch out for is that it is quite easy to 1621Another thing you have to watch out for is that it is quite easy to
1577receive "spurious" readiness notifications, that is your callback might 1622receive "spurious" readiness notifications, that is, your callback might
1578be called with C<EV_READ> but a subsequent C<read>(2) will actually block 1623be called with C<EV_READ> but a subsequent C<read>(2) will actually block
1579because there is no data. Not only are some backends known to create a 1624because there is no data. It is very easy to get into this situation even
1580lot of those (for example Solaris ports), it is very easy to get into 1625with a relatively standard program structure. Thus it is best to always
1581this situation even with a relatively standard program structure. Thus 1626use non-blocking I/O: An extra C<read>(2) returning C<EAGAIN> is far
1582it is best to always use non-blocking I/O: An extra C<read>(2) returning
1583C<EAGAIN> is far preferable to a program hanging until some data arrives. 1627preferable to a program hanging until some data arrives.
1584 1628
1585If you cannot run the fd in non-blocking mode (for example you should 1629If you cannot run the fd in non-blocking mode (for example you should
1586not play around with an Xlib connection), then you have to separately 1630not play around with an Xlib connection), then you have to separately
1587re-test whether a file descriptor is really ready with a known-to-be good 1631re-test whether a file descriptor is really ready with a known-to-be good
1588interface such as poll (fortunately in our Xlib example, Xlib already 1632interface such as poll (fortunately in the case of Xlib, it already does
1589does this on its own, so its quite safe to use). Some people additionally 1633this on its own, so its quite safe to use). Some people additionally
1590use C<SIGALRM> and an interval timer, just to be sure you won't block 1634use C<SIGALRM> and an interval timer, just to be sure you won't block
1591indefinitely. 1635indefinitely.
1592 1636
1593But really, best use non-blocking mode. 1637But really, best use non-blocking mode.
1594 1638
1622 1666
1623There is no workaround possible except not registering events 1667There is no workaround possible except not registering events
1624for potentially C<dup ()>'ed file descriptors, or to resort to 1668for potentially C<dup ()>'ed file descriptors, or to resort to
1625C<EVBACKEND_SELECT> or C<EVBACKEND_POLL>. 1669C<EVBACKEND_SELECT> or C<EVBACKEND_POLL>.
1626 1670
1671=head3 The special problem of files
1672
1673Many people try to use C<select> (or libev) on file descriptors
1674representing files, and expect it to become ready when their program
1675doesn't block on disk accesses (which can take a long time on their own).
1676
1677However, this cannot ever work in the "expected" way - you get a readiness
1678notification as soon as the kernel knows whether and how much data is
1679there, and in the case of open files, that's always the case, so you
1680always get a readiness notification instantly, and your read (or possibly
1681write) will still block on the disk I/O.
1682
1683Another way to view it is that in the case of sockets, pipes, character
1684devices and so on, there is another party (the sender) that delivers data
1685on it's own, but in the case of files, there is no such thing: the disk
1686will not send data on it's own, simply because it doesn't know what you
1687wish to read - you would first have to request some data.
1688
1689Since files are typically not-so-well supported by advanced notification
1690mechanism, libev tries hard to emulate POSIX behaviour with respect
1691to files, even though you should not use it. The reason for this is
1692convenience: sometimes you want to watch STDIN or STDOUT, which is
1693usually a tty, often a pipe, but also sometimes files or special devices
1694(for example, C<epoll> on Linux works with F</dev/random> but not with
1695F</dev/urandom>), and even though the file might better be served with
1696asynchronous I/O instead of with non-blocking I/O, it is still useful when
1697it "just works" instead of freezing.
1698
1699So avoid file descriptors pointing to files when you know it (e.g. use
1700libeio), but use them when it is convenient, e.g. for STDIN/STDOUT, or
1701when you rarely read from a file instead of from a socket, and want to
1702reuse the same code path.
1703
1627=head3 The special problem of fork 1704=head3 The special problem of fork
1628 1705
1629Some backends (epoll, kqueue) do not support C<fork ()> at all or exhibit 1706Some backends (epoll, kqueue) do not support C<fork ()> at all or exhibit
1630useless behaviour. Libev fully supports fork, but needs to be told about 1707useless behaviour. Libev fully supports fork, but needs to be told about
1631it in the child. 1708it in the child if you want to continue to use it in the child.
1632 1709
1633To support fork in your programs, you either have to call 1710To support fork in your child processes, you have to call C<ev_loop_fork
1634C<ev_default_fork ()> or C<ev_loop_fork ()> after a fork in the child, 1711()> after a fork in the child, enable C<EVFLAG_FORKCHECK>, or resort to
1635enable C<EVFLAG_FORKCHECK>, or resort to C<EVBACKEND_SELECT> or 1712C<EVBACKEND_SELECT> or C<EVBACKEND_POLL>.
1636C<EVBACKEND_POLL>.
1637 1713
1638=head3 The special problem of SIGPIPE 1714=head3 The special problem of SIGPIPE
1639 1715
1640While not really specific to libev, it is easy to forget about C<SIGPIPE>: 1716While not really specific to libev, it is easy to forget about C<SIGPIPE>:
1641when writing to a pipe whose other end has been closed, your program gets 1717when writing to a pipe whose other end has been closed, your program gets
2257 2333
2258=head2 C<ev_signal> - signal me when a signal gets signalled! 2334=head2 C<ev_signal> - signal me when a signal gets signalled!
2259 2335
2260Signal watchers will trigger an event when the process receives a specific 2336Signal watchers will trigger an event when the process receives a specific
2261signal one or more times. Even though signals are very asynchronous, libev 2337signal one or more times. Even though signals are very asynchronous, libev
2262will try it's best to deliver signals synchronously, i.e. as part of the 2338will try its best to deliver signals synchronously, i.e. as part of the
2263normal event processing, like any other event. 2339normal event processing, like any other event.
2264 2340
2265If you want signals to be delivered truly asynchronously, just use 2341If you want signals to be delivered truly asynchronously, just use
2266C<sigaction> as you would do without libev and forget about sharing 2342C<sigaction> as you would do without libev and forget about sharing
2267the signal. You can even use C<ev_async> from a signal handler to 2343the signal. You can even use C<ev_async> from a signal handler to
2309I<has> to modify the signal mask, at least temporarily. 2385I<has> to modify the signal mask, at least temporarily.
2310 2386
2311So I can't stress this enough: I<If you do not reset your signal mask when 2387So I can't stress this enough: I<If you do not reset your signal mask when
2312you expect it to be empty, you have a race condition in your code>. This 2388you expect it to be empty, you have a race condition in your code>. This
2313is not a libev-specific thing, this is true for most event libraries. 2389is not a libev-specific thing, this is true for most event libraries.
2390
2391=head3 The special problem of threads signal handling
2392
2393POSIX threads has problematic signal handling semantics, specifically,
2394a lot of functionality (sigfd, sigwait etc.) only really works if all
2395threads in a process block signals, which is hard to achieve.
2396
2397When you want to use sigwait (or mix libev signal handling with your own
2398for the same signals), you can tackle this problem by globally blocking
2399all signals before creating any threads (or creating them with a fully set
2400sigprocmask) and also specifying the C<EVFLAG_NOSIGMASK> when creating
2401loops. Then designate one thread as "signal receiver thread" which handles
2402these signals. You can pass on any signals that libev might be interested
2403in by calling C<ev_feed_signal>.
2314 2404
2315=head3 Watcher-Specific Functions and Data Members 2405=head3 Watcher-Specific Functions and Data Members
2316 2406
2317=over 4 2407=over 4
2318 2408
3165it by calling C<ev_async_send>, which is thread- and signal safe. 3255it by calling C<ev_async_send>, which is thread- and signal safe.
3166 3256
3167This functionality is very similar to C<ev_signal> watchers, as signals, 3257This functionality is very similar to C<ev_signal> watchers, as signals,
3168too, are asynchronous in nature, and signals, too, will be compressed 3258too, are asynchronous in nature, and signals, too, will be compressed
3169(i.e. the number of callback invocations may be less than the number of 3259(i.e. the number of callback invocations may be less than the number of
3170C<ev_async_sent> calls). 3260C<ev_async_sent> calls). In fact, you could use signal watchers as a kind
3261of "global async watchers" by using a watcher on an otherwise unused
3262signal, and C<ev_feed_signal> to signal this watcher from another thread,
3263even without knowing which loop owns the signal.
3171 3264
3172Unlike C<ev_signal> watchers, C<ev_async> works with any event loop, not 3265Unlike C<ev_signal> watchers, C<ev_async> works with any event loop, not
3173just the default loop. 3266just the default loop.
3174 3267
3175=head3 Queueing 3268=head3 Queueing
3351Feed an event on the given fd, as if a file descriptor backend detected 3444Feed an event on the given fd, as if a file descriptor backend detected
3352the given events it. 3445the given events it.
3353 3446
3354=item ev_feed_signal_event (loop, int signum) 3447=item ev_feed_signal_event (loop, int signum)
3355 3448
3356Feed an event as if the given signal occurred (C<loop> must be the default 3449Feed an event as if the given signal occurred. See also C<ev_feed_signal>,
3357loop!). 3450which is async-safe.
3451
3452=back
3453
3454
3455=head1 COMMON OR USEFUL IDIOMS (OR BOTH)
3456
3457This section explains some common idioms that are not immediately
3458obvious. Note that examples are sprinkled over the whole manual, and this
3459section only contains stuff that wouldn't fit anywhere else.
3460
3461=over 4
3462
3463=item Model/nested event loop invocations and exit conditions.
3464
3465Often (especially in GUI toolkits) there are places where you have
3466I<modal> interaction, which is most easily implemented by recursively
3467invoking C<ev_run>.
3468
3469This brings the problem of exiting - a callback might want to finish the
3470main C<ev_run> call, but not the nested one (e.g. user clicked "Quit", but
3471a modal "Are you sure?" dialog is still waiting), or just the nested one
3472and not the main one (e.g. user clocked "Ok" in a modal dialog), or some
3473other combination: In these cases, C<ev_break> will not work alone.
3474
3475The solution is to maintain "break this loop" variable for each C<ev_run>
3476invocation, and use a loop around C<ev_run> until the condition is
3477triggered, using C<EVRUN_ONCE>:
3478
3479 // main loop
3480 int exit_main_loop = 0;
3481
3482 while (!exit_main_loop)
3483 ev_run (EV_DEFAULT_ EVRUN_ONCE);
3484
3485 // in a model watcher
3486 int exit_nested_loop = 0;
3487
3488 while (!exit_nested_loop)
3489 ev_run (EV_A_ EVRUN_ONCE);
3490
3491To exit from any of these loops, just set the corresponding exit variable:
3492
3493 // exit modal loop
3494 exit_nested_loop = 1;
3495
3496 // exit main program, after modal loop is finished
3497 exit_main_loop = 1;
3498
3499 // exit both
3500 exit_main_loop = exit_nested_loop = 1;
3501
3502=item Thread locking example
3503
3504Here is a fictitious example of how to run an event loop in a different
3505thread than where callbacks are being invoked and watchers are
3506created/added/removed.
3507
3508For a real-world example, see the C<EV::Loop::Async> perl module,
3509which uses exactly this technique (which is suited for many high-level
3510languages).
3511
3512The example uses a pthread mutex to protect the loop data, a condition
3513variable to wait for callback invocations, an async watcher to notify the
3514event loop thread and an unspecified mechanism to wake up the main thread.
3515
3516First, you need to associate some data with the event loop:
3517
3518 typedef struct {
3519 mutex_t lock; /* global loop lock */
3520 ev_async async_w;
3521 thread_t tid;
3522 cond_t invoke_cv;
3523 } userdata;
3524
3525 void prepare_loop (EV_P)
3526 {
3527 // for simplicity, we use a static userdata struct.
3528 static userdata u;
3529
3530 ev_async_init (&u->async_w, async_cb);
3531 ev_async_start (EV_A_ &u->async_w);
3532
3533 pthread_mutex_init (&u->lock, 0);
3534 pthread_cond_init (&u->invoke_cv, 0);
3535
3536 // now associate this with the loop
3537 ev_set_userdata (EV_A_ u);
3538 ev_set_invoke_pending_cb (EV_A_ l_invoke);
3539 ev_set_loop_release_cb (EV_A_ l_release, l_acquire);
3540
3541 // then create the thread running ev_loop
3542 pthread_create (&u->tid, 0, l_run, EV_A);
3543 }
3544
3545The callback for the C<ev_async> watcher does nothing: the watcher is used
3546solely to wake up the event loop so it takes notice of any new watchers
3547that might have been added:
3548
3549 static void
3550 async_cb (EV_P_ ev_async *w, int revents)
3551 {
3552 // just used for the side effects
3553 }
3554
3555The C<l_release> and C<l_acquire> callbacks simply unlock/lock the mutex
3556protecting the loop data, respectively.
3557
3558 static void
3559 l_release (EV_P)
3560 {
3561 userdata *u = ev_userdata (EV_A);
3562 pthread_mutex_unlock (&u->lock);
3563 }
3564
3565 static void
3566 l_acquire (EV_P)
3567 {
3568 userdata *u = ev_userdata (EV_A);
3569 pthread_mutex_lock (&u->lock);
3570 }
3571
3572The event loop thread first acquires the mutex, and then jumps straight
3573into C<ev_run>:
3574
3575 void *
3576 l_run (void *thr_arg)
3577 {
3578 struct ev_loop *loop = (struct ev_loop *)thr_arg;
3579
3580 l_acquire (EV_A);
3581 pthread_setcanceltype (PTHREAD_CANCEL_ASYNCHRONOUS, 0);
3582 ev_run (EV_A_ 0);
3583 l_release (EV_A);
3584
3585 return 0;
3586 }
3587
3588Instead of invoking all pending watchers, the C<l_invoke> callback will
3589signal the main thread via some unspecified mechanism (signals? pipe
3590writes? C<Async::Interrupt>?) and then waits until all pending watchers
3591have been called (in a while loop because a) spurious wakeups are possible
3592and b) skipping inter-thread-communication when there are no pending
3593watchers is very beneficial):
3594
3595 static void
3596 l_invoke (EV_P)
3597 {
3598 userdata *u = ev_userdata (EV_A);
3599
3600 while (ev_pending_count (EV_A))
3601 {
3602 wake_up_other_thread_in_some_magic_or_not_so_magic_way ();
3603 pthread_cond_wait (&u->invoke_cv, &u->lock);
3604 }
3605 }
3606
3607Now, whenever the main thread gets told to invoke pending watchers, it
3608will grab the lock, call C<ev_invoke_pending> and then signal the loop
3609thread to continue:
3610
3611 static void
3612 real_invoke_pending (EV_P)
3613 {
3614 userdata *u = ev_userdata (EV_A);
3615
3616 pthread_mutex_lock (&u->lock);
3617 ev_invoke_pending (EV_A);
3618 pthread_cond_signal (&u->invoke_cv);
3619 pthread_mutex_unlock (&u->lock);
3620 }
3621
3622Whenever you want to start/stop a watcher or do other modifications to an
3623event loop, you will now have to lock:
3624
3625 ev_timer timeout_watcher;
3626 userdata *u = ev_userdata (EV_A);
3627
3628 ev_timer_init (&timeout_watcher, timeout_cb, 5.5, 0.);
3629
3630 pthread_mutex_lock (&u->lock);
3631 ev_timer_start (EV_A_ &timeout_watcher);
3632 ev_async_send (EV_A_ &u->async_w);
3633 pthread_mutex_unlock (&u->lock);
3634
3635Note that sending the C<ev_async> watcher is required because otherwise
3636an event loop currently blocking in the kernel will have no knowledge
3637about the newly added timer. By waking up the loop it will pick up any new
3638watchers in the next event loop iteration.
3358 3639
3359=back 3640=back
3360 3641
3361 3642
3362=head1 LIBEVENT EMULATION 3643=head1 LIBEVENT EMULATION
3363 3644
3364Libev offers a compatibility emulation layer for libevent. It cannot 3645Libev offers a compatibility emulation layer for libevent. It cannot
3365emulate the internals of libevent, so here are some usage hints: 3646emulate the internals of libevent, so here are some usage hints:
3366 3647
3367=over 4 3648=over 4
3649
3650=item * Only the libevent-1.4.1-beta API is being emulated.
3651
3652This was the newest libevent version available when libev was implemented,
3653and is still mostly unchanged in 2010.
3368 3654
3369=item * Use it by including <event.h>, as usual. 3655=item * Use it by including <event.h>, as usual.
3370 3656
3371=item * The following members are fully supported: ev_base, ev_callback, 3657=item * The following members are fully supported: ev_base, ev_callback,
3372ev_arg, ev_fd, ev_res, ev_events. 3658ev_arg, ev_fd, ev_res, ev_events.
3378=item * Priorities are not currently supported. Initialising priorities 3664=item * Priorities are not currently supported. Initialising priorities
3379will fail and all watchers will have the same priority, even though there 3665will fail and all watchers will have the same priority, even though there
3380is an ev_pri field. 3666is an ev_pri field.
3381 3667
3382=item * In libevent, the last base created gets the signals, in libev, the 3668=item * In libevent, the last base created gets the signals, in libev, the
3383first base created (== the default loop) gets the signals. 3669base that registered the signal gets the signals.
3384 3670
3385=item * Other members are not supported. 3671=item * Other members are not supported.
3386 3672
3387=item * The libev emulation is I<not> ABI compatible to libevent, you need 3673=item * The libev emulation is I<not> ABI compatible to libevent, you need
3388to use the libev header file and library. 3674to use the libev header file and library.
3407Care has been taken to keep the overhead low. The only data member the C++ 3693Care has been taken to keep the overhead low. The only data member the C++
3408classes add (compared to plain C-style watchers) is the event loop pointer 3694classes add (compared to plain C-style watchers) is the event loop pointer
3409that the watcher is associated with (or no additional members at all if 3695that the watcher is associated with (or no additional members at all if
3410you disable C<EV_MULTIPLICITY> when embedding libev). 3696you disable C<EV_MULTIPLICITY> when embedding libev).
3411 3697
3412Currently, functions, and static and non-static member functions can be 3698Currently, functions, static and non-static member functions and classes
3413used as callbacks. Other types should be easy to add as long as they only 3699with C<operator ()> can be used as callbacks. Other types should be easy
3414need one additional pointer for context. If you need support for other 3700to add as long as they only need one additional pointer for context. If
3415types of functors please contact the author (preferably after implementing 3701you need support for other types of functors please contact the author
3416it). 3702(preferably after implementing it).
3417 3703
3418Here is a list of things available in the C<ev> namespace: 3704Here is a list of things available in the C<ev> namespace:
3419 3705
3420=over 4 3706=over 4
3421 3707
4350default loop and triggering an C<ev_async> watcher from the default loop 4636default loop and triggering an C<ev_async> watcher from the default loop
4351watcher callback into the event loop interested in the signal. 4637watcher callback into the event loop interested in the signal.
4352 4638
4353=back 4639=back
4354 4640
4355=head4 THREAD LOCKING EXAMPLE 4641See also L<Thread locking example>.
4356
4357Here is a fictitious example of how to run an event loop in a different
4358thread than where callbacks are being invoked and watchers are
4359created/added/removed.
4360
4361For a real-world example, see the C<EV::Loop::Async> perl module,
4362which uses exactly this technique (which is suited for many high-level
4363languages).
4364
4365The example uses a pthread mutex to protect the loop data, a condition
4366variable to wait for callback invocations, an async watcher to notify the
4367event loop thread and an unspecified mechanism to wake up the main thread.
4368
4369First, you need to associate some data with the event loop:
4370
4371 typedef struct {
4372 mutex_t lock; /* global loop lock */
4373 ev_async async_w;
4374 thread_t tid;
4375 cond_t invoke_cv;
4376 } userdata;
4377
4378 void prepare_loop (EV_P)
4379 {
4380 // for simplicity, we use a static userdata struct.
4381 static userdata u;
4382
4383 ev_async_init (&u->async_w, async_cb);
4384 ev_async_start (EV_A_ &u->async_w);
4385
4386 pthread_mutex_init (&u->lock, 0);
4387 pthread_cond_init (&u->invoke_cv, 0);
4388
4389 // now associate this with the loop
4390 ev_set_userdata (EV_A_ u);
4391 ev_set_invoke_pending_cb (EV_A_ l_invoke);
4392 ev_set_loop_release_cb (EV_A_ l_release, l_acquire);
4393
4394 // then create the thread running ev_loop
4395 pthread_create (&u->tid, 0, l_run, EV_A);
4396 }
4397
4398The callback for the C<ev_async> watcher does nothing: the watcher is used
4399solely to wake up the event loop so it takes notice of any new watchers
4400that might have been added:
4401
4402 static void
4403 async_cb (EV_P_ ev_async *w, int revents)
4404 {
4405 // just used for the side effects
4406 }
4407
4408The C<l_release> and C<l_acquire> callbacks simply unlock/lock the mutex
4409protecting the loop data, respectively.
4410
4411 static void
4412 l_release (EV_P)
4413 {
4414 userdata *u = ev_userdata (EV_A);
4415 pthread_mutex_unlock (&u->lock);
4416 }
4417
4418 static void
4419 l_acquire (EV_P)
4420 {
4421 userdata *u = ev_userdata (EV_A);
4422 pthread_mutex_lock (&u->lock);
4423 }
4424
4425The event loop thread first acquires the mutex, and then jumps straight
4426into C<ev_run>:
4427
4428 void *
4429 l_run (void *thr_arg)
4430 {
4431 struct ev_loop *loop = (struct ev_loop *)thr_arg;
4432
4433 l_acquire (EV_A);
4434 pthread_setcanceltype (PTHREAD_CANCEL_ASYNCHRONOUS, 0);
4435 ev_run (EV_A_ 0);
4436 l_release (EV_A);
4437
4438 return 0;
4439 }
4440
4441Instead of invoking all pending watchers, the C<l_invoke> callback will
4442signal the main thread via some unspecified mechanism (signals? pipe
4443writes? C<Async::Interrupt>?) and then waits until all pending watchers
4444have been called (in a while loop because a) spurious wakeups are possible
4445and b) skipping inter-thread-communication when there are no pending
4446watchers is very beneficial):
4447
4448 static void
4449 l_invoke (EV_P)
4450 {
4451 userdata *u = ev_userdata (EV_A);
4452
4453 while (ev_pending_count (EV_A))
4454 {
4455 wake_up_other_thread_in_some_magic_or_not_so_magic_way ();
4456 pthread_cond_wait (&u->invoke_cv, &u->lock);
4457 }
4458 }
4459
4460Now, whenever the main thread gets told to invoke pending watchers, it
4461will grab the lock, call C<ev_invoke_pending> and then signal the loop
4462thread to continue:
4463
4464 static void
4465 real_invoke_pending (EV_P)
4466 {
4467 userdata *u = ev_userdata (EV_A);
4468
4469 pthread_mutex_lock (&u->lock);
4470 ev_invoke_pending (EV_A);
4471 pthread_cond_signal (&u->invoke_cv);
4472 pthread_mutex_unlock (&u->lock);
4473 }
4474
4475Whenever you want to start/stop a watcher or do other modifications to an
4476event loop, you will now have to lock:
4477
4478 ev_timer timeout_watcher;
4479 userdata *u = ev_userdata (EV_A);
4480
4481 ev_timer_init (&timeout_watcher, timeout_cb, 5.5, 0.);
4482
4483 pthread_mutex_lock (&u->lock);
4484 ev_timer_start (EV_A_ &timeout_watcher);
4485 ev_async_send (EV_A_ &u->async_w);
4486 pthread_mutex_unlock (&u->lock);
4487
4488Note that sending the C<ev_async> watcher is required because otherwise
4489an event loop currently blocking in the kernel will have no knowledge
4490about the newly added timer. By waking up the loop it will pick up any new
4491watchers in the next event loop iteration.
4492 4642
4493=head3 COROUTINES 4643=head3 COROUTINES
4494 4644
4495Libev is very accommodating to coroutines ("cooperative threads"): 4645Libev is very accommodating to coroutines ("cooperative threads"):
4496libev fully supports nesting calls to its functions from different 4646libev fully supports nesting calls to its functions from different

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines