Subject: Re: NFS locking
To: None <current-users@NetBSD.ORG>
From: Ken Hornstein <>
List: current-users
Date: 07/29/1998 16:36:49
>On top of that, there was a math proof that was done several years ago 
>that showed that the remote locking semantics could not actually work
>right (which might explain why sun has released about fifty million
>patched versions of lockd over the years).

You know, I've heard this before, but I could never track this down.
Does anyone have a reference for this?  (Not that I'm calling anyone
a liar, but it would be nice to be able to refer to this proof).