The following issue has been SUBMITTED. ====================================================================== 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-02 06:44 UTC ====================================================================== Summary: Does releasing a reader lock carries a "release" memory order semantic? Description: This arise from my activity elsewhere. For background: https://softwareengineering.stackexchange.com/q/451085/290091
Initially I thought: releasing a reader lock does not issue a release memory order semantic, since the thread holding the reader lock doesn't make modification to the content protected by the reader lock. However later I thought: releasing a reader lock is supposed to carry a release memory order semantic, since the thread may modify other areas of application memory, or issue system calls that modifies system memory. Desired Action: I'd like to confirm my thinking - whether my second thinking is correct. I hope my second thinking is correct and be added to the text of the standard, preferably into normative parts. ====================================================================== 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 ======================================================================
