Tweaking ordering and concurrency to guarantee stability