From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <38e0f7c1cf60157c1e74879ac4909e6c@plan9.bell-labs.com>
To: 9fans@cse.psu.edu
Subject: Re: [9fans] replica (was: ipv6)
From: rsc@plan9.bell-labs.com
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
Date: Tue, 28 May 2002 12:55:16 -0400
Topicbox-Message-UUID: 9e896dc4-eaca-11e9-9e20-41e7f4b1d025

> Could there be a problem if pull has already opened the file
> and is copying it at the time an update is written to it.
> pull would have got the metadata of the file pre update.
> I'm assuming your local updates are faster than remote pulls
> so local update writes can 'overtake' the reads of a remote pull.
> Unlikely I know, but possible?

Nope.  Pull stats the file before and after copying.
If a local write happened in the middle, the qid
returned by the second stat will be different, so
pull will copy it again.  This repeats until the qid
stops changing.

Russ