A NOTE has been added to this issue. ====================================================================== https://www.austingroupbugs.net/view.php?id=1825 ====================================================================== Reported By: dannyniu Assigned To: ====================================================================== Project: Issue 8 drafts Issue ID: 1825 Category: System Interfaces Type: Clarification Requested Severity: Comment Priority: normal Status: New Name: DannyNiu/NJF Organization: <individual> User Reference: Section: pthread_rwlock_* Page Number: 1787-1804 Line Number: 59262-59785 Final Accepted Text: ====================================================================== Date Submitted: 2024-04-02 06:44 UTC Last Modified: 2024-04-03 04:11 UTC ====================================================================== Summary: Does releasing a reader lock carries a "release" memory order semantic? ======================================================================
---------------------------------------------------------------------- (0006735) dannyniu (reporter) - 2024-04-03 04:11 https://www.austingroupbugs.net/view.php?id=1825#c6735 ---------------------------------------------------------------------- Ah, my idiocracy. But I still find a bit of problem here. Line 3043-3045: > This standard defines a number of atomic operations (see <stdatomic.h>) > and operations on mutexes (see <threads.h>) that are specially > identified as synchronization operations. These operations play a > special role in making assignments in one thread visible to another. We also have the <pthread.h> header, as well as several other synchronization primitives. Maybe these should be added? Issue History Date Modified Username Field Change ====================================================================== 2024-04-02 06:44 dannyniu New Issue 2024-04-02 06:44 dannyniu Name => DannyNiu/NJF 2024-04-02 06:44 dannyniu Organization => <individual> 2024-04-02 06:44 dannyniu Section => pthread_rwlock_* 2024-04-02 06:44 dannyniu Page Number => 1787-1804 2024-04-02 06:44 dannyniu Line Number => 59262-59785 2024-04-02 15:28 geoffclare Note Added: 0006733 2024-04-03 04:11 dannyniu Note Added: 0006735 ======================================================================
