diff options
author | dtorilov <dtorilov@yandex-team.com> | 2025-02-20 06:12:15 +0300 |
---|---|---|
committer | dtorilov <dtorilov@yandex-team.com> | 2025-02-20 07:40:38 +0300 |
commit | 26d53e5ffced5eae7c4c003adcae54bd87a31c98 (patch) | |
tree | 01547e143f89a90ec422c89dd395dd5e09bd32a7 | |
parent | a65079068aa59dcf0e5637eb6e73c7d510afd86b (diff) | |
download | ydb-26d53e5ffced5eae7c4c003adcae54bd87a31c98.tar.gz |
Cosmetics
commit_hash:489c1cab1ddfc76c10738d6302a63da1b673817c
-rw-r--r-- | yt/yt/core/concurrency/delayed_executor.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/yt/yt/core/concurrency/delayed_executor.cpp b/yt/yt/core/concurrency/delayed_executor.cpp index 453c88b36f3..6b9758f13fa 100644 --- a/yt/yt/core/concurrency/delayed_executor.cpp +++ b/yt/yt/core/concurrency/delayed_executor.cpp @@ -85,11 +85,11 @@ DEFINE_REFCOUNTED_TYPE(TDelayedExecutorEntry) R^acq(Stopping_, false) (c) RMW^acq(Queue_, empty, empty) (f) Since (c) reads |false| it must be reading from Stopping_ ctor which is - W^na(Stopping_, false) which preceedes (d) in modification order. Thus + W^na(Stopping_, false) which precedes (d) in modification order. Thus (c) must read-from some modification preceding (d) in modification order (ctor) and therefore (c) -cob-> (d) (coherence ordered before). Likewise, (f) reads |empty| which can only be read from Queue_ ctor or - prior Dequeue both of which preceede (a) in modification order (ctor is obvious; + prior Dequeue both of which precede (a) in modification order (ctor is obvious; former Dequeue by assumption that no one has read |CB| ever: if some (a) was prior to some Dequeue in modification order, |CB| would inevitably be read). So, (f) -cob-> (a). For fences we now have to relations: |