> chips, etc.).  The problem is that the theory on how to write race
> condition/deadlock/livelock -free code isn't there, to my knowledge

I think the theory is pretty much there.  The problem is to put it
into practice.


        Stefan