[eru]

Deadlocks ain't irreducible complexity.

Software Transactional Memory or the same concept in any old relational database don't give you deadlocks.

And there's a lot of 'discipline' you can enforce with the typesystem automatically, if your language has a strong enough typesystem. Look up session types for more.