Re: [1003.1(2008)/Issue 7 0000121]: robust mutex unlock by athread that does not own the mutex

[Geoff Clare <gwc@xxxxxxxxxxxxx>]

> ---------------------------------------------------------------------- 
>  (0000159) geoffclare (reporter) - 2009-07-13 11:22
>  http://austingroupbugs.net/view.php?id=121#c159 
> ---------------------------------------------------------------------- 
> Here is how I would suggest fixing the issues identified in the
> original report and in http://austingroupbugs.net/view.php?id=121#c158.
> 
[snip]
> ______________________________________________________________________
> | Mutex Type   Robustness     Relock          Unlock When Not Owner   |
> |_____________________________________________________________________|
> |                                                                     |
> | normal       non-robust     deadlock        undefined behavior      |
> |                                                                     |
> | normal       robust         deadlock        error returned          |
> |                                                                     |

I assumed here that, since the pthread_mutex_lock() EDEADLK error does
not mention robust mutexes, a robust PTHREAD_MUTEX_NORMAL mutex
deadlocks on an attempt to relock.  Implementors might want to check
whether that is the case, or whether they actually return an error.

-- 
Geoff Clare <g.clare@opengroup.org>
The Open Group, Thames Tower, Station Road, Reading, RG1 1LX, England