From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Ken Raeburn Newsgroups: gmane.lisp.guile.devel Subject: Re: Locks and threads Date: Thu, 12 Feb 2009 13:00:40 -0500 Message-ID: <7370A161-0AD5-4CC3-8DB7-394A3AFD440E@raeburn.org> References: <87mycsd2rj.fsf@arudy.ossau.uklinux.net> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 (Apple Message framework v930.3) Content-Type: text/plain; charset=US-ASCII; format=flowed; delsp=yes Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1234461696 14740 80.91.229.12 (12 Feb 2009 18:01:36 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 12 Feb 2009 18:01:36 +0000 (UTC) Cc: guile-devel@gnu.org, Neil Jerram To: Greg Troxel Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Thu Feb 12 19:02:51 2009 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 1LXftd-0003lF-0I for guile-devel@m.gmane.org; Thu, 12 Feb 2009 19:02:45 +0100 Original-Received: from localhost ([127.0.0.1]:35219 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1LXfsJ-0007B7-8q for guile-devel@m.gmane.org; Thu, 12 Feb 2009 13:01:23 -0500 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1LXfsB-0007Aa-FH for guile-devel@gnu.org; Thu, 12 Feb 2009 13:01:15 -0500 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1LXfs9-0007AF-VS for guile-devel@gnu.org; Thu, 12 Feb 2009 13:01:15 -0500 Original-Received: from [199.232.76.173] (port=37627 helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1LXfs9-0007AC-PY for guile-devel@gnu.org; Thu, 12 Feb 2009 13:01:13 -0500 Original-Received: from raeburn.org ([69.25.196.97]:35223) by monty-python.gnu.org with esmtps (TLS-1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.60) (envelope-from ) id 1LXfry-0005bE-PQ for guile-devel@gnu.org; Thu, 12 Feb 2009 13:01:13 -0500 Original-Received: from NOME-KING.MIT.EDU (NOME-KING.MIT.EDU [18.18.1.160]) by raeburn.org (8.14.3/8.14.1) with ESMTP id n1CHx5ne014704; Thu, 12 Feb 2009 12:59:05 -0500 (EST) In-Reply-To: X-Mailer: Apple Mail (2.930.3) X-detected-operating-system: by monty-python.gnu.org: NetBSD 3.0 (DF) 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:8159 Archived-At: On Feb 12, 2009, at 07:55, Greg Troxel wrote: > Does that sound sensible; have I missed anything? > > Also run tests on other than Linux, with as many different OS > threading > implementations as possible. For all systems, set the threading > libraries to the most restrictive settings, specifically aborting on > any > behavior the standard says is undefined. Yeah, definitely NetBSD is a good one for this. > If the define-race program gets added as a check that make check runs, > my autobuild machine will run it daily. > > I am not familiar with helgrind; not sure if it's useful to run that > on > other platforms once it's ok on one, or what platforms it runs on. It's part of the valgrind suite, which currently only runs on Linux, though there is porting work in progress. The helgrind tool checks for possible synchronization issues. As helgrind and NetBSD's pthread checking code work by instrumenting the executable and watching progress, I'd suggest also trying out static analysis tools if anyone has them handy. I see guile is already listed with Coverity's open-source scanner project; who's reviewing that data, if anyone? Ken