From 7f61cd06f76ba9d2eddf95b7c5e216cd7276a9d1 Mon Sep 17 00:00:00 2001
From: Eric Niebler <eniebler@nvidia.com>
Date: Wed, 7 Feb 2024 12:08:45 -0800
Subject: [PATCH] dec_ref synchronization

Co-authored-by: Lewis Baker <lewissbaker@users.noreply.github.com>
---
 execution.bs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/execution.bs b/execution.bs
index 708c870..c38ae18 100644
--- a/execution.bs
+++ b/execution.bs
@@ -6719,6 +6719,8 @@ template&lt;class Domain, class Tag, sender Sndr, class... Args>
 
           1. *Effects:* Atomically decrements `ref_count`. If the new value of
               `ref_count` is `0`, calls `delete this`.
+          2. *Synchronization:* If `dec_ref()` does not decrement the `ref_count` to `0` then synchronizes with
+              the call to `dec_ref()` that decrements `ref_count` to `0`.
 
 8. For each type `split_t` and `ensure_started_t`, there is a different,
     associated exposition-only implementation tag type, <i>`split-impl-tag`</i>