From 33b142d6e864d9c59c5fb2bd21dbe4a6fd65ab36 Mon Sep 17 00:00:00 2001 From: shenleban tongying Date: Mon, 11 Nov 2024 20:27:17 -0500 Subject: [PATCH] doc: fix broken paper link in go_mem.html --- doc/go_mem.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/go_mem.html b/doc/go_mem.html index c0b81d3fac..633d35cd07 100644 --- a/doc/go_mem.html +++ b/doc/go_mem.html @@ -82,7 +82,7 @@ while still insisting that races are errors and that tools can diagnose and repo

The following formal definition of Go's memory model closely follows the approach presented by Hans-J. Boehm and Sarita V. Adve in -“Foundations of the C++ Concurrency Memory Model”, +“Foundations of the C++ Concurrency Memory Model”, published in PLDI 2008. The definition of data-race-free programs and the guarantee of sequential consistency for race-free programs are equivalent to the ones in that work.