You might want to look into coding standards for C and special languages like Ada (like C, but less writeable, more readable with strong types) and Esterel (det

You might want to look into coding standards for C and special languages like Ada (like C, but less writeable, more readable with strong types) and Esterel (deterministic multithread scheduling). Seriously, Esterel is probably the coolest thing you'll read about this week. There's also various specification languages for multithreaded behaviour, which allows you to analyse your programs behaviour using software tools, for example SPIN[0]. 0: http://en.wikipedia.org/wiki/SPIN_model_checker http://en.wikipedia.org/wiki/SPIN_model_checker