From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Paul R Newsgroups: gmane.emacs.devel Subject: Re: multi-threaded Emacs Date: Thu, 11 Dec 2008 20:07:29 +0100 Message-ID: <871vwecyz2.fsf@gmail.com> References: <87abbiody1.fsf@master.homenet> <877i6l5d8s.fsf@master.homenet> <874p1npvtj.fsf@master.homenet> <87ej0qci8g.fsf@master.homenet> <87y6yxm7xr.fsf@master.homenet> <87hc5gyn9x.fsf@master.homenet> <87ej0ixx97.fsf@master.homenet> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: ger.gmane.org 1229022514 3156 80.91.229.12 (11 Dec 2008 19:08:34 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 11 Dec 2008 19:08:34 +0000 (UTC) Cc: emacs-devel@gnu.org, rms@gnu.org, gscrivano@gnu.org To: Stefan Monnier Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Thu Dec 11 20:09:37 2008 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.50) id 1LAqu8-0005Hr-4d for ged-emacs-devel@m.gmane.org; Thu, 11 Dec 2008 20:08:56 +0100 Original-Received: from localhost ([127.0.0.1]:38342 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1LAqsw-0006MC-MZ for ged-emacs-devel@m.gmane.org; Thu, 11 Dec 2008 14:07:42 -0500 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1LAqss-0006Js-55 for emacs-devel@gnu.org; Thu, 11 Dec 2008 14:07:38 -0500 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1LAqsr-0006IJ-9w for emacs-devel@gnu.org; Thu, 11 Dec 2008 14:07:37 -0500 Original-Received: from [199.232.76.173] (port=49715 helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1LAqsq-0006I0-UK for emacs-devel@gnu.org; Thu, 11 Dec 2008 14:07:37 -0500 Original-Received: from fg-out-1718.google.com ([72.14.220.156]:7282) by monty-python.gnu.org with esmtp (Exim 4.60) (envelope-from ) id 1LAqsn-0004j3-PZ for emacs-devel@gnu.org; Thu, 11 Dec 2008 14:07:34 -0500 Original-Received: by fg-out-1718.google.com with SMTP id l26so596222fgb.30 for ; Thu, 11 Dec 2008 11:07:32 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:from:to:cc:subject:references :date:in-reply-to:message-id:user-agent:mime-version:content-type; bh=kXgOLSml+yqQWEecgSCDhgB2NhxcD9cufeqyFA1CgJM=; b=QwAfA1E8aMqWYDZjw7SITvSP3HZPNcEnAWuDDZD0AV1sZ2TnNfXPUglJycadq5q37S nwRjzr5QjPNrHLFJ/Bt7nOKLPYQr3Xrh3F26lTucJ2Ynexyi+rib9FgyT3CKKPIzmeg6 A/npUjDDUNpVfn5HQNK+cTYD4F6NEor3T+dPs= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version:content-type; b=VXF4Wn2yaSyvwwB1KrdVLRUqp8iG0zuBQCTstg8h+DsCzfft/PKi5j3RkyvcWjiGaz RBIxEetFh9ZnaII5N7usEjDTQY1OnqT7ipYA+Nped4tVh//8ac0xpXc1o2cwP4mE8ZjY X+/ZqM7L2EmXDWZmIm5+UkyoRvDBFj4+ZjA00= Original-Received: by 10.86.74.4 with SMTP id w4mr1502333fga.2.1229022452020; Thu, 11 Dec 2008 11:07:32 -0800 (PST) Original-Received: from ubuT42 (pdc35-1-82-242-132-111.fbx.proxad.net [82.242.132.111]) by mx.google.com with ESMTPS id 4sm930355fgg.57.2008.12.11.11.07.30 (version=TLSv1/SSLv3 cipher=RC4-MD5); Thu, 11 Dec 2008 11:07:31 -0800 (PST) In-Reply-To: (Stefan Monnier's message of "Wed, 10 Dec 2008 20:59:41 -0500") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.0.60 (gnu/linux) X-detected-operating-system: by monty-python.gnu.org: GNU/Linux 2.6 (newer, 2) X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.devel:106815 Archived-At: Stefan> Indeed. Further than that, we'd need more explicit Stefan> synchronization primitives. We could probably start with Stefan> a (atomically &rest BODY) which guarantees that BODY will be Stefan> properly protected from other threads that it will appear to be Stefan> executed atomically. Isn't it what critical sections are for ? (critical &rest BODY) would execute body with no thread switching. I think this feature is not necessary with cooperative-only threading because a critical section is any section that does not contain any 'yield' instruction. -- Paul