Versionized process based on non-volatile random-access memory for fine-grained fault tolerance

Wen-zhe ZHANG; Kai LU; Xiao-ping WANG

doi:10.1631/FITEE.1601477

Your Location：

Home >

Browse articles >

Versionized process based on non-volatile random-access memory for fine-grained fault tolerance

Regular Papers | Updated：2022-05-19

- Versionized process based on non-volatile random-access memory for fine-grained fault tolerance
- 基于非易失存储器的版本化进程细粒度容错
- Frontiers of Information Technology & Electronic Engineering Vol. 19, Issue 2, Pages: 192-205(2018)
- Affiliations：
  
  Science and Technology on Parallel and Distributed Processing Laboratory, College of Computer, National University of Defense Technology, Changsha 410073, China
- Author bio：
  
  Kai LU, E-mail: lukainudt@163.com
- Funds：
- DOI：10.1631/FITEE.1601477
  CLC： TP316
- Received：16 August 2016，
  
  Revised：2018-;2-15，
  
  Published：2018-02
- Accepted：
Scan QR Code
Wen-zhe ZHANG, Kai LU, Xiao-ping WANG. Versionized process based on non-volatile random-access memory for fine-grained fault tolerance[J]. Frontiers of Information Technology & Electronic Engineering, 2018, 19(2): 192-205.
DOI：

Wen-zhe ZHANG, Kai LU, Xiao-ping WANG. Versionized process based on non-volatile random-access memory for fine-grained fault tolerance[J]. Frontiers of Information Technology & Electronic Engineering, 2018, 19(2): 192-205. DOI： 10.1631/FITEE.1601477.

摘要

新型非易失存储器（NVRAM）提供的字节粒度持久且非易失新特性，将有力支持新型容错技术的设计。提出一个基于NVRAM的新型容错进程模型--版本化进程（versionized process，VerP）。该进程模型通过在传统软硬件之间引入一个软件中间层，将软硬件解耦合，在NVRAM上重新组织进程所有数据，从而支持进程在NVRAM的天然容错。进一步，赋予进程中每个数据一个版本号，通过更新版本号实现进程非易失数据的一致性更新。与传统检查点机制相比，VerP可高效支持细粒度容错。

Abstract

Non-volatile random-access memory (NVRAM) technology is maturing rapidly and its byte-persistence feature allows the design of new and efficient fault tolerance mechanisms. In this paper we propose the versionized process (VerP)

a new process model based on NVRAM that is natively non-volatile and fault tolerant. We introduce an intermediate software layer that allows us to run a process directly on NVRAM and to put all the process states into NVRAM

and then propose a mechanism to versionize all the process data. Each piece of the process data is given a special version number

which increases with the modification of that piece of data. The version number can effectively help us trace the modification of any data and recover it to a consistent state after a system crash. Compared with traditional checkpoint methods

our work can achieve fine-grained fault tolerance at very little cost.

关键词

Keywords

references

NR Adiga , , , G Almasi , , , AA Bright , , , 等 . . An overview of the Bluegene/L supercomputer . . Proc ACM/IEEE Conf on Supercomputing , , 2002 . . p.60 DOI: 10.1109/SC.2002.10017 http://doi.org/10.1109/SC.2002.10017 . .

A Badam . . How persistent memory will change software systems . . Computer , , 2013 . . 46 ( ( 8 ): ): 45 - - 51 . . DOI: 10.1109/MC.2013.189 http://doi.org/10.1109/MC.2013.189 . .

K Bailey , , , L Ceze , , , SD Gribble , , , 等 . . Operating system implications of fast, cheap, non-volatile memory . . Proc 13 th Usenix Conf on Hot Topics in Operating Systems , , 2011 . . p.2 . .

J Coburn , , , AM Caulfield , , , A Akel , , , 等 . . NV-Heaps: making persistent objects fast and safe with nextgeneration, non-volatile memories . . ACM SIGARCH Comput Archit News , , 2011 . . 39 ( ( 1 ): ): 105 - - 118 . . DOI: 10.1145/1950365.1950380 http://doi.org/10.1145/1950365.1950380 . .

