You can subscribe to this list here.
| 2002 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
(1) |
Oct
(122) |
Nov
(152) |
Dec
(69) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2003 |
Jan
(6) |
Feb
(25) |
Mar
(73) |
Apr
(82) |
May
(24) |
Jun
(25) |
Jul
(10) |
Aug
(11) |
Sep
(10) |
Oct
(54) |
Nov
(203) |
Dec
(182) |
| 2004 |
Jan
(307) |
Feb
(305) |
Mar
(430) |
Apr
(312) |
May
(187) |
Jun
(342) |
Jul
(487) |
Aug
(637) |
Sep
(336) |
Oct
(373) |
Nov
(441) |
Dec
(210) |
| 2005 |
Jan
(385) |
Feb
(480) |
Mar
(636) |
Apr
(544) |
May
(679) |
Jun
(625) |
Jul
(810) |
Aug
(838) |
Sep
(634) |
Oct
(521) |
Nov
(965) |
Dec
(543) |
| 2006 |
Jan
(494) |
Feb
(431) |
Mar
(546) |
Apr
(411) |
May
(406) |
Jun
(322) |
Jul
(256) |
Aug
(401) |
Sep
(345) |
Oct
(542) |
Nov
(308) |
Dec
(481) |
| 2007 |
Jan
(427) |
Feb
(326) |
Mar
(367) |
Apr
(255) |
May
(244) |
Jun
(204) |
Jul
(223) |
Aug
(231) |
Sep
(354) |
Oct
(374) |
Nov
(497) |
Dec
(362) |
| 2008 |
Jan
(322) |
Feb
(482) |
Mar
(658) |
Apr
(422) |
May
(476) |
Jun
(396) |
Jul
(455) |
Aug
(267) |
Sep
(280) |
Oct
(253) |
Nov
(232) |
Dec
(304) |
| 2009 |
Jan
(486) |
Feb
(470) |
Mar
(458) |
Apr
(423) |
May
(696) |
Jun
(461) |
Jul
(551) |
Aug
(575) |
Sep
(134) |
Oct
(110) |
Nov
(157) |
Dec
(102) |
| 2010 |
Jan
(226) |
Feb
(86) |
Mar
(147) |
Apr
(117) |
May
(107) |
Jun
(203) |
Jul
(193) |
Aug
(238) |
Sep
(300) |
Oct
(246) |
Nov
(23) |
Dec
(75) |
| 2011 |
Jan
(133) |
Feb
(195) |
Mar
(315) |
Apr
(200) |
May
(267) |
Jun
(293) |
Jul
(353) |
Aug
(237) |
Sep
(278) |
Oct
(611) |
Nov
(274) |
Dec
(260) |
| 2012 |
Jan
(303) |
Feb
(391) |
Mar
(417) |
Apr
(441) |
May
(488) |
Jun
(655) |
Jul
(590) |
Aug
(610) |
Sep
(526) |
Oct
(478) |
Nov
(359) |
Dec
(372) |
| 2013 |
Jan
(467) |
Feb
(226) |
Mar
(391) |
Apr
(281) |
May
(299) |
Jun
(252) |
Jul
(311) |
Aug
(352) |
Sep
(481) |
Oct
(571) |
Nov
(222) |
Dec
(231) |
| 2014 |
Jan
(185) |
Feb
(329) |
Mar
(245) |
Apr
(238) |
May
(281) |
Jun
(399) |
Jul
(382) |
Aug
(500) |
Sep
(579) |
Oct
(435) |
Nov
(487) |
Dec
(256) |
| 2015 |
Jan
(338) |
Feb
(357) |
Mar
(330) |
Apr
(294) |
May
(191) |
Jun
(108) |
Jul
(142) |
Aug
(261) |
Sep
(190) |
Oct
(54) |
Nov
(83) |
Dec
(22) |
| 2016 |
Jan
(49) |
Feb
(89) |
Mar
(33) |
Apr
(50) |
May
(27) |
Jun
(34) |
Jul
(53) |
Aug
(53) |
Sep
(98) |
Oct
(206) |
Nov
(93) |
Dec
(53) |
| 2017 |
Jan
(65) |
Feb
(82) |
Mar
(102) |
Apr
(86) |
May
(187) |
Jun
(67) |
Jul
(23) |
Aug
(93) |
Sep
(65) |
Oct
(45) |
Nov
(35) |
Dec
(17) |
| 2018 |
Jan
(26) |
Feb
(35) |
Mar
(38) |
Apr
(32) |
May
(8) |
Jun
(43) |
Jul
(27) |
Aug
(30) |
Sep
(43) |
Oct
(42) |
Nov
(38) |
Dec
(67) |
| 2019 |
Jan
(32) |
Feb
(37) |
Mar
(53) |
Apr
(64) |
May
(49) |
Jun
(18) |
Jul
(14) |
Aug
(53) |
Sep
(25) |
Oct
(30) |
Nov
(49) |
Dec
(31) |
| 2020 |
Jan
(87) |
Feb
(45) |
Mar
(37) |
Apr
(51) |
May
(99) |
Jun
(36) |
Jul
(11) |
Aug
(14) |
Sep
(20) |
Oct
(24) |
Nov
(40) |
Dec
(23) |
| 2021 |
Jan
(14) |
Feb
(53) |
Mar
(85) |
Apr
(15) |
May
(19) |
Jun
(3) |
Jul
(14) |
Aug
(1) |
Sep
(57) |
Oct
(73) |
Nov
(56) |
Dec
(22) |
| 2022 |
Jan
(3) |
Feb
(22) |
Mar
(6) |
Apr
(55) |
May
(46) |
Jun
(39) |
Jul
(15) |
Aug
(9) |
Sep
(11) |
Oct
(34) |
Nov
(20) |
Dec
(36) |
| 2023 |
Jan
(79) |
Feb
(41) |
Mar
(99) |
Apr
(169) |
May
(48) |
Jun
(16) |
Jul
(16) |
Aug
(57) |
Sep
(19) |
Oct
|
Nov
|
Dec
|
| S | M | T | W | T | F | S |
|---|---|---|---|---|---|---|
|
1
(17) |
2
(14) |
3
(15) |
4
(30) |
5
(18) |
6
(12) |
7
(10) |
|
8
(11) |
9
(11) |
10
(14) |
11
(12) |
12
(12) |
13
(8) |
14
(5) |
|
15
(11) |
16
(19) |
17
(15) |
18
(15) |
19
(16) |
20
(9) |
21
(9) |
|
22
(12) |
23
(11) |
24
(10) |
25
(5) |
26
(11) |
27
(12) |
28
(20) |
|
29
(11) |
30
(21) |
|
|
|
|
|
|
From: <sv...@va...> - 2008-06-16 23:33:09
|
Author: njn Date: 2008-06-17 00:33:16 +0100 (Tue, 17 Jun 2008) New Revision: 366 Log: add the paper itself Added: trunk/docs/floatwatch2007.pdf [... diff too large to include ...] |
|
From: <sv...@va...> - 2008-06-16 23:32:42
|
Author: njn Date: 2008-06-17 00:32:50 +0100 (Tue, 17 Jun 2008) New Revision: 365 Log: add missing tags Modified: trunk/docs/pubs.html Modified: trunk/docs/pubs.html =================================================================== --- trunk/docs/pubs.html 2008-06-16 23:31:58 UTC (rev 364) +++ trunk/docs/pubs.html 2008-06-16 23:32:50 UTC (rev 365) @@ -155,6 +155,7 @@ flow. </p></li> + <li><p> <b><a href="/docs/floatwatch2007.pdf">Profiling floating point value ranges for reconfigurable implementation</a>.<br> Ashley W Brown, Paul H J Kelly, Wayne Luk.<br> |
|
From: <sv...@va...> - 2008-06-16 23:31:52
|
Author: njn Date: 2008-06-17 00:31:58 +0100 (Tue, 17 Jun 2008) New Revision: 364 Log: get chronological order right Modified: trunk/docs/pubs.html Modified: trunk/docs/pubs.html =================================================================== --- trunk/docs/pubs.html 2008-06-16 23:31:15 UTC (rev 363) +++ trunk/docs/pubs.html 2008-06-16 23:31:58 UTC (rev 364) @@ -146,6 +146,15 @@ <ul> <li><p> + <b><a href="/docs/drewry2007.pdf">Flayer: Exposing Application + Internals</a>.<br> + Will Drewry and Tavis Ormandy.<br> + Proceedings of the First USENIX Workshop on Offensive Technologies (WOOT + '07), Boston, Massachussetts, USA, August 2007.</b><br> + This paper is about a tool that analyses and modifies program execution + flow. + </p></li> + <b><a href="/docs/floatwatch2007.pdf">Profiling floating point value ranges for reconfigurable implementation</a>.<br> Ashley W Brown, Paul H J Kelly, Wayne Luk.<br> @@ -156,15 +165,6 @@ could be used to run them. </p></li> - <b><a href="/docs/drewry2007.pdf">Flayer: Exposing Application - Internals</a>.<br> - Will Drewry and Tavis Ormandy.<br> - Proceedings of the First USENIX Workshop on Offensive Technologies (WOOT - '07), Boston, Massachussetts, USA, August 2007.</b><br> - This paper is about a tool that analyses and modifies program execution - flow. - </p></li> - <li><p> <b><a href="/docs/muehlenfeld2006.pdf">Fault Detection in Multi-Threaded C++ Server Applications</a>.<br> |
|
From: <sv...@va...> - 2008-06-16 23:31:08
|
Author: njn Date: 2008-06-17 00:31:15 +0100 (Tue, 17 Jun 2008) New Revision: 363 Log: added a new paper Modified: trunk/docs/pubs.html Modified: trunk/docs/pubs.html =================================================================== --- trunk/docs/pubs.html 2008-06-16 23:18:16 UTC (rev 362) +++ trunk/docs/pubs.html 2008-06-16 23:31:15 UTC (rev 363) @@ -146,6 +146,16 @@ <ul> <li><p> + <b><a href="/docs/floatwatch2007.pdf">Profiling floating point value ranges + for reconfigurable implementation</a>.<br> + Ashley W Brown, Paul H J Kelly, Wayne Luk.<br> + Proceedings of the 1st HiPEAC Workshop on Reconfigurable Computing, Ghent, + Belgium, January 2007.</b><br> + This paper is about a tool that analyses the floating point values used by + programs, in order to determine if specialised floating point hardware + could be used to run them. + </p></li> + <b><a href="/docs/drewry2007.pdf">Flayer: Exposing Application Internals</a>.<br> Will Drewry and Tavis Ormandy.<br> |
|
From: <sv...@va...> - 2008-06-16 23:18:08
|
Author: njn Date: 2008-06-17 00:18:16 +0100 (Tue, 17 Jun 2008) New Revision: 362 Log: mention the books page in the news Modified: trunk/docs/books.html trunk/index.html trunk/info/news.html Modified: trunk/docs/books.html =================================================================== --- trunk/docs/books.html 2008-06-16 23:14:54 UTC (rev 361) +++ trunk/docs/books.html 2008-06-16 23:18:16 UTC (rev 362) @@ -10,7 +10,7 @@ Development Team; prepared for printing by Brian Gough.<br> Network Theory Ltd, 2008.</b><br> This is the Valgrind 3.3 manual in printed book form. - It can be ordered from the title link above.</a> + To order a copy, follow the title link above.</a> </p></li> </ul> Modified: trunk/index.html =================================================================== --- trunk/index.html 2008-06-16 23:14:54 UTC (rev 361) +++ trunk/index.html 2008-06-16 23:18:16 UTC (rev 362) @@ -39,6 +39,9 @@ <h2 align="center">Recent News</h2> <ul> + <li><p>June 17, 2008: We have a new <a href="/docs/books.html">books page</a>. + </p></li> + <li><p><?php echo $config['release-date'].": ".$config['release-version']; ?>, for x86/Linux, AMD64/Linux, PPC32/Linux and PPC64/Linux, is available. (<a href="/docs/manual/dist.news.html">release notes</a>). Modified: trunk/info/news.html =================================================================== --- trunk/info/news.html 2008-06-16 23:14:54 UTC (rev 361) +++ trunk/info/news.html 2008-06-16 23:18:16 UTC (rev 362) @@ -7,6 +7,9 @@ <p>Below are a few of the important events in the history of Valgrind:</p> <ul> + <li><p>June 17, 2008: We have a new <a href="/docs/books.html">books page</a>. + </p></li> + <li><p>June 4 2008: Valgrind 3.3.1, for x86/Linux, AMD64/Linux, PPC32/Linux and PPC64/Linux, is available. (<a href="/docs/manual/dist.news.html">release notes</a>). |
|
From: <sv...@va...> - 2008-06-16 23:14:51
|
Author: njn Date: 2008-06-17 00:14:54 +0100 (Tue, 17 Jun 2008) New Revision: 361 Log: fix up a little Modified: trunk/docs/books.html Modified: trunk/docs/books.html =================================================================== --- trunk/docs/books.html 2008-06-16 23:11:29 UTC (rev 360) +++ trunk/docs/books.html 2008-06-16 23:14:54 UTC (rev 361) @@ -4,14 +4,13 @@ <ul> <li><p> - <b><a href="/docs/origin-tracking2007.pdf">Valgrind 3.3 — Advanced - Debugging and Profiling for GNU/Linux applications</a>.<br> + <b><a href="http://www.network-theory.co.uk/valgrind/manual/">Valgrind 3.3 + - Advanced Debugging and Profiling for GNU/Linux applications</a>.<br> Julian Seward, Nicholas Nethercote, Josef Weidendorfer and the Valgrind - Development Team.<br> + Development Team; prepared for printing by Brian Gough.<br> Network Theory Ltd, 2008.</b><br> This is the Valgrind 3.3 manual in printed book form. - <a href="http://www.network-theory.co.uk/valgrind/manual/">More information - and online orders.</a> + It can be ordered from the title link above.</a> </p></li> </ul> |
|
From: <sv...@va...> - 2008-06-16 23:11:36
|
Author: njn Date: 2008-06-17 00:11:29 +0100 (Tue, 17 Jun 2008) New Revision: 360 Log: Added a books page, showing the Valgrind printed Manual. Let's see if this website's menu works how I think it does. Added: trunk/docs/books.html Modified: trunk/docs/pubs.html trunk/php/menu.php Added: trunk/docs/books.html =================================================================== --- trunk/docs/books.html (rev 0) +++ trunk/docs/books.html 2008-06-16 23:11:29 UTC (rev 360) @@ -0,0 +1,20 @@ +<h1>Valgrind Books</h1> + +<p>Here are some printed books that relate to Valgrind.</p> + +<ul> + <li><p> + <b><a href="/docs/origin-tracking2007.pdf">Valgrind 3.3 — Advanced + Debugging and Profiling for GNU/Linux applications</a>.<br> + Julian Seward, Nicholas Nethercote, Josef Weidendorfer and the Valgrind + Development Team.<br> + Network Theory Ltd, 2008.</b><br> + This is the Valgrind 3.3 manual in printed book form. + <a href="http://www.network-theory.co.uk/valgrind/manual/">More information + and online orders.</a> + </p></li> + +</ul> + +<p> </p> +<p> </p> Modified: trunk/docs/pubs.html =================================================================== --- trunk/docs/pubs.html 2008-06-10 01:11:44 UTC (rev 359) +++ trunk/docs/pubs.html 2008-06-16 23:11:29 UTC (rev 360) @@ -1,11 +1,11 @@ -<h1>Valgrind Publications</h1> +<h1>Valgrind Research Papers</h1> -<p>Here are some academic publications that are about Valgrind or involve +<p>Here are some research papers that are about Valgrind or involve Valgrind significantly.</p> -<h2>Papers By Valgrind Developers</h2> +<h2>Research Papers By Valgrind Developers</h2> -<p>If you refer to Valgrind in a publication, please cite one or +<p>If you refer to Valgrind in a published work, please cite one or more of the following papers, not just the Valgrind website.</p> <ul> @@ -22,7 +22,7 @@ Ultimately it wasn't that useful in practice. The paper also describes a similar technique for improving null pointer exception messages in Java, which was much more successful. Please only cite this paper if you are - discussing specifically origin tracking. + specifically discussing origin tracking. </p></li> <li><p> @@ -142,7 +142,7 @@ </ul> -<h2>Papers By Others</h2> +<h2>Research Papers By Others</h2> <ul> <li><p> @@ -176,5 +176,3 @@ </ul> -<p> </p> -<p> </p> Modified: trunk/php/menu.php =================================================================== --- trunk/php/menu.php 2008-06-10 01:11:44 UTC (rev 359) +++ trunk/php/menu.php 2008-06-16 23:11:29 UTC (rev 360) @@ -22,7 +22,8 @@ array( 'url'=>'manual/FAQ.html', 'tag'=>'FAQ' ), array( 'url'=>'manual/manual.html', 'tag'=>'User Manual' ), array( 'url'=>'download_docs.html', 'tag'=>'Download Manual' ), - array( 'url'=>'pubs.html', 'tag'=>'Publications' ) + array( 'url'=>'pubs.html', 'tag'=>'Research Papers' ), + array( 'url'=>'books.html', 'tag'=>'Books' ) ); $contact = array( |
|
From: <sv...@va...> - 2008-06-16 22:49:47
|
Author: sewardj
Date: 2008-06-16 23:49:54 +0100 (Mon, 16 Jun 2008)
New Revision: 8240
Log:
Make some very minor changes to the way the output is printed.
Modified:
branches/HGDEV/helgrind/hg_main.c
Modified: branches/HGDEV/helgrind/hg_main.c
===================================================================
--- branches/HGDEV/helgrind/hg_main.c 2008-06-16 22:33:37 UTC (rev 8239)
+++ branches/HGDEV/helgrind/hg_main.c 2008-06-16 22:49:54 UTC (rev 8240)
@@ -1579,8 +1579,8 @@
LockSet ls = get_SHVAL_LS(sv);
UWord n_segments = SS_get_size(ss);
Int n_locks = HG_(cardinalityWS)(univ_lsets, ls);
- VG_(sprintf)(buf, "%s; #SS=%d; #LS=%d; ",
- is_m ? "Modified" : "ReadOnly", n_segments, n_locks);
+ VG_(sprintf)(buf, "%s; #LS=%d; #SS=%d; ",
+ is_m ? "Modified" : "ReadOnly", n_locks, (Int)n_segments);
for (i = 0; i < n_segments; i++) {
SegmentID S;
@@ -1590,8 +1590,8 @@
}
S = SS_get_element(ss, i);
if (i > 0) VG_(sprintf)(buf + VG_(strlen)(buf), ", ");
- VG_(sprintf)(buf + VG_(strlen)(buf), "S%d/T%d",
- (Int)S, SEG_get(S)->thr->errmsg_index);
+ VG_(sprintf)(buf + VG_(strlen)(buf), "T%d/S%d",
+ (Int)SEG_get(S)->thr->errmsg_index, (Int)S);
}
} else {
VG_(sprintf)(buf, "Invalid-shadow-word(%u)", sv);
@@ -3796,7 +3796,7 @@
"TRACE[%d] {{{: Access = {%p S%d/T%d %s} State = {%s}",
info->n_accesses, a,
(Int)thr->csegid, thr->errmsg_index,
- is_w ? "write" : "read", buf);
+ is_w ? "wr" : "rd", buf);
if (trace_level >= 2) {
ThreadId tid = map_threads_maybe_reverse_lookup_SLOW(thr);
if (tid != VG_INVALID_THREADID) {
@@ -9181,11 +9181,11 @@
about the identity of the root
thread*/) {
tl_assert(thr->created_at == NULL);
- VG_(message)(Vg_UserMsg, "Thread #%d is the program's root thread",
+ VG_(message)(Vg_UserMsg, "Thread T%d is the program's root thread",
thr->errmsg_index);
} else {
tl_assert(thr->created_at != NULL);
- VG_(message)(Vg_UserMsg, "Thread #%d was created",
+ VG_(message)(Vg_UserMsg, "Thread T%d was created",
thr->errmsg_index);
VG_(pp_ExeContext)( thr->created_at );
}
|
|
From: <sv...@va...> - 2008-06-16 22:33:34
|
Author: sewardj
Date: 2008-06-16 23:33:37 +0100 (Mon, 16 Jun 2008)
New Revision: 8239
Log:
Terminology-only change: change the name of one of the shared states
in MSMProp1 from "Write" to "Modified", with the aim of making the
behaviour of the state machine easier for end-users to understand.
Modified:
branches/HGDEV/helgrind/hg_main.c
Modified: branches/HGDEV/helgrind/hg_main.c
===================================================================
--- branches/HGDEV/helgrind/hg_main.c 2008-06-16 20:31:16 UTC (rev 8238)
+++ branches/HGDEV/helgrind/hg_main.c 2008-06-16 22:33:37 UTC (rev 8239)
@@ -1157,7 +1157,7 @@
//
// SVal:
// 10SSSSSSSSSSSSSSSSSSSSSSSSSSrrrrTrrrrrrrLLLLLLLLLLLLLLLLLLLLLLLL Read
-// 11SSSSSSSSSSSSSSSSSSSSSSSSSSrrrrTrrrrrrrLLLLLLLLLLLLLLLLLLLLLLLL Write
+// 11SSSSSSSSSSSSSSSSSSSSSSSSSSrrrrTrrrrrrrLLLLLLLLLLLLLLLLLLLLLLLL Mod
// \_______ 26 _____________/ \________ 24 __________/
//
// 0100000000000000000000000000000000000000000000000000000000000001 Ignore
@@ -1188,13 +1188,13 @@
//------------- segment set, lock set --------------
-#define N_SEG_SEG_BITS 26
+#define N_SEG_SEG_BITS 26
#define N_LOCK_SET_BITS 24
#define TRACE_BIT_POSITION 31
#define SHVAL_New ((SVal)(2<<8))
#define SHVAL_Invalid ((SVal)(0))
-#define SHVAL_Ignore ((SVal)((1ULL << 62)+1))
+#define SHVAL_Ignore ((SVal)((1ULL << 62)+1))
typedef UInt SegmentSet;
typedef WordSetID LockSet; /* UInt */
@@ -1270,24 +1270,24 @@
return ls < (1 << N_LOCK_SET_BITS);
}
-static inline SVal mk_SHVAL_RW (Bool is_w, SegmentSet ss, LockSet ls) {
+static inline SVal mk_SHVAL_RM (Bool is_m, SegmentSet ss, LockSet ls) {
SVal res;
if (SCE_SVALS) {
tl_assert(SS_valid(ss));
tl_assert(LS_valid(ls));
}
res = (1ULL << 63)
- | ((SVal)is_w << 62)
+ | ((SVal)is_m << 62)
| ((SVal)ss << (62-N_SEG_SEG_BITS))
| ((SVal)ls);
// VG_(printf)("XX %llx\n", res);
return res;
}
static inline SVal mk_SHVAL_R (SegmentSet ss, LockSet ls) {
- return mk_SHVAL_RW(False, ss, ls);
+ return mk_SHVAL_RM(False, ss, ls);
}
-static inline SVal mk_SHVAL_W (SegmentSet ss, LockSet ls) {
- return mk_SHVAL_RW(True, ss, ls);
+static inline SVal mk_SHVAL_M (SegmentSet ss, LockSet ls) {
+ return mk_SHVAL_RM(True, ss, ls);
}
static inline Bool get_SHVAL_TRACE_BIT (SVal sv) {
@@ -1314,26 +1314,26 @@
return ls;
}
-static inline Bool is_SHVAL_RW (SVal sv) {
- /* Top 2 bits are 10 (R) or 11 (W) */
+static inline Bool is_SHVAL_RM (SVal sv) {
+ /* Top 2 bits are 10 (R) or 11 (M) */
return (sv >> 63) != 0;
}
static inline Bool is_SHVAL_R (SVal sv) {
return ((sv >> 62) & 3) == 2; /* == 10 (R) */
}
-static inline Bool is_SHVAL_W (SVal sv) {
+static inline Bool is_SHVAL_M (SVal sv) {
return ((sv >> 62) & 3) == 3; /* == 11 (W) */
}
static inline Bool is_SHVAL_Shared (SVal sv) {
- return is_SHVAL_RW(sv) && !SS_is_singleton(get_SHVAL_SS(sv));
+ return is_SHVAL_RM(sv) && !SS_is_singleton(get_SHVAL_SS(sv));
}
-static inline Bool is_SHVAL_New (SVal sv) {return sv == SHVAL_New;}
+static inline Bool is_SHVAL_New (SVal sv) {return sv == SHVAL_New;}
static inline Bool is_SHVAL_Ignore (SVal sv) {return sv == SHVAL_Ignore;}
static inline Bool is_SHVAL_valid ( SVal sv) {
- return is_SHVAL_RW(sv) || is_SHVAL_New(sv)
+ return is_SHVAL_RM(sv) || is_SHVAL_New(sv)
|| is_SHVAL_Ignore(sv)
;
}
@@ -1342,7 +1342,7 @@
static inline Bool is_SHVAL_valid_SLOW ( SVal sv) {
if (!is_SHVAL_valid(sv)) return False;
#if 0
- if (clo_ss_recycle && is_SHVAL_RW(sv)) {
+ if (clo_ss_recycle && is_SHVAL_RM(sv)) {
SegmentSet SS = get_SHVAL_SS(sv);
if (!SS_is_singleton(SS)) {
if (!(HG_(saneWS_SLOW(univ_ssets, SS)))) {
@@ -1357,7 +1357,7 @@
// If sv has a non-singleton SS, increment it's refcount by 1.
static inline void SHVAL_SS_ref(SVal sv) {
- if (LIKELY(is_SHVAL_RW(sv))) {
+ if (LIKELY(is_SHVAL_RM(sv))) {
SegmentSet ss = get_SHVAL_SS(sv);
if (UNLIKELY(!SS_is_singleton(ss))) {
SS_ref(ss, 1);
@@ -1572,15 +1572,15 @@
VG_(sprintf)(buf, "%s", "New");
} else if (is_SHVAL_Ignore(sv)) {
VG_(sprintf)(buf, "%s", "Ignore");
- } else if (is_SHVAL_RW(sv)) {
+ } else if (is_SHVAL_RM(sv)) {
UWord i;
- Bool is_w = is_SHVAL_W(sv);
+ Bool is_m = is_SHVAL_M(sv);
SegmentSet ss = get_SHVAL_SS(sv);
LockSet ls = get_SHVAL_LS(sv);
UWord n_segments = SS_get_size(ss);
Int n_locks = HG_(cardinalityWS)(univ_lsets, ls);
VG_(sprintf)(buf, "%s; #SS=%d; #LS=%d; ",
- is_w ? "Write" : "Read", n_segments, n_locks);
+ is_m ? "Modified" : "ReadOnly", n_segments, n_locks);
for (i = 0; i < n_segments; i++) {
SegmentID S;
@@ -3239,7 +3239,7 @@
//if (!is_SHVAL_NoAccess(sv))
// allNoAccess = False;
- if (is_SHVAL_RW(sv)) {
+ if (is_SHVAL_RM(sv)) {
LockSet LS = get_SHVAL_LS(sv);
SegmentSet SS = get_SHVAL_SS(sv);
// check segment set
@@ -3339,10 +3339,10 @@
static UWord stats__msm_BHL_hack = 0;
static UWord stats__msm_Ignore = 0;
static UWord stats__msm_R_to_R = 0;
-static UWord stats__msm_R_to_W = 0;
-static UWord stats__msm_W_to_R = 0;
-static UWord stats__msm_W_to_W = 0;
-static UWord stats__msm_New_to_W = 0;
+static UWord stats__msm_R_to_M = 0;
+static UWord stats__msm_M_to_R = 0;
+static UWord stats__msm_M_to_M = 0;
+static UWord stats__msm_New_to_M = 0;
static UWord stats__msm_New_to_R = 0;
static UWord stats__msm_oldSS_single = 0;
static UWord stats__msm_oldSS_multi = 0;
@@ -3703,12 +3703,13 @@
return newSS;
}
-static inline SegmentSet do_SS_update ( /*OUT*/Bool* hb_all_p,
- /*OUT*/Bool* may_recycle_oldSS_p,
- Thread* thr,
- Bool do_trace,
- SegmentSet oldSS, SegmentID currS,
- UWord sz)
+inline
+static SegmentSet do_SS_update ( /*OUT*/Bool* hb_all_p,
+ /*OUT*/Bool* may_recycle_oldSS_p,
+ Thread* thr,
+ Bool do_trace,
+ SegmentSet oldSS, SegmentID currS,
+ UWord sz)
{
SegmentSet newSS;
Bool oldSS_has_active_segment = False;
@@ -3772,7 +3773,7 @@
SVal sv_old,
SVal sv_new,
Bool is_w,
- int trace_level
+ Int trace_level
)
{
HChar buf[200];
@@ -3794,7 +3795,7 @@
VG_(message)(Vg_UserMsg,
"TRACE[%d] {{{: Access = {%p S%d/T%d %s} State = {%s}",
info->n_accesses, a,
- (int)thr->csegid, thr->errmsg_index,
+ (Int)thr->csegid, thr->errmsg_index,
is_w ? "write" : "read", buf);
if (trace_level >= 2) {
ThreadId tid = map_threads_maybe_reverse_lookup_SLOW(thr);
@@ -3884,14 +3885,14 @@
tl_assert(is_sane_Thread(thr));
// Read or Write
- if (LIKELY(is_SHVAL_RW(sv_old))) {
- Bool was_w, now_w;
+ if (LIKELY(is_SHVAL_RM(sv_old))) {
+ Bool was_m, now_m;
// check the trace bit
if (UNLIKELY(get_SHVAL_TRACE_BIT(sv_old))) {
trace_level = 2;
}
- was_w = is_SHVAL_W(sv_old);
+ was_m = is_SHVAL_M(sv_old);
tl_assert(is_SHVAL_valid_SLOW(sv_old));
// update the segment set and compute hb_all
@@ -3911,28 +3912,28 @@
}
// update the state
- now_w = is_w ? True : (was_w && !hb_all);
+ now_m = is_w ? True : (was_m && !hb_all);
// generate new SVal
- sv_new = mk_SHVAL_RW(now_w, newSS, newLS);
+ sv_new = mk_SHVAL_RM(now_m, newSS, newLS);
sv_new = set_SHVAL_TRACE_BIT(sv_new, get_SHVAL_TRACE_BIT(sv_old));
- is_race = now_w && !SS_is_singleton(newSS)
+ is_race = now_m && !SS_is_singleton(newSS)
&& HG_(isEmptyWS)(univ_lsets, newLS);
- if ( (!was_w) && (!now_w) ) stats__msm_R_to_R++;
- else if ( (!was_w) && (now_w) ) stats__msm_R_to_W++;
- else if ( (was_w) && (!now_w) ) stats__msm_W_to_R++;
- else if ( (was_w) && (now_w) ) stats__msm_W_to_W++;
+ if ( (!was_m) && (!now_m) ) stats__msm_R_to_R++;
+ else if ( (!was_m) && (now_m) ) stats__msm_R_to_M++;
+ else if ( (was_m) && (!now_m) ) stats__msm_M_to_R++;
+ else if ( (was_m) && (now_m) ) stats__msm_M_to_M++;
goto done;
}
// New
if (is_SHVAL_New(sv_old)) {
- stats__msm_New_to_W++;
+ stats__msm_New_to_M++;
newSS = SS_mk_singleton(currS);
- sv_new = mk_SHVAL_RW(is_w, newSS, currLS);
+ sv_new = mk_SHVAL_RM(is_w, newSS, currLS);
goto done;
}
@@ -3973,7 +3974,7 @@
if (race_was_recorded) {
// if we did record a race and if this mem was not traced before,
// turn tracing on.
- sv_new = mk_SHVAL_RW(is_w, SS_mk_singleton(currS), currLS);
+ sv_new = mk_SHVAL_RM(is_w, SS_mk_singleton(currS), currLS);
sv_new = set_SHVAL_TRACE_BIT(sv_new, True);
msm_do_trace(thr, a, sv_old, sv_new, is_w, 2);
} else {
@@ -9197,7 +9198,7 @@
{
UWord i;
SegmentSet SS;
- if (!is_SHVAL_RW(sv)) return 0;
+ if (!is_SHVAL_RM(sv)) return 0;
SS = get_SHVAL_SS(sv);
for (i = 0; i < SS_get_size(SS); i++) {
SegmentID segid = SS_get_element(SS, i);
@@ -9401,7 +9402,7 @@
VG_(message)(Vg_UserMsg, " old state = {%s}", old_buf);
VG_(message)(Vg_UserMsg, " new state = {%s}", new_buf);
- if (is_SHVAL_RW(old_state)) {
+ if (is_SHVAL_RM(old_state)) {
SegmentSet SS = get_SHVAL_SS(old_state);
for (i = 0; i < (int)SS_get_size(SS); i++) {
SegmentID segid = SS_get_element(SS, i);
@@ -9883,12 +9884,12 @@
VG_(printf)("\n");
VG_(printf)(" msm: %,14lu %,14lu BHL-skipped, Ignore\n",
stats__msm_BHL_hack, stats__msm_Ignore);
- VG_(printf)(" msm: %,14lu %,14lu R_to_R, R_to_W\n",
- stats__msm_R_to_R, stats__msm_R_to_W);
- VG_(printf)(" msm: %,14lu %,14lu W_to_R, W_to_W\n",
- stats__msm_W_to_R, stats__msm_W_to_W);
- VG_(printf)(" msm: %,14lu %,14lu New_to_R, New_to_W\n",
- stats__msm_New_to_R, stats__msm_New_to_W);
+ VG_(printf)(" msm: %,14lu %,14lu R_to_R, R_to_M\n",
+ stats__msm_R_to_R, stats__msm_R_to_M);
+ VG_(printf)(" msm: %,14lu %,14lu M_to_R, M_to_M\n",
+ stats__msm_M_to_R, stats__msm_M_to_M);
+ VG_(printf)(" msm: %,14lu %,14lu New_to_R, New_to_M\n",
+ stats__msm_New_to_R, stats__msm_New_to_M);
VG_(printf)(" msm: %,14lu SS_update_single\n",
stats__msm_oldSS_single);
VG_(printf)(" msm: %,14lu %,14lu SS_update_multi, shortcut\n",
|
|
From: <sv...@va...> - 2008-06-16 20:31:16
|
Author: bart
Date: 2008-06-16 21:31:16 +0100 (Mon, 16 Jun 2008)
New Revision: 8238
Log:
Added entry for DRD manual.
Modified:
trunk/docs/xml/manual.xml
Modified: trunk/docs/xml/manual.xml
===================================================================
--- trunk/docs/xml/manual.xml 2008-06-16 20:23:23 UTC (rev 8237)
+++ trunk/docs/xml/manual.xml 2008-06-16 20:31:16 UTC (rev 8238)
@@ -32,6 +32,8 @@
xmlns:xi="http://www.w3.org/2001/XInclude" />
<xi:include href="../../helgrind/docs/hg-manual.xml" parse="xml"
xmlns:xi="http://www.w3.org/2001/XInclude" />
+ <xi:include href="../../exp-drd/docs/drd-manual.xml" parse="xml"
+ xmlns:xi="http://www.w3.org/2001/XInclude" />
<xi:include href="../../massif/docs/ms-manual.xml" parse="xml"
xmlns:xi="http://www.w3.org/2001/XInclude" />
<xi:include href="../../none/docs/nl-manual.xml" parse="xml"
|
|
From: <sv...@va...> - 2008-06-16 20:23:18
|
Author: bart
Date: 2008-06-16 21:23:23 +0100 (Mon, 16 Jun 2008)
New Revision: 8237
Log:
Only retained the results obtained via gcc 4.3.1. Reran Core2 E6750 measurements after latest optimization.
Modified:
trunk/exp-drd/scripts/run-splash2
Modified: trunk/exp-drd/scripts/run-splash2
===================================================================
--- trunk/exp-drd/scripts/run-splash2 2008-06-16 20:22:18 UTC (rev 8236)
+++ trunk/exp-drd/scripts/run-splash2 2008-06-16 20:23:23 UTC (rev 8237)
@@ -67,24 +67,6 @@
# Results (-p4): native DRD DRD HG ITC ITC
# (-p1) w/ filter w/ filter
# ............................................................................
-# Cholesky 0.29 103 64 37 239 82
-# FFT 0.19 65 32 556 90 41
-# LU, contiguous blocks 0.76 44 36 97 428 128
-# LU, non-contiguous blocks 0.80 45 39 59 428 128
-# Ocean, contiguous partitions 19.40 39 32 54 90 28
-# Ocean, non-contiguous partns 0.29 26 29 53 90 28
-# Radiosity 3.11 223 61 58 485 163
-# Radix 4.05 16 14 85 222 56
-# Raytrace 2.21 272 53 89 172 53
-# Water-n2 0.17 176 33 52 189 39
-# Water-sp 0.18 145 33 51 183 34
-# ............................................................................
-# Hardware: dual-core Intel Xeon 5130, 2.0 GHz, 4 MB L2 cache, 4 GB RAM.
-# Software: Ubuntu 7.10 server, 64-bit, gcc 4.1.3, xload -update 1 running.
-##############################################################################
-# Results (-p4): native DRD DRD HG ITC ITC
-# (-p1) w/ filter w/ filter
-# ............................................................................
# Cholesky 0.29 89 64 37 239 82
# FFT 0.19 50 32 556 90 41
# LU, contiguous blocks 0.76 41 38 97 428 128
@@ -100,60 +82,24 @@
# Hardware: dual-core Intel Xeon 5130, 2.0 GHz, 4 MB L2 cache, 4 GB RAM.
# Software: Ubuntu 7.10 server, 64-bit, gcc 4.3.1, xload -update 1 running.
##############################################################################
-# Results (-p4): native DRD DRD HG ITC ITC
-# (-p1) w/ filter w/ filter
+# Results: native DRD DRD HG ITC ITC
+# -p1 -p2 -p4 -p4 -p4, f -p4 -p4 -p4, f
# ............................................................................
-# Cholesky 0.21 100 64 36 239 82
-# FFT 0.12 100 38 224 90 41
-# LU, contiguous blocks 0.57 58 50 96 428 128
-# LU, non-contiguous blocks 0.61 62 56 60 428 128
-# Ocean, contiguous partitions 14.33 43 34 58 90 28
-# Ocean, non-contiguous partns 0.21 30 33 56 90 28
-# Radiosity 2.33 244 63 60 485 163
-# Radix 2.81 15 13 90 222 56
-# Raytrace 1.65 340 52 88 172 53
-# Water-n2 0.14 153 27 46 189 39
-# Water-sp 0.14 155 29 46 183 34
+# Cholesky 0.21 0.14 4.49 4 3 2 239 82
+# FFT 0.11 0.08 0.07 138 66 380 90 41
+# LU, contiguous 0.56 0.34 0.34 72 68 96 428 128
+# LU, non-contiguous 0.59 0.32 0.35 92 109 60 428 128
+# Ocean, contiguous 14.30 9.54 9.56 61 48 89 90 28
+# Ocean, non-contiguous 0.20 0.12 0.12 45 51 93 90 28
+# Radiosity 2.33 2.32 2.33 175 61 60 485 163
+# Radix 2.81 1.45 1.46 32 29 153 222 56
+# Raytrace 1.65 1.64 1.64 230 55 89 172 53
+# Water-n2 0.14 0.12 0.12 129 35 55 189 39
+# Water-sp 0.14 0.12 0.12 121 36 54 183 34
# ............................................................................
# Hardware: dual-core Intel Core2 Duo E6750, 2.66 GHz, 4 MB L2 cache, 2 GB RAM.
-# Software: openSUSE 10.3, 64-bit, gcc 4.2.1, runlevel 5, X screensaver: blank
-##############################################################################
-# Results (-p4): native DRD DRD HG ITC ITC
-# (-p1) w/ filter w/ filter
-# ............................................................................
-# Cholesky 0.21 85 62 36 239 82
-# FFT 0.12 82 41 224 90 41
-# LU, contiguous blocks 0.57 45 42 96 428 128
-# LU, non-contiguous blocks 0.61 53 53 60 428 128
-# Ocean, contiguous partitions 14.33 40 32 58 90 28
-# Ocean, non-contiguous partns 0.21 28 32 56 90 28
-# Radiosity 2.33 175 62 60 485 163
-# Radix 2.81 17 15 90 222 56
-# Raytrace 1.65 233 29 88 172 53
-# Water-n2 0.14 105 29 46 189 39
-# Water-sp 0.14 105 31 46 183 34
-# ............................................................................
-# Hardware: dual-core Intel Core2 Duo E6750, 2.66 GHz, 4 MB L2 cache, 2 GB RAM.
# Software: openSUSE 10.3, 64-bit, gcc 4.3.1, runlevel 5, X screensaver: blank
##############################################################################
-# Results (-p4): native DRD DRD HG ITC ITC
-# (-p1) (-p2) (-p4) w/ filter w/ filter
-# ............................................................................
-# Cholesky 0.21 0.14 4.62 4 3 2 239 82
-# FFT 0.12 0.08 0.07 138 72 380 90 41
-# LU, contiguous 0.57 0.34 0.34 92 88 96 428 128
-# LU, non-contiguous 0.59 0.32 0.35 116 118 60 428 128
-# Ocean, contiguous 14.49 9.73 9.70 65 53 .. 90 28
-# Ocean, non-contiguous 0.21 0.12 0.12 60 65 105 90 28
-# Radiosity 2.33 2.32 2.33 177 62 60 485 163
-# Radix 2.81 1.45 1.46 37 35 171 222 56
-# Raytrace 1.65 1.64 1.64 235 55 89 172 53
-# Water-n2 0.14 0.12 0.12 129 36 55 189 39
-# Water-sp 0.14 0.13 0.12 124 36 54 183 34
-# ............................................................................
-# Hardware: dual-core Intel Core2 Duo E6750, 2.66 GHz, 4 MB L2 cache, 2 GB RAM.
-# Software: openSUSE 10.3, 64-bit, gcc 4.3.1, runlevel 5, X screensaver: blank
-##############################################################################
cache_size=$(($(get_cache_size)/2))
log2_cache_size=$(log2 ${cache_size})
|
|
From: <sv...@va...> - 2008-06-16 20:22:15
|
Author: bart
Date: 2008-06-16 21:22:18 +0100 (Mon, 16 Jun 2008)
New Revision: 8236
Log:
Yet another optimization: do not instrument loads and stores that match the address pattern (stack pointer + offset) when data race detection on stack variables is disabled.
Modified:
trunk/exp-drd/drd_main.c
Modified: trunk/exp-drd/drd_main.c
===================================================================
--- trunk/exp-drd/drd_main.c 2008-06-15 12:22:37 UTC (rev 8235)
+++ trunk/exp-drd/drd_main.c 2008-06-16 20:22:18 UTC (rev 8236)
@@ -38,6 +38,7 @@
#include "drd_thread_bitmap.h"
#include "drd_track.h"
#include "drd_vc.h"
+#include "libvex_guest_offsets.h"
#include "priv_drd_clientreq.h"
#include "pub_drd_bitmap.h"
#include "pub_tool_vki.h" // Must be included before pub_tool_libcproc
@@ -843,6 +844,50 @@
}
}
+#if defined(VGA_x86)
+#define STACK_POINTER_OFFSET OFFSET_x86_ESP
+#elif defined(VGA_amd64)
+#define STACK_POINTER_OFFSET OFFSET_amd64_RSP
+#elif defined(VGA_ppc32)
+#define STACK_POINTER_OFFSET ((OFFSET_ppc32_GPR0 + OFFSET_ppc32_GPR2) / 2)
+#elif defined(VGA_ppc64)
+#define STACK_POINTER_OFFSET ((OFFSET_ppc64_GPR0 + OFFSET_ppc64_GPR2) / 2)
+#else
+#error Unknown architecture.
+#endif
+
+
+/** Return true if and only if addr_expr matches the pattern (SP) or
+ * <offset>(SP).
+ */
+static Bool is_stack_access(IRSB* const bb, IRExpr* const addr_expr)
+{
+ Bool result = False;
+
+ if (addr_expr->tag == Iex_RdTmp)
+ {
+ int i;
+ for (i = 0; i < bb->stmts_size; i++)
+ {
+ if (bb->stmts[i]
+ && bb->stmts[i]->tag == Ist_WrTmp
+ && bb->stmts[i]->Ist.WrTmp.tmp == addr_expr->Iex.RdTmp.tmp)
+ {
+ IRExpr* e = bb->stmts[i]->Ist.WrTmp.data;
+ if (e->tag == Iex_Get && e->Iex.Get.offset == STACK_POINTER_OFFSET)
+ {
+ result = True;
+ }
+
+ //ppIRExpr(e);
+ //VG_(printf)(" (%s)\n", result ? "True" : "False");
+ break;
+ }
+ }
+ }
+ return result;
+}
+
static void instrument_load(IRSB* const bb,
IRExpr* const addr_expr,
const HWord size)
@@ -863,6 +908,9 @@
mkIRExpr_HWord(size)))));
}
+ if (! s_drd_check_stack_accesses && is_stack_access(bb, addr_expr))
+ return;
+
switch (size)
{
case 1:
@@ -925,6 +973,9 @@
mkIRExpr_HWord(size)))));
}
+ if (! s_drd_check_stack_accesses && is_stack_access(bb, addr_expr))
+ return;
+
switch (size)
{
case 1:
|
|
From: John R.
|
omo wrote: > I've prototyped a simple fault injector for malloc()-like routines, > called "Failgrind". > The tool can make fail malloc() and its variants ... This is good! I would use it more if it were integrated into memcheck, with features activated depending on existence of environment variables. If an environment variable exists, then activate the corresponding feature. I suggest a related feature: FAILGRIND_MALLOC_ACTIVATIONS=min,max which would cause malloc never to fail [on purpose] on the first min-1 calls, nor on any calls after the first max calls. So the possibility of injected failure is restricted to calls numbered in the interval [min, max]. The rationale is that my programs have three phases: startup, choose strategy based on input and environment (including how much space is available), execute strategy. I want to concentrate on one phase at a time. It would be nice to have an optional error message: Injecting fault at malloc #12345; 678 bytes requested at foo (bar.c, line 234) by <<usual traceback...>> for each intentional fault. --- |
|
From: omo <om...@do...> - 2008-06-16 14:18:04
|
Hello, I've prototyped a simple fault injector for malloc()-like routines, called "Failgrind". The tool can make fail malloc() and its variants which are called from specific functions. the basic idea is similar to the bug: http://bugs.kde.org/show_bug.cgi?id=163266 and failmalloc http://www.nongnu.org/failmalloc/ . This is just a small, proof-of-concept prototype, and there will be a lot of TODOs. Which is better to the patch to massif or current "separate tool" style? What are missing features? How should they be implemented? How to intercept specific functions? Does this type of tool make sense at all? Any comments, advices and ideas are welcome. Thank you in advance. ---- * Availabitity I host the code on my mercurial repository: - http://dodgson.org/omo/failgrind/hg/ snapshot is available at - http://dodgson.org/omo/failgrind/hg/?archive/tip.tar.gz The implemention is done as a separate valgrind tool and small patch to base Makefiles. $ tar xvjf ~/Download/valgrind-3.3.0.tar.bz2 $ tar xvzf ~/Download/failgrind-xxx.tar.gz $ mv failgrind-3336efc98b98 valgrind-3.3.0/failgrind $ cd valgrind-3.3.0 $ patch -p1 < failgrind/3_3_0_root.patch $ ./failgrind/autogen.sh $ ./configure --prefix=`pwd`/inst $ make && make install * Usage example Assume we have following code : ---- /* hello.c */ #include <stdlib.h> #include <stdio.h> void* fine() { return malloc(16); } void* how_are_you() { return fine(); } void* hello() { return malloc(16); } void* bye() { return malloc(16); } int main(int argc, char* argv[]) { void* h = 0; void* b = 0; void* hau = 0; h = hello(); if (!h) { printf("failed to alloc hello\n"); return 1; } hau = how_are_you(); if (!hau) { printf("failed to alloc how_are_you\n"); free(h); return 1; } b = bye(); if (!b) { printf("failed to alloc bye\n"); free(hau); free(h); return 1; } printf("all allocted successfully\n"); free(b); free(hau); free(h); return 0; } ---- Which run successfully on normal setting. $ gcc failgrind/tests/hello.c $ ./a.out all allocated successfully Using Failgrind, we can make it fail. $ ./inst/bin/valgrind -q --tool=failgrind --fail-conds=bye ./a.out failed to alloc bye Note that malloc() on bye() failed. Here are more examples: # didn't match bye() $ ./inst/bin/valgrind -q --tool=failgrind --fail-conds=bye/how_are_you ./a.out all allocated successfully # did match! $ ./inst/bin/valgrind -q --tool=failgrind --fail-conds=fine/how_are_you ./a.out failed to alloc how_are_you # invocation order is not what we expect. $ ./inst/bin/valgrind -q --tool=failgrind --fail-conds=how_are_you/fine ./a.out all allocated successfully * Possible TODOs - Port failmalloc features. - Support other functions to fail. - Add client request to controll the behaviour from unit-testing. - Add simpel memory leak detection. because Valgrind seems not to allow using two tools together, we cannot use Massif when we use Failgrind. -- morita |
|
From: Tom H. <th...@cy...> - 2008-06-16 03:01:06
|
Nightly build on aston ( x86_64, Fedora Core 5 ) started at 2008-06-16 03:20:08 BST Results unchanged from 24 hours ago Checking out valgrind source tree ... done Configuring valgrind ... done Building valgrind ... done Running regression tests ... failed Regression test results follow == 437 tests, 6 stderr failures, 1 stdout failure, 0 post failures == memcheck/tests/malloc_free_fill (stderr) memcheck/tests/pointer-trace (stderr) memcheck/tests/x86/scalar (stderr) none/tests/blockfault (stderr) none/tests/mremap2 (stdout) helgrind/tests/tc20_verifywrap (stderr) helgrind/tests/tc22_exit_w_lock (stderr) |
|
From: Tom H. <th...@cy...> - 2008-06-16 02:47:48
|
Nightly build on lloyd ( x86_64, Fedora 7 ) started at 2008-06-16 03:05:06 BST Results unchanged from 24 hours ago Checking out valgrind source tree ... done Configuring valgrind ... done Building valgrind ... done Running regression tests ... failed Regression test results follow == 431 tests, 4 stderr failures, 2 stdout failures, 0 post failures == memcheck/tests/pointer-trace (stderr) memcheck/tests/vcpu_fnfns (stdout) memcheck/tests/x86/scalar (stderr) none/tests/mremap2 (stdout) helgrind/tests/tc20_verifywrap (stderr) helgrind/tests/tc22_exit_w_lock (stderr) |
|
From: Tom H. <th...@cy...> - 2008-06-16 02:42:00
|
Nightly build on trojan ( x86_64, Fedora Core 6 ) started at 2008-06-16 03:25:04 BST Results differ from 24 hours ago Checking out valgrind source tree ... done Configuring valgrind ... done Building valgrind ... done Running regression tests ... failed Regression test results follow == 435 tests, 7 stderr failures, 5 stdout failures, 0 post failures == memcheck/tests/pointer-trace (stderr) memcheck/tests/vcpu_fnfns (stdout) memcheck/tests/x86/bug133694 (stdout) memcheck/tests/x86/bug133694 (stderr) memcheck/tests/x86/scalar (stderr) none/tests/cmdline1 (stdout) none/tests/cmdline2 (stdout) none/tests/mremap2 (stdout) helgrind/tests/tc17_sembar (stderr) helgrind/tests/tc20_verifywrap (stderr) helgrind/tests/tc21_pthonce (stderr) helgrind/tests/tc22_exit_w_lock (stderr) ================================================= == Results from 24 hours ago == ================================================= Checking out valgrind source tree ... done Configuring valgrind ... done Building valgrind ... done Running regression tests ... failed Regression test results follow == 435 tests, 6 stderr failures, 5 stdout failures, 0 post failures == memcheck/tests/pointer-trace (stderr) memcheck/tests/vcpu_fnfns (stdout) memcheck/tests/x86/bug133694 (stdout) memcheck/tests/x86/bug133694 (stderr) memcheck/tests/x86/scalar (stderr) none/tests/cmdline1 (stdout) none/tests/cmdline2 (stdout) none/tests/mremap2 (stdout) helgrind/tests/tc20_verifywrap (stderr) helgrind/tests/tc21_pthonce (stderr) helgrind/tests/tc22_exit_w_lock (stderr) ================================================= == Difference between 24 hours ago and now == ================================================= *** old.short Mon Jun 16 03:33:37 2008 --- new.short Mon Jun 16 03:42:06 2008 *************** *** 8,10 **** ! == 435 tests, 6 stderr failures, 5 stdout failures, 0 post failures == memcheck/tests/pointer-trace (stderr) --- 8,10 ---- ! == 435 tests, 7 stderr failures, 5 stdout failures, 0 post failures == memcheck/tests/pointer-trace (stderr) *************** *** 17,18 **** --- 17,19 ---- none/tests/mremap2 (stdout) + helgrind/tests/tc17_sembar (stderr) helgrind/tests/tc20_verifywrap (stderr) |
|
From: Tom H. <th...@cy...> - 2008-06-16 02:37:48
|
Nightly build on dellow ( x86_64, Fedora 8 ) started at 2008-06-16 03:10:05 BST Results differ from 24 hours ago Checking out valgrind source tree ... done Configuring valgrind ... done Building valgrind ... done Running regression tests ... failed Regression test results follow == 431 tests, 7 stderr failures, 2 stdout failures, 0 post failures == memcheck/tests/pointer-trace (stderr) memcheck/tests/vcpu_fnfns (stdout) memcheck/tests/x86/scalar (stderr) none/tests/blockfault (stderr) none/tests/mremap2 (stdout) helgrind/tests/tc18_semabuse (stderr) helgrind/tests/tc20_verifywrap (stderr) helgrind/tests/tc21_pthonce (stderr) helgrind/tests/tc22_exit_w_lock (stderr) ================================================= == Results from 24 hours ago == ================================================= Checking out valgrind source tree ... done Configuring valgrind ... done Building valgrind ... done Running regression tests ... failed Regression test results follow == 431 tests, 8 stderr failures, 3 stdout failures, 0 post failures == memcheck/tests/pointer-trace (stderr) memcheck/tests/vcpu_fnfns (stdout) memcheck/tests/x86/scalar (stderr) none/tests/blockfault (stderr) none/tests/mremap2 (stdout) none/tests/pth_cvsimple (stdout) helgrind/tests/tc17_sembar (stderr) helgrind/tests/tc18_semabuse (stderr) helgrind/tests/tc20_verifywrap (stderr) helgrind/tests/tc21_pthonce (stderr) helgrind/tests/tc22_exit_w_lock (stderr) ================================================= == Difference between 24 hours ago and now == ================================================= *** old.short Mon Jun 16 03:24:20 2008 --- new.short Mon Jun 16 03:37:54 2008 *************** *** 8,10 **** ! == 431 tests, 8 stderr failures, 3 stdout failures, 0 post failures == memcheck/tests/pointer-trace (stderr) --- 8,10 ---- ! == 431 tests, 7 stderr failures, 2 stdout failures, 0 post failures == memcheck/tests/pointer-trace (stderr) *************** *** 14,17 **** none/tests/mremap2 (stdout) - none/tests/pth_cvsimple (stdout) - helgrind/tests/tc17_sembar (stderr) helgrind/tests/tc18_semabuse (stderr) --- 14,15 ---- |
|
From: Tom H. <th...@cy...> - 2008-06-16 02:23:51
|
Nightly build on gill ( x86_64, Fedora Core 2 ) started at 2008-06-16 03:00:05 BST Results unchanged from 24 hours ago Checking out valgrind source tree ... done Configuring valgrind ... done Building valgrind ... done Running regression tests ... failed Regression test results follow == 437 tests, 30 stderr failures, 3 stdout failures, 0 post failures == memcheck/tests/malloc_free_fill (stderr) memcheck/tests/origin5-bz2 (stderr) memcheck/tests/pointer-trace (stderr) memcheck/tests/stack_switch (stderr) memcheck/tests/varinfo6 (stderr) memcheck/tests/x86/scalar (stderr) memcheck/tests/x86/scalar_supp (stderr) none/tests/amd64/insn_ssse3 (stdout) none/tests/amd64/insn_ssse3 (stderr) none/tests/amd64/ssse3_misaligned (stderr) none/tests/blockfault (stderr) none/tests/fdleak_fcntl (stderr) none/tests/mremap2 (stdout) none/tests/x86/insn_ssse3 (stdout) none/tests/x86/insn_ssse3 (stderr) none/tests/x86/ssse3_misaligned (stderr) helgrind/tests/hg01_all_ok (stderr) helgrind/tests/hg02_deadlock (stderr) helgrind/tests/hg03_inherit (stderr) helgrind/tests/hg04_race (stderr) helgrind/tests/hg05_race2 (stderr) helgrind/tests/tc01_simple_race (stderr) helgrind/tests/tc05_simple_race (stderr) helgrind/tests/tc06_two_races (stderr) helgrind/tests/tc09_bad_unlock (stderr) helgrind/tests/tc14_laog_dinphils (stderr) helgrind/tests/tc16_byterace (stderr) helgrind/tests/tc17_sembar (stderr) helgrind/tests/tc19_shadowmem (stderr) helgrind/tests/tc20_verifywrap (stderr) helgrind/tests/tc21_pthonce (stderr) helgrind/tests/tc22_exit_w_lock (stderr) helgrind/tests/tc23_bogus_condwait (stderr) |