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
(32) |
Oct
|
Nov
|
Dec
|
| S | M | T | W | T | F | S |
|---|---|---|---|---|---|---|
|
|
|
|
|
|
1
(6) |
2
(7) |
|
3
(12) |
4
(9) |
5
(12) |
6
(9) |
7
(18) |
8
(10) |
9
(17) |
|
10
(15) |
11
(22) |
12
(16) |
13
(18) |
14
(9) |
15
(14) |
16
(18) |
|
17
(24) |
18
(11) |
19
(15) |
20
(29) |
21
(19) |
22
(20) |
23
(9) |
|
24
(25) |
25
(25) |
26
(38) |
27
(22) |
28
(16) |
29
(17) |
|
|
From: Julian S. <js...@ac...> - 2008-02-20 02:41:20
|
> I've been doing some more experiments with helgrind and I would like > to share some ideas... Good. Some comments, in no particular order: > Accuracy: > > The current default memory state machine (MSMHelgrind) gives too many > false reports in presence of message queues, condvars, etc. > So far, I find MSMProp1 to be more accurate, Improved accuracy can only be a good thing. Is MSMProp1 accurate enough that you can find bugs in your real applications, without getting to many false errors now? > but noticeably slower > (mostly because it has to check happens-before in all states). Maybe some better caching of the happens-before queries would help? The current inplementation (hbefore__cache et al) uses a 64-entry fully associative cache, in effect. Maybe it would be better to have a larger, set-associative cache, eg 256 lines of 4 entries each, for example. For sure a lower miss rate on the cache is possible. Also, the miss path -- function cmpGEQ_VTS -- is naively coded, we could do a lot better there. Maybe it is possible to change the representation of VTSs so that comparison using vector operations (SSE insns, etc) is possible. Or at least so that the complex alignment logic can be avoided. > Even though it is possible to further speedup both machines, I don't > think we can get to 20x slowdown by doing just this. I agree. I think we need all the tricks we can get. > I have implemented the following: > if ((address % X) != Y) we ignore this memory access. > [...] > This hack brings helgrind's speed to something about 10x-15x and makes > my strict timeouts happy. Good! Then you can make a better evaluation of MSMProp1. > Most other ways to speedup helgrind are complimentary to this hack. Yes. As I mentioned a couple of weeks back, I think we can use the fact that mostly the FSMs are idempotent under certain circumstances, to take advantage of Helgrind's single threadedness, and so filter out potentially many memory references. > We can't have more than N segments at a time (limited by RAM) so > ideally we have to recycle old segments (I did not do this yet). Segment recycling is important, otherwise large programs cannot run for long without eating all memory. Progress on this would be good. > Most of them can be explained to helgrind via annotations. Annotations > are essentially valgrind's 'client requests'. > This is what I used so far: > > ANNOTATE_CONDVAR_* > Create a happens-before relation between two thread segments at > arbitrary points of program. > > ANNOTATE_PCQ_* > A variation of ANNOTATE_CONDVAR_* specifically for FIFO message queue. > > ANNOTATE_MUTEX_IS_USED_AS_CONDVAR(mutex) > Signal on all Unlocks and Wait on all Locks of this mutex. > On such mutex helgrind will behave as pure happens-before detector. See > test61. > > ANNOTATE_TRACE_MEMORY > --trace-addr is very good for testing helgrind on unit tests. > However it is useless on large programs where memory addresses are > non-deterministic (due to scheduler). > This annotation tells helgrind to trace accesses to some particular > memory location and to report races only on this address. > Multiple addresses could be traced. Useful for debugging a race. > > ANNOTATE_EXPECT_RACE > Useful for regression testing of helgrind itself (if an expected race > is not detected, helgrind will complain). > > ANNOTATE_BENIGN_RACE > Alternative to a suppression file. These all sound good to me. J |
|
From: <sv...@va...> - 2008-02-20 01:12:50
|
Author: sewardj
Date: 2008-02-20 01:12:54 +0000 (Wed, 20 Feb 2008)
New Revision: 7428
Log:
Unbreak build on aix5.
Modified:
branches/DATASYMS/coregrind/Makefile.am
branches/DATASYMS/coregrind/m_debuginfo/d3basics.c
branches/DATASYMS/coregrind/m_debuginfo/debuginfo.c
branches/DATASYMS/coregrind/m_debuginfo/readxcoff.c
Modified: branches/DATASYMS/coregrind/Makefile.am
===================================================================
--- branches/DATASYMS/coregrind/Makefile.am 2008-02-19 22:03:01 UTC (rev 7427)
+++ branches/DATASYMS/coregrind/Makefile.am 2008-02-20 01:12:54 UTC (rev 7428)
@@ -202,6 +202,7 @@
m_xarray.c \
m_aspacemgr/aspacemgr-common.c \
m_debuginfo/misc.c \
+ m_debuginfo/d3basics.c \
m_debuginfo/storage.c \
m_debuginfo/debuginfo.c \
m_debuginfo/tytypes.c \
@@ -222,7 +223,6 @@
m_aspacemgr/aspacemgr-linux.c \
m_initimg/initimg-linux.c \
m_debuginfo/readelf.c \
- m_debuginfo/d3basics.c \
m_debuginfo/readdwarf.c \
m_debuginfo/readdwarf3.c \
m_debuginfo/readstabs.c \
Modified: branches/DATASYMS/coregrind/m_debuginfo/d3basics.c
===================================================================
--- branches/DATASYMS/coregrind/m_debuginfo/d3basics.c 2008-02-19 22:03:01 UTC (rev 7427)
+++ branches/DATASYMS/coregrind/m_debuginfo/d3basics.c 2008-02-20 01:12:54 UTC (rev 7428)
@@ -389,6 +389,8 @@
VG_(printf)("get_Dwarf_Reg(ppc64-linux)(%ld)\n", regno);
if (regno == 31) return False;
vg_assert(0);
+# elif defined(VGP_ppc32_aix5) || defined(VGP_ppc64_aix5)
+ vg_assert(0); /* this function should never be called */
# else
# error "Unknown platform"
# endif
Modified: branches/DATASYMS/coregrind/m_debuginfo/debuginfo.c
===================================================================
--- branches/DATASYMS/coregrind/m_debuginfo/debuginfo.c 2008-02-19 22:03:01 UTC (rev 7427)
+++ branches/DATASYMS/coregrind/m_debuginfo/debuginfo.c 2008-02-20 01:12:54 UTC (rev 7428)
@@ -635,10 +635,10 @@
TRACE_SYMTAB("------ name = %s\n", di->filename);
TRACE_SYMTAB("\n");
- /* We're going to read symbols and debug info for the vma ranges
- [rx_map_avma,+rx_map_size) and [rw_map_avma,+rw_map_size).
- First get rid of any other DebugInfos which overlap either of
- those ranges (to avoid total confusion). */
+ /* We're going to read symbols and debug info for the avma
+ ranges [rx_map_avma, +rx_map_size) and [rw_map_avma,
+ +rw_map_size). First get rid of any other DebugInfos which
+ overlap either of those ranges (to avoid total confusion). */
discard_DebugInfos_which_overlap_with( di );
/* .. and acquire new info. */
@@ -736,6 +736,16 @@
di->data_avma = data_start;
di->data_size = data_len;
+ /* These need to be filled in in order to keep various
+ assertions in storage.c happy. In particular see
+ "Comment_Regarding_Text_Range_Checks" in that file. */
+ di->have_rx_map = True;
+ di->rx_map_avma = code_start;
+ di->rx_map_size = code_len;
+ di->have_rw_map = True;
+ di->rw_map_avma = data_start;
+ di->rw_map_size = data_len;
+
ok = ML_(read_xcoff_debug_info) ( di, is_mainexe );
if (ok) {
Modified: branches/DATASYMS/coregrind/m_debuginfo/readxcoff.c
===================================================================
--- branches/DATASYMS/coregrind/m_debuginfo/readxcoff.c 2008-02-19 22:03:01 UTC (rev 7427)
+++ branches/DATASYMS/coregrind/m_debuginfo/readxcoff.c 2008-02-20 01:12:54 UTC (rev 7428)
@@ -49,7 +49,6 @@
#include "pub_core_basics.h"
#include "pub_core_vki.h" /* struct vki_stat et al */
-#include "pub_core_debuginfo.h"
#include "pub_core_libcbase.h"
#include "pub_core_libcassert.h"
#include "pub_core_libcprint.h"
@@ -57,6 +56,9 @@
#include "pub_core_aspacemgr.h" /* for mmaping debuginfo files */
#include "pub_core_options.h" /* VG_(clo_trace_symtab) */
#include "pub_core_xarray.h"
+#include "priv_misc.h"
+#include "priv_tytypes.h"
+#include "priv_d3basics.h"
#include "priv_storage.h"
#include "priv_readxcoff.h" /* self */
@@ -492,19 +494,12 @@
return False;
}
-static void* malloc_AR_SYMTAB ( SizeT nbytes ) {
- return VG_(arena_malloc)(VG_AR_DINFO, nbytes);
-}
-static void free_AR_SYMTAB ( void* ptr ) {
- return VG_(arena_free)(VG_AR_DINFO, ptr);
-}
-
/* Read symbol and line number info for the given text section. (This
is the central routine for XCOFF reading.) Returns NULL on
success, or the text of an error message otherwise. */
static
HChar* read_symbol_table (
- /*MOD*/DebugInfo* di,
+ /*MOD*/struct _DebugInfo* di,
/* location of symbol table */
UChar* oi_symtab, UWord oi_nent_symtab,
@@ -574,7 +569,8 @@
add the rest to 'syms'.
---------------------------------------------------------- */
- syms = VG_(newXA)( malloc_AR_SYMTAB, free_AR_SYMTAB, sizeof(XCoffSym) );
+ syms = VG_(newXA)( ML_(dinfo_zalloc), ML_(dinfo_free),
+ sizeof(XCoffSym) );
if (SHOW && SHOW_SYMS_P1) {
VG_(printf)("--- BEGIN Phase1 (find text symbol starts) ---\n");
@@ -1684,7 +1680,7 @@
we get here.
*/
static
-Bool read_xcoff_mapped_object ( DebugInfo* di,
+Bool read_xcoff_mapped_object ( struct _DebugInfo* di,
UChar* oimage, UWord n_oimage )
{
#define BAD(_msg) do { ML_(symerr)(di, True/*serious*/,_msg); \
@@ -2138,7 +2134,7 @@
/* Returns True on success, False if any kind of problem. */
static
-Bool read_xcoff_o_or_a ( /*MOD*/DebugInfo* di,
+Bool read_xcoff_o_or_a ( /*MOD*/struct _DebugInfo* di,
HChar* a_name, HChar* o_name )
{
UChar* image = NULL;
@@ -2412,8 +2408,8 @@
and all other fields should be zeroed.
*/
-Bool ML_(read_xcoff_debug_info) ( DebugInfo* di,
- Bool is_mainexe )
+Bool ML_(read_xcoff_debug_info) ( struct _DebugInfo* di,
+ Bool is_mainexe )
{
Bool ok;
@@ -2458,14 +2454,14 @@
if (di->memname) {
/* set the soname to "archive.a(member.o)" */
Int nbytes = VG_(strlen)(p) + 1 + VG_(strlen)(di->memname) + 1 + 1;
- UChar* so = malloc_AR_SYMTAB(nbytes);
+ UChar* so = ML_(dinfo_zalloc)(nbytes);
vg_assert(so);
VG_(sprintf)(so, "%s(%s)", p, di->memname);
vg_assert(VG_(strlen)(so) == nbytes-1);
di->soname = so;
} else {
/* no member name, hence soname = "archive.a" */
- di->soname = VG_(arena_strdup)(VG_AR_DINFO, p);
+ di->soname = ML_(dinfo_strdup)(p);
}
}
if (SHOW)
|
|
From: Julian S. <js...@ac...> - 2008-02-20 00:31:17
|
> Is 'make html-docs' just supposed to work, or is there some unwritten > stuff I need to do to get it to work? It certainly just-works for me, but perhaps that's not robust over different distros and which packages are installed. I just tried on openSUSE 10.2 (amd64) and 10.3 (on ppc32) and it works. Have you fed your installation the set of packages listed in "Notes [Mar. 2007]" in docs/README? Building the print docs (make print-docs) is definitely fragile. The last platform on which that worked was SUSE 10.1, so nowadays I keep a virtual machine w/ 10.1 around, purely for that purpose (and hence for building the distro tarballs). J |
|
From: Dave N. <dc...@us...> - 2008-02-20 00:00:32
|
I tried make html-docs from the docs/ directory but got network access errors. I noticed that the --nonet option was used on the xsltproc invocation, and some comment in the main Makefile that building the docs is slow and intentionally left as the last thing to build. Was the --nonet option to avoid going out to the internet? Maybe your build machines have these things cached locally? I tried removing the --nonet option but then got other network access errors like: > warning: failed to load external entity > "http://docbook.sourceforge.net/release/ > xsl/current/html/docbook.xsl" Is 'make html-docs' just supposed to work, or is there some unwritten stuff I need to do to get it to work? |