From mboxrd@z Thu Jan 1 00:00:00 1970 Path: main.gmane.org!not-for-mail From: Marius Vollmer Newsgroups: gmane.lisp.guile.user Subject: Re: Some introductory docs about C level threading Date: Wed, 09 Feb 2005 13:17:24 +0100 Message-ID: References: <6b496d191d7216e82df4e9a7afbb3168@raeburn.org> <87fz0falxl.fsf@zip.com.au> <878y61jiuz.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 1107953683 10451 80.91.229.6 (9 Feb 2005 12:54:43 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Wed, 9 Feb 2005 12:54:43 +0000 (UTC) Cc: guile-user@gnu.org, Ken Raeburn Original-X-From: guile-user-bounces+guile-user=m.gmane.org@gnu.org Wed Feb 09 13:54:38 2005 Return-path: Original-Received: from lists.gnu.org ([199.232.76.165]) by deer.gmane.org with esmtp (Exim 3.35 #1 (Debian)) id 1CyrMc-0004vX-00 for ; Wed, 09 Feb 2005 13:54:38 +0100 Original-Received: from localhost ([127.0.0.1] helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1Cyrb8-0003Y6-IN for guile-user@m.gmane.org; Wed, 09 Feb 2005 08:09:38 -0500 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1CyrUY-0001Ok-UO for guile-user@gnu.org; Wed, 09 Feb 2005 08:02:51 -0500 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1CyrUX-0001OP-EK for guile-user@gnu.org; Wed, 09 Feb 2005 08:02:49 -0500 Original-Received: from [199.232.76.173] (helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1CyrRb-0000kZ-Dt for guile-user@gnu.org; Wed, 09 Feb 2005 07:59:47 -0500 Original-Received: from [129.217.163.1] (helo=mail.dt.e-technik.uni-dortmund.de) by monty-python.gnu.org with esmtp (Exim 4.34) id 1Cyqml-0004nV-5D for guile-user@gnu.org; Wed, 09 Feb 2005 07:17:35 -0500 Original-Received: from localhost (localhost [127.0.0.1]) by mail.dt.e-technik.uni-dortmund.de (Postfix) with ESMTP id 8A43644234; Wed, 9 Feb 2005 13:17:25 +0100 (CET) Original-Received: from mail.dt.e-technik.uni-dortmund.de ([127.0.0.1]) by localhost (krusty [127.0.0.1]) (amavisd-new, port 10024) with LMTP id 14075-03-4; Wed, 9 Feb 2005 13:17:24 +0100 (CET) Original-Received: from troy.dt.e-technik.uni-dortmund.de (troy.dt.e-technik.uni-dortmund.de [129.217.163.17]) by mail.dt.e-technik.uni-dortmund.de (Postfix) with ESMTP id 7497944233; Wed, 9 Feb 2005 13:17:24 +0100 (CET) Original-Received: by troy.dt.e-technik.uni-dortmund.de (Postfix, from userid 520) id 329BBB997; Wed, 9 Feb 2005 13:17:24 +0100 (CET) Original-To: Kevin Ryde In-Reply-To: <878y61jiuz.fsf@zip.com.au> (Kevin Ryde's message of "Mon, 07 Feb 2005 11:48:04 +1100") User-Agent: Gnus/5.1003 (Gnus v5.10.3) Emacs/21.3 (gnu/linux) X-Virus-Scanned: by amavisd-new at dt.e-technik.uni-dortmund.de X-BeenThere: guile-user@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: General Guile related discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: guile-user-bounces+guile-user=m.gmane.org@gnu.org Errors-To: guile-user-bounces+guile-user=m.gmane.org@gnu.org Xref: main.gmane.org gmane.lisp.guile.user:4228 X-Report-Spam: http://spam.gmane.org/gmane.lisp.guile.user:4228 Kevin Ryde writes: > I think we have to assume all threads see memory ops in the order > they're done (anything else is too crazy), Why? I think it is very common to have weakly ordered memory models in SMP systems these days, and we really can't assume a strong order. I also think we can tolerate such a weak ordering, in the sense that Guile remains 'thread-robust', i.e., doesn't corrupt its own heap such that the GC will crash, for example. Whether the heap remains in a state that makes sense to the application, well, that problem is not solved by Guile automatically. _______________________________________________ Guile-user mailing list Guile-user@gnu.org http://lists.gnu.org/mailman/listinfo/guile-user