From mboxrd@z Thu Jan 1 00:00:00 1970 MIME-Version: 1.0 In-Reply-To: <20120113164101.GB647@polynum.com> References: <20120113113026.GA419@polynum.com> <20120113133836.GA484@polynum.com> <20120113140834.GA849@polynum.com> <20120113160142.GA98@polynum.com> <20120113171734.77a40595@wks-ddc.exosec.local> <20120113164101.GB647@polynum.com> Date: Fri, 13 Jan 2012 16:50:34 +0000 Message-ID: From: Charles Forsyth To: Fans of the OS Plan 9 from Bell Labs <9fans@9fans.net> Content-Type: multipart/alternative; boundary=00151740295cdc603904b66ba979 Subject: Re: [9fans] fossil pb: FOUND! Topicbox-Message-UUID: 5a7ae5b0-ead7-11e9-9d60-3106f5b1d025 --00151740295cdc603904b66ba979 Content-Type: text/plain; charset=UTF-8 The name space can contain loops. Du and a few others try to detect that, using Qids, to avoid being annoying, but the loops are there. Open (and chdir etc) do indeed record the name used to open the file, and that helps resolve the ".." problem (now done slightly differently from the paper, I think, but I'm not certain), but that name won't have loops because it's a finite string interpreted from left to right. You can easily build a looped space to test it: mkdir /tmp/y mkdir /tmp/y/z bind /tmp /tmp/y/z # have fun On 13 January 2012 16:41, wrote: > So I'm wrong? > --00151740295cdc603904b66ba979 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable The name space can contain loops. Du and a few others try to detect that, u= sing Qids, to avoid being annoying, but the loops are there.
Open (and = chdir etc) do indeed record the name used to open the file, and that helps<= /div>
resolve the ".." problem (now done slightly differently from= the paper, I think, but I'm not certain),
but that name won&= #39;t have loops because it's a finite string interpreted from left to = right.

You can easily build a looped space to test it:
=C2=A0mkdir /tmp/y
=C2=A0mkdir /tmp/y/z
=C2=A0b= ind /tmp /tmp/y/z
# have fun

On 13 January 2012 16:41, <tlaronde@polynum.com> wrote:
So I'm wrong?

--00151740295cdc603904b66ba979--