Make file leases more stable
Quoted 8 lines
If you deem it appropriate, please apply this patch.
It makes the file leases much more stable and reliable in the presence of multiple shared leases. This patch cannot make things worse than they currently are. :-)
There is a further problem with leases that I am working on, but that is harder and will require more testing.
<patch snipped>
I have tested this patch out. It fixes the issues that I raised in my note on 1 May, with the exception of the non-blocking
case, which Steven has acknowledged separately to me that he is still working on. Some of the changes fix bad breakages, and the patch doesn't seem to introduce any new problems, so I'd certeinly vote for its application.
Cheers
Michael