A NOTE has been added to this issue. ====================================================================== https://austingroupbugs.net/view.php?id=1814 ====================================================================== Reported By: dannyniu Assigned To: ====================================================================== Project: Issue 8 drafts Issue ID: 1814 Category: Base Definitions and Headers Type: Omission Severity: Editorial Priority: normal Status: New Name: DannyNiu/NJF Organization: <individual> User Reference: Section: XBD 4.15.2. MemorySynchronization Page Number: 104-105 Line Number: 3210-3626 Final Accepted Text: ====================================================================== Date Submitted: 2024-02-17 09:07 UTC Last Modified: 2024-02-19 10:30 UTC ====================================================================== Summary: `pthread_{spin,rwlock}_*` missing from discussion ======================================================================
---------------------------------------------------------------------- (0006663) geoffclare (manager) - 2024-02-19 10:30 https://austingroupbugs.net/view.php?id=1814#c6663 ---------------------------------------------------------------------- The pthread_{spin,rwlock}_*() functions are included in the table that precedes the paragraphs discussing other functions. They are required to synchronize memory on all successful calls. The reason the mutex functions are discussed separately instead of being in the table is because of recursive mutexes. If the calling thread already owns the mutex, locking it again does not need to synchronise memory; similarly for unlocking when it has been locked more than once. Having said that, it's possible the standard is requiring too much here for pthread_rwlock_rdlock(), pthread_rwlock_tryrdlock(), and pthread_rwlock_unlock() since read-write locks can be locked multiple times for reading by the same thread. Issue History Date Modified Username Field Change ====================================================================== 2024-02-17 09:07 dannyniu New Issue 2024-02-17 09:07 dannyniu Name => DannyNiu/NJF 2024-02-17 09:07 dannyniu Organization => <individual> 2024-02-17 09:07 dannyniu Section => XBD 4.15.2. MemorySynchronization 2024-02-17 09:07 dannyniu Page Number => 104-105 2024-02-17 09:07 dannyniu Line Number => 3210-3626 2024-02-19 10:30 geoffclare Note Added: 0006663 ======================================================================
