On Wed, Jun 25, 2008 at 05:35, Axel Dörfler <axeld@xxxxxxxxxxxxxxxx> wrote: > The way you propose works even less when the software doesn't play by > the rules. No way. If a thread isn't assigned a proper priority value, when it passes through a semaphore that has a branding, it will be boosted according to the branding. I.e., according to the actual thread behaviour/code path followed. > In any case, if the software is broken, the outcome can be expected to > be bad - I just don't see the difference your suggestion would make > here. You'll see; in your follow-up email you wrote something that reminded me of mentioning a key thing. So please read the reply I'm about to write ;) Cheers, A.