diff options
author | Johannes Sixt <j6t@kdbg.org> | 2009-04-03 08:49:59 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2009-04-20 03:42:53 -0700 |
commit | 6ac6f87818edfd33fea8ce3c95b47fe00a4e4b91 (patch) | |
tree | 3a2113c9d9dc551b83d07d069236fd1487f51386 /Makefile | |
parent | ccb4b5391382f4cdb5e5be49036e82e7d837b7af (diff) | |
download | git-6ac6f87818edfd33fea8ce3c95b47fe00a4e4b91.tar.gz |
Windows: Work around intermittent failures in mingw_rename
We have replaced rename() with a version that can rename a file to a
destination that already exists. Nevertheless, many users, the author
included, observe failures in the code that are not reproducible.
The theory is that the failures are due to some other process that happens
to have opened the destination file briefly at the wrong moment. (And there
is no way on Windows to delete or replace a file that is currently open.)
The most likely candidate for such a process is a virus scanner. The
failure is more often observed while there is heavy git activity (for
example while the test suite is running or during a rebase operation).
We work around the failure by retrying the rename operation if it failed
due to ERROR_ACCESS_DENIED. The retries are delayed a bit: The first only
by giving up the time slice, the next after the minimal scheduling
granularity, and if more retries are needed, then we wait some non-trivial
amount of time with exponential back-off.
Signed-off-by: Johannes Sixt <j6t@kdbg.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions