[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] Re: [Xen-devel] [xen-unstable test] 13461: regressions - FAIL
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
|
Lists.xenproject.org is hosted with RackSpace, monitoring our |