From mboxrd@z Thu Jan 1 00:00:00 1970 From: Ram Pai Subject: Re: mount behavior question. Date: Thu, 28 Jul 2005 13:09:18 -0700 Message-ID: <1122581358.4715.152.camel@localhost> References: <20050725224417.501066000@localhost> <20050725225907.007405000@localhost> <1122500344.5037.171.camel@localhost> <1122536107.4715.45.camel@localhost> <1122562938.4715.71.camel@localhost> <1122574958.4715.108.camel@localhost> Mime-Version: 1.0 Content-Type: text/plain Content-Transfer-Encoding: 7bit Cc: Andrew Morton , viro@parcelfarce.linux.theplanet.co.uk, Avantika Mathur , mike@waychison.com, janak@us.ibm.com, linux-fsdevel@vger.kernel.org Return-path: Received: from e31.co.us.ibm.com ([32.97.110.129]:61109 "EHLO e31.co.us.ibm.com") by vger.kernel.org with ESMTP id S261807AbVG1UJW (ORCPT ); Thu, 28 Jul 2005 16:09:22 -0400 Received: from westrelay02.boulder.ibm.com (westrelay02.boulder.ibm.com [9.17.195.11]) by e31.co.us.ibm.com (8.12.10/8.12.9) with ESMTP id j6SK9KIY494660 for ; Thu, 28 Jul 2005 16:09:20 -0400 Received: from d03av02.boulder.ibm.com (d03av02.boulder.ibm.com [9.17.195.168]) by westrelay02.boulder.ibm.com (8.12.10/NCO/VERS6.7) with ESMTP id j6SK9Kso434828 for ; Thu, 28 Jul 2005 14:09:20 -0600 Received: from d03av02.boulder.ibm.com (loopback [127.0.0.1]) by d03av02.boulder.ibm.com (8.12.11/8.13.3) with ESMTP id j6SK9Ji8008838 for ; Thu, 28 Jul 2005 14:09:20 -0600 To: Miklos Szeredi In-Reply-To: Sender: linux-fsdevel-owner@vger.kernel.org List-Id: linux-fsdevel.vger.kernel.org On Thu, 2005-07-28 at 12:30, Miklos Szeredi wrote: > > no. there is no asymmetry as such. the propogations are working the way > > they are meant to. But the confusion arises because of the mount lookup > > symantics. The reason Avantika(who is doing shared subtree testing), > > had this exact confusion is because of the 'most-recent-mount visible' > > rule. I dont think this rule is documented anywhere. And the natural > > response to such a behavior is confusion. > > I really fail to see what you are getting at. > > You agree that: > > 1) mount doesn't propagate from /mnt/1 to /mnt/2/1. > > 2) mount propagates from /mnt/2/1 to /mnt/1. Yes I agree. > > Then you are surprised that you don't see the same thing if you mount > on /mnt/1 as if on /mnt/2/1. I am not surprised when mounts on /mnt/1 do not propogate to /mnt/2/1 This is expected, and I am perfectly happy. Because the mount is attempted on 'B' and 'B' has nobody to propogate to. when mount on /mnt/2/1 (i.e on C at dentry 1) is attempted, I expect to see a new mount 'E' at that dentry. That is happening and I am happy with it. I also expect that the mount propogates to /mnt/1 too (i.e on 'A' at dentry '1'). Because 'C' and 'A' have propogation setup. But what I also expect to see is: the new mount 'F' at /mnt/1 ( mount A at dentry 1) be obscured by the already existing mount on /mnt/1 i.e mount 'B'. And the reason I want the new mount at /mnt/1 (i.e 'F') obscured is that the new mount is not done on 'B' but is done on 'A'. The "most recent mount rule" makes 'B' obscured instead of 'F' and I am expecting "the topmount visible rule" to be applicable here which makes 'B' still visible and 'F' obscured. Ah...its so hard without a whiteboard :( I wish there was some way to explain it drawing some objects on the whiteboard. I guess, I have got all the letters and the words right. Any small mistake can distort everything. If somebody is wondering why there is no 'D' that is because it was used for something else in the earlier example and hence not used here. RP > > I think your proposed solution would be _more_ confusing not less, > since then I'd not see the expected propagation from /mnt/2/1 to > /mnt/1. I'd call that a bug. > > Miklos