On: Must Be This Tall to Write Multi-Threaded Code

[mannykannot]

"The resulting invariants end up being documented in comments."

There's your problem. If you are going to use locks, you need a wider view of the system than you get at the source-code level. It is doable, but there is a big impedance mismatch between this approach to software development and agile methods.