Consistent Checkpointing in Distributed Databases: Towards a Formal Approach (original) (raw)
Related papers
Consistent Checkpointing for Transaction Systems
The Computer Journal, 2001
Distributed Checkpointing for Globally Consistent States of Databases
IEEE Transactions on Software Engineering, 1989
A Survey of Distributed Database Checkpointing
Distributed and Parallel Databases, 1997
Object-based checkpoints in distributed systems
Proceedings Third International Workshop on Object-Oriented Real-Time Dependable Systems, 1997
FORMAL VERIFICATION OF DISTRIBUTED CHECKPOINTING USING EVENT-B
International Journal of Computer Science & Information Technology (IJCSIT)
Significant checkpoint in distributed system
Lecture Notes in Computer Science, 1996
Protocol for Taking Object-Based Checkpoints
Lecture Notes in Computer Science, 2000
Characterization of consistent global checkpoints in large-scale distributed systems
1995
Consistency of Distributed System with Active Initiator Process Without Useless Checkpoints
International Journal of Computing, 2014
Checkpoint processing in distributed systems software using synchronized clocks
Proceedings International Conference on Information Technology: Coding and Computing, 2001
Distributed checkpointing using synchronized clocks
Proceedings 26th Annual International Computer Software and Applications, 2002
A Consistent Global Checkpoint Algorithm for Distributed Systems with a Forbidden Process
2009
Coordinated checkpointing without direct coordination
1998
A communication-induced checkpointing protocol that ensures rollback-dependency trackability
ftcs, 1997
Efficient checkpointing procedures for fault tolerant distributed systems
Microprocessing and Microprogramming, 1994
A Comparison between Different Checkpoint Schemes with Advantages and Disadvantages
Ijca Proceedings on National Seminar on Recent Advances in Wireless Networks and Communications, 2014
Checkpoint and rollback in asynchronous distributed systems
Proceedings of INFOCOM '97, 1997
A Comparative Study of Consistency Theorems in Distributed Databases
Concurrent Checkpointing and Recovery in Distributed Systems
2002
Alleviating scalability issues of checkpointing protocols
IEEE International Conference on High Performance Computing, Data, and Analytics, 2012
A framework for transactional consistency models with atomic visibility
Quantifying rollback propagation in distributed checkpointing
Journal of Parallel and Distributed Computing, 2004
Efficient message logging for uncoordinated checkpointing protocols
Lecture Notes in Computer Science, 1996
Fast checkpoint recovery algorithms for frequently consistent applications
Proceedings of the 2011 ACM SIGMOD International Conference on Management of data, 2011
Design and analysis of an integrated checkpointing and recovery scheme for distributed applications
2000
Modular Checkpointing for Atomicity
Electronic Notes in Theoretical Computer Science, 2007
Anais do XXIV Workshop de Testes e Tolerância a Falhas (WTF 2023)
Rollback-Dependency Trackability: A Minimal Characterization and Its Protocol
Information and Computation, 2001
A study of checkpoint generations for a database recovery mechanism
Computers & Mathematics with Applications, 1992
Atomic Commit in Distributed Database Systems: the Approaches of Blocking and Non-Blocking Protocols
A survey of checkpointing algorithms for parallel and distributed computers
Sadhana-academy Proceedings in Engineering Sciences, 2000
Multiple Distributed Checkpoints over Unreliable Channels
1993
Failure-resilient transaction management in multidatabase
Nandit Soparkar, Avi Silberschatz
Computer, 2000
INTEGRITY CONSTRAINTS IN DISTRIBUTED DATABASES
emis.ams.org
International Journal of Engineering Research and Technology (IJERT), 2014