From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Han-Wen Nienhuys Newsgroups: gmane.lisp.guile.bugs,gmane.lisp.guile.user,gmane.lisp.guile.devel Subject: Re: Does anyone actually use threads with guile? Date: Mon, 17 Nov 2008 11:09:09 -0200 Message-ID: References: <3ae3aa420811122028w3c069b88q93a8290385188f79@mail.gmail.com> <3ae3aa420811122056x3d2b2f75nc22a66ae1d977902@mail.gmail.com> Reply-To: hanwen@xs4all.nl NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1226927386 23641 80.91.229.12 (17 Nov 2008 13:09:46 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 17 Nov 2008 13:09:46 +0000 (UTC) Cc: guile-user@gnu.org, guile-devel@gnu.org To: bug-guile@gnu.org Original-X-From: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Mon Nov 17 14:10:47 2008 Return-path: Envelope-to: guile-bugs@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.50) id 1L23sH-0000xJ-R4 for guile-bugs@m.gmane.org; Mon, 17 Nov 2008 14:10:42 +0100 Original-Received: from localhost ([127.0.0.1]:50337 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1L23r9-0005id-5Z for guile-bugs@m.gmane.org; Mon, 17 Nov 2008 08:09:31 -0500 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1L23r6-0005iY-9W for bug-guile@gnu.org; Mon, 17 Nov 2008 08:09:28 -0500 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1L23r4-0005h7-Ro for bug-guile@gnu.org; Mon, 17 Nov 2008 08:09:28 -0500 Original-Received: from [199.232.76.173] (port=43507 helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1L23r4-0005h4-Ow for bug-guile@gnu.org; Mon, 17 Nov 2008 08:09:26 -0500 Original-Received: from main.gmane.org ([80.91.229.2]:50457 helo=ciao.gmane.org) by monty-python.gnu.org with esmtps (TLS-1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.60) (envelope-from ) id 1L23r4-0008HA-BR for bug-guile@gnu.org; Mon, 17 Nov 2008 08:09:26 -0500 Original-Received: from list by ciao.gmane.org with local (Exim 4.43) id 1L23qz-00059N-Av for bug-guile@gnu.org; Mon, 17 Nov 2008 13:09:21 +0000 Original-Received: from 201.80.54.37 ([201.80.54.37]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Mon, 17 Nov 2008 13:09:21 +0000 Original-Received: from hanwen by 201.80.54.37 with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Mon, 17 Nov 2008 13:09:21 +0000 X-Injected-Via-Gmane: http://gmane.org/ Original-Lines: 22 Original-X-Complaints-To: usenet@ger.gmane.org X-Gmane-NNTP-Posting-Host: 201.80.54.37 User-Agent: Thunderbird 2.0.0.16 (X11/20080723) In-Reply-To: <3ae3aa420811122056x3d2b2f75nc22a66ae1d977902@mail.gmail.com> X-detected-operating-system: by monty-python.gnu.org: GNU/Linux 2.6, seldom 2.4 (older, 4) X-BeenThere: bug-guile@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Bug reports for GUILE, GNU's Ubiquitous Extension Language" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Errors-To: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.bugs:4105 gmane.lisp.guile.user:6930 gmane.lisp.guile.devel:7855 Archived-At: Linas Vepstas escreveu: > 2008/11/12 Linas Vepstas : > >> Today, I got a new crash. I have multiple threads, which >> are doing nothing but a bunch of define's, in parallel. >> (They're loading scheme code from various files). > > Studying the code just a little bit more, this looks like > a dopey and pointless error check within guile, > specifically, at libguile/throw.c line 695. > Removing it seems to result in a runable system. Re -the subject- : I looked at the evaluator code from a threading perspective a few months back, and come to the conclusion that it is totally broken. The memoization code rewrites expressions without locking or atomicity, and if you have two threads memoizing (ie. executing the same code for the 1st time), you will have unpredictable effects. -- Han-Wen Nienhuys - hanwen@xs4all.nl - http://www.xs4all.nl/~hanwen