[dtn-users] Has anyone run DTN2 under a thread safety checker?
Amy Alford <aloomis@sarn.org> Thu, 27 February 2014 14:19 UTC
Return-Path: <aloomis@sarn.org>
X-Original-To: dtn-users@ietfa.amsl.com
Delivered-To: dtn-users@ietfa.amsl.com
Received: from localhost (ietfa.amsl.com [127.0.0.1]) by ietfa.amsl.com
(Postfix) with ESMTP id C1FBE1A028D for <dtn-users@ietfa.amsl.com>;
Thu, 27 Feb 2014 06:19:44 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: 0.723
X-Spam-Level:
X-Spam-Status: No, score=0.723 tagged_above=-999 required=5 tests=[BAYES_50=0.8,
FM_FORGED_GMAIL=0.622, HTML_MESSAGE=0.001,
RCVD_IN_DNSWL_LOW=-0.7] autolearn=ham
Received: from mail.ietf.org ([4.31.198.44]) by localhost (ietfa.amsl.com
[127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 65M-5K3d8qan for
<dtn-users@ietfa.amsl.com>; Thu, 27 Feb 2014 06:19:43 -0800 (PST)
Received: from mail-ob0-f173.google.com (mail-ob0-f173.google.com
[209.85.214.173]) by ietfa.amsl.com (Postfix) with ESMTP id 02ABA1A01E8 for
<dtn-users@irtf.org>; Thu, 27 Feb 2014 06:19:42 -0800 (PST)
Received: by mail-ob0-f173.google.com with SMTP id gq1so2411755obb.32 for
<dtn-users@irtf.org>; Thu, 27 Feb 2014 06:19:41 -0800 (PST)
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net;
s=20130820;
h=x-gm-message-state:mime-version:date:message-id:subject:from:to
:content-type; bh=bGxSriAn1RN/CGM0xkrz+J8/pDM6Hj7B/TKvfpdO7Fw=;
b=X/+bSdPXjis4Qdzu26FwQeFz5wJZWwG+ZRleC/aI67VQ+v7eLQaF8cQSi2nZH5NXSL
SwgJAcOiCXRgSAMED1GUH0aNWGmVGM3cIcmbez6az4G9XZnAC2mx2AUnJTTxPIyLQthm
E4Wh0Cczo/faDDFUUxNzNt3dEatqI2PmVqa4TGj15F08BAOA3tdt2/TGVoe/3lXTTB/b
iYWKu/svhuvDlQ3HjonYZFH1xlNQCnMxKhv2FZ7iaHSNZi/8APMyIZhJW1PLbigUIKmS
aEqNAPxF1v/ZXG9OopQnoR2mHd6jmSpK3ENuzVcshXlM1M8E5B6iZgKkN9H+ZY7+1Kzh kDgQ==
X-Gm-Message-State: ALoCoQkHE9ukGnjEHoNoUlg/iKRKU9pH7/DFYyO4XmqWfhyq4qgbDluOxWuTj+mhA60/xxe6tzcI
MIME-Version: 1.0
X-Received: by 10.60.44.8 with SMTP id a8mr12093329oem.19.1393510780844;
Thu, 27 Feb 2014 06:19:40 -0800 (PST)
Received: by 10.182.101.135 with HTTP; Thu, 27 Feb 2014 06:19:40 -0800 (PST)
Date: Thu, 27 Feb 2014 09:19:40 -0500
Message-ID: <CAB9rx+-sM+N9XLzAu83owo5uL_CsULLARkC33tEfnTNMqOAz2Q@mail.gmail.com>
From: Amy Alford <aloomis@sarn.org>
To: dtn-users maillist <dtn-users@irtf.org>
Content-Type: multipart/alternative; boundary=001a11c2e458154ec404f36403dc
Archived-At: http://mailarchive.ietf.org/arch/msg/dtn-users/C5SfwH38cJoRxkYVOWEZERoH9dw
Subject: [dtn-users] Has anyone run DTN2 under a thread safety checker?
X-BeenThere: dtn-users@irtf.org
X-Mailman-Version: 2.1.15
Precedence: list
List-Id: "The Delay-Tolerant Networking Research Group \(DTNRG\) - Users."
<dtn-users.irtf.org>
List-Unsubscribe: <https://www.irtf.org/mailman/options/dtn-users>,
<mailto:dtn-users-request@irtf.org?subject=unsubscribe>
List-Archive: <http://www.irtf.org/mail-archive/web/dtn-users/>
List-Post: <mailto:dtn-users@irtf.org>
List-Help: <mailto:dtn-users-request@irtf.org?subject=help>
List-Subscribe: <https://www.irtf.org/mailman/listinfo/dtn-users>,
<mailto:dtn-users-request@irtf.org?subject=subscribe>
X-List-Received-Date: Thu, 27 Feb 2014 14:19:45 -0000
Having just been burned by a data race I created in experimental code, I've been exploring tools to detect these. I'm playing around with clang and gcc 4.8's threadsanitizer (tsan). It needs annotations added to the code to recognize oasys's locks. These are essentially the same annotations that valgrind's drd, helgrind, and tsan use. I can't seem to get them quite right. Any chance someone has done this before?