Is all this Invarient **** er... stuff, premature optimisation?

[Walter Bright]

Me Here wrote:
> If that describes copy-swap then yes. Else no :)

copy-swap is what lock free algorithms rely on for updating a data 
structure. It's at the root of STM, and even has its own TLA, CAS (Copy 
And Swap).