From 5527c80f770b51929c771a9ef3bd11a97cf593b3 Mon Sep 17 00:00:00 2001 From: Conrad Watt Date: Thu, 25 Apr 2019 18:57:59 +0100 Subject: [PATCH] Editorial: add non-normative note on synchronizes-with and Init events (#1511) --- spec.html | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/spec.html b/spec.html index 9b7bfc3ca1..35eedc5f86 100644 --- a/spec.html +++ b/spec.html @@ -39417,6 +39417,10 @@

synchronizes-with

Owing to convention, write events synchronizes-with read events, instead of read events synchronizes-with write events.

+ +

`"Init"` events do not participate in synchronizes-with, and are instead constrained directly by happens-before.

+
+

Not all `"SeqCst"` events related by reads-from are related by synchronizes-with. Only events that also have equal ranges are related by synchronizes-with.