Re: [boost] mutex feature diagram

From: jsiek_at_[hidden]
Date: 2000-08-26 09:25:19

John Maddock writes:
 > Jeremy,
 > 
 > Just a couple more nits on the feature diagram....
 > 
 > Under "Owner priority" the options Priority Ceiling and Priority
 > Inheritance are not mutually exclusive - pthread mutexes will only enable
 > one or the other (as far as I can tell), but you can simulate the effect of
 > both with two mutexes.  To put it another way, its logically possible to
 > have both, but the particular mutex type that we're using as a prototype
 > (pthread_mutex_t) doesn't support it.

Ok, so we should add a ceiling-and-inherited feature?

owner-priority  (unaffected | ceiling | inherited | ceiling-and-inherited )

 > There is one more feature, which is normally taken for granted: the
 > priority of a blocked thread.  Normally this thread will be suspended by
 > the kernal, but there are some cases (think user mode spin locks) were this
 > does not occur.  Whether you want to consider this under priority inversion
 > or separately I'll leave up to you...

This should probably be separate.

blocked-priority ( suspended | unaffected | reduced )

Ciao,

Jeremy