Return-Path: Delivered-To: apmail-incubator-stdcxx-dev-archive@www.apache.org Received: (qmail 44360 invoked from network); 21 May 2007 22:54:52 -0000 Received: from hermes.apache.org (HELO mail.apache.org) (140.211.11.2) by minotaur.apache.org with SMTP; 21 May 2007 22:54:52 -0000 Received: (qmail 1697 invoked by uid 500); 21 May 2007 22:54:58 -0000 Delivered-To: apmail-incubator-stdcxx-dev-archive@incubator.apache.org Received: (qmail 1681 invoked by uid 500); 21 May 2007 22:54:58 -0000 Mailing-List: contact stdcxx-dev-help@incubator.apache.org; run by ezmlm Precedence: bulk List-Help: List-Unsubscribe: List-Post: List-Id: Reply-To: stdcxx-dev@incubator.apache.org Delivered-To: mailing list stdcxx-dev@incubator.apache.org Received: (qmail 1670 invoked by uid 99); 21 May 2007 22:54:58 -0000 Received: from herse.apache.org (HELO herse.apache.org) (140.211.11.133) by apache.org (qpsmtpd/0.29) with ESMTP; Mon, 21 May 2007 15:54:58 -0700 X-ASF-Spam-Status: No, hits=0.0 required=10.0 tests= X-Spam-Check-By: apache.org Received-SPF: pass (herse.apache.org: local policy) Received: from [208.30.140.160] (HELO moroha.quovadx.com) (208.30.140.160) by apache.org (qpsmtpd/0.29) with ESMTP; Mon, 21 May 2007 15:54:50 -0700 Received: from qxvcexch01.ad.quovadx.com ([192.168.170.59]) by moroha.quovadx.com (8.13.6/8.13.6) with ESMTP id l4LMs51G016559 for ; Mon, 21 May 2007 22:54:05 GMT Received: from [192.168.1.194] ([10.22.130.193]) by qxvcexch01.ad.quovadx.com with Microsoft SMTPSVC(6.0.3790.1830); Mon, 21 May 2007 16:54:01 -0600 In-Reply-To: <465118A9.30407@roguewave.com> References: <465118A9.30407@roguewave.com> Mime-Version: 1.0 (Apple Message framework v752.3) Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed Message-Id: <0B39DB22-C426-48B3-AAA2-560AF5F4FE70@roguewave.com> Content-Transfer-Encoding: 7bit From: Liviu Nicoara Subject: Re: Intel Thread Checker Support Date: Mon, 21 May 2007 18:50:22 -0400 To: stdcxx-dev@incubator.apache.org X-Mailer: Apple Mail (2.752.3) X-OriginalArrivalTime: 21 May 2007 22:54:01.0998 (UTC) FILETIME=[ECC792E0:01C79BFA] X-Virus-Checked: Checked by ClamAV on apache.org On May 20, 2007, at 11:57 PM, Martin Sebor wrote: > Eric Lemings wrote: >> Questions for STDCXX users and maintainers regarding Intel Thread >> Checker (ITC): >> 1. Would STDCXX benefit from ITC support? > > I don't know :) Does it reveal any problems in our code? Is it worth > the effort? From what I've heard from Liviu it sounds like a quite > a bit of work for not a whole lot of benefit. The main benefit of this exercise is to eliminate the false positives in the ITC analysis of the code which uses stdcxx. This is the exactly what I have avoided in the other libraries in the Core package by using the ITC synchronization API. > I think it would be good to see examples of bug in our code revealed > by the tool. I agree it would be a spectacular demonstration of the usefulness of the tool but -- based on my knowledge of the stdcxx code -- I strongly doubt I can demonstrate an MT bug in it. Do you know of an unresolved MT bug in stdcxx? Liviu