Email List: Xaustin-review-lX
[All Lists]

Defect in XSH pthread_mutexattr_getprotocol

To: yyyyyyyyyyyyyyy@xxxxxxxxxxxxx
Subject: Defect in XSH pthread_mutexattr_getprotocol
From: yyyyyyy@xxxxxxxxxx
Date: Thu, 9 Nov 2006 23:59:43 GMT
        Defect report from : Ulrich Drepper , Red Hat, Inc.

(Please direct followup comments direct to yyyyyyyyyyyyyy@xxxxxxxxxxxxx)

@ page 1113 line 35255 section pthread_mutexattr_getprotocol objection 
{ud-getprotocol}

Problem:

Edition of Specification (Year): 2004

Defect code :  3. Clarification required

This is for ACTION 2006-09-06 from the Reading meeting.

The current wording describing priority inheritence for mutexes says:

Furthermore, if this owner thread itself becomes blocked on another
mutex, the same priorityinheritance effect shall be propagated to this
other owner thread, in a recursive manner.


This is not quite complete.  If said other mutex does not have the protocol 
attribute set to PTHREAD_PRIO_INHERIT nothing happens.

Action:

On line 35255 change:

"on another mutex"

to

"on another mutex with the protocol attribute having the value
PTHREAD_PRIO_INHERIT"

<Prev in Thread] Current Thread [Next in Thread>