From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: John Wiegley Newsgroups: gmane.emacs.devel Subject: Re: Concurrency, again Date: Thu, 13 Oct 2016 12:49:20 -0700 Message-ID: References: <87wq97i78i.fsf@earlgrey.lan> <86k2dk77w6.fsf@molnjunk.nocrew.org> <9D64B8EA-DB52-413D-AE6A-264416C391F3@iotcl.com> <83int1g0s5.fsf@gnu.org> <83twckekqq.fsf@gnu.org> <83mvi9a3mh.fsf@gnu.org> <20161012165911.58437154@jabberwock.cb.piermont.com> <20161012173314.799d1dc5@jabberwock.cb.piermont.com> <8360owaj2s.fsf@gnu.org> <20161013092701.77461800@jabberwock.cb.piermont.com> <248ec0aa-797d-0e88-5606-fa154c0dc2c4@gmail.com> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Trace: blaine.gmane.org 1476388194 9413 195.159.176.226 (13 Oct 2016 19:49:54 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Thu, 13 Oct 2016 19:49:54 +0000 (UTC) User-Agent: Gnus/5.130014 (Ma Gnus v0.14) Emacs/25.1.50 (darwin) Cc: emacs-devel@gnu.org To: =?utf-8?Q?Cl=C3=A9ment?= Pit--Claudel Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Thu Oct 13 21:49:50 2016 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1bum0W-0008U7-Gr for ged-emacs-devel@m.gmane.org; Thu, 13 Oct 2016 21:49:36 +0200 Original-Received: from localhost ([::1]:42717 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bum0V-0000rU-BJ for ged-emacs-devel@m.gmane.org; Thu, 13 Oct 2016 15:49:35 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:36874) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bum0O-0000rD-RY for emacs-devel@gnu.org; Thu, 13 Oct 2016 15:49:29 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bum0L-0005OS-LM for emacs-devel@gnu.org; Thu, 13 Oct 2016 15:49:28 -0400 Original-Received: from mail-pf0-x22c.google.com ([2607:f8b0:400e:c00::22c]:33850) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bum0L-0005OH-E1 for emacs-devel@gnu.org; Thu, 13 Oct 2016 15:49:25 -0400 Original-Received: by mail-pf0-x22c.google.com with SMTP id r16so15568248pfg.1 for ; Thu, 13 Oct 2016 12:49:25 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:to:cc:subject:in-reply-to:date:message-id:references :user-agent:mail-followup-to:mime-version:content-transfer-encoding; bh=X/NtM0j6BsY5TjtU4NnUObFZyHn8D49tYvcPYIyu9Mk=; b=u6XMUxU9gxjHt9ol0n48YiHFSwj9fkFGLv1ipcQwVKSzDIYML9bNZRK1foVWYcmz6O ilzuYVIvivZdi1TM5CI5IHH6r/IMRNtNqutPMVhoT13ath+eW8UNuYsPNqA3TemPJt4T oJ0A6BggeZl6rUwrv4TPoAZpv5j+mZbnlIdbvlo2FJ1TvKmjH/RZolOnloGAqA7TEzKB PknBGCGAqvazBKAaaun7kEGcnLXIGamSww5mOLYJ+vssfgWb0b2zFmDvWUxBQK70xjmf 0Pd3cvGBCuqmSjbIP/bhMBbWeAL1eRwA7J02RARgcloYXhMJkTMrRMImkagzFoAnP1WJ X3vg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:from:to:cc:subject:in-reply-to:date:message-id :references:user-agent:mail-followup-to:mime-version :content-transfer-encoding; bh=X/NtM0j6BsY5TjtU4NnUObFZyHn8D49tYvcPYIyu9Mk=; b=SrJu7WbPdEZU3iSzA80ytkKPUvQhvR1SP7XBZUOqWOsfPIZh1etlQjpEQf1CIAE16f NyDH0y/Zawf/7BxYHbOL5VofrT+KsV+dJ+2Ran97OJFbQs0HdduI7l9+Ih0RHikzFDdF 5LOccAPoY48FyzBdY708BUgI2HgpeTjpHdnJlU2oRI0kGTD6bnA4CYsBNAk4ExLn5y5l 9FLWCGWFdV9UzmbPioJEK757QTVokhAXMr9qt0hzhaEtCdeCrqPfFQxYSgJ4YectXR8a j1WXr4Cpr9A4uIlccLuJBBUuGeZiySrMHLo6NKGss7XP229H7awdmhkYD7eyq/OiDo9y nM4Q== X-Gm-Message-State: AA6/9RnUwVkLlf0fsVz3sb7gtPK8wY3O3S9Re546F5l1tCMDYv3aolXbEqPkgBhvhihetg== X-Received: by 10.98.73.218 with SMTP id r87mr12461197pfi.91.1476388164528; Thu, 13 Oct 2016 12:49:24 -0700 (PDT) Original-Received: from Vulcan.local (76-234-69-149.lightspeed.frokca.sbcglobal.net. [76.234.69.149]) by smtp.gmail.com with ESMTPSA id i63sm21566372pfi.64.2016.10.13.12.49.23 (version=TLS1 cipher=AES128-SHA bits=128/128); Thu, 13 Oct 2016 12:49:23 -0700 (PDT) X-Google-Original-From: "John Wiegley" Original-Received: by Vulcan.local (Postfix, from userid 501) id 0C5CA2F77ECC; Thu, 13 Oct 2016 12:49:23 -0700 (PDT) In-Reply-To: <248ec0aa-797d-0e88-5606-fa154c0dc2c4@gmail.com> (=?utf-8?Q?=22Cl=C3=A9ment?= Pit--Claudel"'s message of "Thu, 13 Oct 2016 15:34:43 -0400") Mail-Followup-To: =?utf-8?Q?Cl=C3=A9ment?= Pit--Claudel , emacs-devel@gnu.org X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2607:f8b0:400e:c00::22c X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.21 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Original-Sender: "Emacs-devel" Xref: news.gmane.org gmane.emacs.devel:208217 Archived-At: >>>>> "CP" =3D=3D Cl=C3=A9ment Pit--Claudel writes: PC> On 2016-10-13 13:25, John Wiegley wrote: >> - Asking Proof General to check a file that depends on 30 other files CP> Isn't proof general asynchronous? Sometimes it is, sometimes my UI gets frozen. I haven't identified under which circumstances this happens yet. --=20 John Wiegley GPG fingerprint =3D 4710 CF98 AF9B 327B B80F http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2