From mboxrd@z Thu Jan  1 00:00:00 1970
MIME-Version: 1.0
In-Reply-To: <AANLkTi==Bt0Hbu247eEAerEG2=JCyav2B5rdgA94pk12@mail.gmail.com>
References: <AANLkTi=Xi9y5XygL_aMf4mHU_jons=qAtHLnnZ3Ozb3O@mail.gmail.com>
	<94b72a275de4f8e6440aa79508edb7a4@terzarima.net>
	<AANLkTikWnOwEOMrnScP1y3g=AQ1an-6oNtD5Ds-nWJXP@mail.gmail.com>
	<8426d01eb3f1d86b5f9e8a50efb3e8c6@ladd.quanstro.net>
	<AANLkTim=6b0TT=mFnyBrNmGksXfg9=LFE+203C3eDKq3@mail.gmail.com>
	<AANLkTimzj7zfBBEKcn+Z=FNrgP=uf5unjaPCDO9B9EQ2@mail.gmail.com>
	<AANLkTi=QBDVC4WPDPmMfEhVxAN7VmLPbbWs=DB2Le9Mi@mail.gmail.com>
	<4EC7A160-58E6-4798-A2DC-62985F4806A7@gmail.com>
	<AANLkTikuQwHFfzx5Wd873QCaoQimH_tkbc3URcTu0Y9K@mail.gmail.com>
	<AANLkTikEWSx_+xqCWYVroAzt5u067s=Nk--dyHY3p8Cs@mail.gmail.com>
	<AANLkTinBMsDdx1eGBcgeLmXzi-25iuk1aBCbJB2d3YL0@mail.gmail.com>
	<AANLkTi=mrz4LqZwO4CV6sayUbg_oeEojVaZT-qs41iUC@mail.gmail.com>
	<AANLkTimz0sF=50jJT7-GrACTXZptE-_1kO5S2dZEm810@mail.gmail.com>
	<86AA4AF2-71B1-4877-968A-808205F7126F@gmail.com>
	<AANLkTiniUeHUiY7=bw4vzimdeP4tz_TJvMn6jo8GH4-_@mail.gmail.com>
	<AANLkTikhGmWwisykJ2kbx_yk3P+HU40HuebpFeXLbPhT@mail.gmail.com>
	<AANLkTimu0BubznJJ01ftVi4qYW6W==_i7ons5shJeZmZ@mail.gmail.com>
	<AANLkTikOPW8bzguWAd-3=kT1orykv7kz-PaD2PhdFaH-@mail.gmail.com>
	<AANLkTi==Bt0Hbu247eEAerEG2=JCyav2B5rdgA94pk12@mail.gmail.com>
Date: Sun, 31 Oct 2010 14:07:53 +0100
Message-ID: <AANLkTimy4zN4zQGoe138U2x55qv_yvm+RcwvOUNqcRvo@mail.gmail.com>
From: Gorka Guardiola <paurea@gmail.com>
To: Fans of the OS Plan 9 from Bell Labs <9fans@9fans.net>
Content-Type: text/plain; charset=ISO-8859-1
Subject: Re: [9fans] A little more ado about async Tclunk
Topicbox-Message-UUID: 74176738-ead6-11e9-9d60-3106f5b1d025

On Sun, Oct 31, 2010 at 2:06 PM, Gorka Guardiola <paurea@gmail.com> wrote:

> So, yeah, deadlock is a synonym for deadly embrace. Yes, in Hoare's model
> they are indistinguishable, so when he says deadly embrace, he can refer
> to both.
>

I mean livelock and deadlock are indistinguishable in Hoare's model.


--
- curiosity sKilled the cat