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

Comparing libev/ev.pod (file contents):
Revision 1.210 by root, Thu Oct 30 08:09:30 2008 UTC vs.
Revision 1.216 by root, Thu Nov 13 15:55:38 2008 UTC

417i.e. keep at least one watcher active per fd at all times. Stopping and 417i.e. keep at least one watcher active per fd at all times. Stopping and
418starting a watcher (without re-setting it) also usually doesn't cause 418starting a watcher (without re-setting it) also usually doesn't cause
419extra overhead. A fork can both result in spurious notifications as well 419extra overhead. A fork can both result in spurious notifications as well
420as in libev having to destroy and recreate the epoll object, which can 420as in libev having to destroy and recreate the epoll object, which can
421take considerable time and thus should be avoided. 421take considerable time and thus should be avoided.
422
423All this means that, in practice, C<EVBACKEND_SELECT> can be as fast or
424faster than epoll for maybe up to a hundred file descriptors, depending on
425the usage. So sad.
422 426
423While nominally embeddable in other event loops, this feature is broken in 427While nominally embeddable in other event loops, this feature is broken in
424all kernel versions tested so far. 428all kernel versions tested so far.
425 429
426This backend maps C<EV_READ> and C<EV_WRITE> in the same way as 430This backend maps C<EV_READ> and C<EV_WRITE> in the same way as
1415 else 1419 else
1416 { 1420 {
1417 // callback was invoked, but there was some activity, re-arm 1421 // callback was invoked, but there was some activity, re-arm
1418 // the watcher to fire in last_activity + 60, which is 1422 // the watcher to fire in last_activity + 60, which is
1419 // guaranteed to be in the future, so "again" is positive: 1423 // guaranteed to be in the future, so "again" is positive:
1420 w->again = timeout - now; 1424 w->repeat = timeout - now;
1421 ev_timer_again (EV_A_ w); 1425 ev_timer_again (EV_A_ w);
1422 } 1426 }
1423 } 1427 }
1424 1428
1425To summarise the callback: first calculate the real timeout (defined 1429To summarise the callback: first calculate the real timeout (defined
1932C<stat> on that path in regular intervals (or when the OS says it changed) 1936C<stat> on that path in regular intervals (or when the OS says it changed)
1933and sees if it changed compared to the last time, invoking the callback if 1937and sees if it changed compared to the last time, invoking the callback if
1934it did. 1938it did.
1935 1939
1936The path does not need to exist: changing from "path exists" to "path does 1940The path does not need to exist: changing from "path exists" to "path does
1937not exist" is a status change like any other. The condition "path does 1941not exist" is a status change like any other. The condition "path does not
1938not exist" is signified by the C<st_nlink> field being zero (which is 1942exist" (or more correctly "path cannot be stat'ed") is signified by the
1939otherwise always forced to be at least one) and all the other fields of 1943C<st_nlink> field being zero (which is otherwise always forced to be at
1940the stat buffer having unspecified contents. 1944least one) and all the other fields of the stat buffer having unspecified
1945contents.
1941 1946
1942The path I<must not> end in a slash or contain special components such as 1947The path I<must not> end in a slash or contain special components such as
1943C<.> or C<..>. The path I<should> be absolute: If it is relative and 1948C<.> or C<..>. The path I<should> be absolute: If it is relative and
1944your working directory changes, then the behaviour is undefined. 1949your working directory changes, then the behaviour is undefined.
1945 1950
1955This watcher type is not meant for massive numbers of stat watchers, 1960This watcher type is not meant for massive numbers of stat watchers,
1956as even with OS-supported change notifications, this can be 1961as even with OS-supported change notifications, this can be
1957resource-intensive. 1962resource-intensive.
1958 1963
1959At the time of this writing, the only OS-specific interface implemented 1964At the time of this writing, the only OS-specific interface implemented
1960is the Linux inotify interface (implementing kqueue support is left as 1965is the Linux inotify interface (implementing kqueue support is left as an
1961an exercise for the reader. Note, however, that the author sees no way 1966exercise for the reader. Note, however, that the author sees no way of
1962of implementing C<ev_stat> semantics with kqueue). 1967implementing C<ev_stat> semantics with kqueue, except as a hint).
1963 1968
1964=head3 ABI Issues (Largefile Support) 1969=head3 ABI Issues (Largefile Support)
1965 1970
1966Libev by default (unless the user overrides this) uses the default 1971Libev by default (unless the user overrides this) uses the default
1967compilation environment, which means that on systems with large file 1972compilation environment, which means that on systems with large file
1978to exchange stat structures with application programs compiled using the 1983to exchange stat structures with application programs compiled using the
1979default compilation environment. 1984default compilation environment.
1980 1985
1981=head3 Inotify and Kqueue 1986=head3 Inotify and Kqueue
1982 1987
1983When C<inotify (7)> support has been compiled into libev (generally 1988When C<inotify (7)> support has been compiled into libev and present at
1984only available with Linux 2.6.25 or above due to bugs in earlier 1989runtime, it will be used to speed up change detection where possible. The
1985implementations) and present at runtime, it will be used to speed up 1990inotify descriptor will be created lazily when the first C<ev_stat>
1986change detection where possible. The inotify descriptor will be created 1991watcher is being started.
1987lazily when the first C<ev_stat> watcher is being started.
1988 1992
1989Inotify presence does not change the semantics of C<ev_stat> watchers 1993Inotify presence does not change the semantics of C<ev_stat> watchers
1990except that changes might be detected earlier, and in some cases, to avoid 1994except that changes might be detected earlier, and in some cases, to avoid
1991making regular C<stat> calls. Even in the presence of inotify support 1995making regular C<stat> calls. Even in the presence of inotify support
1992there are many cases where libev has to resort to regular C<stat> polling, 1996there are many cases where libev has to resort to regular C<stat> polling,
1993but as long as the path exists, libev usually gets away without polling. 1997but as long as kernel 2.6.25 or newer is used (2.6.24 and older have too
1998many bugs), the path exists (i.e. stat succeeds), and the path resides on
1999a local filesystem (libev currently assumes only ext2/3, jfs, reiserfs and
2000xfs are fully working) libev usually gets away without polling.
1994 2001
1995There is no support for kqueue, as apparently it cannot be used to 2002There is no support for kqueue, as apparently it cannot be used to
1996implement this functionality, due to the requirement of having a file 2003implement this functionality, due to the requirement of having a file
1997descriptor open on the object at all times, and detecting renames, unlinks 2004descriptor open on the object at all times, and detecting renames, unlinks
1998etc. is difficult. 2005etc. is difficult.
2006
2007=head3 C<stat ()> is a synchronous operation
2008
2009Libev doesn't normally do any kind of I/O itself, and so is not blocking
2010the process. The exception are C<ev_stat> watchers - those call C<stat
2011()>, which is a synchronous operation.
2012
2013For local paths, this usually doesn't matter: unless the system is very
2014busy or the intervals between stat's are large, a stat call will be fast,
2015as the path data is suually in memory already (except when starting the
2016watcher).
2017
2018For networked file systems, calling C<stat ()> can block an indefinite
2019time due to network issues, and even under good conditions, a stat call
2020often takes multiple milliseconds.
2021
2022Therefore, it is best to avoid using C<ev_stat> watchers on networked
2023paths, although this is fully supported by libev.
1999 2024
2000=head3 The special problem of stat time resolution 2025=head3 The special problem of stat time resolution
2001 2026
2002The C<stat ()> system call only supports full-second resolution portably, 2027The C<stat ()> system call only supports full-second resolution portably,
2003and even on systems where the resolution is higher, most file systems 2028and even on systems where the resolution is higher, most file systems

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines