| 1 |
<?xml version="1.0" encoding="UTF-8"?> |
| 2 |
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd"> |
| 3 |
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en"> |
| 4 |
<head> |
| 5 |
<title>libev</title> |
| 6 |
<meta name="description" content="Pod documentation for libev" /> |
| 7 |
<meta name="inputfile" content="<standard input>" /> |
| 8 |
<meta name="outputfile" content="<standard output>" /> |
| 9 |
<meta name="created" content="Wed Dec 12 18:55:28 2007" /> |
| 10 |
<meta name="generator" content="Pod::Xhtml 1.57" /> |
| 11 |
<link rel="stylesheet" href="http://res.tst.eu/pod.css"/></head> |
| 12 |
<body> |
| 13 |
<div class="pod"> |
| 14 |
<!-- INDEX START --> |
| 15 |
<h3 id="TOP">Index</h3> |
| 16 |
|
| 17 |
<ul><li><a href="#NAME">NAME</a></li> |
| 18 |
<li><a href="#SYNOPSIS">SYNOPSIS</a></li> |
| 19 |
<li><a href="#EXAMPLE_PROGRAM">EXAMPLE PROGRAM</a></li> |
| 20 |
<li><a href="#DESCRIPTION">DESCRIPTION</a></li> |
| 21 |
<li><a href="#FEATURES">FEATURES</a></li> |
| 22 |
<li><a href="#CONVENTIONS">CONVENTIONS</a></li> |
| 23 |
<li><a href="#TIME_REPRESENTATION">TIME REPRESENTATION</a></li> |
| 24 |
<li><a href="#GLOBAL_FUNCTIONS">GLOBAL FUNCTIONS</a></li> |
| 25 |
<li><a href="#FUNCTIONS_CONTROLLING_THE_EVENT_LOOP">FUNCTIONS CONTROLLING THE EVENT LOOP</a></li> |
| 26 |
<li><a href="#ANATOMY_OF_A_WATCHER">ANATOMY OF A WATCHER</a> |
| 27 |
<ul><li><a href="#GENERIC_WATCHER_FUNCTIONS">GENERIC WATCHER FUNCTIONS</a></li> |
| 28 |
<li><a href="#ASSOCIATING_CUSTOM_DATA_WITH_A_WATCH">ASSOCIATING CUSTOM DATA WITH A WATCHER</a></li> |
| 29 |
</ul> |
| 30 |
</li> |
| 31 |
<li><a href="#WATCHER_TYPES">WATCHER TYPES</a> |
| 32 |
<ul><li><a href="#code_ev_io_code_is_this_file_descrip"><code>ev_io</code> - is this file descriptor readable or writable?</a> |
| 33 |
<ul><li><a href="#The_special_problem_of_disappearing_">The special problem of disappearing file descriptors</a></li> |
| 34 |
<li><a href="#Watcher_Specific_Functions">Watcher-Specific Functions</a></li> |
| 35 |
</ul> |
| 36 |
</li> |
| 37 |
<li><a href="#code_ev_timer_code_relative_and_opti"><code>ev_timer</code> - relative and optionally repeating timeouts</a> |
| 38 |
<ul><li><a href="#Watcher_Specific_Functions_and_Data_">Watcher-Specific Functions and Data Members</a></li> |
| 39 |
</ul> |
| 40 |
</li> |
| 41 |
<li><a href="#code_ev_periodic_code_to_cron_or_not"><code>ev_periodic</code> - to cron or not to cron?</a> |
| 42 |
<ul><li><a href="#Watcher_Specific_Functions_and_Data_-3">Watcher-Specific Functions and Data Members</a></li> |
| 43 |
</ul> |
| 44 |
</li> |
| 45 |
<li><a href="#code_ev_signal_code_signal_me_when_a"><code>ev_signal</code> - signal me when a signal gets signalled!</a> |
| 46 |
<ul><li><a href="#Watcher_Specific_Functions_and_Data_-4">Watcher-Specific Functions and Data Members</a></li> |
| 47 |
</ul> |
| 48 |
</li> |
| 49 |
<li><a href="#code_ev_child_code_watch_out_for_pro"><code>ev_child</code> - watch out for process status changes</a> |
| 50 |
<ul><li><a href="#Watcher_Specific_Functions_and_Data_-5">Watcher-Specific Functions and Data Members</a></li> |
| 51 |
</ul> |
| 52 |
</li> |
| 53 |
<li><a href="#code_ev_stat_code_did_the_file_attri"><code>ev_stat</code> - did the file attributes just change?</a> |
| 54 |
<ul><li><a href="#Watcher_Specific_Functions_and_Data_-6">Watcher-Specific Functions and Data Members</a></li> |
| 55 |
</ul> |
| 56 |
</li> |
| 57 |
<li><a href="#code_ev_idle_code_when_you_ve_got_no"><code>ev_idle</code> - when you've got nothing better to do...</a> |
| 58 |
<ul><li><a href="#Watcher_Specific_Functions_and_Data_-7">Watcher-Specific Functions and Data Members</a></li> |
| 59 |
</ul> |
| 60 |
</li> |
| 61 |
<li><a href="#code_ev_prepare_code_and_code_ev_che"><code>ev_prepare</code> and <code>ev_check</code> - customise your event loop!</a> |
| 62 |
<ul><li><a href="#Watcher_Specific_Functions_and_Data_-8">Watcher-Specific Functions and Data Members</a></li> |
| 63 |
</ul> |
| 64 |
</li> |
| 65 |
<li><a href="#code_ev_embed_code_when_one_backend_"><code>ev_embed</code> - when one backend isn't enough...</a> |
| 66 |
<ul><li><a href="#Watcher_Specific_Functions_and_Data_-9">Watcher-Specific Functions and Data Members</a></li> |
| 67 |
</ul> |
| 68 |
</li> |
| 69 |
<li><a href="#code_ev_fork_code_the_audacity_to_re"><code>ev_fork</code> - the audacity to resume the event loop after a fork</a> |
| 70 |
<ul><li><a href="#Watcher_Specific_Functions_and_Data_-10">Watcher-Specific Functions and Data Members</a></li> |
| 71 |
</ul> |
| 72 |
</li> |
| 73 |
</ul> |
| 74 |
</li> |
| 75 |
<li><a href="#OTHER_FUNCTIONS">OTHER FUNCTIONS</a></li> |
| 76 |
<li><a href="#LIBEVENT_EMULATION">LIBEVENT EMULATION</a></li> |
| 77 |
<li><a href="#C_SUPPORT">C++ SUPPORT</a></li> |
| 78 |
<li><a href="#MACRO_MAGIC">MACRO MAGIC</a></li> |
| 79 |
<li><a href="#EMBEDDING">EMBEDDING</a> |
| 80 |
<ul><li><a href="#FILESETS">FILESETS</a> |
| 81 |
<ul><li><a href="#CORE_EVENT_LOOP">CORE EVENT LOOP</a></li> |
| 82 |
<li><a href="#LIBEVENT_COMPATIBILITY_API">LIBEVENT COMPATIBILITY API</a></li> |
| 83 |
<li><a href="#AUTOCONF_SUPPORT">AUTOCONF SUPPORT</a></li> |
| 84 |
</ul> |
| 85 |
</li> |
| 86 |
<li><a href="#PREPROCESSOR_SYMBOLS_MACROS">PREPROCESSOR SYMBOLS/MACROS</a></li> |
| 87 |
<li><a href="#EXAMPLES">EXAMPLES</a></li> |
| 88 |
</ul> |
| 89 |
</li> |
| 90 |
<li><a href="#COMPLEXITIES">COMPLEXITIES</a></li> |
| 91 |
<li><a href="#AUTHOR">AUTHOR</a> |
| 92 |
</li> |
| 93 |
</ul><hr /> |
| 94 |
<!-- INDEX END --> |
| 95 |
|
| 96 |
<h1 id="NAME">NAME</h1> |
| 97 |
<div id="NAME_CONTENT"> |
| 98 |
<p>libev - a high performance full-featured event loop written in C</p> |
| 99 |
|
| 100 |
</div> |
| 101 |
<h1 id="SYNOPSIS">SYNOPSIS</h1> |
| 102 |
<div id="SYNOPSIS_CONTENT"> |
| 103 |
<pre> #include <ev.h> |
| 104 |
|
| 105 |
</pre> |
| 106 |
|
| 107 |
</div> |
| 108 |
<h1 id="EXAMPLE_PROGRAM">EXAMPLE PROGRAM</h1> |
| 109 |
<div id="EXAMPLE_PROGRAM_CONTENT"> |
| 110 |
<pre> #include <ev.h> |
| 111 |
|
| 112 |
ev_io stdin_watcher; |
| 113 |
ev_timer timeout_watcher; |
| 114 |
|
| 115 |
/* called when data readable on stdin */ |
| 116 |
static void |
| 117 |
stdin_cb (EV_P_ struct ev_io *w, int revents) |
| 118 |
{ |
| 119 |
/* puts ("stdin ready"); */ |
| 120 |
ev_io_stop (EV_A_ w); /* just a syntax example */ |
| 121 |
ev_unloop (EV_A_ EVUNLOOP_ALL); /* leave all loop calls */ |
| 122 |
} |
| 123 |
|
| 124 |
static void |
| 125 |
timeout_cb (EV_P_ struct ev_timer *w, int revents) |
| 126 |
{ |
| 127 |
/* puts ("timeout"); */ |
| 128 |
ev_unloop (EV_A_ EVUNLOOP_ONE); /* leave one loop call */ |
| 129 |
} |
| 130 |
|
| 131 |
int |
| 132 |
main (void) |
| 133 |
{ |
| 134 |
struct ev_loop *loop = ev_default_loop (0); |
| 135 |
|
| 136 |
/* initialise an io watcher, then start it */ |
| 137 |
ev_io_init (&stdin_watcher, stdin_cb, /*STDIN_FILENO*/ 0, EV_READ); |
| 138 |
ev_io_start (loop, &stdin_watcher); |
| 139 |
|
| 140 |
/* simple non-repeating 5.5 second timeout */ |
| 141 |
ev_timer_init (&timeout_watcher, timeout_cb, 5.5, 0.); |
| 142 |
ev_timer_start (loop, &timeout_watcher); |
| 143 |
|
| 144 |
/* loop till timeout or data ready */ |
| 145 |
ev_loop (loop, 0); |
| 146 |
|
| 147 |
return 0; |
| 148 |
} |
| 149 |
|
| 150 |
</pre> |
| 151 |
|
| 152 |
</div> |
| 153 |
<h1 id="DESCRIPTION">DESCRIPTION</h1> |
| 154 |
<div id="DESCRIPTION_CONTENT"> |
| 155 |
<p>The newest version of this document is also available as a html-formatted |
| 156 |
web page you might find easier to navigate when reading it for the first |
| 157 |
time: <a href="http://cvs.schmorp.de/libev/ev.html">http://cvs.schmorp.de/libev/ev.html</a>.</p> |
| 158 |
<p>Libev is an event loop: you register interest in certain events (such as a |
| 159 |
file descriptor being readable or a timeout occuring), and it will manage |
| 160 |
these event sources and provide your program with events.</p> |
| 161 |
<p>To do this, it must take more or less complete control over your process |
| 162 |
(or thread) by executing the <i>event loop</i> handler, and will then |
| 163 |
communicate events via a callback mechanism.</p> |
| 164 |
<p>You register interest in certain events by registering so-called <i>event |
| 165 |
watchers</i>, which are relatively small C structures you initialise with the |
| 166 |
details of the event, and then hand it over to libev by <i>starting</i> the |
| 167 |
watcher.</p> |
| 168 |
|
| 169 |
</div> |
| 170 |
<h1 id="FEATURES">FEATURES</h1> |
| 171 |
<div id="FEATURES_CONTENT"> |
| 172 |
<p>Libev supports <code>select</code>, <code>poll</code>, the Linux-specific <code>epoll</code>, the |
| 173 |
BSD-specific <code>kqueue</code> and the Solaris-specific event port mechanisms |
| 174 |
for file descriptor events (<code>ev_io</code>), the Linux <code>inotify</code> interface |
| 175 |
(for <code>ev_stat</code>), relative timers (<code>ev_timer</code>), absolute timers |
| 176 |
with customised rescheduling (<code>ev_periodic</code>), synchronous signals |
| 177 |
(<code>ev_signal</code>), process status change events (<code>ev_child</code>), and event |
| 178 |
watchers dealing with the event loop mechanism itself (<code>ev_idle</code>, |
| 179 |
<code>ev_embed</code>, <code>ev_prepare</code> and <code>ev_check</code> watchers) as well as |
| 180 |
file watchers (<code>ev_stat</code>) and even limited support for fork events |
| 181 |
(<code>ev_fork</code>).</p> |
| 182 |
<p>It also is quite fast (see this |
| 183 |
<a href="http://libev.schmorp.de/bench.html">benchmark</a> comparing it to libevent |
| 184 |
for example).</p> |
| 185 |
|
| 186 |
</div> |
| 187 |
<h1 id="CONVENTIONS">CONVENTIONS</h1> |
| 188 |
<div id="CONVENTIONS_CONTENT"> |
| 189 |
<p>Libev is very configurable. In this manual the default configuration will |
| 190 |
be described, which supports multiple event loops. For more info about |
| 191 |
various configuration options please have a look at <strong>EMBED</strong> section in |
| 192 |
this manual. If libev was configured without support for multiple event |
| 193 |
loops, then all functions taking an initial argument of name <code>loop</code> |
| 194 |
(which is always of type <code>struct ev_loop *</code>) will not have this argument.</p> |
| 195 |
|
| 196 |
</div> |
| 197 |
<h1 id="TIME_REPRESENTATION">TIME REPRESENTATION</h1> |
| 198 |
<div id="TIME_REPRESENTATION_CONTENT"> |
| 199 |
<p>Libev represents time as a single floating point number, representing the |
| 200 |
(fractional) number of seconds since the (POSIX) epoch (somewhere near |
| 201 |
the beginning of 1970, details are complicated, don't ask). This type is |
| 202 |
called <code>ev_tstamp</code>, which is what you should use too. It usually aliases |
| 203 |
to the <code>double</code> type in C, and when you need to do any calculations on |
| 204 |
it, you should treat it as such.</p> |
| 205 |
|
| 206 |
</div> |
| 207 |
<h1 id="GLOBAL_FUNCTIONS">GLOBAL FUNCTIONS</h1> |
| 208 |
<div id="GLOBAL_FUNCTIONS_CONTENT"> |
| 209 |
<p>These functions can be called anytime, even before initialising the |
| 210 |
library in any way.</p> |
| 211 |
<dl> |
| 212 |
<dt>ev_tstamp ev_time ()</dt> |
| 213 |
<dd> |
| 214 |
<p>Returns the current time as libev would use it. Please note that the |
| 215 |
<code>ev_now</code> function is usually faster and also often returns the timestamp |
| 216 |
you actually want to know.</p> |
| 217 |
</dd> |
| 218 |
<dt>int ev_version_major ()</dt> |
| 219 |
<dt>int ev_version_minor ()</dt> |
| 220 |
<dd> |
| 221 |
<p>You can find out the major and minor ABI version numbers of the library |
| 222 |
you linked against by calling the functions <code>ev_version_major</code> and |
| 223 |
<code>ev_version_minor</code>. If you want, you can compare against the global |
| 224 |
symbols <code>EV_VERSION_MAJOR</code> and <code>EV_VERSION_MINOR</code>, which specify the |
| 225 |
version of the library your program was compiled against.</p> |
| 226 |
<p>These version numbers refer to the ABI version of the library, not the |
| 227 |
release version.</p> |
| 228 |
<p>Usually, it's a good idea to terminate if the major versions mismatch, |
| 229 |
as this indicates an incompatible change. Minor versions are usually |
| 230 |
compatible to older versions, so a larger minor version alone is usually |
| 231 |
not a problem.</p> |
| 232 |
<p>Example: Make sure we haven't accidentally been linked against the wrong |
| 233 |
version.</p> |
| 234 |
<pre> assert (("libev version mismatch", |
| 235 |
ev_version_major () == EV_VERSION_MAJOR |
| 236 |
&& ev_version_minor () >= EV_VERSION_MINOR)); |
| 237 |
|
| 238 |
</pre> |
| 239 |
</dd> |
| 240 |
<dt>unsigned int ev_supported_backends ()</dt> |
| 241 |
<dd> |
| 242 |
<p>Return the set of all backends (i.e. their corresponding <code>EV_BACKEND_*</code> |
| 243 |
value) compiled into this binary of libev (independent of their |
| 244 |
availability on the system you are running on). See <code>ev_default_loop</code> for |
| 245 |
a description of the set values.</p> |
| 246 |
<p>Example: make sure we have the epoll method, because yeah this is cool and |
| 247 |
a must have and can we have a torrent of it please!!!11</p> |
| 248 |
<pre> assert (("sorry, no epoll, no sex", |
| 249 |
ev_supported_backends () & EVBACKEND_EPOLL)); |
| 250 |
|
| 251 |
</pre> |
| 252 |
</dd> |
| 253 |
<dt>unsigned int ev_recommended_backends ()</dt> |
| 254 |
<dd> |
| 255 |
<p>Return the set of all backends compiled into this binary of libev and also |
| 256 |
recommended for this platform. This set is often smaller than the one |
| 257 |
returned by <code>ev_supported_backends</code>, as for example kqueue is broken on |
| 258 |
most BSDs and will not be autodetected unless you explicitly request it |
| 259 |
(assuming you know what you are doing). This is the set of backends that |
| 260 |
libev will probe for if you specify no backends explicitly.</p> |
| 261 |
</dd> |
| 262 |
<dt>unsigned int ev_embeddable_backends ()</dt> |
| 263 |
<dd> |
| 264 |
<p>Returns the set of backends that are embeddable in other event loops. This |
| 265 |
is the theoretical, all-platform, value. To find which backends |
| 266 |
might be supported on the current system, you would need to look at |
| 267 |
<code>ev_embeddable_backends () & ev_supported_backends ()</code>, likewise for |
| 268 |
recommended ones.</p> |
| 269 |
<p>See the description of <code>ev_embed</code> watchers for more info.</p> |
| 270 |
</dd> |
| 271 |
<dt>ev_set_allocator (void *(*cb)(void *ptr, long size))</dt> |
| 272 |
<dd> |
| 273 |
<p>Sets the allocation function to use (the prototype is similar - the |
| 274 |
semantics is identical - to the realloc C function). It is used to |
| 275 |
allocate and free memory (no surprises here). If it returns zero when |
| 276 |
memory needs to be allocated, the library might abort or take some |
| 277 |
potentially destructive action. The default is your system realloc |
| 278 |
function.</p> |
| 279 |
<p>You could override this function in high-availability programs to, say, |
| 280 |
free some memory if it cannot allocate memory, to use a special allocator, |
| 281 |
or even to sleep a while and retry until some memory is available.</p> |
| 282 |
<p>Example: Replace the libev allocator with one that waits a bit and then |
| 283 |
retries).</p> |
| 284 |
<pre> static void * |
| 285 |
persistent_realloc (void *ptr, size_t size) |
| 286 |
{ |
| 287 |
for (;;) |
| 288 |
{ |
| 289 |
void *newptr = realloc (ptr, size); |
| 290 |
|
| 291 |
if (newptr) |
| 292 |
return newptr; |
| 293 |
|
| 294 |
sleep (60); |
| 295 |
} |
| 296 |
} |
| 297 |
|
| 298 |
... |
| 299 |
ev_set_allocator (persistent_realloc); |
| 300 |
|
| 301 |
</pre> |
| 302 |
</dd> |
| 303 |
<dt>ev_set_syserr_cb (void (*cb)(const char *msg));</dt> |
| 304 |
<dd> |
| 305 |
<p>Set the callback function to call on a retryable syscall error (such |
| 306 |
as failed select, poll, epoll_wait). The message is a printable string |
| 307 |
indicating the system call or subsystem causing the problem. If this |
| 308 |
callback is set, then libev will expect it to remedy the sitution, no |
| 309 |
matter what, when it returns. That is, libev will generally retry the |
| 310 |
requested operation, or, if the condition doesn't go away, do bad stuff |
| 311 |
(such as abort).</p> |
| 312 |
<p>Example: This is basically the same thing that libev does internally, too.</p> |
| 313 |
<pre> static void |
| 314 |
fatal_error (const char *msg) |
| 315 |
{ |
| 316 |
perror (msg); |
| 317 |
abort (); |
| 318 |
} |
| 319 |
|
| 320 |
... |
| 321 |
ev_set_syserr_cb (fatal_error); |
| 322 |
|
| 323 |
</pre> |
| 324 |
</dd> |
| 325 |
</dl> |
| 326 |
|
| 327 |
</div> |
| 328 |
<h1 id="FUNCTIONS_CONTROLLING_THE_EVENT_LOOP">FUNCTIONS CONTROLLING THE EVENT LOOP</h1> |
| 329 |
<div id="FUNCTIONS_CONTROLLING_THE_EVENT_LOOP-2"> |
| 330 |
<p>An event loop is described by a <code>struct ev_loop *</code>. The library knows two |
| 331 |
types of such loops, the <i>default</i> loop, which supports signals and child |
| 332 |
events, and dynamically created loops which do not.</p> |
| 333 |
<p>If you use threads, a common model is to run the default event loop |
| 334 |
in your main thread (or in a separate thread) and for each thread you |
| 335 |
create, you also create another event loop. Libev itself does no locking |
| 336 |
whatsoever, so if you mix calls to the same event loop in different |
| 337 |
threads, make sure you lock (this is usually a bad idea, though, even if |
| 338 |
done correctly, because it's hideous and inefficient).</p> |
| 339 |
<dl> |
| 340 |
<dt>struct ev_loop *ev_default_loop (unsigned int flags)</dt> |
| 341 |
<dd> |
| 342 |
<p>This will initialise the default event loop if it hasn't been initialised |
| 343 |
yet and return it. If the default loop could not be initialised, returns |
| 344 |
false. If it already was initialised it simply returns it (and ignores the |
| 345 |
flags. If that is troubling you, check <code>ev_backend ()</code> afterwards).</p> |
| 346 |
<p>If you don't know what event loop to use, use the one returned from this |
| 347 |
function.</p> |
| 348 |
<p>The flags argument can be used to specify special behaviour or specific |
| 349 |
backends to use, and is usually specified as <code>0</code> (or <code>EVFLAG_AUTO</code>).</p> |
| 350 |
<p>The following flags are supported:</p> |
| 351 |
<p> |
| 352 |
<dl> |
| 353 |
<dt><code>EVFLAG_AUTO</code></dt> |
| 354 |
<dd> |
| 355 |
<p>The default flags value. Use this if you have no clue (it's the right |
| 356 |
thing, believe me).</p> |
| 357 |
</dd> |
| 358 |
<dt><code>EVFLAG_NOENV</code></dt> |
| 359 |
<dd> |
| 360 |
<p>If this flag bit is ored into the flag value (or the program runs setuid |
| 361 |
or setgid) then libev will <i>not</i> look at the environment variable |
| 362 |
<code>LIBEV_FLAGS</code>. Otherwise (the default), this environment variable will |
| 363 |
override the flags completely if it is found in the environment. This is |
| 364 |
useful to try out specific backends to test their performance, or to work |
| 365 |
around bugs.</p> |
| 366 |
</dd> |
| 367 |
<dt><code>EVFLAG_FORKCHECK</code></dt> |
| 368 |
<dd> |
| 369 |
<p>Instead of calling <code>ev_default_fork</code> or <code>ev_loop_fork</code> manually after |
| 370 |
a fork, you can also make libev check for a fork in each iteration by |
| 371 |
enabling this flag.</p> |
| 372 |
<p>This works by calling <code>getpid ()</code> on every iteration of the loop, |
| 373 |
and thus this might slow down your event loop if you do a lot of loop |
| 374 |
iterations and little real work, but is usually not noticeable (on my |
| 375 |
Linux system for example, <code>getpid</code> is actually a simple 5-insn sequence |
| 376 |
without a syscall and thus <i>very</i> fast, but my Linux system also has |
| 377 |
<code>pthread_atfork</code> which is even faster).</p> |
| 378 |
<p>The big advantage of this flag is that you can forget about fork (and |
| 379 |
forget about forgetting to tell libev about forking) when you use this |
| 380 |
flag.</p> |
| 381 |
<p>This flag setting cannot be overriden or specified in the <code>LIBEV_FLAGS</code> |
| 382 |
environment variable.</p> |
| 383 |
</dd> |
| 384 |
<dt><code>EVBACKEND_SELECT</code> (value 1, portable select backend)</dt> |
| 385 |
<dd> |
| 386 |
<p>This is your standard select(2) backend. Not <i>completely</i> standard, as |
| 387 |
libev tries to roll its own fd_set with no limits on the number of fds, |
| 388 |
but if that fails, expect a fairly low limit on the number of fds when |
| 389 |
using this backend. It doesn't scale too well (O(highest_fd)), but its usually |
| 390 |
the fastest backend for a low number of fds.</p> |
| 391 |
</dd> |
| 392 |
<dt><code>EVBACKEND_POLL</code> (value 2, poll backend, available everywhere except on windows)</dt> |
| 393 |
<dd> |
| 394 |
<p>And this is your standard poll(2) backend. It's more complicated than |
| 395 |
select, but handles sparse fds better and has no artificial limit on the |
| 396 |
number of fds you can use (except it will slow down considerably with a |
| 397 |
lot of inactive fds). It scales similarly to select, i.e. O(total_fds).</p> |
| 398 |
</dd> |
| 399 |
<dt><code>EVBACKEND_EPOLL</code> (value 4, Linux)</dt> |
| 400 |
<dd> |
| 401 |
<p>For few fds, this backend is a bit little slower than poll and select, |
| 402 |
but it scales phenomenally better. While poll and select usually scale like |
| 403 |
O(total_fds) where n is the total number of fds (or the highest fd), epoll scales |
| 404 |
either O(1) or O(active_fds).</p> |
| 405 |
<p>While stopping and starting an I/O watcher in the same iteration will |
| 406 |
result in some caching, there is still a syscall per such incident |
| 407 |
(because the fd could point to a different file description now), so its |
| 408 |
best to avoid that. Also, dup()ed file descriptors might not work very |
| 409 |
well if you register events for both fds.</p> |
| 410 |
<p>Please note that epoll sometimes generates spurious notifications, so you |
| 411 |
need to use non-blocking I/O or other means to avoid blocking when no data |
| 412 |
(or space) is available.</p> |
| 413 |
</dd> |
| 414 |
<dt><code>EVBACKEND_KQUEUE</code> (value 8, most BSD clones)</dt> |
| 415 |
<dd> |
| 416 |
<p>Kqueue deserves special mention, as at the time of this writing, it |
| 417 |
was broken on all BSDs except NetBSD (usually it doesn't work with |
| 418 |
anything but sockets and pipes, except on Darwin, where of course its |
| 419 |
completely useless). For this reason its not being "autodetected" |
| 420 |
unless you explicitly specify it explicitly in the flags (i.e. using |
| 421 |
<code>EVBACKEND_KQUEUE</code>).</p> |
| 422 |
<p>It scales in the same way as the epoll backend, but the interface to the |
| 423 |
kernel is more efficient (which says nothing about its actual speed, of |
| 424 |
course). While starting and stopping an I/O watcher does not cause an |
| 425 |
extra syscall as with epoll, it still adds up to four event changes per |
| 426 |
incident, so its best to avoid that.</p> |
| 427 |
</dd> |
| 428 |
<dt><code>EVBACKEND_DEVPOLL</code> (value 16, Solaris 8)</dt> |
| 429 |
<dd> |
| 430 |
<p>This is not implemented yet (and might never be).</p> |
| 431 |
</dd> |
| 432 |
<dt><code>EVBACKEND_PORT</code> (value 32, Solaris 10)</dt> |
| 433 |
<dd> |
| 434 |
<p>This uses the Solaris 10 port mechanism. As with everything on Solaris, |
| 435 |
it's really slow, but it still scales very well (O(active_fds)).</p> |
| 436 |
<p>Please note that solaris ports can result in a lot of spurious |
| 437 |
notifications, so you need to use non-blocking I/O or other means to avoid |
| 438 |
blocking when no data (or space) is available.</p> |
| 439 |
</dd> |
| 440 |
<dt><code>EVBACKEND_ALL</code></dt> |
| 441 |
<dd> |
| 442 |
<p>Try all backends (even potentially broken ones that wouldn't be tried |
| 443 |
with <code>EVFLAG_AUTO</code>). Since this is a mask, you can do stuff such as |
| 444 |
<code>EVBACKEND_ALL & ~EVBACKEND_KQUEUE</code>.</p> |
| 445 |
</dd> |
| 446 |
</dl> |
| 447 |
</p> |
| 448 |
<p>If one or more of these are ored into the flags value, then only these |
| 449 |
backends will be tried (in the reverse order as given here). If none are |
| 450 |
specified, most compiled-in backend will be tried, usually in reverse |
| 451 |
order of their flag values :)</p> |
| 452 |
<p>The most typical usage is like this:</p> |
| 453 |
<pre> if (!ev_default_loop (0)) |
| 454 |
fatal ("could not initialise libev, bad $LIBEV_FLAGS in environment?"); |
| 455 |
|
| 456 |
</pre> |
| 457 |
<p>Restrict libev to the select and poll backends, and do not allow |
| 458 |
environment settings to be taken into account:</p> |
| 459 |
<pre> ev_default_loop (EVBACKEND_POLL | EVBACKEND_SELECT | EVFLAG_NOENV); |
| 460 |
|
| 461 |
</pre> |
| 462 |
<p>Use whatever libev has to offer, but make sure that kqueue is used if |
| 463 |
available (warning, breaks stuff, best use only with your own private |
| 464 |
event loop and only if you know the OS supports your types of fds):</p> |
| 465 |
<pre> ev_default_loop (ev_recommended_backends () | EVBACKEND_KQUEUE); |
| 466 |
|
| 467 |
</pre> |
| 468 |
</dd> |
| 469 |
<dt>struct ev_loop *ev_loop_new (unsigned int flags)</dt> |
| 470 |
<dd> |
| 471 |
<p>Similar to <code>ev_default_loop</code>, but always creates a new event loop that is |
| 472 |
always distinct from the default loop. Unlike the default loop, it cannot |
| 473 |
handle signal and child watchers, and attempts to do so will be greeted by |
| 474 |
undefined behaviour (or a failed assertion if assertions are enabled).</p> |
| 475 |
<p>Example: Try to create a event loop that uses epoll and nothing else.</p> |
| 476 |
<pre> struct ev_loop *epoller = ev_loop_new (EVBACKEND_EPOLL | EVFLAG_NOENV); |
| 477 |
if (!epoller) |
| 478 |
fatal ("no epoll found here, maybe it hides under your chair"); |
| 479 |
|
| 480 |
</pre> |
| 481 |
</dd> |
| 482 |
<dt>ev_default_destroy ()</dt> |
| 483 |
<dd> |
| 484 |
<p>Destroys the default loop again (frees all memory and kernel state |
| 485 |
etc.). None of the active event watchers will be stopped in the normal |
| 486 |
sense, so e.g. <code>ev_is_active</code> might still return true. It is your |
| 487 |
responsibility to either stop all watchers cleanly yoursef <i>before</i> |
| 488 |
calling this function, or cope with the fact afterwards (which is usually |
| 489 |
the easiest thing, youc na just ignore the watchers and/or <code>free ()</code> them |
| 490 |
for example).</p> |
| 491 |
</dd> |
| 492 |
<dt>ev_loop_destroy (loop)</dt> |
| 493 |
<dd> |
| 494 |
<p>Like <code>ev_default_destroy</code>, but destroys an event loop created by an |
| 495 |
earlier call to <code>ev_loop_new</code>.</p> |
| 496 |
</dd> |
| 497 |
<dt>ev_default_fork ()</dt> |
| 498 |
<dd> |
| 499 |
<p>This function reinitialises the kernel state for backends that have |
| 500 |
one. Despite the name, you can call it anytime, but it makes most sense |
| 501 |
after forking, in either the parent or child process (or both, but that |
| 502 |
again makes little sense).</p> |
| 503 |
<p>You <i>must</i> call this function in the child process after forking if and |
| 504 |
only if you want to use the event library in both processes. If you just |
| 505 |
fork+exec, you don't have to call it.</p> |
| 506 |
<p>The function itself is quite fast and it's usually not a problem to call |
| 507 |
it just in case after a fork. To make this easy, the function will fit in |
| 508 |
quite nicely into a call to <code>pthread_atfork</code>:</p> |
| 509 |
<pre> pthread_atfork (0, 0, ev_default_fork); |
| 510 |
|
| 511 |
</pre> |
| 512 |
<p>At the moment, <code>EVBACKEND_SELECT</code> and <code>EVBACKEND_POLL</code> are safe to use |
| 513 |
without calling this function, so if you force one of those backends you |
| 514 |
do not need to care.</p> |
| 515 |
</dd> |
| 516 |
<dt>ev_loop_fork (loop)</dt> |
| 517 |
<dd> |
| 518 |
<p>Like <code>ev_default_fork</code>, but acts on an event loop created by |
| 519 |
<code>ev_loop_new</code>. Yes, you have to call this on every allocated event loop |
| 520 |
after fork, and how you do this is entirely your own problem.</p> |
| 521 |
</dd> |
| 522 |
<dt>unsigned int ev_loop_count (loop)</dt> |
| 523 |
<dd> |
| 524 |
<p>Returns the count of loop iterations for the loop, which is identical to |
| 525 |
the number of times libev did poll for new events. It starts at <code>0</code> and |
| 526 |
happily wraps around with enough iterations.</p> |
| 527 |
<p>This value can sometimes be useful as a generation counter of sorts (it |
| 528 |
"ticks" the number of loop iterations), as it roughly corresponds with |
| 529 |
<code>ev_prepare</code> and <code>ev_check</code> calls.</p> |
| 530 |
</dd> |
| 531 |
<dt>unsigned int ev_backend (loop)</dt> |
| 532 |
<dd> |
| 533 |
<p>Returns one of the <code>EVBACKEND_*</code> flags indicating the event backend in |
| 534 |
use.</p> |
| 535 |
</dd> |
| 536 |
<dt>ev_tstamp ev_now (loop)</dt> |
| 537 |
<dd> |
| 538 |
<p>Returns the current "event loop time", which is the time the event loop |
| 539 |
received events and started processing them. This timestamp does not |
| 540 |
change as long as callbacks are being processed, and this is also the base |
| 541 |
time used for relative timers. You can treat it as the timestamp of the |
| 542 |
event occuring (or more correctly, libev finding out about it).</p> |
| 543 |
</dd> |
| 544 |
<dt>ev_loop (loop, int flags)</dt> |
| 545 |
<dd> |
| 546 |
<p>Finally, this is it, the event handler. This function usually is called |
| 547 |
after you initialised all your watchers and you want to start handling |
| 548 |
events.</p> |
| 549 |
<p>If the flags argument is specified as <code>0</code>, it will not return until |
| 550 |
either no event watchers are active anymore or <code>ev_unloop</code> was called.</p> |
| 551 |
<p>Please note that an explicit <code>ev_unloop</code> is usually better than |
| 552 |
relying on all watchers to be stopped when deciding when a program has |
| 553 |
finished (especially in interactive programs), but having a program that |
| 554 |
automatically loops as long as it has to and no longer by virtue of |
| 555 |
relying on its watchers stopping correctly is a thing of beauty.</p> |
| 556 |
<p>A flags value of <code>EVLOOP_NONBLOCK</code> will look for new events, will handle |
| 557 |
those events and any outstanding ones, but will not block your process in |
| 558 |
case there are no events and will return after one iteration of the loop.</p> |
| 559 |
<p>A flags value of <code>EVLOOP_ONESHOT</code> will look for new events (waiting if |
| 560 |
neccessary) and will handle those and any outstanding ones. It will block |
| 561 |
your process until at least one new event arrives, and will return after |
| 562 |
one iteration of the loop. This is useful if you are waiting for some |
| 563 |
external event in conjunction with something not expressible using other |
| 564 |
libev watchers. However, a pair of <code>ev_prepare</code>/<code>ev_check</code> watchers is |
| 565 |
usually a better approach for this kind of thing.</p> |
| 566 |
<p>Here are the gory details of what <code>ev_loop</code> does:</p> |
| 567 |
<pre> - Before the first iteration, call any pending watchers. |
| 568 |
* If there are no active watchers (reference count is zero), return. |
| 569 |
- Queue all prepare watchers and then call all outstanding watchers. |
| 570 |
- If we have been forked, recreate the kernel state. |
| 571 |
- Update the kernel state with all outstanding changes. |
| 572 |
- Update the "event loop time". |
| 573 |
- Calculate for how long to block. |
| 574 |
- Block the process, waiting for any events. |
| 575 |
- Queue all outstanding I/O (fd) events. |
| 576 |
- Update the "event loop time" and do time jump handling. |
| 577 |
- Queue all outstanding timers. |
| 578 |
- Queue all outstanding periodics. |
| 579 |
- If no events are pending now, queue all idle watchers. |
| 580 |
- Queue all check watchers. |
| 581 |
- Call all queued watchers in reverse order (i.e. check watchers first). |
| 582 |
Signals and child watchers are implemented as I/O watchers, and will |
| 583 |
be handled here by queueing them when their watcher gets executed. |
| 584 |
- If ev_unloop has been called or EVLOOP_ONESHOT or EVLOOP_NONBLOCK |
| 585 |
were used, return, otherwise continue with step *. |
| 586 |
|
| 587 |
</pre> |
| 588 |
<p>Example: Queue some jobs and then loop until no events are outsanding |
| 589 |
anymore.</p> |
| 590 |
<pre> ... queue jobs here, make sure they register event watchers as long |
| 591 |
... as they still have work to do (even an idle watcher will do..) |
| 592 |
ev_loop (my_loop, 0); |
| 593 |
... jobs done. yeah! |
| 594 |
|
| 595 |
</pre> |
| 596 |
</dd> |
| 597 |
<dt>ev_unloop (loop, how)</dt> |
| 598 |
<dd> |
| 599 |
<p>Can be used to make a call to <code>ev_loop</code> return early (but only after it |
| 600 |
has processed all outstanding events). The <code>how</code> argument must be either |
| 601 |
<code>EVUNLOOP_ONE</code>, which will make the innermost <code>ev_loop</code> call return, or |
| 602 |
<code>EVUNLOOP_ALL</code>, which will make all nested <code>ev_loop</code> calls return.</p> |
| 603 |
</dd> |
| 604 |
<dt>ev_ref (loop)</dt> |
| 605 |
<dt>ev_unref (loop)</dt> |
| 606 |
<dd> |
| 607 |
<p>Ref/unref can be used to add or remove a reference count on the event |
| 608 |
loop: Every watcher keeps one reference, and as long as the reference |
| 609 |
count is nonzero, <code>ev_loop</code> will not return on its own. If you have |
| 610 |
a watcher you never unregister that should not keep <code>ev_loop</code> from |
| 611 |
returning, ev_unref() after starting, and ev_ref() before stopping it. For |
| 612 |
example, libev itself uses this for its internal signal pipe: It is not |
| 613 |
visible to the libev user and should not keep <code>ev_loop</code> from exiting if |
| 614 |
no event watchers registered by it are active. It is also an excellent |
| 615 |
way to do this for generic recurring timers or from within third-party |
| 616 |
libraries. Just remember to <i>unref after start</i> and <i>ref before stop</i>.</p> |
| 617 |
<p>Example: Create a signal watcher, but keep it from keeping <code>ev_loop</code> |
| 618 |
running when nothing else is active.</p> |
| 619 |
<pre> struct ev_signal exitsig; |
| 620 |
ev_signal_init (&exitsig, sig_cb, SIGINT); |
| 621 |
ev_signal_start (loop, &exitsig); |
| 622 |
evf_unref (loop); |
| 623 |
|
| 624 |
</pre> |
| 625 |
<p>Example: For some weird reason, unregister the above signal handler again.</p> |
| 626 |
<pre> ev_ref (loop); |
| 627 |
ev_signal_stop (loop, &exitsig); |
| 628 |
|
| 629 |
</pre> |
| 630 |
</dd> |
| 631 |
</dl> |
| 632 |
|
| 633 |
|
| 634 |
|
| 635 |
|
| 636 |
|
| 637 |
</div> |
| 638 |
<h1 id="ANATOMY_OF_A_WATCHER">ANATOMY OF A WATCHER</h1> |
| 639 |
<div id="ANATOMY_OF_A_WATCHER_CONTENT"> |
| 640 |
<p>A watcher is a structure that you create and register to record your |
| 641 |
interest in some event. For instance, if you want to wait for STDIN to |
| 642 |
become readable, you would create an <code>ev_io</code> watcher for that:</p> |
| 643 |
<pre> static void my_cb (struct ev_loop *loop, struct ev_io *w, int revents) |
| 644 |
{ |
| 645 |
ev_io_stop (w); |
| 646 |
ev_unloop (loop, EVUNLOOP_ALL); |
| 647 |
} |
| 648 |
|
| 649 |
struct ev_loop *loop = ev_default_loop (0); |
| 650 |
struct ev_io stdin_watcher; |
| 651 |
ev_init (&stdin_watcher, my_cb); |
| 652 |
ev_io_set (&stdin_watcher, STDIN_FILENO, EV_READ); |
| 653 |
ev_io_start (loop, &stdin_watcher); |
| 654 |
ev_loop (loop, 0); |
| 655 |
|
| 656 |
</pre> |
| 657 |
<p>As you can see, you are responsible for allocating the memory for your |
| 658 |
watcher structures (and it is usually a bad idea to do this on the stack, |
| 659 |
although this can sometimes be quite valid).</p> |
| 660 |
<p>Each watcher structure must be initialised by a call to <code>ev_init |
| 661 |
(watcher *, callback)</code>, which expects a callback to be provided. This |
| 662 |
callback gets invoked each time the event occurs (or, in the case of io |
| 663 |
watchers, each time the event loop detects that the file descriptor given |
| 664 |
is readable and/or writable).</p> |
| 665 |
<p>Each watcher type has its own <code>ev_<type>_set (watcher *, ...)</code> macro |
| 666 |
with arguments specific to this watcher type. There is also a macro |
| 667 |
to combine initialisation and setting in one call: <code>ev_<type>_init |
| 668 |
(watcher *, callback, ...)</code>.</p> |
| 669 |
<p>To make the watcher actually watch out for events, you have to start it |
| 670 |
with a watcher-specific start function (<code>ev_<type>_start (loop, watcher |
| 671 |
*)</code>), and you can stop watching for events at any time by calling the |
| 672 |
corresponding stop function (<code>ev_<type>_stop (loop, watcher *)</code>.</p> |
| 673 |
<p>As long as your watcher is active (has been started but not stopped) you |
| 674 |
must not touch the values stored in it. Most specifically you must never |
| 675 |
reinitialise it or call its <code>set</code> macro.</p> |
| 676 |
<p>Each and every callback receives the event loop pointer as first, the |
| 677 |
registered watcher structure as second, and a bitset of received events as |
| 678 |
third argument.</p> |
| 679 |
<p>The received events usually include a single bit per event type received |
| 680 |
(you can receive multiple events at the same time). The possible bit masks |
| 681 |
are:</p> |
| 682 |
<dl> |
| 683 |
<dt><code>EV_READ</code></dt> |
| 684 |
<dt><code>EV_WRITE</code></dt> |
| 685 |
<dd> |
| 686 |
<p>The file descriptor in the <code>ev_io</code> watcher has become readable and/or |
| 687 |
writable.</p> |
| 688 |
</dd> |
| 689 |
<dt><code>EV_TIMEOUT</code></dt> |
| 690 |
<dd> |
| 691 |
<p>The <code>ev_timer</code> watcher has timed out.</p> |
| 692 |
</dd> |
| 693 |
<dt><code>EV_PERIODIC</code></dt> |
| 694 |
<dd> |
| 695 |
<p>The <code>ev_periodic</code> watcher has timed out.</p> |
| 696 |
</dd> |
| 697 |
<dt><code>EV_SIGNAL</code></dt> |
| 698 |
<dd> |
| 699 |
<p>The signal specified in the <code>ev_signal</code> watcher has been received by a thread.</p> |
| 700 |
</dd> |
| 701 |
<dt><code>EV_CHILD</code></dt> |
| 702 |
<dd> |
| 703 |
<p>The pid specified in the <code>ev_child</code> watcher has received a status change.</p> |
| 704 |
</dd> |
| 705 |
<dt><code>EV_STAT</code></dt> |
| 706 |
<dd> |
| 707 |
<p>The path specified in the <code>ev_stat</code> watcher changed its attributes somehow.</p> |
| 708 |
</dd> |
| 709 |
<dt><code>EV_IDLE</code></dt> |
| 710 |
<dd> |
| 711 |
<p>The <code>ev_idle</code> watcher has determined that you have nothing better to do.</p> |
| 712 |
</dd> |
| 713 |
<dt><code>EV_PREPARE</code></dt> |
| 714 |
<dt><code>EV_CHECK</code></dt> |
| 715 |
<dd> |
| 716 |
<p>All <code>ev_prepare</code> watchers are invoked just <i>before</i> <code>ev_loop</code> starts |
| 717 |
to gather new events, and all <code>ev_check</code> watchers are invoked just after |
| 718 |
<code>ev_loop</code> has gathered them, but before it invokes any callbacks for any |
| 719 |
received events. Callbacks of both watcher types can start and stop as |
| 720 |
many watchers as they want, and all of them will be taken into account |
| 721 |
(for example, a <code>ev_prepare</code> watcher might start an idle watcher to keep |
| 722 |
<code>ev_loop</code> from blocking).</p> |
| 723 |
</dd> |
| 724 |
<dt><code>EV_EMBED</code></dt> |
| 725 |
<dd> |
| 726 |
<p>The embedded event loop specified in the <code>ev_embed</code> watcher needs attention.</p> |
| 727 |
</dd> |
| 728 |
<dt><code>EV_FORK</code></dt> |
| 729 |
<dd> |
| 730 |
<p>The event loop has been resumed in the child process after fork (see |
| 731 |
<code>ev_fork</code>).</p> |
| 732 |
</dd> |
| 733 |
<dt><code>EV_ERROR</code></dt> |
| 734 |
<dd> |
| 735 |
<p>An unspecified error has occured, the watcher has been stopped. This might |
| 736 |
happen because the watcher could not be properly started because libev |
| 737 |
ran out of memory, a file descriptor was found to be closed or any other |
| 738 |
problem. You best act on it by reporting the problem and somehow coping |
| 739 |
with the watcher being stopped.</p> |
| 740 |
<p>Libev will usually signal a few "dummy" events together with an error, |
| 741 |
for example it might indicate that a fd is readable or writable, and if |
| 742 |
your callbacks is well-written it can just attempt the operation and cope |
| 743 |
with the error from read() or write(). This will not work in multithreaded |
| 744 |
programs, though, so beware.</p> |
| 745 |
</dd> |
| 746 |
</dl> |
| 747 |
|
| 748 |
</div> |
| 749 |
<h2 id="GENERIC_WATCHER_FUNCTIONS">GENERIC WATCHER FUNCTIONS</h2> |
| 750 |
<div id="GENERIC_WATCHER_FUNCTIONS_CONTENT"> |
| 751 |
<p>In the following description, <code>TYPE</code> stands for the watcher type, |
| 752 |
e.g. <code>timer</code> for <code>ev_timer</code> watchers and <code>io</code> for <code>ev_io</code> watchers.</p> |
| 753 |
<dl> |
| 754 |
<dt><code>ev_init</code> (ev_TYPE *watcher, callback)</dt> |
| 755 |
<dd> |
| 756 |
<p>This macro initialises the generic portion of a watcher. The contents |
| 757 |
of the watcher object can be arbitrary (so <code>malloc</code> will do). Only |
| 758 |
the generic parts of the watcher are initialised, you <i>need</i> to call |
| 759 |
the type-specific <code>ev_TYPE_set</code> macro afterwards to initialise the |
| 760 |
type-specific parts. For each type there is also a <code>ev_TYPE_init</code> macro |
| 761 |
which rolls both calls into one.</p> |
| 762 |
<p>You can reinitialise a watcher at any time as long as it has been stopped |
| 763 |
(or never started) and there are no pending events outstanding.</p> |
| 764 |
<p>The callback is always of type <code>void (*)(ev_loop *loop, ev_TYPE *watcher, |
| 765 |
int revents)</code>.</p> |
| 766 |
</dd> |
| 767 |
<dt><code>ev_TYPE_set</code> (ev_TYPE *, [args])</dt> |
| 768 |
<dd> |
| 769 |
<p>This macro initialises the type-specific parts of a watcher. You need to |
| 770 |
call <code>ev_init</code> at least once before you call this macro, but you can |
| 771 |
call <code>ev_TYPE_set</code> any number of times. You must not, however, call this |
| 772 |
macro on a watcher that is active (it can be pending, however, which is a |
| 773 |
difference to the <code>ev_init</code> macro).</p> |
| 774 |
<p>Although some watcher types do not have type-specific arguments |
| 775 |
(e.g. <code>ev_prepare</code>) you still need to call its <code>set</code> macro.</p> |
| 776 |
</dd> |
| 777 |
<dt><code>ev_TYPE_init</code> (ev_TYPE *watcher, callback, [args])</dt> |
| 778 |
<dd> |
| 779 |
<p>This convinience macro rolls both <code>ev_init</code> and <code>ev_TYPE_set</code> macro |
| 780 |
calls into a single call. This is the most convinient method to initialise |
| 781 |
a watcher. The same limitations apply, of course.</p> |
| 782 |
</dd> |
| 783 |
<dt><code>ev_TYPE_start</code> (loop *, ev_TYPE *watcher)</dt> |
| 784 |
<dd> |
| 785 |
<p>Starts (activates) the given watcher. Only active watchers will receive |
| 786 |
events. If the watcher is already active nothing will happen.</p> |
| 787 |
</dd> |
| 788 |
<dt><code>ev_TYPE_stop</code> (loop *, ev_TYPE *watcher)</dt> |
| 789 |
<dd> |
| 790 |
<p>Stops the given watcher again (if active) and clears the pending |
| 791 |
status. It is possible that stopped watchers are pending (for example, |
| 792 |
non-repeating timers are being stopped when they become pending), but |
| 793 |
<code>ev_TYPE_stop</code> ensures that the watcher is neither active nor pending. If |
| 794 |
you want to free or reuse the memory used by the watcher it is therefore a |
| 795 |
good idea to always call its <code>ev_TYPE_stop</code> function.</p> |
| 796 |
</dd> |
| 797 |
<dt>bool ev_is_active (ev_TYPE *watcher)</dt> |
| 798 |
<dd> |
| 799 |
<p>Returns a true value iff the watcher is active (i.e. it has been started |
| 800 |
and not yet been stopped). As long as a watcher is active you must not modify |
| 801 |
it.</p> |
| 802 |
</dd> |
| 803 |
<dt>bool ev_is_pending (ev_TYPE *watcher)</dt> |
| 804 |
<dd> |
| 805 |
<p>Returns a true value iff the watcher is pending, (i.e. it has outstanding |
| 806 |
events but its callback has not yet been invoked). As long as a watcher |
| 807 |
is pending (but not active) you must not call an init function on it (but |
| 808 |
<code>ev_TYPE_set</code> is safe), you must not change its priority, and you must |
| 809 |
make sure the watcher is available to libev (e.g. you cannot <code>free ()</code> |
| 810 |
it).</p> |
| 811 |
</dd> |
| 812 |
<dt>callback ev_cb (ev_TYPE *watcher)</dt> |
| 813 |
<dd> |
| 814 |
<p>Returns the callback currently set on the watcher.</p> |
| 815 |
</dd> |
| 816 |
<dt>ev_cb_set (ev_TYPE *watcher, callback)</dt> |
| 817 |
<dd> |
| 818 |
<p>Change the callback. You can change the callback at virtually any time |
| 819 |
(modulo threads).</p> |
| 820 |
</dd> |
| 821 |
<dt>ev_set_priority (ev_TYPE *watcher, priority)</dt> |
| 822 |
<dt>int ev_priority (ev_TYPE *watcher)</dt> |
| 823 |
<dd> |
| 824 |
<p>Set and query the priority of the watcher. The priority is a small |
| 825 |
integer between <code>EV_MAXPRI</code> (default: <code>2</code>) and <code>EV_MINPRI</code> |
| 826 |
(default: <code>-2</code>). Pending watchers with higher priority will be invoked |
| 827 |
before watchers with lower priority, but priority will not keep watchers |
| 828 |
from being executed (except for <code>ev_idle</code> watchers).</p> |
| 829 |
<p>This means that priorities are <i>only</i> used for ordering callback |
| 830 |
invocation after new events have been received. This is useful, for |
| 831 |
example, to reduce latency after idling, or more often, to bind two |
| 832 |
watchers on the same event and make sure one is called first.</p> |
| 833 |
<p>If you need to suppress invocation when higher priority events are pending |
| 834 |
you need to look at <code>ev_idle</code> watchers, which provide this functionality.</p> |
| 835 |
<p>You <i>must not</i> change the priority of a watcher as long as it is active or |
| 836 |
pending.</p> |
| 837 |
<p>The default priority used by watchers when no priority has been set is |
| 838 |
always <code>0</code>, which is supposed to not be too high and not be too low :).</p> |
| 839 |
<p>Setting a priority outside the range of <code>EV_MINPRI</code> to <code>EV_MAXPRI</code> is |
| 840 |
fine, as long as you do not mind that the priority value you query might |
| 841 |
or might not have been adjusted to be within valid range.</p> |
| 842 |
</dd> |
| 843 |
<dt>ev_invoke (loop, ev_TYPE *watcher, int revents)</dt> |
| 844 |
<dd> |
| 845 |
<p>Invoke the <code>watcher</code> with the given <code>loop</code> and <code>revents</code>. Neither |
| 846 |
<code>loop</code> nor <code>revents</code> need to be valid as long as the watcher callback |
| 847 |
can deal with that fact.</p> |
| 848 |
</dd> |
| 849 |
<dt>int ev_clear_pending (loop, ev_TYPE *watcher)</dt> |
| 850 |
<dd> |
| 851 |
<p>If the watcher is pending, this function returns clears its pending status |
| 852 |
and returns its <code>revents</code> bitset (as if its callback was invoked). If the |
| 853 |
watcher isn't pending it does nothing and returns <code>0</code>.</p> |
| 854 |
</dd> |
| 855 |
</dl> |
| 856 |
|
| 857 |
|
| 858 |
|
| 859 |
|
| 860 |
|
| 861 |
</div> |
| 862 |
<h2 id="ASSOCIATING_CUSTOM_DATA_WITH_A_WATCH">ASSOCIATING CUSTOM DATA WITH A WATCHER</h2> |
| 863 |
<div id="ASSOCIATING_CUSTOM_DATA_WITH_A_WATCH-2"> |
| 864 |
<p>Each watcher has, by default, a member <code>void *data</code> that you can change |
| 865 |
and read at any time, libev will completely ignore it. This can be used |
| 866 |
to associate arbitrary data with your watcher. If you need more data and |
| 867 |
don't want to allocate memory and store a pointer to it in that data |
| 868 |
member, you can also "subclass" the watcher type and provide your own |
| 869 |
data:</p> |
| 870 |
<pre> struct my_io |
| 871 |
{ |
| 872 |
struct ev_io io; |
| 873 |
int otherfd; |
| 874 |
void *somedata; |
| 875 |
struct whatever *mostinteresting; |
| 876 |
} |
| 877 |
|
| 878 |
</pre> |
| 879 |
<p>And since your callback will be called with a pointer to the watcher, you |
| 880 |
can cast it back to your own type:</p> |
| 881 |
<pre> static void my_cb (struct ev_loop *loop, struct ev_io *w_, int revents) |
| 882 |
{ |
| 883 |
struct my_io *w = (struct my_io *)w_; |
| 884 |
... |
| 885 |
} |
| 886 |
|
| 887 |
</pre> |
| 888 |
<p>More interesting and less C-conformant ways of casting your callback type |
| 889 |
instead have been omitted.</p> |
| 890 |
<p>Another common scenario is having some data structure with multiple |
| 891 |
watchers:</p> |
| 892 |
<pre> struct my_biggy |
| 893 |
{ |
| 894 |
int some_data; |
| 895 |
ev_timer t1; |
| 896 |
ev_timer t2; |
| 897 |
} |
| 898 |
|
| 899 |
</pre> |
| 900 |
<p>In this case getting the pointer to <code>my_biggy</code> is a bit more complicated, |
| 901 |
you need to use <code>offsetof</code>:</p> |
| 902 |
<pre> #include <stddef.h> |
| 903 |
|
| 904 |
static void |
| 905 |
t1_cb (EV_P_ struct ev_timer *w, int revents) |
| 906 |
{ |
| 907 |
struct my_biggy big = (struct my_biggy * |
| 908 |
(((char *)w) - offsetof (struct my_biggy, t1)); |
| 909 |
} |
| 910 |
|
| 911 |
static void |
| 912 |
t2_cb (EV_P_ struct ev_timer *w, int revents) |
| 913 |
{ |
| 914 |
struct my_biggy big = (struct my_biggy * |
| 915 |
(((char *)w) - offsetof (struct my_biggy, t2)); |
| 916 |
} |
| 917 |
|
| 918 |
|
| 919 |
|
| 920 |
|
| 921 |
</pre> |
| 922 |
|
| 923 |
</div> |
| 924 |
<h1 id="WATCHER_TYPES">WATCHER TYPES</h1> |
| 925 |
<div id="WATCHER_TYPES_CONTENT"> |
| 926 |
<p>This section describes each watcher in detail, but will not repeat |
| 927 |
information given in the last section. Any initialisation/set macros, |
| 928 |
functions and members specific to the watcher type are explained.</p> |
| 929 |
<p>Members are additionally marked with either <i>[read-only]</i>, meaning that, |
| 930 |
while the watcher is active, you can look at the member and expect some |
| 931 |
sensible content, but you must not modify it (you can modify it while the |
| 932 |
watcher is stopped to your hearts content), or <i>[read-write]</i>, which |
| 933 |
means you can expect it to have some sensible content while the watcher |
| 934 |
is active, but you can also modify it. Modifying it may not do something |
| 935 |
sensible or take immediate effect (or do anything at all), but libev will |
| 936 |
not crash or malfunction in any way.</p> |
| 937 |
|
| 938 |
|
| 939 |
|
| 940 |
|
| 941 |
|
| 942 |
</div> |
| 943 |
<h2 id="code_ev_io_code_is_this_file_descrip"><code>ev_io</code> - is this file descriptor readable or writable?</h2> |
| 944 |
<div id="code_ev_io_code_is_this_file_descrip-2"> |
| 945 |
<p>I/O watchers check whether a file descriptor is readable or writable |
| 946 |
in each iteration of the event loop, or, more precisely, when reading |
| 947 |
would not block the process and writing would at least be able to write |
| 948 |
some data. This behaviour is called level-triggering because you keep |
| 949 |
receiving events as long as the condition persists. Remember you can stop |
| 950 |
the watcher if you don't want to act on the event and neither want to |
| 951 |
receive future events.</p> |
| 952 |
<p>In general you can register as many read and/or write event watchers per |
| 953 |
fd as you want (as long as you don't confuse yourself). Setting all file |
| 954 |
descriptors to non-blocking mode is also usually a good idea (but not |
| 955 |
required if you know what you are doing).</p> |
| 956 |
<p>You have to be careful with dup'ed file descriptors, though. Some backends |
| 957 |
(the linux epoll backend is a notable example) cannot handle dup'ed file |
| 958 |
descriptors correctly if you register interest in two or more fds pointing |
| 959 |
to the same underlying file/socket/etc. description (that is, they share |
| 960 |
the same underlying "file open").</p> |
| 961 |
<p>If you must do this, then force the use of a known-to-be-good backend |
| 962 |
(at the time of this writing, this includes only <code>EVBACKEND_SELECT</code> and |
| 963 |
<code>EVBACKEND_POLL</code>).</p> |
| 964 |
<p>Another thing you have to watch out for is that it is quite easy to |
| 965 |
receive "spurious" readyness notifications, that is your callback might |
| 966 |
be called with <code>EV_READ</code> but a subsequent <code>read</code>(2) will actually block |
| 967 |
because there is no data. Not only are some backends known to create a |
| 968 |
lot of those (for example solaris ports), it is very easy to get into |
| 969 |
this situation even with a relatively standard program structure. Thus |
| 970 |
it is best to always use non-blocking I/O: An extra <code>read</code>(2) returning |
| 971 |
<code>EAGAIN</code> is far preferable to a program hanging until some data arrives.</p> |
| 972 |
<p>If you cannot run the fd in non-blocking mode (for example you should not |
| 973 |
play around with an Xlib connection), then you have to seperately re-test |
| 974 |
whether a file descriptor is really ready with a known-to-be good interface |
| 975 |
such as poll (fortunately in our Xlib example, Xlib already does this on |
| 976 |
its own, so its quite safe to use).</p> |
| 977 |
|
| 978 |
</div> |
| 979 |
<h3 id="The_special_problem_of_disappearing_">The special problem of disappearing file descriptors</h3> |
| 980 |
<div id="The_special_problem_of_disappearing_-2"> |
| 981 |
<p>Some backends (e.g kqueue, epoll) need to be told about closing a file |
| 982 |
descriptor (either by calling <code>close</code> explicitly or by any other means, |
| 983 |
such as <code>dup</code>). The reason is that you register interest in some file |
| 984 |
descriptor, but when it goes away, the operating system will silently drop |
| 985 |
this interest. If another file descriptor with the same number then is |
| 986 |
registered with libev, there is no efficient way to see that this is, in |
| 987 |
fact, a different file descriptor.</p> |
| 988 |
<p>To avoid having to explicitly tell libev about such cases, libev follows |
| 989 |
the following policy: Each time <code>ev_io_set</code> is being called, libev |
| 990 |
will assume that this is potentially a new file descriptor, otherwise |
| 991 |
it is assumed that the file descriptor stays the same. That means that |
| 992 |
you <i>have</i> to call <code>ev_io_set</code> (or <code>ev_io_init</code>) when you change the |
| 993 |
descriptor even if the file descriptor number itself did not change.</p> |
| 994 |
<p>This is how one would do it normally anyway, the important point is that |
| 995 |
the libev application should not optimise around libev but should leave |
| 996 |
optimisations to libev.</p> |
| 997 |
|
| 998 |
|
| 999 |
|
| 1000 |
|
| 1001 |
|
| 1002 |
</div> |
| 1003 |
<h3 id="Watcher_Specific_Functions">Watcher-Specific Functions</h3> |
| 1004 |
<div id="Watcher_Specific_Functions_CONTENT"> |
| 1005 |
<dl> |
| 1006 |
<dt>ev_io_init (ev_io *, callback, int fd, int events)</dt> |
| 1007 |
<dt>ev_io_set (ev_io *, int fd, int events)</dt> |
| 1008 |
<dd> |
| 1009 |
<p>Configures an <code>ev_io</code> watcher. The <code>fd</code> is the file descriptor to |
| 1010 |
rceeive events for and events is either <code>EV_READ</code>, <code>EV_WRITE</code> or |
| 1011 |
<code>EV_READ | EV_WRITE</code> to receive the given events.</p> |
| 1012 |
</dd> |
| 1013 |
<dt>int fd [read-only]</dt> |
| 1014 |
<dd> |
| 1015 |
<p>The file descriptor being watched.</p> |
| 1016 |
</dd> |
| 1017 |
<dt>int events [read-only]</dt> |
| 1018 |
<dd> |
| 1019 |
<p>The events being watched.</p> |
| 1020 |
</dd> |
| 1021 |
</dl> |
| 1022 |
<p>Example: Call <code>stdin_readable_cb</code> when STDIN_FILENO has become, well |
| 1023 |
readable, but only once. Since it is likely line-buffered, you could |
| 1024 |
attempt to read a whole line in the callback.</p> |
| 1025 |
<pre> static void |
| 1026 |
stdin_readable_cb (struct ev_loop *loop, struct ev_io *w, int revents) |
| 1027 |
{ |
| 1028 |
ev_io_stop (loop, w); |
| 1029 |
.. read from stdin here (or from w->fd) and haqndle any I/O errors |
| 1030 |
} |
| 1031 |
|
| 1032 |
... |
| 1033 |
struct ev_loop *loop = ev_default_init (0); |
| 1034 |
struct ev_io stdin_readable; |
| 1035 |
ev_io_init (&stdin_readable, stdin_readable_cb, STDIN_FILENO, EV_READ); |
| 1036 |
ev_io_start (loop, &stdin_readable); |
| 1037 |
ev_loop (loop, 0); |
| 1038 |
|
| 1039 |
|
| 1040 |
|
| 1041 |
|
| 1042 |
</pre> |
| 1043 |
|
| 1044 |
</div> |
| 1045 |
<h2 id="code_ev_timer_code_relative_and_opti"><code>ev_timer</code> - relative and optionally repeating timeouts</h2> |
| 1046 |
<div id="code_ev_timer_code_relative_and_opti-2"> |
| 1047 |
<p>Timer watchers are simple relative timers that generate an event after a |
| 1048 |
given time, and optionally repeating in regular intervals after that.</p> |
| 1049 |
<p>The timers are based on real time, that is, if you register an event that |
| 1050 |
times out after an hour and you reset your system clock to last years |
| 1051 |
time, it will still time out after (roughly) and hour. "Roughly" because |
| 1052 |
detecting time jumps is hard, and some inaccuracies are unavoidable (the |
| 1053 |
monotonic clock option helps a lot here).</p> |
| 1054 |
<p>The relative timeouts are calculated relative to the <code>ev_now ()</code> |
| 1055 |
time. This is usually the right thing as this timestamp refers to the time |
| 1056 |
of the event triggering whatever timeout you are modifying/starting. If |
| 1057 |
you suspect event processing to be delayed and you <i>need</i> to base the timeout |
| 1058 |
on the current time, use something like this to adjust for this:</p> |
| 1059 |
<pre> ev_timer_set (&timer, after + ev_now () - ev_time (), 0.); |
| 1060 |
|
| 1061 |
</pre> |
| 1062 |
<p>The callback is guarenteed to be invoked only when its timeout has passed, |
| 1063 |
but if multiple timers become ready during the same loop iteration then |
| 1064 |
order of execution is undefined.</p> |
| 1065 |
|
| 1066 |
</div> |
| 1067 |
<h3 id="Watcher_Specific_Functions_and_Data_">Watcher-Specific Functions and Data Members</h3> |
| 1068 |
<div id="Watcher_Specific_Functions_and_Data_-2"> |
| 1069 |
<dl> |
| 1070 |
<dt>ev_timer_init (ev_timer *, callback, ev_tstamp after, ev_tstamp repeat)</dt> |
| 1071 |
<dt>ev_timer_set (ev_timer *, ev_tstamp after, ev_tstamp repeat)</dt> |
| 1072 |
<dd> |
| 1073 |
<p>Configure the timer to trigger after <code>after</code> seconds. If <code>repeat</code> is |
| 1074 |
<code>0.</code>, then it will automatically be stopped. If it is positive, then the |
| 1075 |
timer will automatically be configured to trigger again <code>repeat</code> seconds |
| 1076 |
later, again, and again, until stopped manually.</p> |
| 1077 |
<p>The timer itself will do a best-effort at avoiding drift, that is, if you |
| 1078 |
configure a timer to trigger every 10 seconds, then it will trigger at |
| 1079 |
exactly 10 second intervals. If, however, your program cannot keep up with |
| 1080 |
the timer (because it takes longer than those 10 seconds to do stuff) the |
| 1081 |
timer will not fire more than once per event loop iteration.</p> |
| 1082 |
</dd> |
| 1083 |
<dt>ev_timer_again (loop)</dt> |
| 1084 |
<dd> |
| 1085 |
<p>This will act as if the timer timed out and restart it again if it is |
| 1086 |
repeating. The exact semantics are:</p> |
| 1087 |
<p>If the timer is pending, its pending status is cleared.</p> |
| 1088 |
<p>If the timer is started but nonrepeating, stop it (as if it timed out).</p> |
| 1089 |
<p>If the timer is repeating, either start it if necessary (with the |
| 1090 |
<code>repeat</code> value), or reset the running timer to the <code>repeat</code> value.</p> |
| 1091 |
<p>This sounds a bit complicated, but here is a useful and typical |
| 1092 |
example: Imagine you have a tcp connection and you want a so-called idle |
| 1093 |
timeout, that is, you want to be called when there have been, say, 60 |
| 1094 |
seconds of inactivity on the socket. The easiest way to do this is to |
| 1095 |
configure an <code>ev_timer</code> with a <code>repeat</code> value of <code>60</code> and then call |
| 1096 |
<code>ev_timer_again</code> each time you successfully read or write some data. If |
| 1097 |
you go into an idle state where you do not expect data to travel on the |
| 1098 |
socket, you can <code>ev_timer_stop</code> the timer, and <code>ev_timer_again</code> will |
| 1099 |
automatically restart it if need be.</p> |
| 1100 |
<p>That means you can ignore the <code>after</code> value and <code>ev_timer_start</code> |
| 1101 |
altogether and only ever use the <code>repeat</code> value and <code>ev_timer_again</code>:</p> |
| 1102 |
<pre> ev_timer_init (timer, callback, 0., 5.); |
| 1103 |
ev_timer_again (loop, timer); |
| 1104 |
... |
| 1105 |
timer->again = 17.; |
| 1106 |
ev_timer_again (loop, timer); |
| 1107 |
... |
| 1108 |
timer->again = 10.; |
| 1109 |
ev_timer_again (loop, timer); |
| 1110 |
|
| 1111 |
</pre> |
| 1112 |
<p>This is more slightly efficient then stopping/starting the timer each time |
| 1113 |
you want to modify its timeout value.</p> |
| 1114 |
</dd> |
| 1115 |
<dt>ev_tstamp repeat [read-write]</dt> |
| 1116 |
<dd> |
| 1117 |
<p>The current <code>repeat</code> value. Will be used each time the watcher times out |
| 1118 |
or <code>ev_timer_again</code> is called and determines the next timeout (if any), |
| 1119 |
which is also when any modifications are taken into account.</p> |
| 1120 |
</dd> |
| 1121 |
</dl> |
| 1122 |
<p>Example: Create a timer that fires after 60 seconds.</p> |
| 1123 |
<pre> static void |
| 1124 |
one_minute_cb (struct ev_loop *loop, struct ev_timer *w, int revents) |
| 1125 |
{ |
| 1126 |
.. one minute over, w is actually stopped right here |
| 1127 |
} |
| 1128 |
|
| 1129 |
struct ev_timer mytimer; |
| 1130 |
ev_timer_init (&mytimer, one_minute_cb, 60., 0.); |
| 1131 |
ev_timer_start (loop, &mytimer); |
| 1132 |
|
| 1133 |
</pre> |
| 1134 |
<p>Example: Create a timeout timer that times out after 10 seconds of |
| 1135 |
inactivity.</p> |
| 1136 |
<pre> static void |
| 1137 |
timeout_cb (struct ev_loop *loop, struct ev_timer *w, int revents) |
| 1138 |
{ |
| 1139 |
.. ten seconds without any activity |
| 1140 |
} |
| 1141 |
|
| 1142 |
struct ev_timer mytimer; |
| 1143 |
ev_timer_init (&mytimer, timeout_cb, 0., 10.); /* note, only repeat used */ |
| 1144 |
ev_timer_again (&mytimer); /* start timer */ |
| 1145 |
ev_loop (loop, 0); |
| 1146 |
|
| 1147 |
// and in some piece of code that gets executed on any "activity": |
| 1148 |
// reset the timeout to start ticking again at 10 seconds |
| 1149 |
ev_timer_again (&mytimer); |
| 1150 |
|
| 1151 |
|
| 1152 |
|
| 1153 |
|
| 1154 |
</pre> |
| 1155 |
|
| 1156 |
</div> |
| 1157 |
<h2 id="code_ev_periodic_code_to_cron_or_not"><code>ev_periodic</code> - to cron or not to cron?</h2> |
| 1158 |
<div id="code_ev_periodic_code_to_cron_or_not-2"> |
| 1159 |
<p>Periodic watchers are also timers of a kind, but they are very versatile |
| 1160 |
(and unfortunately a bit complex).</p> |
| 1161 |
<p>Unlike <code>ev_timer</code>'s, they are not based on real time (or relative time) |
| 1162 |
but on wallclock time (absolute time). You can tell a periodic watcher |
| 1163 |
to trigger "at" some specific point in time. For example, if you tell a |
| 1164 |
periodic watcher to trigger in 10 seconds (by specifiying e.g. <code>ev_now () |
| 1165 |
+ 10.</code>) and then reset your system clock to the last year, then it will |
| 1166 |
take a year to trigger the event (unlike an <code>ev_timer</code>, which would trigger |
| 1167 |
roughly 10 seconds later).</p> |
| 1168 |
<p>They can also be used to implement vastly more complex timers, such as |
| 1169 |
triggering an event on each midnight, local time or other, complicated, |
| 1170 |
rules.</p> |
| 1171 |
<p>As with timers, the callback is guarenteed to be invoked only when the |
| 1172 |
time (<code>at</code>) has been passed, but if multiple periodic timers become ready |
| 1173 |
during the same loop iteration then order of execution is undefined.</p> |
| 1174 |
|
| 1175 |
</div> |
| 1176 |
<h3 id="Watcher_Specific_Functions_and_Data_-3">Watcher-Specific Functions and Data Members</h3> |
| 1177 |
<div id="Watcher_Specific_Functions_and_Data_-2"> |
| 1178 |
<dl> |
| 1179 |
<dt>ev_periodic_init (ev_periodic *, callback, ev_tstamp at, ev_tstamp interval, reschedule_cb)</dt> |
| 1180 |
<dt>ev_periodic_set (ev_periodic *, ev_tstamp after, ev_tstamp repeat, reschedule_cb)</dt> |
| 1181 |
<dd> |
| 1182 |
<p>Lots of arguments, lets sort it out... There are basically three modes of |
| 1183 |
operation, and we will explain them from simplest to complex:</p> |
| 1184 |
<p> |
| 1185 |
<dl> |
| 1186 |
<dt>* absolute timer (at = time, interval = reschedule_cb = 0)</dt> |
| 1187 |
<dd> |
| 1188 |
<p>In this configuration the watcher triggers an event at the wallclock time |
| 1189 |
<code>at</code> and doesn't repeat. It will not adjust when a time jump occurs, |
| 1190 |
that is, if it is to be run at January 1st 2011 then it will run when the |
| 1191 |
system time reaches or surpasses this time.</p> |
| 1192 |
</dd> |
| 1193 |
<dt>* non-repeating interval timer (at = offset, interval > 0, reschedule_cb = 0)</dt> |
| 1194 |
<dd> |
| 1195 |
<p>In this mode the watcher will always be scheduled to time out at the next |
| 1196 |
<code>at + N * interval</code> time (for some integer N, which can also be negative) |
| 1197 |
and then repeat, regardless of any time jumps.</p> |
| 1198 |
<p>This can be used to create timers that do not drift with respect to system |
| 1199 |
time:</p> |
| 1200 |
<pre> ev_periodic_set (&periodic, 0., 3600., 0); |
| 1201 |
|
| 1202 |
</pre> |
| 1203 |
<p>This doesn't mean there will always be 3600 seconds in between triggers, |
| 1204 |
but only that the the callback will be called when the system time shows a |
| 1205 |
full hour (UTC), or more correctly, when the system time is evenly divisible |
| 1206 |
by 3600.</p> |
| 1207 |
<p>Another way to think about it (for the mathematically inclined) is that |
| 1208 |
<code>ev_periodic</code> will try to run the callback in this mode at the next possible |
| 1209 |
time where <code>time = at (mod interval)</code>, regardless of any time jumps.</p> |
| 1210 |
<p>For numerical stability it is preferable that the <code>at</code> value is near |
| 1211 |
<code>ev_now ()</code> (the current time), but there is no range requirement for |
| 1212 |
this value.</p> |
| 1213 |
</dd> |
| 1214 |
<dt>* manual reschedule mode (at and interval ignored, reschedule_cb = callback)</dt> |
| 1215 |
<dd> |
| 1216 |
<p>In this mode the values for <code>interval</code> and <code>at</code> are both being |
| 1217 |
ignored. Instead, each time the periodic watcher gets scheduled, the |
| 1218 |
reschedule callback will be called with the watcher as first, and the |
| 1219 |
current time as second argument.</p> |
| 1220 |
<p>NOTE: <i>This callback MUST NOT stop or destroy any periodic watcher, |
| 1221 |
ever, or make any event loop modifications</i>. If you need to stop it, |
| 1222 |
return <code>now + 1e30</code> (or so, fudge fudge) and stop it afterwards (e.g. by |
| 1223 |
starting an <code>ev_prepare</code> watcher, which is legal).</p> |
| 1224 |
<p>Its prototype is <code>ev_tstamp (*reschedule_cb)(struct ev_periodic *w, |
| 1225 |
ev_tstamp now)</code>, e.g.:</p> |
| 1226 |
<pre> static ev_tstamp my_rescheduler (struct ev_periodic *w, ev_tstamp now) |
| 1227 |
{ |
| 1228 |
return now + 60.; |
| 1229 |
} |
| 1230 |
|
| 1231 |
</pre> |
| 1232 |
<p>It must return the next time to trigger, based on the passed time value |
| 1233 |
(that is, the lowest time value larger than to the second argument). It |
| 1234 |
will usually be called just before the callback will be triggered, but |
| 1235 |
might be called at other times, too.</p> |
| 1236 |
<p>NOTE: <i>This callback must always return a time that is later than the |
| 1237 |
passed <code>now</code> value</i>. Not even <code>now</code> itself will do, it <i>must</i> be larger.</p> |
| 1238 |
<p>This can be used to create very complex timers, such as a timer that |
| 1239 |
triggers on each midnight, local time. To do this, you would calculate the |
| 1240 |
next midnight after <code>now</code> and return the timestamp value for this. How |
| 1241 |
you do this is, again, up to you (but it is not trivial, which is the main |
| 1242 |
reason I omitted it as an example).</p> |
| 1243 |
</dd> |
| 1244 |
</dl> |
| 1245 |
</p> |
| 1246 |
</dd> |
| 1247 |
<dt>ev_periodic_again (loop, ev_periodic *)</dt> |
| 1248 |
<dd> |
| 1249 |
<p>Simply stops and restarts the periodic watcher again. This is only useful |
| 1250 |
when you changed some parameters or the reschedule callback would return |
| 1251 |
a different time than the last time it was called (e.g. in a crond like |
| 1252 |
program when the crontabs have changed).</p> |
| 1253 |
</dd> |
| 1254 |
<dt>ev_tstamp offset [read-write]</dt> |
| 1255 |
<dd> |
| 1256 |
<p>When repeating, this contains the offset value, otherwise this is the |
| 1257 |
absolute point in time (the <code>at</code> value passed to <code>ev_periodic_set</code>).</p> |
| 1258 |
<p>Can be modified any time, but changes only take effect when the periodic |
| 1259 |
timer fires or <code>ev_periodic_again</code> is being called.</p> |
| 1260 |
</dd> |
| 1261 |
<dt>ev_tstamp interval [read-write]</dt> |
| 1262 |
<dd> |
| 1263 |
<p>The current interval value. Can be modified any time, but changes only |
| 1264 |
take effect when the periodic timer fires or <code>ev_periodic_again</code> is being |
| 1265 |
called.</p> |
| 1266 |
</dd> |
| 1267 |
<dt>ev_tstamp (*reschedule_cb)(struct ev_periodic *w, ev_tstamp now) [read-write]</dt> |
| 1268 |
<dd> |
| 1269 |
<p>The current reschedule callback, or <code>0</code>, if this functionality is |
| 1270 |
switched off. Can be changed any time, but changes only take effect when |
| 1271 |
the periodic timer fires or <code>ev_periodic_again</code> is being called.</p> |
| 1272 |
</dd> |
| 1273 |
</dl> |
| 1274 |
<p>Example: Call a callback every hour, or, more precisely, whenever the |
| 1275 |
system clock is divisible by 3600. The callback invocation times have |
| 1276 |
potentially a lot of jittering, but good long-term stability.</p> |
| 1277 |
<pre> static void |
| 1278 |
clock_cb (struct ev_loop *loop, struct ev_io *w, int revents) |
| 1279 |
{ |
| 1280 |
... its now a full hour (UTC, or TAI or whatever your clock follows) |
| 1281 |
} |
| 1282 |
|
| 1283 |
struct ev_periodic hourly_tick; |
| 1284 |
ev_periodic_init (&hourly_tick, clock_cb, 0., 3600., 0); |
| 1285 |
ev_periodic_start (loop, &hourly_tick); |
| 1286 |
|
| 1287 |
</pre> |
| 1288 |
<p>Example: The same as above, but use a reschedule callback to do it:</p> |
| 1289 |
<pre> #include <math.h> |
| 1290 |
|
| 1291 |
static ev_tstamp |
| 1292 |
my_scheduler_cb (struct ev_periodic *w, ev_tstamp now) |
| 1293 |
{ |
| 1294 |
return fmod (now, 3600.) + 3600.; |
| 1295 |
} |
| 1296 |
|
| 1297 |
ev_periodic_init (&hourly_tick, clock_cb, 0., 0., my_scheduler_cb); |
| 1298 |
|
| 1299 |
</pre> |
| 1300 |
<p>Example: Call a callback every hour, starting now:</p> |
| 1301 |
<pre> struct ev_periodic hourly_tick; |
| 1302 |
ev_periodic_init (&hourly_tick, clock_cb, |
| 1303 |
fmod (ev_now (loop), 3600.), 3600., 0); |
| 1304 |
ev_periodic_start (loop, &hourly_tick); |
| 1305 |
|
| 1306 |
|
| 1307 |
|
| 1308 |
|
| 1309 |
</pre> |
| 1310 |
|
| 1311 |
</div> |
| 1312 |
<h2 id="code_ev_signal_code_signal_me_when_a"><code>ev_signal</code> - signal me when a signal gets signalled!</h2> |
| 1313 |
<div id="code_ev_signal_code_signal_me_when_a-2"> |
| 1314 |
<p>Signal watchers will trigger an event when the process receives a specific |
| 1315 |
signal one or more times. Even though signals are very asynchronous, libev |
| 1316 |
will try it's best to deliver signals synchronously, i.e. as part of the |
| 1317 |
normal event processing, like any other event.</p> |
| 1318 |
<p>You can configure as many watchers as you like per signal. Only when the |
| 1319 |
first watcher gets started will libev actually register a signal watcher |
| 1320 |
with the kernel (thus it coexists with your own signal handlers as long |
| 1321 |
as you don't register any with libev). Similarly, when the last signal |
| 1322 |
watcher for a signal is stopped libev will reset the signal handler to |
| 1323 |
SIG_DFL (regardless of what it was set to before).</p> |
| 1324 |
|
| 1325 |
</div> |
| 1326 |
<h3 id="Watcher_Specific_Functions_and_Data_-4">Watcher-Specific Functions and Data Members</h3> |
| 1327 |
<div id="Watcher_Specific_Functions_and_Data_-2-2"> |
| 1328 |
<dl> |
| 1329 |
<dt>ev_signal_init (ev_signal *, callback, int signum)</dt> |
| 1330 |
<dt>ev_signal_set (ev_signal *, int signum)</dt> |
| 1331 |
<dd> |
| 1332 |
<p>Configures the watcher to trigger on the given signal number (usually one |
| 1333 |
of the <code>SIGxxx</code> constants).</p> |
| 1334 |
</dd> |
| 1335 |
<dt>int signum [read-only]</dt> |
| 1336 |
<dd> |
| 1337 |
<p>The signal the watcher watches out for.</p> |
| 1338 |
</dd> |
| 1339 |
</dl> |
| 1340 |
|
| 1341 |
|
| 1342 |
|
| 1343 |
|
| 1344 |
|
| 1345 |
</div> |
| 1346 |
<h2 id="code_ev_child_code_watch_out_for_pro"><code>ev_child</code> - watch out for process status changes</h2> |
| 1347 |
<div id="code_ev_child_code_watch_out_for_pro-2"> |
| 1348 |
<p>Child watchers trigger when your process receives a SIGCHLD in response to |
| 1349 |
some child status changes (most typically when a child of yours dies).</p> |
| 1350 |
|
| 1351 |
</div> |
| 1352 |
<h3 id="Watcher_Specific_Functions_and_Data_-5">Watcher-Specific Functions and Data Members</h3> |
| 1353 |
<div id="Watcher_Specific_Functions_and_Data_-2-3"> |
| 1354 |
<dl> |
| 1355 |
<dt>ev_child_init (ev_child *, callback, int pid)</dt> |
| 1356 |
<dt>ev_child_set (ev_child *, int pid)</dt> |
| 1357 |
<dd> |
| 1358 |
<p>Configures the watcher to wait for status changes of process <code>pid</code> (or |
| 1359 |
<i>any</i> process if <code>pid</code> is specified as <code>0</code>). The callback can look |
| 1360 |
at the <code>rstatus</code> member of the <code>ev_child</code> watcher structure to see |
| 1361 |
the status word (use the macros from <code>sys/wait.h</code> and see your systems |
| 1362 |
<code>waitpid</code> documentation). The <code>rpid</code> member contains the pid of the |
| 1363 |
process causing the status change.</p> |
| 1364 |
</dd> |
| 1365 |
<dt>int pid [read-only]</dt> |
| 1366 |
<dd> |
| 1367 |
<p>The process id this watcher watches out for, or <code>0</code>, meaning any process id.</p> |
| 1368 |
</dd> |
| 1369 |
<dt>int rpid [read-write]</dt> |
| 1370 |
<dd> |
| 1371 |
<p>The process id that detected a status change.</p> |
| 1372 |
</dd> |
| 1373 |
<dt>int rstatus [read-write]</dt> |
| 1374 |
<dd> |
| 1375 |
<p>The process exit/trace status caused by <code>rpid</code> (see your systems |
| 1376 |
<code>waitpid</code> and <code>sys/wait.h</code> documentation for details).</p> |
| 1377 |
</dd> |
| 1378 |
</dl> |
| 1379 |
<p>Example: Try to exit cleanly on SIGINT and SIGTERM.</p> |
| 1380 |
<pre> static void |
| 1381 |
sigint_cb (struct ev_loop *loop, struct ev_signal *w, int revents) |
| 1382 |
{ |
| 1383 |
ev_unloop (loop, EVUNLOOP_ALL); |
| 1384 |
} |
| 1385 |
|
| 1386 |
struct ev_signal signal_watcher; |
| 1387 |
ev_signal_init (&signal_watcher, sigint_cb, SIGINT); |
| 1388 |
ev_signal_start (loop, &sigint_cb); |
| 1389 |
|
| 1390 |
|
| 1391 |
|
| 1392 |
|
| 1393 |
</pre> |
| 1394 |
|
| 1395 |
</div> |
| 1396 |
<h2 id="code_ev_stat_code_did_the_file_attri"><code>ev_stat</code> - did the file attributes just change?</h2> |
| 1397 |
<div id="code_ev_stat_code_did_the_file_attri-2"> |
| 1398 |
<p>This watches a filesystem path for attribute changes. That is, it calls |
| 1399 |
<code>stat</code> regularly (or when the OS says it changed) and sees if it changed |
| 1400 |
compared to the last time, invoking the callback if it did.</p> |
| 1401 |
<p>The path does not need to exist: changing from "path exists" to "path does |
| 1402 |
not exist" is a status change like any other. The condition "path does |
| 1403 |
not exist" is signified by the <code>st_nlink</code> field being zero (which is |
| 1404 |
otherwise always forced to be at least one) and all the other fields of |
| 1405 |
the stat buffer having unspecified contents.</p> |
| 1406 |
<p>The path <i>should</i> be absolute and <i>must not</i> end in a slash. If it is |
| 1407 |
relative and your working directory changes, the behaviour is undefined.</p> |
| 1408 |
<p>Since there is no standard to do this, the portable implementation simply |
| 1409 |
calls <code>stat (2)</code> regularly on the path to see if it changed somehow. You |
| 1410 |
can specify a recommended polling interval for this case. If you specify |
| 1411 |
a polling interval of <code>0</code> (highly recommended!) then a <i>suitable, |
| 1412 |
unspecified default</i> value will be used (which you can expect to be around |
| 1413 |
five seconds, although this might change dynamically). Libev will also |
| 1414 |
impose a minimum interval which is currently around <code>0.1</code>, but thats |
| 1415 |
usually overkill.</p> |
| 1416 |
<p>This watcher type is not meant for massive numbers of stat watchers, |
| 1417 |
as even with OS-supported change notifications, this can be |
| 1418 |
resource-intensive.</p> |
| 1419 |
<p>At the time of this writing, only the Linux inotify interface is |
| 1420 |
implemented (implementing kqueue support is left as an exercise for the |
| 1421 |
reader). Inotify will be used to give hints only and should not change the |
| 1422 |
semantics of <code>ev_stat</code> watchers, which means that libev sometimes needs |
| 1423 |
to fall back to regular polling again even with inotify, but changes are |
| 1424 |
usually detected immediately, and if the file exists there will be no |
| 1425 |
polling.</p> |
| 1426 |
|
| 1427 |
</div> |
| 1428 |
<h3 id="Watcher_Specific_Functions_and_Data_-6">Watcher-Specific Functions and Data Members</h3> |
| 1429 |
<div id="Watcher_Specific_Functions_and_Data_-2-4"> |
| 1430 |
<dl> |
| 1431 |
<dt>ev_stat_init (ev_stat *, callback, const char *path, ev_tstamp interval)</dt> |
| 1432 |
<dt>ev_stat_set (ev_stat *, const char *path, ev_tstamp interval)</dt> |
| 1433 |
<dd> |
| 1434 |
<p>Configures the watcher to wait for status changes of the given |
| 1435 |
<code>path</code>. The <code>interval</code> is a hint on how quickly a change is expected to |
| 1436 |
be detected and should normally be specified as <code>0</code> to let libev choose |
| 1437 |
a suitable value. The memory pointed to by <code>path</code> must point to the same |
| 1438 |
path for as long as the watcher is active.</p> |
| 1439 |
<p>The callback will be receive <code>EV_STAT</code> when a change was detected, |
| 1440 |
relative to the attributes at the time the watcher was started (or the |
| 1441 |
last change was detected).</p> |
| 1442 |
</dd> |
| 1443 |
<dt>ev_stat_stat (ev_stat *)</dt> |
| 1444 |
<dd> |
| 1445 |
<p>Updates the stat buffer immediately with new values. If you change the |
| 1446 |
watched path in your callback, you could call this fucntion to avoid |
| 1447 |
detecting this change (while introducing a race condition). Can also be |
| 1448 |
useful simply to find out the new values.</p> |
| 1449 |
</dd> |
| 1450 |
<dt>ev_statdata attr [read-only]</dt> |
| 1451 |
<dd> |
| 1452 |
<p>The most-recently detected attributes of the file. Although the type is of |
| 1453 |
<code>ev_statdata</code>, this is usually the (or one of the) <code>struct stat</code> types |
| 1454 |
suitable for your system. If the <code>st_nlink</code> member is <code>0</code>, then there |
| 1455 |
was some error while <code>stat</code>ing the file.</p> |
| 1456 |
</dd> |
| 1457 |
<dt>ev_statdata prev [read-only]</dt> |
| 1458 |
<dd> |
| 1459 |
<p>The previous attributes of the file. The callback gets invoked whenever |
| 1460 |
<code>prev</code> != <code>attr</code>.</p> |
| 1461 |
</dd> |
| 1462 |
<dt>ev_tstamp interval [read-only]</dt> |
| 1463 |
<dd> |
| 1464 |
<p>The specified interval.</p> |
| 1465 |
</dd> |
| 1466 |
<dt>const char *path [read-only]</dt> |
| 1467 |
<dd> |
| 1468 |
<p>The filesystem path that is being watched.</p> |
| 1469 |
</dd> |
| 1470 |
</dl> |
| 1471 |
<p>Example: Watch <code>/etc/passwd</code> for attribute changes.</p> |
| 1472 |
<pre> static void |
| 1473 |
passwd_cb (struct ev_loop *loop, ev_stat *w, int revents) |
| 1474 |
{ |
| 1475 |
/* /etc/passwd changed in some way */ |
| 1476 |
if (w->attr.st_nlink) |
| 1477 |
{ |
| 1478 |
printf ("passwd current size %ld\n", (long)w->attr.st_size); |
| 1479 |
printf ("passwd current atime %ld\n", (long)w->attr.st_mtime); |
| 1480 |
printf ("passwd current mtime %ld\n", (long)w->attr.st_mtime); |
| 1481 |
} |
| 1482 |
else |
| 1483 |
/* you shalt not abuse printf for puts */ |
| 1484 |
puts ("wow, /etc/passwd is not there, expect problems. " |
| 1485 |
"if this is windows, they already arrived\n"); |
| 1486 |
} |
| 1487 |
|
| 1488 |
... |
| 1489 |
ev_stat passwd; |
| 1490 |
|
| 1491 |
ev_stat_init (&passwd, passwd_cb, "/etc/passwd"); |
| 1492 |
ev_stat_start (loop, &passwd); |
| 1493 |
|
| 1494 |
|
| 1495 |
|
| 1496 |
|
| 1497 |
</pre> |
| 1498 |
|
| 1499 |
</div> |
| 1500 |
<h2 id="code_ev_idle_code_when_you_ve_got_no"><code>ev_idle</code> - when you've got nothing better to do...</h2> |
| 1501 |
<div id="code_ev_idle_code_when_you_ve_got_no-2"> |
| 1502 |
<p>Idle watchers trigger events when no other events of the same or higher |
| 1503 |
priority are pending (prepare, check and other idle watchers do not |
| 1504 |
count).</p> |
| 1505 |
<p>That is, as long as your process is busy handling sockets or timeouts |
| 1506 |
(or even signals, imagine) of the same or higher priority it will not be |
| 1507 |
triggered. But when your process is idle (or only lower-priority watchers |
| 1508 |
are pending), the idle watchers are being called once per event loop |
| 1509 |
iteration - until stopped, that is, or your process receives more events |
| 1510 |
and becomes busy again with higher priority stuff.</p> |
| 1511 |
<p>The most noteworthy effect is that as long as any idle watchers are |
| 1512 |
active, the process will not block when waiting for new events.</p> |
| 1513 |
<p>Apart from keeping your process non-blocking (which is a useful |
| 1514 |
effect on its own sometimes), idle watchers are a good place to do |
| 1515 |
"pseudo-background processing", or delay processing stuff to after the |
| 1516 |
event loop has handled all outstanding events.</p> |
| 1517 |
|
| 1518 |
</div> |
| 1519 |
<h3 id="Watcher_Specific_Functions_and_Data_-7">Watcher-Specific Functions and Data Members</h3> |
| 1520 |
<div id="Watcher_Specific_Functions_and_Data_-2-5"> |
| 1521 |
<dl> |
| 1522 |
<dt>ev_idle_init (ev_signal *, callback)</dt> |
| 1523 |
<dd> |
| 1524 |
<p>Initialises and configures the idle watcher - it has no parameters of any |
| 1525 |
kind. There is a <code>ev_idle_set</code> macro, but using it is utterly pointless, |
| 1526 |
believe me.</p> |
| 1527 |
</dd> |
| 1528 |
</dl> |
| 1529 |
<p>Example: Dynamically allocate an <code>ev_idle</code> watcher, start it, and in the |
| 1530 |
callback, free it. Also, use no error checking, as usual.</p> |
| 1531 |
<pre> static void |
| 1532 |
idle_cb (struct ev_loop *loop, struct ev_idle *w, int revents) |
| 1533 |
{ |
| 1534 |
free (w); |
| 1535 |
// now do something you wanted to do when the program has |
| 1536 |
// no longer asnything immediate to do. |
| 1537 |
} |
| 1538 |
|
| 1539 |
struct ev_idle *idle_watcher = malloc (sizeof (struct ev_idle)); |
| 1540 |
ev_idle_init (idle_watcher, idle_cb); |
| 1541 |
ev_idle_start (loop, idle_cb); |
| 1542 |
|
| 1543 |
|
| 1544 |
|
| 1545 |
|
| 1546 |
</pre> |
| 1547 |
|
| 1548 |
</div> |
| 1549 |
<h2 id="code_ev_prepare_code_and_code_ev_che"><code>ev_prepare</code> and <code>ev_check</code> - customise your event loop!</h2> |
| 1550 |
<div id="code_ev_prepare_code_and_code_ev_che-2"> |
| 1551 |
<p>Prepare and check watchers are usually (but not always) used in tandem: |
| 1552 |
prepare watchers get invoked before the process blocks and check watchers |
| 1553 |
afterwards.</p> |
| 1554 |
<p>You <i>must not</i> call <code>ev_loop</code> or similar functions that enter |
| 1555 |
the current event loop from either <code>ev_prepare</code> or <code>ev_check</code> |
| 1556 |
watchers. Other loops than the current one are fine, however. The |
| 1557 |
rationale behind this is that you do not need to check for recursion in |
| 1558 |
those watchers, i.e. the sequence will always be <code>ev_prepare</code>, blocking, |
| 1559 |
<code>ev_check</code> so if you have one watcher of each kind they will always be |
| 1560 |
called in pairs bracketing the blocking call.</p> |
| 1561 |
<p>Their main purpose is to integrate other event mechanisms into libev and |
| 1562 |
their use is somewhat advanced. This could be used, for example, to track |
| 1563 |
variable changes, implement your own watchers, integrate net-snmp or a |
| 1564 |
coroutine library and lots more. They are also occasionally useful if |
| 1565 |
you cache some data and want to flush it before blocking (for example, |
| 1566 |
in X programs you might want to do an <code>XFlush ()</code> in an <code>ev_prepare</code> |
| 1567 |
watcher).</p> |
| 1568 |
<p>This is done by examining in each prepare call which file descriptors need |
| 1569 |
to be watched by the other library, registering <code>ev_io</code> watchers for |
| 1570 |
them and starting an <code>ev_timer</code> watcher for any timeouts (many libraries |
| 1571 |
provide just this functionality). Then, in the check watcher you check for |
| 1572 |
any events that occured (by checking the pending status of all watchers |
| 1573 |
and stopping them) and call back into the library. The I/O and timer |
| 1574 |
callbacks will never actually be called (but must be valid nevertheless, |
| 1575 |
because you never know, you know?).</p> |
| 1576 |
<p>As another example, the Perl Coro module uses these hooks to integrate |
| 1577 |
coroutines into libev programs, by yielding to other active coroutines |
| 1578 |
during each prepare and only letting the process block if no coroutines |
| 1579 |
are ready to run (it's actually more complicated: it only runs coroutines |
| 1580 |
with priority higher than or equal to the event loop and one coroutine |
| 1581 |
of lower priority, but only once, using idle watchers to keep the event |
| 1582 |
loop from blocking if lower-priority coroutines are active, thus mapping |
| 1583 |
low-priority coroutines to idle/background tasks).</p> |
| 1584 |
<p>It is recommended to give <code>ev_check</code> watchers highest (<code>EV_MAXPRI</code>) |
| 1585 |
priority, to ensure that they are being run before any other watchers |
| 1586 |
after the poll. Also, <code>ev_check</code> watchers (and <code>ev_prepare</code> watchers, |
| 1587 |
too) should not activate ("feed") events into libev. While libev fully |
| 1588 |
supports this, they will be called before other <code>ev_check</code> watchers did |
| 1589 |
their job. As <code>ev_check</code> watchers are often used to embed other event |
| 1590 |
loops those other event loops might be in an unusable state until their |
| 1591 |
<code>ev_check</code> watcher ran (always remind yourself to coexist peacefully with |
| 1592 |
others).</p> |
| 1593 |
|
| 1594 |
</div> |
| 1595 |
<h3 id="Watcher_Specific_Functions_and_Data_-8">Watcher-Specific Functions and Data Members</h3> |
| 1596 |
<div id="Watcher_Specific_Functions_and_Data_-2-6"> |
| 1597 |
<dl> |
| 1598 |
<dt>ev_prepare_init (ev_prepare *, callback)</dt> |
| 1599 |
<dt>ev_check_init (ev_check *, callback)</dt> |
| 1600 |
<dd> |
| 1601 |
<p>Initialises and configures the prepare or check watcher - they have no |
| 1602 |
parameters of any kind. There are <code>ev_prepare_set</code> and <code>ev_check_set</code> |
| 1603 |
macros, but using them is utterly, utterly and completely pointless.</p> |
| 1604 |
</dd> |
| 1605 |
</dl> |
| 1606 |
<p>There are a number of principal ways to embed other event loops or modules |
| 1607 |
into libev. Here are some ideas on how to include libadns into libev |
| 1608 |
(there is a Perl module named <code>EV::ADNS</code> that does this, which you could |
| 1609 |
use for an actually working example. Another Perl module named <code>EV::Glib</code> |
| 1610 |
embeds a Glib main context into libev, and finally, <code>Glib::EV</code> embeds EV |
| 1611 |
into the Glib event loop).</p> |
| 1612 |
<p>Method 1: Add IO watchers and a timeout watcher in a prepare handler, |
| 1613 |
and in a check watcher, destroy them and call into libadns. What follows |
| 1614 |
is pseudo-code only of course. This requires you to either use a low |
| 1615 |
priority for the check watcher or use <code>ev_clear_pending</code> explicitly, as |
| 1616 |
the callbacks for the IO/timeout watchers might not have been called yet.</p> |
| 1617 |
<pre> static ev_io iow [nfd]; |
| 1618 |
static ev_timer tw; |
| 1619 |
|
| 1620 |
static void |
| 1621 |
io_cb (ev_loop *loop, ev_io *w, int revents) |
| 1622 |
{ |
| 1623 |
} |
| 1624 |
|
| 1625 |
// create io watchers for each fd and a timer before blocking |
| 1626 |
static void |
| 1627 |
adns_prepare_cb (ev_loop *loop, ev_prepare *w, int revents) |
| 1628 |
{ |
| 1629 |
int timeout = 3600000; |
| 1630 |
struct pollfd fds [nfd]; |
| 1631 |
// actual code will need to loop here and realloc etc. |
| 1632 |
adns_beforepoll (ads, fds, &nfd, &timeout, timeval_from (ev_time ())); |
| 1633 |
|
| 1634 |
/* the callback is illegal, but won't be called as we stop during check */ |
| 1635 |
ev_timer_init (&tw, 0, timeout * 1e-3); |
| 1636 |
ev_timer_start (loop, &tw); |
| 1637 |
|
| 1638 |
// create one ev_io per pollfd |
| 1639 |
for (int i = 0; i < nfd; ++i) |
| 1640 |
{ |
| 1641 |
ev_io_init (iow + i, io_cb, fds [i].fd, |
| 1642 |
((fds [i].events & POLLIN ? EV_READ : 0) |
| 1643 |
| (fds [i].events & POLLOUT ? EV_WRITE : 0))); |
| 1644 |
|
| 1645 |
fds [i].revents = 0; |
| 1646 |
ev_io_start (loop, iow + i); |
| 1647 |
} |
| 1648 |
} |
| 1649 |
|
| 1650 |
// stop all watchers after blocking |
| 1651 |
static void |
| 1652 |
adns_check_cb (ev_loop *loop, ev_check *w, int revents) |
| 1653 |
{ |
| 1654 |
ev_timer_stop (loop, &tw); |
| 1655 |
|
| 1656 |
for (int i = 0; i < nfd; ++i) |
| 1657 |
{ |
| 1658 |
// set the relevant poll flags |
| 1659 |
// could also call adns_processreadable etc. here |
| 1660 |
struct pollfd *fd = fds + i; |
| 1661 |
int revents = ev_clear_pending (iow + i); |
| 1662 |
if (revents & EV_READ ) fd->revents |= fd->events & POLLIN; |
| 1663 |
if (revents & EV_WRITE) fd->revents |= fd->events & POLLOUT; |
| 1664 |
|
| 1665 |
// now stop the watcher |
| 1666 |
ev_io_stop (loop, iow + i); |
| 1667 |
} |
| 1668 |
|
| 1669 |
adns_afterpoll (adns, fds, nfd, timeval_from (ev_now (loop)); |
| 1670 |
} |
| 1671 |
|
| 1672 |
</pre> |
| 1673 |
<p>Method 2: This would be just like method 1, but you run <code>adns_afterpoll</code> |
| 1674 |
in the prepare watcher and would dispose of the check watcher.</p> |
| 1675 |
<p>Method 3: If the module to be embedded supports explicit event |
| 1676 |
notification (adns does), you can also make use of the actual watcher |
| 1677 |
callbacks, and only destroy/create the watchers in the prepare watcher.</p> |
| 1678 |
<pre> static void |
| 1679 |
timer_cb (EV_P_ ev_timer *w, int revents) |
| 1680 |
{ |
| 1681 |
adns_state ads = (adns_state)w->data; |
| 1682 |
update_now (EV_A); |
| 1683 |
|
| 1684 |
adns_processtimeouts (ads, &tv_now); |
| 1685 |
} |
| 1686 |
|
| 1687 |
static void |
| 1688 |
io_cb (EV_P_ ev_io *w, int revents) |
| 1689 |
{ |
| 1690 |
adns_state ads = (adns_state)w->data; |
| 1691 |
update_now (EV_A); |
| 1692 |
|
| 1693 |
if (revents & EV_READ ) adns_processreadable (ads, w->fd, &tv_now); |
| 1694 |
if (revents & EV_WRITE) adns_processwriteable (ads, w->fd, &tv_now); |
| 1695 |
} |
| 1696 |
|
| 1697 |
// do not ever call adns_afterpoll |
| 1698 |
|
| 1699 |
</pre> |
| 1700 |
<p>Method 4: Do not use a prepare or check watcher because the module you |
| 1701 |
want to embed is too inflexible to support it. Instead, youc na override |
| 1702 |
their poll function. The drawback with this solution is that the main |
| 1703 |
loop is now no longer controllable by EV. The <code>Glib::EV</code> module does |
| 1704 |
this.</p> |
| 1705 |
<pre> static gint |
| 1706 |
event_poll_func (GPollFD *fds, guint nfds, gint timeout) |
| 1707 |
{ |
| 1708 |
int got_events = 0; |
| 1709 |
|
| 1710 |
for (n = 0; n < nfds; ++n) |
| 1711 |
// create/start io watcher that sets the relevant bits in fds[n] and increment got_events |
| 1712 |
|
| 1713 |
if (timeout >= 0) |
| 1714 |
// create/start timer |
| 1715 |
|
| 1716 |
// poll |
| 1717 |
ev_loop (EV_A_ 0); |
| 1718 |
|
| 1719 |
// stop timer again |
| 1720 |
if (timeout >= 0) |
| 1721 |
ev_timer_stop (EV_A_ &to); |
| 1722 |
|
| 1723 |
// stop io watchers again - their callbacks should have set |
| 1724 |
for (n = 0; n < nfds; ++n) |
| 1725 |
ev_io_stop (EV_A_ iow [n]); |
| 1726 |
|
| 1727 |
return got_events; |
| 1728 |
} |
| 1729 |
|
| 1730 |
|
| 1731 |
|
| 1732 |
|
| 1733 |
</pre> |
| 1734 |
|
| 1735 |
</div> |
| 1736 |
<h2 id="code_ev_embed_code_when_one_backend_"><code>ev_embed</code> - when one backend isn't enough...</h2> |
| 1737 |
<div id="code_ev_embed_code_when_one_backend_-2"> |
| 1738 |
<p>This is a rather advanced watcher type that lets you embed one event loop |
| 1739 |
into another (currently only <code>ev_io</code> events are supported in the embedded |
| 1740 |
loop, other types of watchers might be handled in a delayed or incorrect |
| 1741 |
fashion and must not be used).</p> |
| 1742 |
<p>There are primarily two reasons you would want that: work around bugs and |
| 1743 |
prioritise I/O.</p> |
| 1744 |
<p>As an example for a bug workaround, the kqueue backend might only support |
| 1745 |
sockets on some platform, so it is unusable as generic backend, but you |
| 1746 |
still want to make use of it because you have many sockets and it scales |
| 1747 |
so nicely. In this case, you would create a kqueue-based loop and embed it |
| 1748 |
into your default loop (which might use e.g. poll). Overall operation will |
| 1749 |
be a bit slower because first libev has to poll and then call kevent, but |
| 1750 |
at least you can use both at what they are best.</p> |
| 1751 |
<p>As for prioritising I/O: rarely you have the case where some fds have |
| 1752 |
to be watched and handled very quickly (with low latency), and even |
| 1753 |
priorities and idle watchers might have too much overhead. In this case |
| 1754 |
you would put all the high priority stuff in one loop and all the rest in |
| 1755 |
a second one, and embed the second one in the first.</p> |
| 1756 |
<p>As long as the watcher is active, the callback will be invoked every time |
| 1757 |
there might be events pending in the embedded loop. The callback must then |
| 1758 |
call <code>ev_embed_sweep (mainloop, watcher)</code> to make a single sweep and invoke |
| 1759 |
their callbacks (you could also start an idle watcher to give the embedded |
| 1760 |
loop strictly lower priority for example). You can also set the callback |
| 1761 |
to <code>0</code>, in which case the embed watcher will automatically execute the |
| 1762 |
embedded loop sweep.</p> |
| 1763 |
<p>As long as the watcher is started it will automatically handle events. The |
| 1764 |
callback will be invoked whenever some events have been handled. You can |
| 1765 |
set the callback to <code>0</code> to avoid having to specify one if you are not |
| 1766 |
interested in that.</p> |
| 1767 |
<p>Also, there have not currently been made special provisions for forking: |
| 1768 |
when you fork, you not only have to call <code>ev_loop_fork</code> on both loops, |
| 1769 |
but you will also have to stop and restart any <code>ev_embed</code> watchers |
| 1770 |
yourself.</p> |
| 1771 |
<p>Unfortunately, not all backends are embeddable, only the ones returned by |
| 1772 |
<code>ev_embeddable_backends</code> are, which, unfortunately, does not include any |
| 1773 |
portable one.</p> |
| 1774 |
<p>So when you want to use this feature you will always have to be prepared |
| 1775 |
that you cannot get an embeddable loop. The recommended way to get around |
| 1776 |
this is to have a separate variables for your embeddable loop, try to |
| 1777 |
create it, and if that fails, use the normal loop for everything:</p> |
| 1778 |
<pre> struct ev_loop *loop_hi = ev_default_init (0); |
| 1779 |
struct ev_loop *loop_lo = 0; |
| 1780 |
struct ev_embed embed; |
| 1781 |
|
| 1782 |
// see if there is a chance of getting one that works |
| 1783 |
// (remember that a flags value of 0 means autodetection) |
| 1784 |
loop_lo = ev_embeddable_backends () & ev_recommended_backends () |
| 1785 |
? ev_loop_new (ev_embeddable_backends () & ev_recommended_backends ()) |
| 1786 |
: 0; |
| 1787 |
|
| 1788 |
// if we got one, then embed it, otherwise default to loop_hi |
| 1789 |
if (loop_lo) |
| 1790 |
{ |
| 1791 |
ev_embed_init (&embed, 0, loop_lo); |
| 1792 |
ev_embed_start (loop_hi, &embed); |
| 1793 |
} |
| 1794 |
else |
| 1795 |
loop_lo = loop_hi; |
| 1796 |
|
| 1797 |
</pre> |
| 1798 |
|
| 1799 |
</div> |
| 1800 |
<h3 id="Watcher_Specific_Functions_and_Data_-9">Watcher-Specific Functions and Data Members</h3> |
| 1801 |
<div id="Watcher_Specific_Functions_and_Data_-2-7"> |
| 1802 |
<dl> |
| 1803 |
<dt>ev_embed_init (ev_embed *, callback, struct ev_loop *embedded_loop)</dt> |
| 1804 |
<dt>ev_embed_set (ev_embed *, callback, struct ev_loop *embedded_loop)</dt> |
| 1805 |
<dd> |
| 1806 |
<p>Configures the watcher to embed the given loop, which must be |
| 1807 |
embeddable. If the callback is <code>0</code>, then <code>ev_embed_sweep</code> will be |
| 1808 |
invoked automatically, otherwise it is the responsibility of the callback |
| 1809 |
to invoke it (it will continue to be called until the sweep has been done, |
| 1810 |
if you do not want thta, you need to temporarily stop the embed watcher).</p> |
| 1811 |
</dd> |
| 1812 |
<dt>ev_embed_sweep (loop, ev_embed *)</dt> |
| 1813 |
<dd> |
| 1814 |
<p>Make a single, non-blocking sweep over the embedded loop. This works |
| 1815 |
similarly to <code>ev_loop (embedded_loop, EVLOOP_NONBLOCK)</code>, but in the most |
| 1816 |
apropriate way for embedded loops.</p> |
| 1817 |
</dd> |
| 1818 |
<dt>struct ev_loop *loop [read-only]</dt> |
| 1819 |
<dd> |
| 1820 |
<p>The embedded event loop.</p> |
| 1821 |
</dd> |
| 1822 |
</dl> |
| 1823 |
|
| 1824 |
|
| 1825 |
|
| 1826 |
|
| 1827 |
|
| 1828 |
</div> |
| 1829 |
<h2 id="code_ev_fork_code_the_audacity_to_re"><code>ev_fork</code> - the audacity to resume the event loop after a fork</h2> |
| 1830 |
<div id="code_ev_fork_code_the_audacity_to_re-2"> |
| 1831 |
<p>Fork watchers are called when a <code>fork ()</code> was detected (usually because |
| 1832 |
whoever is a good citizen cared to tell libev about it by calling |
| 1833 |
<code>ev_default_fork</code> or <code>ev_loop_fork</code>). The invocation is done before the |
| 1834 |
event loop blocks next and before <code>ev_check</code> watchers are being called, |
| 1835 |
and only in the child after the fork. If whoever good citizen calling |
| 1836 |
<code>ev_default_fork</code> cheats and calls it in the wrong process, the fork |
| 1837 |
handlers will be invoked, too, of course.</p> |
| 1838 |
|
| 1839 |
</div> |
| 1840 |
<h3 id="Watcher_Specific_Functions_and_Data_-10">Watcher-Specific Functions and Data Members</h3> |
| 1841 |
<div id="Watcher_Specific_Functions_and_Data_-2-8"> |
| 1842 |
<dl> |
| 1843 |
<dt>ev_fork_init (ev_signal *, callback)</dt> |
| 1844 |
<dd> |
| 1845 |
<p>Initialises and configures the fork watcher - it has no parameters of any |
| 1846 |
kind. There is a <code>ev_fork_set</code> macro, but using it is utterly pointless, |
| 1847 |
believe me.</p> |
| 1848 |
</dd> |
| 1849 |
</dl> |
| 1850 |
|
| 1851 |
|
| 1852 |
|
| 1853 |
|
| 1854 |
|
| 1855 |
</div> |
| 1856 |
<h1 id="OTHER_FUNCTIONS">OTHER FUNCTIONS</h1> |
| 1857 |
<div id="OTHER_FUNCTIONS_CONTENT"> |
| 1858 |
<p>There are some other functions of possible interest. Described. Here. Now.</p> |
| 1859 |
<dl> |
| 1860 |
<dt>ev_once (loop, int fd, int events, ev_tstamp timeout, callback)</dt> |
| 1861 |
<dd> |
| 1862 |
<p>This function combines a simple timer and an I/O watcher, calls your |
| 1863 |
callback on whichever event happens first and automatically stop both |
| 1864 |
watchers. This is useful if you want to wait for a single event on an fd |
| 1865 |
or timeout without having to allocate/configure/start/stop/free one or |
| 1866 |
more watchers yourself.</p> |
| 1867 |
<p>If <code>fd</code> is less than 0, then no I/O watcher will be started and events |
| 1868 |
is being ignored. Otherwise, an <code>ev_io</code> watcher for the given <code>fd</code> and |
| 1869 |
<code>events</code> set will be craeted and started.</p> |
| 1870 |
<p>If <code>timeout</code> is less than 0, then no timeout watcher will be |
| 1871 |
started. Otherwise an <code>ev_timer</code> watcher with after = <code>timeout</code> (and |
| 1872 |
repeat = 0) will be started. While <code>0</code> is a valid timeout, it is of |
| 1873 |
dubious value.</p> |
| 1874 |
<p>The callback has the type <code>void (*cb)(int revents, void *arg)</code> and gets |
| 1875 |
passed an <code>revents</code> set like normal event callbacks (a combination of |
| 1876 |
<code>EV_ERROR</code>, <code>EV_READ</code>, <code>EV_WRITE</code> or <code>EV_TIMEOUT</code>) and the <code>arg</code> |
| 1877 |
value passed to <code>ev_once</code>:</p> |
| 1878 |
<pre> static void stdin_ready (int revents, void *arg) |
| 1879 |
{ |
| 1880 |
if (revents & EV_TIMEOUT) |
| 1881 |
/* doh, nothing entered */; |
| 1882 |
else if (revents & EV_READ) |
| 1883 |
/* stdin might have data for us, joy! */; |
| 1884 |
} |
| 1885 |
|
| 1886 |
ev_once (STDIN_FILENO, EV_READ, 10., stdin_ready, 0); |
| 1887 |
|
| 1888 |
</pre> |
| 1889 |
</dd> |
| 1890 |
<dt>ev_feed_event (ev_loop *, watcher *, int revents)</dt> |
| 1891 |
<dd> |
| 1892 |
<p>Feeds the given event set into the event loop, as if the specified event |
| 1893 |
had happened for the specified watcher (which must be a pointer to an |
| 1894 |
initialised but not necessarily started event watcher).</p> |
| 1895 |
</dd> |
| 1896 |
<dt>ev_feed_fd_event (ev_loop *, int fd, int revents)</dt> |
| 1897 |
<dd> |
| 1898 |
<p>Feed an event on the given fd, as if a file descriptor backend detected |
| 1899 |
the given events it.</p> |
| 1900 |
</dd> |
| 1901 |
<dt>ev_feed_signal_event (ev_loop *loop, int signum)</dt> |
| 1902 |
<dd> |
| 1903 |
<p>Feed an event as if the given signal occured (<code>loop</code> must be the default |
| 1904 |
loop!).</p> |
| 1905 |
</dd> |
| 1906 |
</dl> |
| 1907 |
|
| 1908 |
|
| 1909 |
|
| 1910 |
|
| 1911 |
|
| 1912 |
</div> |
| 1913 |
<h1 id="LIBEVENT_EMULATION">LIBEVENT EMULATION</h1> |
| 1914 |
<div id="LIBEVENT_EMULATION_CONTENT"> |
| 1915 |
<p>Libev offers a compatibility emulation layer for libevent. It cannot |
| 1916 |
emulate the internals of libevent, so here are some usage hints:</p> |
| 1917 |
<dl> |
| 1918 |
<dt>* Use it by including <event.h>, as usual.</dt> |
| 1919 |
<dt>* The following members are fully supported: ev_base, ev_callback, |
| 1920 |
ev_arg, ev_fd, ev_res, ev_events.</dt> |
| 1921 |
<dt>* Avoid using ev_flags and the EVLIST_*-macros, while it is |
| 1922 |
maintained by libev, it does not work exactly the same way as in libevent (consider |
| 1923 |
it a private API).</dt> |
| 1924 |
<dt>* Priorities are not currently supported. Initialising priorities |
| 1925 |
will fail and all watchers will have the same priority, even though there |
| 1926 |
is an ev_pri field.</dt> |
| 1927 |
<dt>* Other members are not supported.</dt> |
| 1928 |
<dt>* The libev emulation is <i>not</i> ABI compatible to libevent, you need |
| 1929 |
to use the libev header file and library.</dt> |
| 1930 |
</dl> |
| 1931 |
|
| 1932 |
</div> |
| 1933 |
<h1 id="C_SUPPORT">C++ SUPPORT</h1> |
| 1934 |
<div id="C_SUPPORT_CONTENT"> |
| 1935 |
<p>Libev comes with some simplistic wrapper classes for C++ that mainly allow |
| 1936 |
you to use some convinience methods to start/stop watchers and also change |
| 1937 |
the callback model to a model using method callbacks on objects.</p> |
| 1938 |
<p>To use it,</p> |
| 1939 |
<pre> #include <ev++.h> |
| 1940 |
|
| 1941 |
</pre> |
| 1942 |
<p>This automatically includes <cite>ev.h</cite> and puts all of its definitions (many |
| 1943 |
of them macros) into the global namespace. All C++ specific things are |
| 1944 |
put into the <code>ev</code> namespace. It should support all the same embedding |
| 1945 |
options as <cite>ev.h</cite>, most notably <code>EV_MULTIPLICITY</code>.</p> |
| 1946 |
<p>Care has been taken to keep the overhead low. The only data member the C++ |
| 1947 |
classes add (compared to plain C-style watchers) is the event loop pointer |
| 1948 |
that the watcher is associated with (or no additional members at all if |
| 1949 |
you disable <code>EV_MULTIPLICITY</code> when embedding libev).</p> |
| 1950 |
<p>Currently, functions, and static and non-static member functions can be |
| 1951 |
used as callbacks. Other types should be easy to add as long as they only |
| 1952 |
need one additional pointer for context. If you need support for other |
| 1953 |
types of functors please contact the author (preferably after implementing |
| 1954 |
it).</p> |
| 1955 |
<p>Here is a list of things available in the <code>ev</code> namespace:</p> |
| 1956 |
<dl> |
| 1957 |
<dt><code>ev::READ</code>, <code>ev::WRITE</code> etc.</dt> |
| 1958 |
<dd> |
| 1959 |
<p>These are just enum values with the same values as the <code>EV_READ</code> etc. |
| 1960 |
macros from <cite>ev.h</cite>.</p> |
| 1961 |
</dd> |
| 1962 |
<dt><code>ev::tstamp</code>, <code>ev::now</code></dt> |
| 1963 |
<dd> |
| 1964 |
<p>Aliases to the same types/functions as with the <code>ev_</code> prefix.</p> |
| 1965 |
</dd> |
| 1966 |
<dt><code>ev::io</code>, <code>ev::timer</code>, <code>ev::periodic</code>, <code>ev::idle</code>, <code>ev::sig</code> etc.</dt> |
| 1967 |
<dd> |
| 1968 |
<p>For each <code>ev_TYPE</code> watcher in <cite>ev.h</cite> there is a corresponding class of |
| 1969 |
the same name in the <code>ev</code> namespace, with the exception of <code>ev_signal</code> |
| 1970 |
which is called <code>ev::sig</code> to avoid clashes with the <code>signal</code> macro |
| 1971 |
defines by many implementations.</p> |
| 1972 |
<p>All of those classes have these methods:</p> |
| 1973 |
<p> |
| 1974 |
<dl> |
| 1975 |
<dt>ev::TYPE::TYPE ()</dt> |
| 1976 |
<dt>ev::TYPE::TYPE (struct ev_loop *)</dt> |
| 1977 |
<dt>ev::TYPE::~TYPE</dt> |
| 1978 |
<dd> |
| 1979 |
<p>The constructor (optionally) takes an event loop to associate the watcher |
| 1980 |
with. If it is omitted, it will use <code>EV_DEFAULT</code>.</p> |
| 1981 |
<p>The constructor calls <code>ev_init</code> for you, which means you have to call the |
| 1982 |
<code>set</code> method before starting it.</p> |
| 1983 |
<p>It will not set a callback, however: You have to call the templated <code>set</code> |
| 1984 |
method to set a callback before you can start the watcher.</p> |
| 1985 |
<p>(The reason why you have to use a method is a limitation in C++ which does |
| 1986 |
not allow explicit template arguments for constructors).</p> |
| 1987 |
<p>The destructor automatically stops the watcher if it is active.</p> |
| 1988 |
</dd> |
| 1989 |
<dt>w->set<class, &class::method> (object *)</dt> |
| 1990 |
<dd> |
| 1991 |
<p>This method sets the callback method to call. The method has to have a |
| 1992 |
signature of <code>void (*)(ev_TYPE &, int)</code>, it receives the watcher as |
| 1993 |
first argument and the <code>revents</code> as second. The object must be given as |
| 1994 |
parameter and is stored in the <code>data</code> member of the watcher.</p> |
| 1995 |
<p>This method synthesizes efficient thunking code to call your method from |
| 1996 |
the C callback that libev requires. If your compiler can inline your |
| 1997 |
callback (i.e. it is visible to it at the place of the <code>set</code> call and |
| 1998 |
your compiler is good :), then the method will be fully inlined into the |
| 1999 |
thunking function, making it as fast as a direct C callback.</p> |
| 2000 |
<p>Example: simple class declaration and watcher initialisation</p> |
| 2001 |
<pre> struct myclass |
| 2002 |
{ |
| 2003 |
void io_cb (ev::io &w, int revents) { } |
| 2004 |
} |
| 2005 |
|
| 2006 |
myclass obj; |
| 2007 |
ev::io iow; |
| 2008 |
iow.set <myclass, &myclass::io_cb> (&obj); |
| 2009 |
|
| 2010 |
</pre> |
| 2011 |
</dd> |
| 2012 |
<dt>w->set<function> (void *data = 0)</dt> |
| 2013 |
<dd> |
| 2014 |
<p>Also sets a callback, but uses a static method or plain function as |
| 2015 |
callback. The optional <code>data</code> argument will be stored in the watcher's |
| 2016 |
<code>data</code> member and is free for you to use.</p> |
| 2017 |
<p>The prototype of the <code>function</code> must be <code>void (*)(ev::TYPE &w, int)</code>.</p> |
| 2018 |
<p>See the method-<code>set</code> above for more details.</p> |
| 2019 |
<p>Example:</p> |
| 2020 |
<pre> static void io_cb (ev::io &w, int revents) { } |
| 2021 |
iow.set <io_cb> (); |
| 2022 |
|
| 2023 |
</pre> |
| 2024 |
</dd> |
| 2025 |
<dt>w->set (struct ev_loop *)</dt> |
| 2026 |
<dd> |
| 2027 |
<p>Associates a different <code>struct ev_loop</code> with this watcher. You can only |
| 2028 |
do this when the watcher is inactive (and not pending either).</p> |
| 2029 |
</dd> |
| 2030 |
<dt>w->set ([args])</dt> |
| 2031 |
<dd> |
| 2032 |
<p>Basically the same as <code>ev_TYPE_set</code>, with the same args. Must be |
| 2033 |
called at least once. Unlike the C counterpart, an active watcher gets |
| 2034 |
automatically stopped and restarted when reconfiguring it with this |
| 2035 |
method.</p> |
| 2036 |
</dd> |
| 2037 |
<dt>w->start ()</dt> |
| 2038 |
<dd> |
| 2039 |
<p>Starts the watcher. Note that there is no <code>loop</code> argument, as the |
| 2040 |
constructor already stores the event loop.</p> |
| 2041 |
</dd> |
| 2042 |
<dt>w->stop ()</dt> |
| 2043 |
<dd> |
| 2044 |
<p>Stops the watcher if it is active. Again, no <code>loop</code> argument.</p> |
| 2045 |
</dd> |
| 2046 |
<dt>w->again () <code>ev::timer</code>, <code>ev::periodic</code> only</dt> |
| 2047 |
<dd> |
| 2048 |
<p>For <code>ev::timer</code> and <code>ev::periodic</code>, this invokes the corresponding |
| 2049 |
<code>ev_TYPE_again</code> function.</p> |
| 2050 |
</dd> |
| 2051 |
<dt>w->sweep () <code>ev::embed</code> only</dt> |
| 2052 |
<dd> |
| 2053 |
<p>Invokes <code>ev_embed_sweep</code>.</p> |
| 2054 |
</dd> |
| 2055 |
<dt>w->update () <code>ev::stat</code> only</dt> |
| 2056 |
<dd> |
| 2057 |
<p>Invokes <code>ev_stat_stat</code>.</p> |
| 2058 |
</dd> |
| 2059 |
</dl> |
| 2060 |
</p> |
| 2061 |
</dd> |
| 2062 |
</dl> |
| 2063 |
<p>Example: Define a class with an IO and idle watcher, start one of them in |
| 2064 |
the constructor.</p> |
| 2065 |
<pre> class myclass |
| 2066 |
{ |
| 2067 |
ev_io io; void io_cb (ev::io &w, int revents); |
| 2068 |
ev_idle idle void idle_cb (ev::idle &w, int revents); |
| 2069 |
|
| 2070 |
myclass (); |
| 2071 |
} |
| 2072 |
|
| 2073 |
myclass::myclass (int fd) |
| 2074 |
{ |
| 2075 |
io .set <myclass, &myclass::io_cb > (this); |
| 2076 |
idle.set <myclass, &myclass::idle_cb> (this); |
| 2077 |
|
| 2078 |
io.start (fd, ev::READ); |
| 2079 |
} |
| 2080 |
|
| 2081 |
|
| 2082 |
|
| 2083 |
|
| 2084 |
</pre> |
| 2085 |
|
| 2086 |
</div> |
| 2087 |
<h1 id="MACRO_MAGIC">MACRO MAGIC</h1> |
| 2088 |
<div id="MACRO_MAGIC_CONTENT"> |
| 2089 |
<p>Libev can be compiled with a variety of options, the most fundemantal is |
| 2090 |
<code>EV_MULTIPLICITY</code>. This option determines whether (most) functions and |
| 2091 |
callbacks have an initial <code>struct ev_loop *</code> argument.</p> |
| 2092 |
<p>To make it easier to write programs that cope with either variant, the |
| 2093 |
following macros are defined:</p> |
| 2094 |
<dl> |
| 2095 |
<dt><code>EV_A</code>, <code>EV_A_</code></dt> |
| 2096 |
<dd> |
| 2097 |
<p>This provides the loop <i>argument</i> for functions, if one is required ("ev |
| 2098 |
loop argument"). The <code>EV_A</code> form is used when this is the sole argument, |
| 2099 |
<code>EV_A_</code> is used when other arguments are following. Example:</p> |
| 2100 |
<pre> ev_unref (EV_A); |
| 2101 |
ev_timer_add (EV_A_ watcher); |
| 2102 |
ev_loop (EV_A_ 0); |
| 2103 |
|
| 2104 |
</pre> |
| 2105 |
<p>It assumes the variable <code>loop</code> of type <code>struct ev_loop *</code> is in scope, |
| 2106 |
which is often provided by the following macro.</p> |
| 2107 |
</dd> |
| 2108 |
<dt><code>EV_P</code>, <code>EV_P_</code></dt> |
| 2109 |
<dd> |
| 2110 |
<p>This provides the loop <i>parameter</i> for functions, if one is required ("ev |
| 2111 |
loop parameter"). The <code>EV_P</code> form is used when this is the sole parameter, |
| 2112 |
<code>EV_P_</code> is used when other parameters are following. Example:</p> |
| 2113 |
<pre> // this is how ev_unref is being declared |
| 2114 |
static void ev_unref (EV_P); |
| 2115 |
|
| 2116 |
// this is how you can declare your typical callback |
| 2117 |
static void cb (EV_P_ ev_timer *w, int revents) |
| 2118 |
|
| 2119 |
</pre> |
| 2120 |
<p>It declares a parameter <code>loop</code> of type <code>struct ev_loop *</code>, quite |
| 2121 |
suitable for use with <code>EV_A</code>.</p> |
| 2122 |
</dd> |
| 2123 |
<dt><code>EV_DEFAULT</code>, <code>EV_DEFAULT_</code></dt> |
| 2124 |
<dd> |
| 2125 |
<p>Similar to the other two macros, this gives you the value of the default |
| 2126 |
loop, if multiple loops are supported ("ev loop default").</p> |
| 2127 |
</dd> |
| 2128 |
</dl> |
| 2129 |
<p>Example: Declare and initialise a check watcher, utilising the above |
| 2130 |
macros so it will work regardless of whether multiple loops are supported |
| 2131 |
or not.</p> |
| 2132 |
<pre> static void |
| 2133 |
check_cb (EV_P_ ev_timer *w, int revents) |
| 2134 |
{ |
| 2135 |
ev_check_stop (EV_A_ w); |
| 2136 |
} |
| 2137 |
|
| 2138 |
ev_check check; |
| 2139 |
ev_check_init (&check, check_cb); |
| 2140 |
ev_check_start (EV_DEFAULT_ &check); |
| 2141 |
ev_loop (EV_DEFAULT_ 0); |
| 2142 |
|
| 2143 |
</pre> |
| 2144 |
|
| 2145 |
</div> |
| 2146 |
<h1 id="EMBEDDING">EMBEDDING</h1> |
| 2147 |
<div id="EMBEDDING_CONTENT"> |
| 2148 |
<p>Libev can (and often is) directly embedded into host |
| 2149 |
applications. Examples of applications that embed it include the Deliantra |
| 2150 |
Game Server, the EV perl module, the GNU Virtual Private Ethernet (gvpe) |
| 2151 |
and rxvt-unicode.</p> |
| 2152 |
<p>The goal is to enable you to just copy the neecssary files into your |
| 2153 |
source directory without having to change even a single line in them, so |
| 2154 |
you can easily upgrade by simply copying (or having a checked-out copy of |
| 2155 |
libev somewhere in your source tree).</p> |
| 2156 |
|
| 2157 |
</div> |
| 2158 |
<h2 id="FILESETS">FILESETS</h2> |
| 2159 |
<div id="FILESETS_CONTENT"> |
| 2160 |
<p>Depending on what features you need you need to include one or more sets of files |
| 2161 |
in your app.</p> |
| 2162 |
|
| 2163 |
</div> |
| 2164 |
<h3 id="CORE_EVENT_LOOP">CORE EVENT LOOP</h3> |
| 2165 |
<div id="CORE_EVENT_LOOP_CONTENT"> |
| 2166 |
<p>To include only the libev core (all the <code>ev_*</code> functions), with manual |
| 2167 |
configuration (no autoconf):</p> |
| 2168 |
<pre> #define EV_STANDALONE 1 |
| 2169 |
#include "ev.c" |
| 2170 |
|
| 2171 |
</pre> |
| 2172 |
<p>This will automatically include <cite>ev.h</cite>, too, and should be done in a |
| 2173 |
single C source file only to provide the function implementations. To use |
| 2174 |
it, do the same for <cite>ev.h</cite> in all files wishing to use this API (best |
| 2175 |
done by writing a wrapper around <cite>ev.h</cite> that you can include instead and |
| 2176 |
where you can put other configuration options):</p> |
| 2177 |
<pre> #define EV_STANDALONE 1 |
| 2178 |
#include "ev.h" |
| 2179 |
|
| 2180 |
</pre> |
| 2181 |
<p>Both header files and implementation files can be compiled with a C++ |
| 2182 |
compiler (at least, thats a stated goal, and breakage will be treated |
| 2183 |
as a bug).</p> |
| 2184 |
<p>You need the following files in your source tree, or in a directory |
| 2185 |
in your include path (e.g. in libev/ when using -Ilibev):</p> |
| 2186 |
<pre> ev.h |
| 2187 |
ev.c |
| 2188 |
ev_vars.h |
| 2189 |
ev_wrap.h |
| 2190 |
|
| 2191 |
ev_win32.c required on win32 platforms only |
| 2192 |
|
| 2193 |
ev_select.c only when select backend is enabled (which is enabled by default) |
| 2194 |
ev_poll.c only when poll backend is enabled (disabled by default) |
| 2195 |
ev_epoll.c only when the epoll backend is enabled (disabled by default) |
| 2196 |
ev_kqueue.c only when the kqueue backend is enabled (disabled by default) |
| 2197 |
ev_port.c only when the solaris port backend is enabled (disabled by default) |
| 2198 |
|
| 2199 |
</pre> |
| 2200 |
<p><cite>ev.c</cite> includes the backend files directly when enabled, so you only need |
| 2201 |
to compile this single file.</p> |
| 2202 |
|
| 2203 |
</div> |
| 2204 |
<h3 id="LIBEVENT_COMPATIBILITY_API">LIBEVENT COMPATIBILITY API</h3> |
| 2205 |
<div id="LIBEVENT_COMPATIBILITY_API_CONTENT"> |
| 2206 |
<p>To include the libevent compatibility API, also include:</p> |
| 2207 |
<pre> #include "event.c" |
| 2208 |
|
| 2209 |
</pre> |
| 2210 |
<p>in the file including <cite>ev.c</cite>, and:</p> |
| 2211 |
<pre> #include "event.h" |
| 2212 |
|
| 2213 |
</pre> |
| 2214 |
<p>in the files that want to use the libevent API. This also includes <cite>ev.h</cite>.</p> |
| 2215 |
<p>You need the following additional files for this:</p> |
| 2216 |
<pre> event.h |
| 2217 |
event.c |
| 2218 |
|
| 2219 |
</pre> |
| 2220 |
|
| 2221 |
</div> |
| 2222 |
<h3 id="AUTOCONF_SUPPORT">AUTOCONF SUPPORT</h3> |
| 2223 |
<div id="AUTOCONF_SUPPORT_CONTENT"> |
| 2224 |
<p>Instead of using <code>EV_STANDALONE=1</code> and providing your config in |
| 2225 |
whatever way you want, you can also <code>m4_include([libev.m4])</code> in your |
| 2226 |
<cite>configure.ac</cite> and leave <code>EV_STANDALONE</code> undefined. <cite>ev.c</cite> will then |
| 2227 |
include <cite>config.h</cite> and configure itself accordingly.</p> |
| 2228 |
<p>For this of course you need the m4 file:</p> |
| 2229 |
<pre> libev.m4 |
| 2230 |
|
| 2231 |
</pre> |
| 2232 |
|
| 2233 |
</div> |
| 2234 |
<h2 id="PREPROCESSOR_SYMBOLS_MACROS">PREPROCESSOR SYMBOLS/MACROS</h2> |
| 2235 |
<div id="PREPROCESSOR_SYMBOLS_MACROS_CONTENT"> |
| 2236 |
<p>Libev can be configured via a variety of preprocessor symbols you have to define |
| 2237 |
before including any of its files. The default is not to build for multiplicity |
| 2238 |
and only include the select backend.</p> |
| 2239 |
<dl> |
| 2240 |
<dt>EV_STANDALONE</dt> |
| 2241 |
<dd> |
| 2242 |
<p>Must always be <code>1</code> if you do not use autoconf configuration, which |
| 2243 |
keeps libev from including <cite>config.h</cite>, and it also defines dummy |
| 2244 |
implementations for some libevent functions (such as logging, which is not |
| 2245 |
supported). It will also not define any of the structs usually found in |
| 2246 |
<cite>event.h</cite> that are not directly supported by the libev core alone.</p> |
| 2247 |
</dd> |
| 2248 |
<dt>EV_USE_MONOTONIC</dt> |
| 2249 |
<dd> |
| 2250 |
<p>If defined to be <code>1</code>, libev will try to detect the availability of the |
| 2251 |
monotonic clock option at both compiletime and runtime. Otherwise no use |
| 2252 |
of the monotonic clock option will be attempted. If you enable this, you |
| 2253 |
usually have to link against librt or something similar. Enabling it when |
| 2254 |
the functionality isn't available is safe, though, althoguh you have |
| 2255 |
to make sure you link against any libraries where the <code>clock_gettime</code> |
| 2256 |
function is hiding in (often <cite>-lrt</cite>).</p> |
| 2257 |
</dd> |
| 2258 |
<dt>EV_USE_REALTIME</dt> |
| 2259 |
<dd> |
| 2260 |
<p>If defined to be <code>1</code>, libev will try to detect the availability of the |
| 2261 |
realtime clock option at compiletime (and assume its availability at |
| 2262 |
runtime if successful). Otherwise no use of the realtime clock option will |
| 2263 |
be attempted. This effectively replaces <code>gettimeofday</code> by <code>clock_get |
| 2264 |
(CLOCK_REALTIME, ...)</code> and will not normally affect correctness. See tzhe note about libraries |
| 2265 |
in the description of <code>EV_USE_MONOTONIC</code>, though.</p> |
| 2266 |
</dd> |
| 2267 |
<dt>EV_USE_SELECT</dt> |
| 2268 |
<dd> |
| 2269 |
<p>If undefined or defined to be <code>1</code>, libev will compile in support for the |
| 2270 |
<code>select</code>(2) backend. No attempt at autodetection will be done: if no |
| 2271 |
other method takes over, select will be it. Otherwise the select backend |
| 2272 |
will not be compiled in.</p> |
| 2273 |
</dd> |
| 2274 |
<dt>EV_SELECT_USE_FD_SET</dt> |
| 2275 |
<dd> |
| 2276 |
<p>If defined to <code>1</code>, then the select backend will use the system <code>fd_set</code> |
| 2277 |
structure. This is useful if libev doesn't compile due to a missing |
| 2278 |
<code>NFDBITS</code> or <code>fd_mask</code> definition or it misguesses the bitset layout on |
| 2279 |
exotic systems. This usually limits the range of file descriptors to some |
| 2280 |
low limit such as 1024 or might have other limitations (winsocket only |
| 2281 |
allows 64 sockets). The <code>FD_SETSIZE</code> macro, set before compilation, might |
| 2282 |
influence the size of the <code>fd_set</code> used.</p> |
| 2283 |
</dd> |
| 2284 |
<dt>EV_SELECT_IS_WINSOCKET</dt> |
| 2285 |
<dd> |
| 2286 |
<p>When defined to <code>1</code>, the select backend will assume that |
| 2287 |
select/socket/connect etc. don't understand file descriptors but |
| 2288 |
wants osf handles on win32 (this is the case when the select to |
| 2289 |
be used is the winsock select). This means that it will call |
| 2290 |
<code>_get_osfhandle</code> on the fd to convert it to an OS handle. Otherwise, |
| 2291 |
it is assumed that all these functions actually work on fds, even |
| 2292 |
on win32. Should not be defined on non-win32 platforms.</p> |
| 2293 |
</dd> |
| 2294 |
<dt>EV_USE_POLL</dt> |
| 2295 |
<dd> |
| 2296 |
<p>If defined to be <code>1</code>, libev will compile in support for the <code>poll</code>(2) |
| 2297 |
backend. Otherwise it will be enabled on non-win32 platforms. It |
| 2298 |
takes precedence over select.</p> |
| 2299 |
</dd> |
| 2300 |
<dt>EV_USE_EPOLL</dt> |
| 2301 |
<dd> |
| 2302 |
<p>If defined to be <code>1</code>, libev will compile in support for the Linux |
| 2303 |
<code>epoll</code>(7) backend. Its availability will be detected at runtime, |
| 2304 |
otherwise another method will be used as fallback. This is the |
| 2305 |
preferred backend for GNU/Linux systems.</p> |
| 2306 |
</dd> |
| 2307 |
<dt>EV_USE_KQUEUE</dt> |
| 2308 |
<dd> |
| 2309 |
<p>If defined to be <code>1</code>, libev will compile in support for the BSD style |
| 2310 |
<code>kqueue</code>(2) backend. Its actual availability will be detected at runtime, |
| 2311 |
otherwise another method will be used as fallback. This is the preferred |
| 2312 |
backend for BSD and BSD-like systems, although on most BSDs kqueue only |
| 2313 |
supports some types of fds correctly (the only platform we found that |
| 2314 |
supports ptys for example was NetBSD), so kqueue might be compiled in, but |
| 2315 |
not be used unless explicitly requested. The best way to use it is to find |
| 2316 |
out whether kqueue supports your type of fd properly and use an embedded |
| 2317 |
kqueue loop.</p> |
| 2318 |
</dd> |
| 2319 |
<dt>EV_USE_PORT</dt> |
| 2320 |
<dd> |
| 2321 |
<p>If defined to be <code>1</code>, libev will compile in support for the Solaris |
| 2322 |
10 port style backend. Its availability will be detected at runtime, |
| 2323 |
otherwise another method will be used as fallback. This is the preferred |
| 2324 |
backend for Solaris 10 systems.</p> |
| 2325 |
</dd> |
| 2326 |
<dt>EV_USE_DEVPOLL</dt> |
| 2327 |
<dd> |
| 2328 |
<p>reserved for future expansion, works like the USE symbols above.</p> |
| 2329 |
</dd> |
| 2330 |
<dt>EV_USE_INOTIFY</dt> |
| 2331 |
<dd> |
| 2332 |
<p>If defined to be <code>1</code>, libev will compile in support for the Linux inotify |
| 2333 |
interface to speed up <code>ev_stat</code> watchers. Its actual availability will |
| 2334 |
be detected at runtime.</p> |
| 2335 |
</dd> |
| 2336 |
<dt>EV_H</dt> |
| 2337 |
<dd> |
| 2338 |
<p>The name of the <cite>ev.h</cite> header file used to include it. The default if |
| 2339 |
undefined is <code><ev.h></code> in <cite>event.h</cite> and <code>"ev.h"</code> in <cite>ev.c</cite>. This |
| 2340 |
can be used to virtually rename the <cite>ev.h</cite> header file in case of conflicts.</p> |
| 2341 |
</dd> |
| 2342 |
<dt>EV_CONFIG_H</dt> |
| 2343 |
<dd> |
| 2344 |
<p>If <code>EV_STANDALONE</code> isn't <code>1</code>, this variable can be used to override |
| 2345 |
<cite>ev.c</cite>'s idea of where to find the <cite>config.h</cite> file, similarly to |
| 2346 |
<code>EV_H</code>, above.</p> |
| 2347 |
</dd> |
| 2348 |
<dt>EV_EVENT_H</dt> |
| 2349 |
<dd> |
| 2350 |
<p>Similarly to <code>EV_H</code>, this macro can be used to override <cite>event.c</cite>'s idea |
| 2351 |
of how the <cite>event.h</cite> header can be found.</p> |
| 2352 |
</dd> |
| 2353 |
<dt>EV_PROTOTYPES</dt> |
| 2354 |
<dd> |
| 2355 |
<p>If defined to be <code>0</code>, then <cite>ev.h</cite> will not define any function |
| 2356 |
prototypes, but still define all the structs and other symbols. This is |
| 2357 |
occasionally useful if you want to provide your own wrapper functions |
| 2358 |
around libev functions.</p> |
| 2359 |
</dd> |
| 2360 |
<dt>EV_MULTIPLICITY</dt> |
| 2361 |
<dd> |
| 2362 |
<p>If undefined or defined to <code>1</code>, then all event-loop-specific functions |
| 2363 |
will have the <code>struct ev_loop *</code> as first argument, and you can create |
| 2364 |
additional independent event loops. Otherwise there will be no support |
| 2365 |
for multiple event loops and there is no first event loop pointer |
| 2366 |
argument. Instead, all functions act on the single default loop.</p> |
| 2367 |
</dd> |
| 2368 |
<dt>EV_MINPRI</dt> |
| 2369 |
<dt>EV_MAXPRI</dt> |
| 2370 |
<dd> |
| 2371 |
<p>The range of allowed priorities. <code>EV_MINPRI</code> must be smaller or equal to |
| 2372 |
<code>EV_MAXPRI</code>, but otherwise there are no non-obvious limitations. You can |
| 2373 |
provide for more priorities by overriding those symbols (usually defined |
| 2374 |
to be <code>-2</code> and <code>2</code>, respectively).</p> |
| 2375 |
<p>When doing priority-based operations, libev usually has to linearly search |
| 2376 |
all the priorities, so having many of them (hundreds) uses a lot of space |
| 2377 |
and time, so using the defaults of five priorities (-2 .. +2) is usually |
| 2378 |
fine.</p> |
| 2379 |
<p>If your embedding app does not need any priorities, defining these both to |
| 2380 |
<code>0</code> will save some memory and cpu.</p> |
| 2381 |
</dd> |
| 2382 |
<dt>EV_PERIODIC_ENABLE</dt> |
| 2383 |
<dd> |
| 2384 |
<p>If undefined or defined to be <code>1</code>, then periodic timers are supported. If |
| 2385 |
defined to be <code>0</code>, then they are not. Disabling them saves a few kB of |
| 2386 |
code.</p> |
| 2387 |
</dd> |
| 2388 |
<dt>EV_IDLE_ENABLE</dt> |
| 2389 |
<dd> |
| 2390 |
<p>If undefined or defined to be <code>1</code>, then idle watchers are supported. If |
| 2391 |
defined to be <code>0</code>, then they are not. Disabling them saves a few kB of |
| 2392 |
code.</p> |
| 2393 |
</dd> |
| 2394 |
<dt>EV_EMBED_ENABLE</dt> |
| 2395 |
<dd> |
| 2396 |
<p>If undefined or defined to be <code>1</code>, then embed watchers are supported. If |
| 2397 |
defined to be <code>0</code>, then they are not.</p> |
| 2398 |
</dd> |
| 2399 |
<dt>EV_STAT_ENABLE</dt> |
| 2400 |
<dd> |
| 2401 |
<p>If undefined or defined to be <code>1</code>, then stat watchers are supported. If |
| 2402 |
defined to be <code>0</code>, then they are not.</p> |
| 2403 |
</dd> |
| 2404 |
<dt>EV_FORK_ENABLE</dt> |
| 2405 |
<dd> |
| 2406 |
<p>If undefined or defined to be <code>1</code>, then fork watchers are supported. If |
| 2407 |
defined to be <code>0</code>, then they are not.</p> |
| 2408 |
</dd> |
| 2409 |
<dt>EV_MINIMAL</dt> |
| 2410 |
<dd> |
| 2411 |
<p>If you need to shave off some kilobytes of code at the expense of some |
| 2412 |
speed, define this symbol to <code>1</code>. Currently only used for gcc to override |
| 2413 |
some inlining decisions, saves roughly 30% codesize of amd64.</p> |
| 2414 |
</dd> |
| 2415 |
<dt>EV_PID_HASHSIZE</dt> |
| 2416 |
<dd> |
| 2417 |
<p><code>ev_child</code> watchers use a small hash table to distribute workload by |
| 2418 |
pid. The default size is <code>16</code> (or <code>1</code> with <code>EV_MINIMAL</code>), usually more |
| 2419 |
than enough. If you need to manage thousands of children you might want to |
| 2420 |
increase this value (<i>must</i> be a power of two).</p> |
| 2421 |
</dd> |
| 2422 |
<dt>EV_INOTIFY_HASHSIZE</dt> |
| 2423 |
<dd> |
| 2424 |
<p><code>ev_staz</code> watchers use a small hash table to distribute workload by |
| 2425 |
inotify watch id. The default size is <code>16</code> (or <code>1</code> with <code>EV_MINIMAL</code>), |
| 2426 |
usually more than enough. If you need to manage thousands of <code>ev_stat</code> |
| 2427 |
watchers you might want to increase this value (<i>must</i> be a power of |
| 2428 |
two).</p> |
| 2429 |
</dd> |
| 2430 |
<dt>EV_COMMON</dt> |
| 2431 |
<dd> |
| 2432 |
<p>By default, all watchers have a <code>void *data</code> member. By redefining |
| 2433 |
this macro to a something else you can include more and other types of |
| 2434 |
members. You have to define it each time you include one of the files, |
| 2435 |
though, and it must be identical each time.</p> |
| 2436 |
<p>For example, the perl EV module uses something like this:</p> |
| 2437 |
<pre> #define EV_COMMON \ |
| 2438 |
SV *self; /* contains this struct */ \ |
| 2439 |
SV *cb_sv, *fh /* note no trailing ";" */ |
| 2440 |
|
| 2441 |
</pre> |
| 2442 |
</dd> |
| 2443 |
<dt>EV_CB_DECLARE (type)</dt> |
| 2444 |
<dt>EV_CB_INVOKE (watcher, revents)</dt> |
| 2445 |
<dt>ev_set_cb (ev, cb)</dt> |
| 2446 |
<dd> |
| 2447 |
<p>Can be used to change the callback member declaration in each watcher, |
| 2448 |
and the way callbacks are invoked and set. Must expand to a struct member |
| 2449 |
definition and a statement, respectively. See the <cite>ev.v</cite> header file for |
| 2450 |
their default definitions. One possible use for overriding these is to |
| 2451 |
avoid the <code>struct ev_loop *</code> as first argument in all cases, or to use |
| 2452 |
method calls instead of plain function calls in C++.</p> |
| 2453 |
|
| 2454 |
</div> |
| 2455 |
<h2 id="EXAMPLES">EXAMPLES</h2> |
| 2456 |
<div id="EXAMPLES_CONTENT"> |
| 2457 |
<p>For a real-world example of a program the includes libev |
| 2458 |
verbatim, you can have a look at the EV perl module |
| 2459 |
(<a href="http://software.schmorp.de/pkg/EV.html">http://software.schmorp.de/pkg/EV.html</a>). It has the libev files in |
| 2460 |
the <cite>libev/</cite> subdirectory and includes them in the <cite>EV/EVAPI.h</cite> (public |
| 2461 |
interface) and <cite>EV.xs</cite> (implementation) files. Only the <cite>EV.xs</cite> file |
| 2462 |
will be compiled. It is pretty complex because it provides its own header |
| 2463 |
file.</p> |
| 2464 |
<p>The usage in rxvt-unicode is simpler. It has a <cite>ev_cpp.h</cite> header file |
| 2465 |
that everybody includes and which overrides some configure choices:</p> |
| 2466 |
<pre> #define EV_MINIMAL 1 |
| 2467 |
#define EV_USE_POLL 0 |
| 2468 |
#define EV_MULTIPLICITY 0 |
| 2469 |
#define EV_PERIODIC_ENABLE 0 |
| 2470 |
#define EV_STAT_ENABLE 0 |
| 2471 |
#define EV_FORK_ENABLE 0 |
| 2472 |
#define EV_CONFIG_H <config.h> |
| 2473 |
#define EV_MINPRI 0 |
| 2474 |
#define EV_MAXPRI 0 |
| 2475 |
|
| 2476 |
#include "ev++.h" |
| 2477 |
|
| 2478 |
</pre> |
| 2479 |
<p>And a <cite>ev_cpp.C</cite> implementation file that contains libev proper and is compiled:</p> |
| 2480 |
<pre> #include "ev_cpp.h" |
| 2481 |
#include "ev.c" |
| 2482 |
|
| 2483 |
|
| 2484 |
|
| 2485 |
|
| 2486 |
</pre> |
| 2487 |
|
| 2488 |
</div> |
| 2489 |
<h1 id="COMPLEXITIES">COMPLEXITIES</h1> |
| 2490 |
<div id="COMPLEXITIES_CONTENT"> |
| 2491 |
<p>In this section the complexities of (many of) the algorithms used inside |
| 2492 |
libev will be explained. For complexity discussions about backends see the |
| 2493 |
documentation for <code>ev_default_init</code>.</p> |
| 2494 |
<p>All of the following are about amortised time: If an array needs to be |
| 2495 |
extended, libev needs to realloc and move the whole array, but this |
| 2496 |
happens asymptotically never with higher number of elements, so O(1) might |
| 2497 |
mean it might do a lengthy realloc operation in rare cases, but on average |
| 2498 |
it is much faster and asymptotically approaches constant time.</p> |
| 2499 |
<p> |
| 2500 |
<dl> |
| 2501 |
<dt>Starting and stopping timer/periodic watchers: O(log skipped_other_timers)</dt> |
| 2502 |
<dd> |
| 2503 |
<p>This means that, when you have a watcher that triggers in one hour and |
| 2504 |
there are 100 watchers that would trigger before that then inserting will |
| 2505 |
have to skip those 100 watchers.</p> |
| 2506 |
</dd> |
| 2507 |
<dt>Changing timer/periodic watchers (by autorepeat, again): O(log skipped_other_timers)</dt> |
| 2508 |
<dd> |
| 2509 |
<p>That means that for changing a timer costs less than removing/adding them |
| 2510 |
as only the relative motion in the event queue has to be paid for.</p> |
| 2511 |
</dd> |
| 2512 |
<dt>Starting io/check/prepare/idle/signal/child watchers: O(1)</dt> |
| 2513 |
<dd> |
| 2514 |
<p>These just add the watcher into an array or at the head of a list. |
| 2515 |
=item Stopping check/prepare/idle watchers: O(1)</p> |
| 2516 |
</dd> |
| 2517 |
<dt>Stopping an io/signal/child watcher: O(number_of_watchers_for_this_(fd/signal/pid % EV_PID_HASHSIZE))</dt> |
| 2518 |
<dd> |
| 2519 |
<p>These watchers are stored in lists then need to be walked to find the |
| 2520 |
correct watcher to remove. The lists are usually short (you don't usually |
| 2521 |
have many watchers waiting for the same fd or signal).</p> |
| 2522 |
</dd> |
| 2523 |
<dt>Finding the next timer per loop iteration: O(1)</dt> |
| 2524 |
<dt>Each change on a file descriptor per loop iteration: O(number_of_watchers_for_this_fd)</dt> |
| 2525 |
<dd> |
| 2526 |
<p>A change means an I/O watcher gets started or stopped, which requires |
| 2527 |
libev to recalculate its status (and possibly tell the kernel).</p> |
| 2528 |
</dd> |
| 2529 |
<dt>Activating one watcher: O(1)</dt> |
| 2530 |
<dt>Priority handling: O(number_of_priorities)</dt> |
| 2531 |
<dd> |
| 2532 |
<p>Priorities are implemented by allocating some space for each |
| 2533 |
priority. When doing priority-based operations, libev usually has to |
| 2534 |
linearly search all the priorities.</p> |
| 2535 |
</dd> |
| 2536 |
</dl> |
| 2537 |
</p> |
| 2538 |
|
| 2539 |
|
| 2540 |
|
| 2541 |
|
| 2542 |
|
| 2543 |
</div> |
| 2544 |
<h1 id="AUTHOR">AUTHOR</h1> |
| 2545 |
<div id="AUTHOR_CONTENT"> |
| 2546 |
<p>Marc Lehmann <libev@schmorp.de>.</p> |
| 2547 |
|
| 2548 |
</div> |
| 2549 |
</div></body> |
| 2550 |
</html> |