Fault-Tolerant Programming Models And Computing Frameworks