From mboxrd@z Thu Jan 1 00:00:00 1970 Path: main.gmane.org!not-for-mail From: Kevin Ryde Newsgroups: gmane.lisp.guile.devel Subject: promises mutex Date: Mon, 06 Sep 2004 11:39:17 +1000 Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Message-ID: <87hdqcqipm.fsf@zip.com.au> NNTP-Posting-Host: deer.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: sea.gmane.org 1094435100 26490 80.91.224.253 (6 Sep 2004 01:45:00 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Mon, 6 Sep 2004 01:45:00 +0000 (UTC) Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Mon Sep 06 03:44:52 2004 Return-path: Original-Received: from lists.gnu.org ([199.232.76.165]) by deer.gmane.org with esmtp (Exim 3.35 #1 (Debian)) id 1C48Yt-0001EV-00 for ; Mon, 06 Sep 2004 03:44:51 +0200 Original-Received: from localhost ([127.0.0.1] helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.33) id 1C48e3-00083J-10 for guile-devel@m.gmane.org; Sun, 05 Sep 2004 21:50:11 -0400 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.33) id 1C48cv-0007fy-Gd for guile-devel@gnu.org; Sun, 05 Sep 2004 21:49:01 -0400 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.33) id 1C48cq-0007d2-As for guile-devel@gnu.org; Sun, 05 Sep 2004 21:48:57 -0400 Original-Received: from [199.232.76.173] (helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.33) id 1C48cq-0007cz-91 for guile-devel@gnu.org; Sun, 05 Sep 2004 21:48:56 -0400 Original-Received: from [61.8.0.84] (helo=mailout1.pacific.net.au) by monty-python.gnu.org with esmtp (Exim 4.34) id 1C48Tv-00012s-1I for guile-devel@gnu.org; Sun, 05 Sep 2004 21:39:43 -0400 Original-Received: from mailproxy2.pacific.net.au (mailproxy2.pacific.net.au [61.8.0.87]) by mailout1.pacific.net.au (8.12.3/8.12.3/Debian-6.6) with ESMTP id i861da4u018581 for ; Mon, 6 Sep 2004 11:39:36 +1000 Original-Received: from localhost (ppp26E5.dyn.pacific.net.au [61.8.38.229]) by mailproxy2.pacific.net.au (8.12.3/8.12.3/Debian-6.6) with ESMTP id i861dY79027006 for ; Mon, 6 Sep 2004 11:39:36 +1000 Original-Received: from gg by localhost with local (Exim 3.36 #1 (Debian)) id 1C48TW-0000WN-00; Mon, 06 Sep 2004 11:39:18 +1000 Original-To: guile-devel@gnu.org Mail-Copies-To: never User-Agent: Gnus/5.110003 (No Gnus v0.3) Emacs/21.3 (gnu/linux) X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Xref: main.gmane.org gmane.lisp.guile.devel:4080 X-Report-Spam: http://spam.gmane.org/gmane.lisp.guile.devel:4080 Is there a theory on having a mutex for each promise? I see it has the effect of preventing two threads simultaneously forcing, but I wonder if it'd be easier to allow that, just a single mutex to protect the final store of the result. This would be smaller and faster, and might even be beneficial for some crazy cross-thread recursive forcing. It'd be in keeping with leaving most syncing up to the application (ie. allowing most anything not actively harmful). _______________________________________________ Guile-devel mailing list Guile-devel@gnu.org http://lists.gnu.org/mailman/listinfo/guile-devel