Austin Group Bug Tracker
2014-10-02 15:28:10 UTC
The following issue has been RESOLVED.
======================================================================
http://austingroupbugs.net/view.php?id=869
======================================================================
Reported By: dalias
Assigned To:
======================================================================
Project: 1003.1(2013)/Issue7+TC1
Issue ID: 869
Category: System Interfaces
Type: Clarification Requested
Severity: Editorial
Priority: normal
Status: Resolved
Name: Rich Felker
Organization: musl libc
User Reference:
Section: sem_destroy, sem_wait, sem_post
Page Number: unknown
Line Number: unknown
Interp Status: ---
Final Accepted Text:
Resolution: Rejected
Fixed in Version:
======================================================================
Date Submitted: 2014-08-25 17:37 UTC
Last Modified: 2014-10-02 15:28 UTC
======================================================================
Summary: Concept of being "blocked" on a semaphore is not
defined but needed for sem_destroy rules
======================================================================
----------------------------------------------------------------------
(0002398) nick (manager) - 2014-10-02 15:28
http://austingroupbugs.net/view.php?id=869#c2398
----------------------------------------------------------------------
XBD 3.76 defines a Blocked Process (or Thread) as "A process (or thread)
that is waiting for some condition (other than the availability of a
processor) to be satisfied before it can continue execution." By this
definition, the thread is blocked by sem_wait(). Adding additional language
here does not clarify the situation.
Issue History
Date Modified Username Field Change
======================================================================
2014-08-25 17:37 dalias New Issue
2014-08-25 17:37 dalias Name => Rich Felker
2014-08-25 17:37 dalias Organization => musl libc
2014-08-25 17:37 dalias Section => sem_destroy,
sem_wait, sem_post
2014-08-25 17:37 dalias Page Number => unknown
2014-08-25 17:37 dalias Line Number => unknown
2014-10-02 15:28 nick Interp Status => ---
2014-10-02 15:28 nick Note Added: 0002398
2014-10-02 15:28 nick Status New => Resolved
2014-10-02 15:28 nick Resolution Open => Rejected
======================================================================
======================================================================
http://austingroupbugs.net/view.php?id=869
======================================================================
Reported By: dalias
Assigned To:
======================================================================
Project: 1003.1(2013)/Issue7+TC1
Issue ID: 869
Category: System Interfaces
Type: Clarification Requested
Severity: Editorial
Priority: normal
Status: Resolved
Name: Rich Felker
Organization: musl libc
User Reference:
Section: sem_destroy, sem_wait, sem_post
Page Number: unknown
Line Number: unknown
Interp Status: ---
Final Accepted Text:
Resolution: Rejected
Fixed in Version:
======================================================================
Date Submitted: 2014-08-25 17:37 UTC
Last Modified: 2014-10-02 15:28 UTC
======================================================================
Summary: Concept of being "blocked" on a semaphore is not
defined but needed for sem_destroy rules
======================================================================
----------------------------------------------------------------------
(0002398) nick (manager) - 2014-10-02 15:28
http://austingroupbugs.net/view.php?id=869#c2398
----------------------------------------------------------------------
XBD 3.76 defines a Blocked Process (or Thread) as "A process (or thread)
that is waiting for some condition (other than the availability of a
processor) to be satisfied before it can continue execution." By this
definition, the thread is blocked by sem_wait(). Adding additional language
here does not clarify the situation.
Issue History
Date Modified Username Field Change
======================================================================
2014-08-25 17:37 dalias New Issue
2014-08-25 17:37 dalias Name => Rich Felker
2014-08-25 17:37 dalias Organization => musl libc
2014-08-25 17:37 dalias Section => sem_destroy,
sem_wait, sem_post
2014-08-25 17:37 dalias Page Number => unknown
2014-08-25 17:37 dalias Line Number => unknown
2014-10-02 15:28 nick Interp Status => ---
2014-10-02 15:28 nick Note Added: 0002398
2014-10-02 15:28 nick Status New => Resolved
2014-10-02 15:28 nick Resolution Open => Rejected
======================================================================