Revise: RMimpl; Recover; abort

Recover not handle abort yet..