Re: [Xen-devel] [xen-unstable test] 13461: regressions - FAIL

[Ian Campbell <Ian.Campbell@xxxxxxxxxx>]

On Thu, 2012-07-05 at 12:21 +0100, Ian Jackson wrote:
> Ian Campbell writes ("Re: [Xen-devel] [xen-unstable test] 13461: regressions 
> - FAIL"):
> > Does stating $_lockfile before and after the flock, in addition to
> > comparing both with $_lockfd, close the race you are worried about?
> 
> The correct answer to this question is to present a proof that what
> I'm doing is correct.

I was actually just speculating on ways to avoid $(PERL) rather than
questioning the algorithm but as Roger and you have pointed out there is
no such concern in this particular file.

The analysis is still useful though.

[...]

> This demonstrates, I think, that the design is correct.  I will do
> some testing on the implementation to try to check that it implements
> the design.

I think so too.

Ian.


_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel