From mboxrd@z Thu Jan 1 00:00:00 1970 MIME-Version: 1.0 In-Reply-To: References: Date: Fri, 29 Oct 2010 00:32:16 +1100 Message-ID: From: Bruce Ellis To: Fans of the OS Plan 9 from Bell Labs <9fans@9fans.net> Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Subject: Re: [9fans] A little more ado about async Tclunk Topicbox-Message-UUID: 70296cac-ead6-11e9-9d60-3106f5b1d025 no it is not, charles. i rarely disagree with you but the semantics are preserved, except for changing the behaviour of existing races. brucee On Thu, Oct 28, 2010 at 11:12 PM, Charles Forsyth w= rote: > you're essentially replacing > =A0 =A0 =A0 =A0f :=3D open(name, ...) > =A0 =A0 =A0 =A0... > =A0 =A0 =A0 =A0close(f) > > which runs as a sequential process, and subject to the usual rules for se= quential > composition, by > > =A0 =A0 =A0 =A0f :=3D open(name, ...) > =A0 =A0 =A0 =A0... > =A0 =A0 =A0 =A0spawn clunk(f) > > which introduces a race with an invisible anonymous process with no means= of synchronisation. > > what could possibly go wrong with that? > > (actually, it's more complex than spawning a new process, but the added c= omplexity of a set of service processes changes the details but not the exi= stence of the race, and doesn't affect the anonymity.) > > the change isn't sufficent to solve the efficiency (latency) problems add= ressed by Op, > neither is it sufficient for big performance improvements if you're deali= ng with something you can cache, > nor is it a necessary solution (at least in the form above) for the deadl= ock problems. > >