From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Richard Stallman Newsgroups: gmane.emacs.devel Subject: Re: Concurrency, again Date: Sat, 15 Oct 2016 18:03:15 -0400 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> <83r37i2mdx.fsf@gnu.org> Reply-To: rms@gnu.org NNTP-Posting-Host: blaine.gmane.org Content-Type: text/plain; charset=Utf-8 X-Trace: blaine.gmane.org 1476569042 20347 195.159.176.226 (15 Oct 2016 22:04:02 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Sat, 15 Oct 2016 22:04:02 +0000 (UTC) Cc: monnier@IRO.UMontreal.CA, emacs-devel@gnu.org To: Eli Zaretskii Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Sun Oct 16 00:03:59 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 1bvX3X-00048t-7b for ged-emacs-devel@m.gmane.org; Sun, 16 Oct 2016 00:03:51 +0200 Original-Received: from localhost ([::1]:54226 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bvX3Z-0006jQ-DE for ged-emacs-devel@m.gmane.org; Sat, 15 Oct 2016 18:03:53 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:42212) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bvX30-0006jJ-8W for emacs-devel@gnu.org; Sat, 15 Oct 2016 18:03:19 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bvX2z-0004k9-E5 for emacs-devel@gnu.org; Sat, 15 Oct 2016 18:03:18 -0400 Original-Received: from fencepost.gnu.org ([2001:4830:134:3::e]:51220) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bvX2x-0004ia-Lr; Sat, 15 Oct 2016 18:03:15 -0400 Original-Received: from rms by fencepost.gnu.org with local (Exim 4.82) (envelope-from ) id 1bvX2x-0001Ys-3C; Sat, 15 Oct 2016 18:03:15 -0400 In-reply-to: <83r37i2mdx.fsf@gnu.org> (message from Eli Zaretskii on Sat, 15 Oct 2016 08:48:26 +0300) X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2001:4830:134:3::e 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:208308 Archived-At: [[[ To any NSA and FBI agents reading my email: please consider ]]] [[[ whether defending the US Constitution against all enemies, ]]] [[[ foreign or domestic, requires you to follow Snowden's example. ]]] > > It would not be necessary to allow two ordinary Lisp programs to run > > in parallel. In other words, it would be ok if Emacs allowed only one > > ordinary program at any time -- alongside any number of special > > asynchronous programs. > That's what the code on the "concurrency" branch of the Emacs > repository does -- except that (1) it doesn't allow you to create > special asynchronous programs at all, and (2) it is capable of > switching to another ordinary Lisp program when the current one is > waiting for something (e.g., keyboard input or subprocess output), or > explicitly yields to another. (2) is a source of possible conflicts between various programs; I suspect that lots of bugs could result. Are such bugs why the "concurrency" branch is not ready? To limit concurrency to specially designated programs might make it easier to avoid those problems. Those programs could conceivably be written following certain special rules that avoid the bugs. -- Dr Richard Stallman President, Free Software Foundation (gnu.org, fsf.org) Internet Hall-of-Famer (internethalloffame.org) Skype: No way! See stallman.org/skype.html.