More refactoring!!

- removed needless(?) reinit_completion
- add try_ to alloc_migration_buffer
- factor out memorize*
- factor out do_update from update_...