From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Stefan Monnier Newsgroups: gmane.emacs.devel Subject: Re: Concurrency Date: Mon, 29 Mar 2010 14:21:43 -0400 Message-ID: References: <27349166.post@talk.nabble.com> <4B756FB7.3050202@swipnet.se> <87k4ui4gik.fsf@lola.goethe.zz> <27566385.post@talk.nabble.com> <87wryi2sjd.fsf@lola.goethe.zz> <27585994.post@talk.nabble.com> <87k4ucdmwh.fsf@stupidchicken.com> <87d3zweq4e.fsf@master.homenet> <87y6hg1h4a.fsf@thor.thematica.it> <87tys3j9fa.fsf@lifelogs.com> <87eij6tqmu.fsf@lifelogs.com> <49707.130.55.132.67.1269807922.squirrel@webmail.lanl.gov> <87oci8rwtw.fsf@gnu.org> <87aatrigux.fsf@thor.thematica.it> <87fx3jqbb1.fsf@gnu.org> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: dough.gmane.org 1269887673 30461 80.91.229.12 (29 Mar 2010 18:34:33 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Mon, 29 Mar 2010 18:34:33 +0000 (UTC) Cc: Tom Tromey , Ted Zlatanov , emacs-devel@gnu.org To: Giuseppe Scrivano Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Mon Mar 29 20:34:28 2010 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.69) (envelope-from ) id 1NwJn9-0005hs-UU for ged-emacs-devel@m.gmane.org; Mon, 29 Mar 2010 20:34:28 +0200 Original-Received: from localhost ([127.0.0.1]:33213 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1NwJn9-0005nh-8e for ged-emacs-devel@m.gmane.org; Mon, 29 Mar 2010 14:34:27 -0400 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1NwJjW-0003ds-0g for emacs-devel@gnu.org; Mon, 29 Mar 2010 14:30:42 -0400 Original-Received: from [140.186.70.92] (port=40902 helo=eggs.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1NwJjT-0003Yw-Tq for emacs-devel@gnu.org; Mon, 29 Mar 2010 14:30:41 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.69) (envelope-from ) id 1NwJar-00022b-BP for emacs-devel@gnu.org; Mon, 29 Mar 2010 14:21:46 -0400 Original-Received: from ironport2-out.teksavvy.com ([206.248.154.181]:62339 helo=ironport2-out.pppoe.ca) by eggs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1NwJar-00022V-8t; Mon, 29 Mar 2010 14:21:45 -0400 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvsEAGuMsEtLd/h9/2dsb2JhbACbJHLARoUBBIse X-IronPort-AV: E=Sophos;i="4.51,329,1267419600"; d="scan'208";a="59749879" Original-Received: from 75-119-248-125.dsl.teksavvy.com (HELO pastel.home) ([75.119.248.125]) by ironport2-out.pppoe.ca with ESMTP; 29 Mar 2010 14:21:43 -0400 Original-Received: by pastel.home (Postfix, from userid 20848) id 4A7BE85F0; Mon, 29 Mar 2010 14:21:43 -0400 (EDT) In-Reply-To: <87fx3jqbb1.fsf@gnu.org> (Giuseppe Scrivano's message of "Mon, 29 Mar 2010 19:37:06 +0200") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.0.50 (gnu/linux) X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. 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:122862 Archived-At: >> Also, I think mutex-unlock should throw some kind of error if the mutex >> is owned by a different thread. What do you think of that? > I think we should consider what will happen when the current cooperative > threads model will be replaced and threads will run freely. In that > case probably we will want to use pthread mutexes, not our > implementation. That's a good point. Stefan "who really wishes we used higher-level abstractions than locks, such as atomic-regions"