|
From: <sv...@va...> - 2005-08-30 19:47:35
|
Author: njn
Date: 2005-08-30 20:47:32 +0100 (Tue, 30 Aug 2005)
New Revision: 4591
Log:
Add a note about a nice paper describing data races.
Modified:
trunk/helgrind/hg_main.c
Modified: trunk/helgrind/hg_main.c
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
--- trunk/helgrind/hg_main.c 2005-08-30 18:49:25 UTC (rev 4590)
+++ trunk/helgrind/hg_main.c 2005-08-30 19:47:32 UTC (rev 4591)
@@ -29,6 +29,16 @@
The GNU General Public License is contained in the file COPYING.
*/
=20
+// For anyone wanting to understand race conditions better, this paper m=
ight
+// be instructive:
+//
+// S. Carr, J. Mayo and C.-K. Shene. Race Conditions: A Case Study, Th=
e
+// Journal of Computing in Small Colleges 17(1), September 2001.
+// http://www.cs.mtu.edu/~carr/papers/jcsc02.pdf
+//
+// It nicely describes several example race conditions, emphasising the
+// fundamentals in each case.
+
#include "pub_tool_basics.h"
#include "pub_tool_threadstate.h"
#include "pub_tool_aspacemgr.h"
|