M D'Amorim , , , G Rosu . . An equational specification for the scheme language . . J Univ Comput , , 2005 . . 11 ( ( 7 ): ): 1327 - - 1348 . . DOI: 10.3217/jucs-011-07-1327 http://doi.org/10.3217/jucs-011-07-1327 . .

X Dong , , , Y Xie , , , N Muralimanohar , , , 等 . . Hybrid checkpointing using emerging nonvolatile memories for future exascale system . . ACM Trans Archit Code Optim , , 2011 . . 8 ( ( 2 ): ): Article 6 DOI: 10.1145/1970386.1970387 http://doi.org/10.1145/1970386.1970387 . .

SR Dulloor , , , S Kumar , , , A Keshavamurthy , , , 等 . . System software for persistent memory . . Proc 9 th European Conf on Computer Systems , , 2014 . . p.15 DOI: 10.1145/2592798.2592814 http://doi.org/10.1145/2592798.2592814 . .

R Guerraoui , , , V Trigonakis . . Optimistic concurrency with OPTIK . . ACM SIGPLAN Symp on Principles and Practice of Parallel Programming , , 2016 . . p.197 - - 211 . . DOI: 10.1145/2851141.2851146 http://doi.org/10.1145/2851141.2851146 . .

S Kannan , , , A Gavrilovska , , , K Schwan , , , 等 . . Optimizing checkpoints using NVM as virtual memory . . IEEE 27 th Int Symp on Parallel & Distributed Processing , , 2013 . . p.29 - - 40 . . . .

J Larkin , , , M Fahey . . Guidelines for efficient parallel I/O on the cray XT 3 /XT 4 . . Proc Cray User Group , , 2007 . . .

S Liang , , , G Bracha . . Dynamic class loading in the Java virtual machine . . ACM SIGPLAN Not , , 2000 . . 33 ( ( 10 ): ): 36 - - 44 . . DOI: 10.1145/286942.286945 http://doi.org/10.1145/286942.286945 . .

Y Liang , , , Y Zhang , , , A Sivasubramaniam , , , 等 . . Bluegene/L failure analysis and prediction models . . Int Conf on Dependable Systems and Networks , , 2006 . . p.425 - - 434 . . DOI: 10.1109/DSN.2006.18 http://doi.org/10.1109/DSN.2006.18 . .

Y Liang , , , Y Zhang , , , H Xiong , , , 等 . . Failure prediction in IBM Bluegene/L event logs . . 7 th IEEE Int Conf on Data Mining , , 2007 . . p.583 - - 588 . . DOI: 10.1109/ICDM.2007.46 http://doi.org/10.1109/ICDM.2007.46 . .

X Lu , , , H Wang , , , J Wang , , , 等 . . Internet-based virtual computing environment: beyond the data center as a computer . . Fut Gener Comput Syst , , 2013 . . 29 ( ( 1 ): ): 309 - - 322 . . DOI: 10.1016/j.future.2011.08.005 http://doi.org/10.1016/j.future.2011.08.005 . .

CK Luk , , , R Cohn , , , R Muth , , , 等 . . Pin: building customized program analysis tools with dynamic instrumentation . . ACM SIGPLAN Conf on Programming Language Design and Implementation , , 2005 . . p.190 - - 200 . . DOI: 10.1145/1064978.1065034 http://doi.org/10.1145/1064978.1065034 . .

TE Oliphant . . Python for scientific computing . . Comput Sci Eng , , 2007 . . 9 ( ( 3 ): ): 10 - - 20 . . DOI: 10.1109/MCSE.2007.58 http://doi.org/10.1109/MCSE.2007.58 . .

MK Qureshi , , , MM Franceschini , , , A Jagmohan , , , 等 . . PreSET: improving performance of phase change memories by exploiting asymmetry in write times . . 39 th Annual Int Symp on Computer Architecture , , 2012 . . p.380 - - 391 . . . .

