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 13:41:42 -0400 Message-ID: References: <27349166.post@talk.nabble.com> <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> <764D9F6D-CE43-423D-A81B-CB299A1393BC@raeburn.org> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: dough.gmane.org 1269884724 18535 80.91.229.12 (29 Mar 2010 17:45:24 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Mon, 29 Mar 2010 17:45:24 +0000 (UTC) Cc: "emacs-devel@gnu.org discussions" To: Ken Raeburn Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Mon Mar 29 19:45:20 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 1NwJ1c-0005S4-9P for ged-emacs-devel@m.gmane.org; Mon, 29 Mar 2010 19:45:20 +0200 Original-Received: from localhost ([127.0.0.1]:51925 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1NwJ1b-0007km-Qh for ged-emacs-devel@m.gmane.org; Mon, 29 Mar 2010 13:45:19 -0400 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1NwIyC-00065o-2Q for emacs-devel@gnu.org; Mon, 29 Mar 2010 13:41:48 -0400 Original-Received: from [140.186.70.92] (port=53720 helo=eggs.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1NwIy9-00064x-Sv for emacs-devel@gnu.org; Mon, 29 Mar 2010 13:41:46 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.69) (envelope-from ) id 1NwIy8-0005RO-51 for emacs-devel@gnu.org; Mon, 29 Mar 2010 13:41:45 -0400 Original-Received: from ironport2-out.teksavvy.com ([206.248.154.183]:25295 helo=ironport2-out.pppoe.ca) by eggs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1NwIy8-0005RK-1U for emacs-devel@gnu.org; Mon, 29 Mar 2010 13:41:44 -0400 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvsEAAuDsEtLd/h9/2dsb2JhbACbJHLAKYUBBIse X-IronPort-AV: E=Sophos;i="4.51,329,1267419600"; d="scan'208";a="59746203" 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 13:41:43 -0400 Original-Received: by pastel.home (Postfix, from userid 20848) id 0271A85F0; Mon, 29 Mar 2010 13:41:42 -0400 (EDT) In-Reply-To: <764D9F6D-CE43-423D-A81B-CB299A1393BC@raeburn.org> (Ken Raeburn's message of "Mon, 29 Mar 2010 12:36:30 -0400") 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:122859 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? >> That doesn't sound useful. There are perfectly valid ways to use mutexes >> where the locker and the unlocker are not the same thread. > True... but there are models where it would be a bug, plain and simple. Bugs happen. It's only a problem if they happen often enough to warrant the pain of imposing additional constraints. I'd expect most uses of "same-thread unlock" to be covered by the scoped with-mutex construct anyway. > Maybe it should be an option to mutex-unlock? Let's not add complexity until it's clear that it's needed. Stefan