|
From: <sv...@va...> - 2009-06-16 06:42:51
|
Author: njn Date: 2009-06-16 07:42:46 +0100 (Tue, 16 Jun 2009) New Revision: 10348 Log: Rename new-tech-docs.xml as design-impl.xml, which doesn't cause confusion with tech-docs.xml. Added: branches/BUILD_TWEAKS/docs/xml/design-impl.xml Removed: branches/BUILD_TWEAKS/docs/xml/new-tech-docs.xml Modified: branches/BUILD_TWEAKS/docs/xml/Makefile.am branches/BUILD_TWEAKS/docs/xml/tech-docs.xml Modified: branches/BUILD_TWEAKS/docs/xml/Makefile.am =================================================================== --- branches/BUILD_TWEAKS/docs/xml/Makefile.am 2009-06-16 06:34:19 UTC (rev 10347) +++ branches/BUILD_TWEAKS/docs/xml/Makefile.am 2009-06-16 06:42:46 UTC (rev 10348) @@ -8,7 +8,7 @@ manual-core.xml \ manual-core-adv.xml \ manual-writing-tools.xml\ - new-tech-docs.xml \ + design-impl.xml \ quick-start-guide.xml \ tech-docs.xml \ valgrind-manpage.xml \ Copied: branches/BUILD_TWEAKS/docs/xml/design-impl.xml (from rev 10344, branches/BUILD_TWEAKS/docs/xml/new-tech-docs.xml) =================================================================== --- branches/BUILD_TWEAKS/docs/xml/design-impl.xml (rev 0) +++ branches/BUILD_TWEAKS/docs/xml/design-impl.xml 2009-06-16 06:42:46 UTC (rev 10348) @@ -0,0 +1,64 @@ +<?xml version="1.0"?> <!-- -*- sgml -*- --> +<!DOCTYPE chapter PUBLIC "-//OASIS//DTD DocBook XML V4.2//EN" + "http://www.oasis-open.org/docbook/xml/4.2/docbookx.dtd"> + + +<chapter id="design-impl" + xreflabel="The design and implementation of Valgrind"> + +<title>The Design and Implementation of Valgrind</title> + + +<para>A number of academic publications nicely describe many aspects +of Valgrind's design and implementation. Online copies of all of +them, and others, are available at +http://valgrind.org/docs/pubs.html.</para> + +<para>A good top-level overview of Valgrind is given in:</para> + +<para> +"Valgrind: A Framework for Heavyweight Dynamic Binary +Instrumentation." Nicholas Nethercote and Julian Seward. Proceedings +of ACM SIGPLAN 2007 Conference on Programming Language Design and +Implementation (PLDI 2007), San Diego, California, USA, June 2007. +This paper describes how Valgrind works, and how it differs from other +DBI frameworks such as Pin and DynamoRIO.</para> + + +<para>The following two papers together give a comprehensive +description of how Memcheck works:</para> + +<para>"Using Valgrind to detect undefined value errors with +bit-precision." Julian Seward and Nicholas Nethercote. Proceedings +of the USENIX'05 Annual Technical Conference, Anaheim, California, +USA, April 2005. This paper describes in detail how Memcheck's +undefined value error detection (a.k.a. V bits) works.</para> + +<para>"How to Shadow Every Byte of Memory Used by a Program." +Nicholas Nethercote and Julian Seward. Proceedings of the Third +International ACM SIGPLAN/SIGOPS Conference on Virtual Execution +Environments (VEE 2007), San Diego, California, USA, June 2007. This +paper describes in detail how Memcheck's shadow memory is implemented, +and compares it to other alternative approaches.</para> + + +<para>The following paper describes Callgrind:</para> + +<para>"A Tool Suite for Simulation Based Analysis of Memory Access +Behavior." Josef Weidendorfer, Markus Kowarschik and Carsten +Trinitis. Proceedings of the 4th International Conference on +Computational Science (ICCS 2004), Krakow, Poland, June 2004. This +paper describes Callgrind.</para> + +<para>The following dissertation describes Valgrind in some detail +(some of these details are now out-of-date) as well as Cachegrind, +Annelid and Redux. It also covers some underlying theory about +dynamic binary analysis in general and what all these tools have in +common:</para> + +<para>"Dynamic Binary Analysis and Instrumentation." Nicholas +Nethercote. PhD Dissertation, University of Cambridge, November +2004.</para> + + +</chapter> Property changes on: branches/BUILD_TWEAKS/docs/xml/design-impl.xml ___________________________________________________________________ Name: svn:mergeinfo + Deleted: branches/BUILD_TWEAKS/docs/xml/new-tech-docs.xml =================================================================== --- branches/BUILD_TWEAKS/docs/xml/new-tech-docs.xml 2009-06-16 06:34:19 UTC (rev 10347) +++ branches/BUILD_TWEAKS/docs/xml/new-tech-docs.xml 2009-06-16 06:42:46 UTC (rev 10348) @@ -1,64 +0,0 @@ -<?xml version="1.0"?> <!-- -*- sgml -*- --> -<!DOCTYPE chapter PUBLIC "-//OASIS//DTD DocBook XML V4.2//EN" - "http://www.oasis-open.org/docbook/xml/4.2/docbookx.dtd"> - - -<chapter id="new-tech-docs" - xreflabel="The design and implementation of Valgrind"> - -<title>The Design and Implementation of Valgrind</title> - - -<para>A number of academic publications nicely describe many aspects -of Valgrind's design and implementation. Online copies of all of -them, and others, are available at -http://valgrind.org/docs/pubs.html.</para> - -<para>A good top-level overview of Valgrind is given in:</para> - -<para> -"Valgrind: A Framework for Heavyweight Dynamic Binary -Instrumentation." Nicholas Nethercote and Julian Seward. Proceedings -of ACM SIGPLAN 2007 Conference on Programming Language Design and -Implementation (PLDI 2007), San Diego, California, USA, June 2007. -This paper describes how Valgrind works, and how it differs from other -DBI frameworks such as Pin and DynamoRIO.</para> - - -<para>The following two papers together give a comprehensive -description of how Memcheck works:</para> - -<para>"Using Valgrind to detect undefined value errors with -bit-precision." Julian Seward and Nicholas Nethercote. Proceedings -of the USENIX'05 Annual Technical Conference, Anaheim, California, -USA, April 2005. This paper describes in detail how Memcheck's -undefined value error detection (a.k.a. V bits) works.</para> - -<para>"How to Shadow Every Byte of Memory Used by a Program." -Nicholas Nethercote and Julian Seward. Proceedings of the Third -International ACM SIGPLAN/SIGOPS Conference on Virtual Execution -Environments (VEE 2007), San Diego, California, USA, June 2007. This -paper describes in detail how Memcheck's shadow memory is implemented, -and compares it to other alternative approaches.</para> - - -<para>The following paper describes Callgrind:</para> - -<para>"A Tool Suite for Simulation Based Analysis of Memory Access -Behavior." Josef Weidendorfer, Markus Kowarschik and Carsten -Trinitis. Proceedings of the 4th International Conference on -Computational Science (ICCS 2004), Krakow, Poland, June 2004. This -paper describes Callgrind.</para> - -<para>The following dissertation describes Valgrind in some detail -(some of these details are now out-of-date) as well as Cachegrind, -Annelid and Redux. It also covers some underlying theory about -dynamic binary analysis in general and what all these tools have in -common:</para> - -<para>"Dynamic Binary Analysis and Instrumentation." Nicholas -Nethercote. PhD Dissertation, University of Cambridge, November -2004.</para> - - -</chapter> Modified: branches/BUILD_TWEAKS/docs/xml/tech-docs.xml =================================================================== --- branches/BUILD_TWEAKS/docs/xml/tech-docs.xml 2009-06-16 06:34:19 UTC (rev 10347) +++ branches/BUILD_TWEAKS/docs/xml/tech-docs.xml 2009-06-16 06:42:46 UTC (rev 10348) @@ -17,11 +17,8 @@ </legalnotice> </bookinfo> -<!-- <xi:include href="../../memcheck/docs/mc-tech-docs.xml" parse="xml" + <xi:include href="design-impl.xml" parse="xml" xmlns:xi="http://www.w3.org/2001/XInclude" /> ---> - <xi:include href="new-tech-docs.xml" parse="xml" - xmlns:xi="http://www.w3.org/2001/XInclude" /> <xi:include href="manual-writing-tools.xml" parse="xml" xmlns:xi="http://www.w3.org/2001/XInclude" /> <xi:include href="../../callgrind/docs/cl-format.xml" parse="xml" |