I personally don't think that copy-on-write is problematic. It's deterministic and its overhead depends only on size of the chunk of data to be copied. Stuff like garbage collection or synchronization primitives are for example much less predictable.