1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
|
Debugging Firefox with Valgrind
===============================
+--------------------------------------------------------------------+
| This page is an import from MDN and the contents might be outdated |
+--------------------------------------------------------------------+
This page describes how to use Valgrind (specifically, its Memcheck
tool) to find memory errors.
Supported platforms
-------------------
Valgrind runs desktop Firefox fine on Linux, especially on x86 and
x86-64. Firefox for Android and Firefox OS on ARMv7 should also run,
though perhaps not as smoothly. The other architectures supported by
Valgrind on Linux (AARCH64, PPC{32,64}, MIPS{32,64}, S390X) should also
work, in theory.
MacOS X 10.10 (Yosemite), 64-bit only, works, although it can be a bit
of a rough ride.
- Expect lower performance and a somewhat higher false positive error
rate than on Linux.
- Valgrind's handling of malloc zones on Yosemite is imperfect. Regard
leak reports with caution.
- Valgrind has been known to cause kernel panics, for unknown reasons.
Where to get Valgrind
---------------------
Linux: Download `Valgrind <https://valgrind.org/>`__ directly, or use
your distribution's package manager (if it has a recent enough version).
MacOSX: `Get Valgrind trunk from
SVN <https://valgrind.org/downloads/repository.html>`__ and build it.
Don't use 3.10.x or any other tarball.
Make sure you have Valgrind 3.14 or later, version 3.16.1 is known to work,
3.13.0 did not. Newer versions tend to have better compatibility with both
Firefox's JITs and newer toolchain components (compiler, libc and linker
versions).
Basics
------
Build
~~~~~
Build Firefox with the following options, which maximize speed and
accuracy.
.. code::
ac_add_options --disable-jemalloc
ac_add_options --disable-strip
ac_add_options --enable-valgrind
ac_add_options --enable-optimize="-g -O2"
ac_add_options --disable-sandbox
Run
~~~
Note that programs run *much* more slowly under Valgrind than they do
natively. Slow-downs of 20x or 30x aren't unexpected, and it's slower on
Mac than on Linux. Don't try this on an underpowered machine.
Linux
^^^^^
On Linux, run Valgrind with the following options.
.. code::
--smc-check=all-non-file --vex-iropt-register-updates=allregs-at-mem-access --show-mismatched-frees=no --read-inline-info=yes
The ``--smc-check`` and ``--vex-iropt-register-updates`` options are
necessary to avoid crashes in JIT-generated code.
The ``--show-mismatched-frees`` option is necessary due to inconsistent
inlining of ``new`` and ``delete`` -- i.e. one gets inlined but the
other doesn't -- which lead to false-positive mismatched-free errors.
The ``--read-inline-info`` option improves stack trace readability in
the presence of inlining.
Also, run with the following environment variable set.
.. code::
G_SLICE=always-malloc
This is necessary to get the Gnome system libraries to use plain
``malloc`` instead of pool allocators.
Mac
^^^
On Mac, run Valgrind with the following options.
.. code::
--smc-check=all-non-file --vex-iropt-register-updates=allregs-at-mem-access --show-mismatched-frees=no --dsymutil=yes
The ``--dsymutil`` option ensures line number information is present in
stack traces.
Advanced usage
--------------
Shared suppression files
~~~~~~~~~~~~~~~~~~~~~~~~
`/build/valgrind/ <https://searchfox.org/mozilla-central/source/build/valgrind/>`__
contains the suppression files used by the periodic Valgrind jobs on
Treeherder. Some of these files are platform-specific.
Running mochitests under Valgrind?
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
To run a mochitest under Valgrind, use the following command.
.. code:: bash
$ ./mach mochitest-plain --debugger="valgrind" --debugger-args="$VALGRIND_OPTIONS" relative/path/to/tests
Where ``$VALGRIND_OPTIONS`` are the options described
:ref:`above <Debugging Firefox With Valgrind>`. You might also
need ``--trace-children=yes`` to trace into child processes.
As of December 2014 it is possible to do a complete run of
mochitests-plain on Valgrind in about 8 CPU hours on a Core i4910
(Haswell) machine. Maximum process size is 5.4G, of which about 80% is
in memory. Runs of small subsets of mochitests take far less memory.
Bits and pieces
~~~~~~~~~~~~~~~
For un-released Linux distros (Fedora Rawhide, etc.) you'll need to use
a version of Valgrind trunk build, because fixes for the latest gcc and
glibc versions appear there first. Without them you'll be flooded with
false errors from Memcheck, and have debuginfo reading problems.
On Linux, code compiled by LLVM at high optimisation levels can cause
Memcheck to report false uninitialised value errors. See
`here <https://bugs.kde.org/show_bug.cgi?id=242137#c3>`__ for an easy
workaround. On Mac, Valgrind has this workaround built in.
You can make stack traces easier to read by asking for source file names
to be given relative to the root of your source tree. Do this by using
``--fullpath-after=`` to specify the rightmost part of the absolute path
that you don't want to see. For example, if your source tree is rooted
at ``/home/sewardj/MC-20-12-2014``, use ``--fullpath-after=2014/`` to
get path names relative to the source directory.
The ``--track-origins=yes`` slows down Valgrind greatly, so don't use it
unless you are hunting down a specific uninitialised value error. But if
you are hunting down such an error, it's extremely helpful and worth
waiting for.
Additional help
---------------
The `Valgrind Quick Start
Guide <http://www.valgrind.org/docs/manual/quick-start.html>`__ is short
and worth reading. The `User
Manual <https://valgrind.org/docs/manual/manual.html>`__ is also useful.
If Valgrind asserts, crashes, doesn't do what you expect, or otherwise
acts up, first of all read this page and make sure you have both Firefox
and Valgrind correctly configured. If that's all OK, try using the
`Valgrind trunk from
SVN <http://www.valgrind.org/downloads/repository.html>`__. Oftentimes
bugs are fixed in the trunk before most users fall across them. If that
doesn't help, consider `filing a bug
report <http://www.valgrind.org/support/bug_reports.html>`__, and/or
mailing Julian Seward or Nick Nethercote.
|
