diff options
| author |  Adam Spiers <git@adamspiers.org> | 2013-04-11 13:05:13 +0100 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2013-04-11 11:11:36 -0700 |
| commit | f1ed7fea7974218db15155f3b8d2e29d3fe0971c (patch) | |
| tree | 6e84f63ddd4fb3a927d2ef2cc2829c0d566ac7b8 /Documentation/git.txt | |
| parent | check-ignore: allow incremental streaming of queries via --stdin (diff) | |
| download | tgif-f1ed7fea7974218db15155f3b8d2e29d3fe0971c.tar.xz | |
Documentation: add caveats about I/O buffering for check-{attr,ignore}
check-attr and check-ignore have the potential to deadlock callers
which do not read back the output in real-time. For example, if a
caller writes N paths out and then reads N lines back in, it risks
becoming blocked on write() to check-*, and check-* is blocked on
write back to the caller. Somebody has to buffer; the pipe buffers
provide some leeway, but they are limited.
Thanks to Peff for pointing this out:
http://article.gmane.org/gmane.comp.version-control.git/220534
Signed-off-by: Adam Spiers <git@adamspiers.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git.txt')
| -rw-r--r-- | Documentation/git.txt | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Documentation/git.txt b/Documentation/git.txt index 65c37c4544..122b33f066 100644 --- a/Documentation/git.txt +++ b/Documentation/git.txt @@ -771,8 +771,9 @@ for further details. 'GIT_FLUSH':: If this environment variable is set to "1", then commands such as 'git blame' (in incremental mode), 'git rev-list', 'git log', - and 'git whatchanged' will force a flush of the output stream - after each commit-oriented record have been flushed. If this + 'git check-attr', 'git check-ignore', and 'git whatchanged' will + force a flush of the output stream after each record have been + flushed. If this variable is set to "0", the output of these commands will be done using completely buffered I/O. If this environment variable is not set, git will choose buffered or record-oriented flushing |