A MODEL FOR CONCURRENT CHECKPOINTING AND RECOVERY USING TRANSACTIONS

被引：0
|
作者：
LEU, PJ
BHARGAVA, B
机构：
来源：
9TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS | 1989年
关键词：
D O I：
暂无
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
引用
收藏
页码：423 / 430
页数：8
相关论文
共 50 条
  • [31] Resources Snapshot Model for Concurrent Transactions in Multi-Core Processors
    赵雷
    杨季文
    Journal of Computer Science & Technology, 2013, 28 (01) : 106 - 118
  • [32] Finding a recovery line in uncoordinated checkpointing
    Ohara, M
    Arai, M
    Fukumoto, S
    Iwasaki, K
    24TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOPS, PROCEEDINGS, 2004, : 628 - 633
  • [33] Checkpointing and rollback recovery for network of workstations
    Wang, DS
    Zheng, WM
    Wang, KX
    Shen, MM
    SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 1999, 42 (02): : 207 - 214
  • [34] Checkpointing and rollback recovery for network of workstations
    汪东升
    郑纬民
    王鼎兴
    沈美明
    Science in China(Series E:Technological Sciences) , 1999, (02) : 207 - 214
  • [35] Checkpointing and rollback recovery for network of workstations
    Dongsheng Wang
    Weimin Zheng
    Dingxing Wang
    Meiming Shen
    Science in China Series E: Technological Sciences, 1999, 42 : 207 - 214
  • [36] A generalized forward recovery checkpointing scheme
    Huang, K
    Wu, J
    Fernandez, EB
    PARALLEL AND DISTRIBUTED PROCESSING, 1998, 1388 : 623 - 643
  • [37] LOW-LATENCY, CONCURRENT CHECKPOINTING FOR PARALLEL PROGRAMS
    LI, K
    NAUGHTON, JF
    PLANK, JS
    IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 1994, 5 (08) : 874 - 879
  • [38] Stabilizers: A modular checkpointing abstraction for concurrent functional programs
    Ziarek, Lukasz
    Schatz, Philip
    Jagannathan, Suresh
    ACM SIGPLAN NOTICES, 2006, 41 (09) : 136 - 147
  • [39] Fault-Tolerant Communication Induced Checkpointing and Recovery Protocol Using IoT
    Malhotra, Neha
    Bala, Manju
    INTELLIGENT AUTOMATION AND SOFT COMPUTING, 2021, 30 (03): : 945 - 960
  • [40] Reduction of Verification Conditions for Concurrent System Using Mutually Atomic Transactions
    Ganai, Malay K.
    Kundu, Sudipta
    MODEL CHECKING SOFTWARE, 2009, 5578 : 68 - +
12345