Re: [PATCH] Make file leases more stable

[Michael Kerrisk]

>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