From c969491ed7b0d3c7db951abfb95cf96777efbfbc Mon Sep 17 00:00:00 2001 From: shenleban tongying Date: Tue, 12 Nov 2024 02:10:06 +0000 Subject: [PATCH] doc/go_mem: fix broken paper link in go_mem.html The link is no longer accessible. Replace it with the ACM one. Change-Id: I4095fd07a1bc193568cd93fbf69955ba0ba96f2b GitHub-Last-Rev: 33b142d6e864d9c59c5fb2bd21dbe4a6fd65ab36 GitHub-Pull-Request: golang/go#70295 Reviewed-on: https://go-review.googlesource.com/c/go/+/626485 Reviewed-by: Cherry Mui Reviewed-by: Ian Lance Taylor Auto-Submit: Ian Lance Taylor LUCI-TryBot-Result: Go LUCI --- 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. -- 2.48.1