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.213 by root, Wed Nov 5 02:48:45 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 practise, C<EVBACKEND_SELECT> is as fast or faster
424then epoll for maybe up to a hundred file descriptors. So sad.
422 425
423While nominally embeddable in other event loops, this feature is broken in 426While nominally embeddable in other event loops, this feature is broken in
424all kernel versions tested so far. 427all kernel versions tested so far.
425 428
426This backend maps C<EV_READ> and C<EV_WRITE> in the same way as 429This backend maps C<EV_READ> and C<EV_WRITE> in the same way as
1932C<stat> on that path in regular intervals (or when the OS says it changed) 1935C<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 1936and sees if it changed compared to the last time, invoking the callback if
1934it did. 1937it did.
1935 1938
1936The path does not need to exist: changing from "path exists" to "path does 1939The 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 1940not 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 1941exist" (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 1942C<st_nlink> field being zero (which is otherwise always forced to be at
1940the stat buffer having unspecified contents. 1943least one) and all the other fields of the stat buffer having unspecified
1944contents.
1941 1945
1942The path I<must not> end in a slash or contain special components such as 1946The 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 1947C<.> or C<..>. The path I<should> be absolute: If it is relative and
1944your working directory changes, then the behaviour is undefined. 1948your working directory changes, then the behaviour is undefined.
1945 1949
1955This watcher type is not meant for massive numbers of stat watchers, 1959This watcher type is not meant for massive numbers of stat watchers,
1956as even with OS-supported change notifications, this can be 1960as even with OS-supported change notifications, this can be
1957resource-intensive. 1961resource-intensive.
1958 1962
1959At the time of this writing, the only OS-specific interface implemented 1963At the time of this writing, the only OS-specific interface implemented
1960is the Linux inotify interface (implementing kqueue support is left as 1964is the Linux inotify interface (implementing kqueue support is left as an
1961an exercise for the reader. Note, however, that the author sees no way 1965exercise for the reader. Note, however, that the author sees no way of
1962of implementing C<ev_stat> semantics with kqueue). 1966implementing C<ev_stat> semantics with kqueue, except as a hint).
1963 1967
1964=head3 ABI Issues (Largefile Support) 1968=head3 ABI Issues (Largefile Support)
1965 1969
1966Libev by default (unless the user overrides this) uses the default 1970Libev by default (unless the user overrides this) uses the default
1967compilation environment, which means that on systems with large file 1971compilation environment, which means that on systems with large file
1978to exchange stat structures with application programs compiled using the 1982to exchange stat structures with application programs compiled using the
1979default compilation environment. 1983default compilation environment.
1980 1984
1981=head3 Inotify and Kqueue 1985=head3 Inotify and Kqueue
1982 1986
1983When C<inotify (7)> support has been compiled into libev (generally 1987When 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 1988runtime, it will be used to speed up change detection where possible. The
1985implementations) and present at runtime, it will be used to speed up 1989inotify descriptor will be created lazily when the first C<ev_stat>
1986change detection where possible. The inotify descriptor will be created 1990watcher is being started.
1987lazily when the first C<ev_stat> watcher is being started.
1988 1991
1989Inotify presence does not change the semantics of C<ev_stat> watchers 1992Inotify presence does not change the semantics of C<ev_stat> watchers
1990except that changes might be detected earlier, and in some cases, to avoid 1993except that changes might be detected earlier, and in some cases, to avoid
1991making regular C<stat> calls. Even in the presence of inotify support 1994making 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, 1995there 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. 1996but as long as kernel 2.6.25 or newer is used (2.6.24 and older have too
1997many bugs), the path exists (i.e. stat succeeds), and the path resides on
1998a local filesystem (libev currently assumes only ext2/3, jfs, reiserfs and
1999xfs are fully working) libev usually gets away without polling.
1994 2000
1995There is no support for kqueue, as apparently it cannot be used to 2001There is no support for kqueue, as apparently it cannot be used to
1996implement this functionality, due to the requirement of having a file 2002implement this functionality, due to the requirement of having a file
1997descriptor open on the object at all times, and detecting renames, unlinks 2003descriptor open on the object at all times, and detecting renames, unlinks
1998etc. is difficult. 2004etc. is difficult.
2005
2006=head3 C<stat ()> is a synchronous operation
2007
2008Libev doesn't normally do any kind of I/O itself, and so is not blocking
2009the process. The exception are C<ev_stat> watchers - those call C<stat
2010()>, which is a synchronous operation.
2011
2012For local paths, this usually doesn't matter: unless the system is very
2013busy or the intervals between stat's are large, a stat call will be fast,
2014as the path data is suually in memory already (except when starting the
2015watcher).
2016
2017For networked file systems, calling C<stat ()> can block an indefinite
2018time due to network issues, and even under good conditions, a stat call
2019often takes multiple milliseconds.
2020
2021Therefore, it is best to avoid using C<ev_stat> watchers on networked
2022paths, although this is fully supported by libev.
1999 2023
2000=head3 The special problem of stat time resolution 2024=head3 The special problem of stat time resolution
2001 2025
2002The C<stat ()> system call only supports full-second resolution portably, 2026The C<stat ()> system call only supports full-second resolution portably,
2003and even on systems where the resolution is higher, most file systems 2027and even on systems where the resolution is higher, most file systems

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines