View Issue Details

IDProjectCategoryView StatusLast Update
00009271003.1(2013)/Issue7+TC1System Interfacespublic2015-05-07 16:16
Reporterdalias Assigned To 
PrioritynormalSeverityEditorialTypeClarification Requested
Status ClosedResolutionDuplicate 
NameRich Felker
Organizationmusl libc
User Reference
Sectionpthread_cond_timedwait
Page Numberunknown
Line Numberunknown
Interp Status---
Final Accepted Text
Summary0000927: Conflicting requirements on pthread_cond_timedwait error reporting
DescriptionUnder RETURN VALUE, the specification for pthread_cond_[timed]wait reads:

"Except in the case of [ETIMEDOUT], all these error checks shall act as if they were performed immediately at the beginning of processing for the function and shall cause an error return, in effect, prior to modifying the state of the mutex specified by mutex or the condition variable specified by cond."

However, several of the specified errors deal with conditions which occur during re-locking of the mutex after the condition variable wait completes, and obviously can't be diagnosed before the mutex is unlocked. These include EOWNERDEAD and ENOTRECOVERABLE.
Desired ActionChange the text:

"Except in the case of [ETIMEDOUT], all these error checks shall act as if they were performed immediately at the beginning of processing for the function and shall cause an error return, in effect, prior to modifying the state of the mutex specified by mutex or the condition variable specified by cond."

to:

"Error checks for [EINVAL] and [EPERM] shall act as if they were performed immediately at the beginning of processing for the function and shall cause an error return, in effect, prior to modifying the state of the mutex specified by mutex or the condition variable specified by cond."
TagsNo tags attached.

Relationships

duplicate of 0000749 Closed pthread_cond_[timed]wait() immediate errors 

Activities

geoffclare

2015-02-24 09:24

manager   bugnote:0002560

This is already being fixed in TC2 via 0000749

Issue History

Date Modified Username Field Change
2015-02-23 18:34 dalias New Issue
2015-02-23 18:34 dalias Name => Rich Felker
2015-02-23 18:34 dalias Organization => musl libc
2015-02-23 18:34 dalias Section => pthread_cond_timedwait
2015-02-23 18:34 dalias Page Number => unknown
2015-02-23 18:34 dalias Line Number => unknown
2015-02-24 09:24 geoffclare Note Added: 0002560
2015-02-24 09:24 geoffclare Relationship added duplicate of 0000749
2015-05-07 16:16 nick Interp Status => ---
2015-05-07 16:16 nick Status New => Closed
2015-05-07 16:16 nick Resolution Open => Duplicate