From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: "Julian Graham" Newsgroups: gmane.lisp.guile.devel Subject: Re: srfi-18 requirements Date: Thu, 24 Jan 2008 20:38:06 -0500 Message-ID: <2bc5f8210801241738j25c594wfc347b337aa7ed47@mail.gmail.com> References: <2bc5f8210710101854m1254160ei451026182b87e767@mail.gmail.com> <87abnldsg5.fsf@ossau.uklinux.net> <2bc5f8210801061341o5a8b060fm3e80d6b9cb8eb4d6@mail.gmail.com> <87prwb3oc4.fsf@ossau.uklinux.net> <2bc5f8210801101839w2b6ab7f8h3d99b6db35620a6@mail.gmail.com> <874pddcjdf.fsf@ossau.uklinux.net> <2bc5f8210801191210h72903a37q1c8f60e3638bfdba@mail.gmail.com> <87ejc8kvnk.fsf@ossau.uklinux.net> <2bc5f8210801231523k62e9f6ddq17eb87c69df5ae16@mail.gmail.com> <877ihy3e82.fsf@ossau.uklinux.net> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1201225100 8935 80.91.229.12 (25 Jan 2008 01:38:20 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 25 Jan 2008 01:38:20 +0000 (UTC) Cc: =?ISO-8859-1?Q?Ludovic_Court=E8s?= , guile-devel@gnu.org To: "Neil Jerram" Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Fri Jan 25 02:38:39 2008 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.50) id 1JIDWg-0003AD-TS for guile-devel@m.gmane.org; Fri, 25 Jan 2008 02:38:39 +0100 Original-Received: from localhost ([127.0.0.1] helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1JIDWG-0004ZO-LP for guile-devel@m.gmane.org; Thu, 24 Jan 2008 20:38:12 -0500 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1JIDWD-0004Wd-6S for guile-devel@gnu.org; Thu, 24 Jan 2008 20:38:09 -0500 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1JIDWC-0004W1-Sd for guile-devel@gnu.org; Thu, 24 Jan 2008 20:38:08 -0500 Original-Received: from [199.232.76.173] (helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1JIDWC-0004Vw-Kh for guile-devel@gnu.org; Thu, 24 Jan 2008 20:38:08 -0500 Original-Received: from fg-out-1718.google.com ([72.14.220.155]) by monty-python.gnu.org with esmtp (Exim 4.60) (envelope-from ) id 1JIDWC-0000po-8O for guile-devel@gnu.org; Thu, 24 Jan 2008 20:38:08 -0500 Original-Received: by fg-out-1718.google.com with SMTP id d23so450635fga.30 for ; Thu, 24 Jan 2008 17:38:06 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; bh=eiFxiIvaxANgg4eZm+C14CA5YVs4bG5QO86mblfu+R0=; b=Btgc02igi15qX3FdE3H0/LsEz17AAZoHL/3fimOzGrIDmtlMOVPVbPebxXBIKqvmdoCs22AedOF4XWyPcF9pGocrV9wTbSXXRmun8gNSpGWQoC2OJEhg3YEht3fXytfpxVsov9AZc7CjO9Eoln216MDOLv4Ay6EgwVjiVr9vXew= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=VmJ2Awy6hxMaVPq2E43JeetFhkkp928j0tUk5DwW0MuP+jT8WiZdD1WPPJA7f0OgFN+yoYptjBVIYrB4lPtVXf1lGjDqq3Q6VeqjgauZXQBnq9pHn2Qo+Ss1CokPG5QNVa8LojyjFKLnZL9bK4V4hepRRXnSHVtTjDI8KuiLG98= Original-Received: by 10.82.187.2 with SMTP id k2mr2531273buf.19.1201225086311; Thu, 24 Jan 2008 17:38:06 -0800 (PST) Original-Received: by 10.82.100.9 with HTTP; Thu, 24 Jan 2008 17:38:06 -0800 (PST) In-Reply-To: <877ihy3e82.fsf@ossau.uklinux.net> Content-Disposition: inline X-detected-kernel: by monty-python.gnu.org: Linux 2.6 (newer, 2) 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: , Original-Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.devel:6976 Archived-At: > - we apply the generic / bug fix patch that you already posted, except > without the extra thread_admin_mutex locking (which I think we > concluded we can't justify) - that will be to HEAD Agreed, though see below... > - I'll have a go at devising a test for the critical section in > make_jmpbuf bug; if I succeed, I'll run the test on 1.8.x too, and > port the fix over Agreed (though you wanted to remove that critical section for HEAD, right?) > - you continue on the C enhancements and Scheme code for SRFI-18, as > already discussed and agreed Agreed. > - once all of your code and tests are in (HEAD), we can see if there > are any _actual_ generic thread code issues that we need to address, > and address them. > > What do you think? Agreed. Sounds good! > (And for the same reason, I don't think we should apply your new code > to CVS yet, because I don't think we've yet demonstrated an actual > problem with the existing code - is that right?) Well, I think I *am* seeing a problem with existing code, most likely related to the fact that the cond_wait while sleeping for GC is on different mutexes but the same condition variable. I believe the manifestation of this, as I explained in an earlier email, is that sometimes a thread will go to sleep for GC and never wake up. Regards, Julian