基于NVRAM的函数式语言容错机制
随着高性能计算的发展,系统的容错能力越来越受到重视.现在新兴的硬件NVRAM由于其掉电非易失的特性为硬件容错带来了新的可能,同时函数式语言其清晰的数据结构和无副作用的语言特性使得其具有良好的容错和恢复特性.目前对函数式语言的容错方面的研究只应用到其并行条件下无竞争的特点,没有利用其数据特性做容错方面的支持.提出了基于函数式语言和NVRAM的结合,通过顶层语言和底层硬件的配合,实现对系统断电使得程序崩溃情况下的容错和数据恢复.
计算机性能 容错机制 数据恢复 非易失内存 函数式语言
孙曼晖 卢凯 王小平
湖南省长沙市国防科技大学计算机学院 410073
国内会议
贵阳
中文
153-159
2014-07-31（万方平台首次上网日期，不代表论文的发表时间）