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

Comparing libev/ev.pod (file contents):
Revision 1.189 by root, Tue Sep 30 19:33:33 2008 UTC vs.
Revision 1.195 by root, Mon Oct 20 17:50:48 2008 UTC

685C<EVUNLOOP_ONE>, which will make the innermost C<ev_loop> call return, or 685C<EVUNLOOP_ONE>, which will make the innermost C<ev_loop> call return, or
686C<EVUNLOOP_ALL>, which will make all nested C<ev_loop> calls return. 686C<EVUNLOOP_ALL>, which will make all nested C<ev_loop> calls return.
687 687
688This "unloop state" will be cleared when entering C<ev_loop> again. 688This "unloop state" will be cleared when entering C<ev_loop> again.
689 689
690It is safe to call C<ev_unloop> from otuside any C<ev_loop> calls.
691
690=item ev_ref (loop) 692=item ev_ref (loop)
691 693
692=item ev_unref (loop) 694=item ev_unref (loop)
693 695
694Ref/unref can be used to add or remove a reference count on the event 696Ref/unref can be used to add or remove a reference count on the event
967 969
968 ev_io_start (EV_DEFAULT_UC, &w); 970 ev_io_start (EV_DEFAULT_UC, &w);
969 971
970=item C<ev_TYPE_stop> (loop *, ev_TYPE *watcher) 972=item C<ev_TYPE_stop> (loop *, ev_TYPE *watcher)
971 973
972Stops the given watcher again (if active) and clears the pending 974Stops the given watcher if active, and clears the pending status (whether
975the watcher was active or not).
976
973status. It is possible that stopped watchers are pending (for example, 977It is possible that stopped watchers are pending - for example,
974non-repeating timers are being stopped when they become pending), but 978non-repeating timers are being stopped when they become pending - but
975C<ev_TYPE_stop> ensures that the watcher is neither active nor pending. If 979calling C<ev_TYPE_stop> ensures that the watcher is neither active nor
976you want to free or reuse the memory used by the watcher it is therefore a 980pending. If you want to free or reuse the memory used by the watcher it is
977good idea to always call its C<ev_TYPE_stop> function. 981therefore a good idea to always call its C<ev_TYPE_stop> function.
978 982
979=item bool ev_is_active (ev_TYPE *watcher) 983=item bool ev_is_active (ev_TYPE *watcher)
980 984
981Returns a true value iff the watcher is active (i.e. it has been started 985Returns a true value iff the watcher is active (i.e. it has been started
982and not yet been stopped). As long as a watcher is active you must not modify 986and not yet been stopped). As long as a watcher is active you must not modify
2384=over 4 2388=over 4
2385 2389
2386=item queueing from a signal handler context 2390=item queueing from a signal handler context
2387 2391
2388To implement race-free queueing, you simply add to the queue in the signal 2392To implement race-free queueing, you simply add to the queue in the signal
2389handler but you block the signal handler in the watcher callback. Here is an example that does that for 2393handler but you block the signal handler in the watcher callback. Here is
2390some fictitious SIGUSR1 handler: 2394an example that does that for some fictitious SIGUSR1 handler:
2391 2395
2392 static ev_async mysig; 2396 static ev_async mysig;
2393 2397
2394 static void 2398 static void
2395 sigusr1_handler (void) 2399 sigusr1_handler (void)
2502=over 4 2506=over 4
2503 2507
2504=item ev_once (loop, int fd, int events, ev_tstamp timeout, callback) 2508=item ev_once (loop, int fd, int events, ev_tstamp timeout, callback)
2505 2509
2506This function combines a simple timer and an I/O watcher, calls your 2510This function combines a simple timer and an I/O watcher, calls your
2507callback on whichever event happens first and automatically stop both 2511callback on whichever event happens first and automatically stops both
2508watchers. This is useful if you want to wait for a single event on an fd 2512watchers. This is useful if you want to wait for a single event on an fd
2509or timeout without having to allocate/configure/start/stop/free one or 2513or timeout without having to allocate/configure/start/stop/free one or
2510more watchers yourself. 2514more watchers yourself.
2511 2515
2512If C<fd> is less than 0, then no I/O watcher will be started and events 2516If C<fd> is less than 0, then no I/O watcher will be started and the
2513is being ignored. Otherwise, an C<ev_io> watcher for the given C<fd> and 2517C<events> argument is being ignored. Otherwise, an C<ev_io> watcher for
2514C<events> set will be created and started. 2518the given C<fd> and C<events> set will be created and started.
2515 2519
2516If C<timeout> is less than 0, then no timeout watcher will be 2520If C<timeout> is less than 0, then no timeout watcher will be
2517started. Otherwise an C<ev_timer> watcher with after = C<timeout> (and 2521started. Otherwise an C<ev_timer> watcher with after = C<timeout> (and
2518repeat = 0) will be started. While C<0> is a valid timeout, it is of 2522repeat = 0) will be started. C<0> is a valid timeout.
2519dubious value.
2520 2523
2521The callback has the type C<void (*cb)(int revents, void *arg)> and gets 2524The callback has the type C<void (*cb)(int revents, void *arg)> and gets
2522passed an C<revents> set like normal event callbacks (a combination of 2525passed an C<revents> set like normal event callbacks (a combination of
2523C<EV_ERROR>, C<EV_READ>, C<EV_WRITE> or C<EV_TIMEOUT>) and the C<arg> 2526C<EV_ERROR>, C<EV_READ>, C<EV_WRITE> or C<EV_TIMEOUT>) and the C<arg>
2524value passed to C<ev_once>: 2527value passed to C<ev_once>. Note that it is possible to receive I<both>
2528a timeout and an io event at the same time - you probably should give io
2529events precedence.
2530
2531Example: wait up to ten seconds for data to appear on STDIN_FILENO.
2525 2532
2526 static void stdin_ready (int revents, void *arg) 2533 static void stdin_ready (int revents, void *arg)
2527 { 2534 {
2535 if (revents & EV_READ)
2536 /* stdin might have data for us, joy! */;
2528 if (revents & EV_TIMEOUT) 2537 else if (revents & EV_TIMEOUT)
2529 /* doh, nothing entered */; 2538 /* doh, nothing entered */;
2530 else if (revents & EV_READ)
2531 /* stdin might have data for us, joy! */;
2532 } 2539 }
2533 2540
2534 ev_once (STDIN_FILENO, EV_READ, 10., stdin_ready, 0); 2541 ev_once (STDIN_FILENO, EV_READ, 10., stdin_ready, 0);
2535 2542
2536=item ev_feed_event (ev_loop *, watcher *, int revents) 2543=item ev_feed_event (ev_loop *, watcher *, int revents)
3313=head2 THREADS AND COROUTINES 3320=head2 THREADS AND COROUTINES
3314 3321
3315=head3 THREADS 3322=head3 THREADS
3316 3323
3317All libev functions are reentrant and thread-safe unless explicitly 3324All libev functions are reentrant and thread-safe unless explicitly
3318documented otherwise, but it uses no locking itself. This means that you 3325documented otherwise, but libev implements no locking itself. This means
3319can use as many loops as you want in parallel, as long as there are no 3326that you can use as many loops as you want in parallel, as long as there
3320concurrent calls into any libev function with the same loop parameter 3327are no concurrent calls into any libev function with the same loop
3321(C<ev_default_*> calls have an implicit default loop parameter, of 3328parameter (C<ev_default_*> calls have an implicit default loop parameter,
3322course): libev guarantees that different event loops share no data 3329of course): libev guarantees that different event loops share no data
3323structures that need any locking. 3330structures that need any locking.
3324 3331
3325Or to put it differently: calls with different loop parameters can be done 3332Or to put it differently: calls with different loop parameters can be done
3326concurrently from multiple threads, calls with the same loop parameter 3333concurrently from multiple threads, calls with the same loop parameter
3327must be done serially (but can be done from different threads, as long as 3334must be done serially (but can be done from different threads, as long as
3369 3376
3370=back 3377=back
3371 3378
3372=head3 COROUTINES 3379=head3 COROUTINES
3373 3380
3374Libev is much more accommodating to coroutines ("cooperative threads"): 3381Libev is very accommodating to coroutines ("cooperative threads"):
3375libev fully supports nesting calls to it's functions from different 3382libev fully supports nesting calls to its functions from different
3376coroutines (e.g. you can call C<ev_loop> on the same loop from two 3383coroutines (e.g. you can call C<ev_loop> on the same loop from two
3377different coroutines and switch freely between both coroutines running the 3384different coroutines, and switch freely between both coroutines running the
3378loop, as long as you don't confuse yourself). The only exception is that 3385loop, as long as you don't confuse yourself). The only exception is that
3379you must not do this from C<ev_periodic> reschedule callbacks. 3386you must not do this from C<ev_periodic> reschedule callbacks.
3380 3387
3381Care has been taken to ensure that libev does not keep local state inside 3388Care has been taken to ensure that libev does not keep local state inside
3382C<ev_loop>, and other calls do not usually allow coroutine switches. 3389C<ev_loop>, and other calls do not usually allow for coroutine switches as
3390they do not clal any callbacks.
3383 3391
3384=head2 COMPILER WARNINGS 3392=head2 COMPILER WARNINGS
3385 3393
3386Depending on your compiler and compiler settings, you might get no or a 3394Depending on your compiler and compiler settings, you might get no or a
3387lot of warnings when compiling libev code. Some people are apparently 3395lot of warnings when compiling libev code. Some people are apparently
3408with any compiler warnings enabled unless you are prepared to cope with 3416with any compiler warnings enabled unless you are prepared to cope with
3409them (e.g. by ignoring them). Remember that warnings are just that: 3417them (e.g. by ignoring them). Remember that warnings are just that:
3410warnings, not errors, or proof of bugs. 3418warnings, not errors, or proof of bugs.
3411 3419
3412 3420
3413=head1 VALGRIND 3421=head2 VALGRIND
3414 3422
3415Valgrind has a special section here because it is a popular tool that is 3423Valgrind has a special section here because it is a popular tool that is
3416highly useful. Unfortunately, valgrind reports are very hard to interpret. 3424highly useful. Unfortunately, valgrind reports are very hard to interpret.
3417 3425
3418If you think you found a bug (memory leak, uninitialised data access etc.) 3426If you think you found a bug (memory leak, uninitialised data access etc.)
3441 3449
3442If you need, for some reason, empty reports from valgrind for your project 3450If you need, for some reason, empty reports from valgrind for your project
3443I suggest using suppression lists. 3451I suggest using suppression lists.
3444 3452
3445 3453
3446
3447=head1 COMPLEXITIES
3448
3449In this section the complexities of (many of) the algorithms used inside
3450libev will be explained. For complexity discussions about backends see the
3451documentation for C<ev_default_init>.
3452
3453All of the following are about amortised time: If an array needs to be
3454extended, libev needs to realloc and move the whole array, but this
3455happens asymptotically never with higher number of elements, so O(1) might
3456mean it might do a lengthy realloc operation in rare cases, but on average
3457it is much faster and asymptotically approaches constant time.
3458
3459=over 4
3460
3461=item Starting and stopping timer/periodic watchers: O(log skipped_other_timers)
3462
3463This means that, when you have a watcher that triggers in one hour and
3464there are 100 watchers that would trigger before that then inserting will
3465have to skip roughly seven (C<ld 100>) of these watchers.
3466
3467=item Changing timer/periodic watchers (by autorepeat or calling again): O(log skipped_other_timers)
3468
3469That means that changing a timer costs less than removing/adding them
3470as only the relative motion in the event queue has to be paid for.
3471
3472=item Starting io/check/prepare/idle/signal/child/fork/async watchers: O(1)
3473
3474These just add the watcher into an array or at the head of a list.
3475
3476=item Stopping check/prepare/idle/fork/async watchers: O(1)
3477
3478=item Stopping an io/signal/child watcher: O(number_of_watchers_for_this_(fd/signal/pid % EV_PID_HASHSIZE))
3479
3480These watchers are stored in lists then need to be walked to find the
3481correct watcher to remove. The lists are usually short (you don't usually
3482have many watchers waiting for the same fd or signal).
3483
3484=item Finding the next timer in each loop iteration: O(1)
3485
3486By virtue of using a binary or 4-heap, the next timer is always found at a
3487fixed position in the storage array.
3488
3489=item Each change on a file descriptor per loop iteration: O(number_of_watchers_for_this_fd)
3490
3491A change means an I/O watcher gets started or stopped, which requires
3492libev to recalculate its status (and possibly tell the kernel, depending
3493on backend and whether C<ev_io_set> was used).
3494
3495=item Activating one watcher (putting it into the pending state): O(1)
3496
3497=item Priority handling: O(number_of_priorities)
3498
3499Priorities are implemented by allocating some space for each
3500priority. When doing priority-based operations, libev usually has to
3501linearly search all the priorities, but starting/stopping and activating
3502watchers becomes O(1) with respect to priority handling.
3503
3504=item Sending an ev_async: O(1)
3505
3506=item Processing ev_async_send: O(number_of_async_watchers)
3507
3508=item Processing signals: O(max_signal_number)
3509
3510Sending involves a system call I<iff> there were no other C<ev_async_send>
3511calls in the current loop iteration. Checking for async and signal events
3512involves iterating over all running async watchers or all signal numbers.
3513
3514=back
3515
3516
3517=head1 PORTABILITY 3454=head1 PORTABILITY NOTES
3518 3455
3519=head2 WIN32 PLATFORM LIMITATIONS AND WORKAROUNDS 3456=head2 WIN32 PLATFORM LIMITATIONS AND WORKAROUNDS
3520 3457
3521Win32 doesn't support any of the standards (e.g. POSIX) that libev 3458Win32 doesn't support any of the standards (e.g. POSIX) that libev
3522requires, and its I/O model is fundamentally incompatible with the POSIX 3459requires, and its I/O model is fundamentally incompatible with the POSIX
3667=back 3604=back
3668 3605
3669If you know of other additional requirements drop me a note. 3606If you know of other additional requirements drop me a note.
3670 3607
3671 3608
3609=head1 ALGORITHMIC COMPLEXITIES
3610
3611In this section the complexities of (many of) the algorithms used inside
3612libev will be documented. For complexity discussions about backends see
3613the documentation for C<ev_default_init>.
3614
3615All of the following are about amortised time: If an array needs to be
3616extended, libev needs to realloc and move the whole array, but this
3617happens asymptotically rarer with higher number of elements, so O(1) might
3618mean that libev does a lengthy realloc operation in rare cases, but on
3619average it is much faster and asymptotically approaches constant time.
3620
3621=over 4
3622
3623=item Starting and stopping timer/periodic watchers: O(log skipped_other_timers)
3624
3625This means that, when you have a watcher that triggers in one hour and
3626there are 100 watchers that would trigger before that, then inserting will
3627have to skip roughly seven (C<ld 100>) of these watchers.
3628
3629=item Changing timer/periodic watchers (by autorepeat or calling again): O(log skipped_other_timers)
3630
3631That means that changing a timer costs less than removing/adding them,
3632as only the relative motion in the event queue has to be paid for.
3633
3634=item Starting io/check/prepare/idle/signal/child/fork/async watchers: O(1)
3635
3636These just add the watcher into an array or at the head of a list.
3637
3638=item Stopping check/prepare/idle/fork/async watchers: O(1)
3639
3640=item Stopping an io/signal/child watcher: O(number_of_watchers_for_this_(fd/signal/pid % EV_PID_HASHSIZE))
3641
3642These watchers are stored in lists, so they need to be walked to find the
3643correct watcher to remove. The lists are usually short (you don't usually
3644have many watchers waiting for the same fd or signal: one is typical, two
3645is rare).
3646
3647=item Finding the next timer in each loop iteration: O(1)
3648
3649By virtue of using a binary or 4-heap, the next timer is always found at a
3650fixed position in the storage array.
3651
3652=item Each change on a file descriptor per loop iteration: O(number_of_watchers_for_this_fd)
3653
3654A change means an I/O watcher gets started or stopped, which requires
3655libev to recalculate its status (and possibly tell the kernel, depending
3656on backend and whether C<ev_io_set> was used).
3657
3658=item Activating one watcher (putting it into the pending state): O(1)
3659
3660=item Priority handling: O(number_of_priorities)
3661
3662Priorities are implemented by allocating some space for each
3663priority. When doing priority-based operations, libev usually has to
3664linearly search all the priorities, but starting/stopping and activating
3665watchers becomes O(1) with respect to priority handling.
3666
3667=item Sending an ev_async: O(1)
3668
3669=item Processing ev_async_send: O(number_of_async_watchers)
3670
3671=item Processing signals: O(max_signal_number)
3672
3673Sending involves a system call I<iff> there were no other C<ev_async_send>
3674calls in the current loop iteration. Checking for async and signal events
3675involves iterating over all running async watchers or all signal numbers.
3676
3677=back
3678
3679
3672=head1 AUTHOR 3680=head1 AUTHOR
3673 3681
3674Marc Lehmann <libev@schmorp.de>. 3682Marc Lehmann <libev@schmorp.de>.
3675 3683

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines