Programming concurrent backward error recovery: General methodologies and practical approaches.