Karel Th�nissen <thoenissen@hello.nl> writes:
> [...] Yes, this works, if you have the source code... And even if
> you have the source code, quality assurance policies can inhibit
> your opening it. [...]

I assume any QA policy will beat down programs where clients do all
the locking work, that's just too dangerous, and need a complete proof
again each time one line of client code is added.  I have a hard time
imagining QA forcing you to work around an incomplete API by damaging
the safety of the system, instead of letting you put your stuff where
it belongs and where it's easy to prove correct. (That's why I didn't
understand your earlier clain, sorry about that ;-).

Do you have any concrete example of such policy?

--LG