论文部分内容阅读
随着高性能计算的发展，系统的容错能力越来越受到重视。现在新兴的硬件NVRAM由于其掉电非易失的特性为硬件容错带来了新的可能，同时函数式语言其清晰的数据结构和无副作用的语言特性使得其具有良好的容错和恢复特性。目前对函数式语言的容错方面的研究只应用到其并行条件下无竞争的特点，没有利用其数据特性做客错方面的支持。提出了基于函数式语言和NVRAM的结合，通过顶层语言和底层硬件的配合，实现对系统断电使得程序崩溃情况下的容错和数据恢复。