Abortable_Linearizable_Modules