sewardj | a9a2dcf | 2002-11-11 00:20:07 +0000 | [diff] [blame^] | 1 | <html> |
| 2 | <head> |
| 3 | <style type="text/css"> |
| 4 | body { background-color: #ffffff; |
| 5 | color: #000000; |
| 6 | font-family: Times, Helvetica, Arial; |
| 7 | font-size: 14pt} |
| 8 | h4 { margin-bottom: 0.3em} |
| 9 | code { color: #000000; |
| 10 | font-family: Courier; |
| 11 | font-size: 13pt } |
| 12 | pre { color: #000000; |
| 13 | font-family: Courier; |
| 14 | font-size: 13pt } |
| 15 | a:link { color: #0000C0; |
| 16 | text-decoration: none; } |
| 17 | a:visited { color: #0000C0; |
| 18 | text-decoration: none; } |
| 19 | a:active { color: #0000C0; |
| 20 | text-decoration: none; } |
| 21 | </style> |
| 22 | <title>Cachegrind</title> |
| 23 | </head> |
| 24 | |
| 25 | <body bgcolor="#ffffff"> |
| 26 | |
| 27 | <a name="title"></a> |
| 28 | <h1 align=center>Helgrind</h1> |
| 29 | <center>This manual was last updated on 2002-10-03</center> |
| 30 | <p> |
| 31 | |
| 32 | <center> |
| 33 | <a href="mailto:njn25@cam.ac.uk">njn25@cam.ac.uk</a><br> |
| 34 | Copyright © 2000-2002 Nicholas Nethercote |
| 35 | <p> |
| 36 | Helgrind is licensed under the GNU General Public License, |
| 37 | version 2<br> |
| 38 | Helgrind is a Valgrind skin for detecting data races in threaded programs. |
| 39 | </center> |
| 40 | |
| 41 | <p> |
| 42 | |
| 43 | <h2>1 Helgrind</h2> |
| 44 | |
| 45 | Helgrind is a Valgrind skin for detecting data races in C and C++ programs |
| 46 | that use the Pthreads library. |
| 47 | <p> |
| 48 | It uses the Eraser algorithm described in |
| 49 | <blockquote> |
| 50 | Eraser: A Dynamic Data Race Detector for Multithreaded Programs<br> |
| 51 | Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro and |
| 52 | Thomas Anderson<br> |
| 53 | ACM Transactions on Computer Systems, 15(4):391-411<br> |
| 54 | November 1997. |
| 55 | </blockquote> |
| 56 | |
| 57 | It is unfortunately in a rather mangy state and probably doesn't work at all. |
| 58 | We include it partly because it may serve as a useful example skin, and partly |
| 59 | in case anybody is inspired to improve it and get it working. |
| 60 | <p> |
| 61 | If you are inspired, we'd love to hear from you. And if you are successful, |
| 62 | you might like to include some improvements to the basic Eraser algorithm |
| 63 | described in Section 4.2 of |
| 64 | |
| 65 | <blockquote> |
| 66 | Runtime Checking of Multithreaded Applications with Visual Threads |
| 67 | Jerry J. Harrow, Jr.<br> |
| 68 | Proceedings of the 7th International SPIN Workshop on Model Checking of |
| 69 | Software<br> |
| 70 | Stanford, California, USA<br> |
| 71 | August 2000<br> |
| 72 | LNCS 1885, pp331--342<br> |
| 73 | K. Havelund, J. Penix, and W. Visser, editors.<br> |
| 74 | </blockquote> |
| 75 | |
| 76 | |
| 77 | <hr width="100%"> |
| 78 | </body> |
| 79 | </html> |
| 80 | |