|
Viewing Issue Simple Details
[ Jump to Notes ]
|
[ Issue History ]
[ Print ]
|
|
ID |
Category |
Severity |
Type |
Date Submitted |
Last Update |
|
0000927 |
[1003.1(2013)/Issue7+TC1] System Interfaces |
Editorial |
Clarification Requested |
2015-02-23 18:34 |
2015-05-07 16:16 |
|
|
Reporter |
dalias |
View Status |
public |
|
|
Assigned To |
|
|
Priority |
normal |
Resolution |
Duplicate |
|
|
Status |
Closed |
|
|
|
|
|
Name |
Rich Felker |
|
Organization |
musl libc |
|
User Reference |
|
|
Section |
pthread_cond_timedwait |
|
Page Number |
unknown |
|
Line Number |
unknown |
|
Interp Status |
--- |
|
Final Accepted Text |
|
|
|
Summary |
0000927: Conflicting requirements on pthread_cond_timedwait error reporting |
|
Description |
Under 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 Action |
Change 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."
|
| Tags |
No tags attached. |
|
|
Attached Files |
|
|
|
Relationships 
