From c985ca82adcde32984f919992e5ab16d55936a6b Mon Sep 17 00:00:00 2001 From: Eisenwave Date: Sun, 3 Mar 2024 13:47:13 +0100 Subject: [PATCH 1/2] [handler.functions] Replace 'shall synchronize with' with 'synchronizes with' --- source/lib-intro.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/lib-intro.tex b/source/lib-intro.tex index 1368929680..201088d00c 100644 --- a/source/lib-intro.tex +++ b/source/lib-intro.tex @@ -3341,7 +3341,7 @@ \pnum Calling the \tcode{set_*} and \tcode{get_*} functions shall not incur a data race\iref{intro.races}. -A call to any of the \tcode{set_*} functions shall synchronize with subsequent calls to the same +A call to any of the \tcode{set_*} functions synchronizes with subsequent calls to the same \tcode{set_*} function and to the corresponding \tcode{get_*} function. \rSec3[res.on.functions]{Other functions} From b033c913d5b60739578a251589d6c64712c1d70f Mon Sep 17 00:00:00 2001 From: Eisenwave Date: Sun, 3 Mar 2024 13:49:42 +0100 Subject: [PATCH 2/2] [mem.res.global] Replace 'shall synchronize with'; add reference --- source/memory.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/source/memory.tex b/source/memory.tex index f65e2de029..8f34a2e3c5 100644 --- a/source/memory.tex +++ b/source/memory.tex @@ -6154,9 +6154,9 @@ \pnum \remarks Calling the \tcode{set_default_resource} and -\tcode{get_default_resource} functions shall not incur a data race. +\tcode{get_default_resource} functions shall not incur a data race\iref{intro.races}. A call to the \tcode{set_default_resource} function -shall synchronize with subsequent calls to +synchronizes with subsequent calls to the \tcode{set_default_resource} and \tcode{get_default_resource} functions. \end{itemdescr}