From: jsiek_at_[hidden]
Date: 2000-08-27 11:51:23


John Maddock writes:
> Jeremy,
>
> >Ok, so we should add a ceiling-and-inherited feature?
> >
> >owner-priority (unaffected | ceiling | inherited | ceiling-and-inherited
> )
>
> Thats one way, another would be:
>
> owner-priority (unaffected | (ceiling + inherited) )

I thought about this, and I think it doesn't quite have the meaning we
want. I think the above means you can have a mutex component that
supports both ceiling and inherited, but not necessarily be able to
turn them both "on" at the same time.

Cheers,

Jeremy