ken@gvax.cs.cornell.edu (Ken Birman) (06/22/89)
Several (many) people have answered my question about changing binary files when paging is being done on a remote NFS. The consensus seems to be that if one moved the old copy to some other name (bin/isis~) before loading the new one, the old NFS file handle would continue to point to this old copy of the file, and the old executable would continue to run... until the second time you do this, when it would still bomb. I suppose that this could fall under the category of "living with statelessness". I must say that I was surprised by the number of replies I got on this. I hope that some of you will consider posting your thoughts to the group as a whole... Ken