C Rhodes , , , P Costanza , , , T D'Hondt , , , 等 . . Lisp . . Conf on Object-Oriented Technology , , 2007 . . p.1 - - 6 . . . .

LM Surhone , , , M Timpledon , , , SF Marseken , , , 等 . . TinyScheme . . Betascript Publishing , , 2010 . . .

R Uhlig , , , G Neiger , , , D Rodger , , , 等 . . Intel virtualization technology . . Computer , , 2005 . . 38 ( ( 5 ): ): 48 - - 56 . . . .

R Vallée-Rai , , , E Gagnon , , , L Hendren , , , 等 . . Optimizing Java bytecode using the soot framework: is it feasible? . . Int Conf on Compiler Construction , , 2000 . . p.18 - - 34 . . . .

S Venkataraman , , , N Tolia , , , P Ranganathan , , , 等 . . Consistent and durable data structures for non-volatile byteaddressable memory . . Usenix Conf on File and Stroage Technologies , , 2011 . . p.61 - - 75 . . DOI: 10.1145/2189750.2151018 http://doi.org/10.1145/2189750.2151018 . .

H Volos , , , AJ Tack , , , MM Swift . . Mnemosyne: lightweight persistent memory . . ACM SIGARCH Comput Archit News , , 2011 . . 39 ( ( 1 ): ): 91 - - 104 . . DOI: 10.1145/1961296.1950379 http://doi.org/10.1145/1961296.1950379 . .

H Volos , , , S Nalli , , , S Panneerselvam , , , 等 . . Aerie: flexible file-system interfaces to storage-class memory . . Proc 9 th European Conf on Computer Systems , , 2014 . . p.1 - - 14 . . . .

HSP Wong , , , S Raoux , , , SB Kim , , , 等 . . Phase change memory . . Proc IEEE , , 2010 . . 98 ( ( 12 ): ): 2201 - - 2227 . . DOI: 10.1109/JPROC.2010.2070050 http://doi.org/10.1109/JPROC.2010.2070050 . .

X Yang , , , Z Wang , , , J Xue , , , 等 . . The reliability wall for exascale supercomputing . . IEEE Trans Comput , , 2012 . . 61 ( ( 6 ): ): 767 - - 779 . . DOI: 10.1109/TC.2011.106 http://doi.org/10.1109/TC.2011.106 . .

WZ Zhang , , , L Kai , , , M Luján , , , 等 . . Fine-grained checkpoint based on non-volatile memory . . Front Inform Technol Electron Eng , , 2017 . . 18 ( ( 2 ): ): 220 - - 234 . . DOI: 10.1631/FITEE.1500352 http://doi.org/10.1631/FITEE.1500352 . .

P Zhou , , , B Zhao , , , J Yang , , , 等 . . A durable and energy efficient main memory using phase change memory technology . . ACM SIGARCH Comput Archit News , , 2009 . . 37 ( ( 3 ): ): 14 - - 23 . . DOI: 10.1145/1555754.1555759 http://doi.org/10.1145/1555754.1555759 . .

Views

Downloads

CSCD

Alert me when the article has been cited

Submit

Tools

Publicity Resources

Fine-grained checkpoint based on non-volatile memory

Related Author

Wen-zhe ZHANG

Kai LU

Mikel LUJÁN

Xiao-ping WANG

Xu ZHOU

Related Institution

Science and Technology on Parallel and Distributed Processing Laboratory, College of Computer, National University of Defense Technology

School of Computer, The University of Manchester

Chat

Address：Zhejiang University Press, 148 Tianmushan Road, Hangzhou, China Postal code：310028
Tel：+86-571-88273162 Email：fitee@zju.edu.cn
It is recommended to read the content of this site in Chrome&IE9+. Please switch to extreme mode in browser 360.
Cookies We use cookies to help provide and enhance our service and tailor content. By continuing, you agree to the use of cookies.

⁰