Description of Read-Copy-Update by Steven Rostedt

From http://lwn.net/Articles/545752/

< system in single state : everyone sees cat == alive >

	insert_into_box(cat);

	< system in dual state : new calls see cat == dead, but
	  current calls see cat == alive >

	open_box();

	< system is back to single state: everyone sees cat = dead >

	funeral(cat);

Wondering if I can reuse this to describe “Eventual Consistency”. The challenge would be to succinctly describe the

 <system in multiple states>

part I guess.