You'd need a coherent architecture for a start. State models coming out yer ears. And preferably tool support. I think if you attempt to hack anything more than trivial in this then you're asking for trouble.

The synchronous Ada rendezvous model is looking more and more like a stroke of genius.

Looked at their terms and conditions a while ago when it came up on a newsgroup I'm no longer subscribed to. Firstly, you become part of a P2P advertising network. Then they can change their T & Cs by altering their website and your continued use of their product means you've accepted their new terms. No, thankyou.

When I mentioned this on the newsgroup their answer was "But it's free". Hence why I'm no longer subscribed.

Binary only linux software? Pffft.

Didn't you mention Ada earlier?

Variables can be limited to the scope of tasks. Or pools of tasks can manipulate data scoped to packages. And for cross-task mutation there are entries (i.e. message passing) or protected types (i.e. locking) or pragma Atomic (if you're brave).

Not to mention generics that don't make your head explode. And Ada 2005 finally added object.Method notation.