163,030 Hits in 5.4 sec

Revisiting Snapshot Algorithms by Refinement-Based Techniques

Manamiary Bruno Andriamiarina, Dominique Mery, Neeraj Kumar Singh
2012 2012 13th International Conference on Parallel and Distributed Computing, Applications and Technologies  
In this paper, we explore the correct-byconstruction process to formalize the snapshot algorithms in distributed system.  ...  The snapshot problem addresses a collection of important algorithmic issues related to distributed computations, which are used for debugging or recovering distributed programs.  ...  In this paper, we focus on the distributed snapshots for specific problems.  ... 
doi:10.1109/pdcat.2012.119 dblp:conf/pdcat/AndriamiarinaMS12 fatcat:33vveeaxdjgizbbi32wqbjunq4

A Concurrent Partial Snapshot Algorithm for Large-Scale and Dynamic Distributed Systems

Yonghwan KIM, Tadashi ARARAGI, Junya NAKAMURA, Toshimitsu MASUZAWA
2014 IEICE transactions on information and systems  
In this paper, we modify the previous partial snapshot algorithm to create a new one that can take a partial snapshot more efficiently, especially when multiple nodes concurrently initiate the algorithm  ...  Checkpoint-rollback recovery, which is a universal method for restoring distributed systems after faults, requires a sophisticated snapshot algorithm especially if the systems are large-scale, since repeatedly  ...  For taking a partial snapshot, Moriya and Araragi [2] , [3] also proposed a distributed algorithm called the Sub-SnapShot (SSS) algorithm.  ... 
doi:10.1587/transinf.e97.d.65 fatcat:oklupwrm6fbebpe7sqhbwbecpu

Using a distributed snapshot algorithm in wireless sensor networks

A.P.R. da Silva, F.A. Teixeira, R. Kelles V. Lage, L.B. Ruiz, A.A.F. Loureiro, J.M.S. Nogueira
The Ninth IEEE Workshop on Future Trends of Distributed Computing Systems, 2003. FTDCS 2003. Proceedings.  
In this work we adapt the algorithms Distributed Snapshot, Broadcast and Propagation of Information with Feedback (PIF) to WSNs and apply them to generate the Energy Map of a WSN.  ...  Wireless Sensor Networks (WSNs) have particular characteristics that do not allow to apply traditional distributed algorithms directly to them.  ...  Distributed Snapshot Algorithm for WSNs The Distributed Snapshot Algorithm obtains a distributed system global state, that is, it records the consistent state in a given moment.  ... 
doi:10.1109/ftdcs.2003.1204291 dblp:conf/ftdcs/SilvaTLRLN03 fatcat:btamkrz2cbgvdflw4evpcscxwy

Analysis of Distributed Snapshot Algorithms [article]

Sharath Srivatsa
2016 arXiv   pre-print
In this paper we are presenting the observed variations in snapshot recording durations at processes in a distributed system.  ...  Snapshot recording durations at each process contribute to the overall efficiency of the algorithm.  ...  Whereas in Lai-Yang and Mattern algorithms the snapshot initiation is piggybacked on the computation message, hence the snapshot recording is dependent on computational messages which is dependent on  ... 
arXiv:1601.08039v1 fatcat:mpzi36egtneu7lb4urfc2z6v3u

An introduction to snapshot algorithms in distributed computing

A D Kshemkalyani, M Raynal, M Singhal
1995 Distributed Systems Engineering  
Then several algorithms which determine on-the-fly such snapshots are presented for several types of networks (according to the properties of their communication channels, namely, FIFO, non-FIFO, and causal  ...  Since Chandy and Lamport's seminal paper on this topic, this problem is called the snapshot problem.  ...  Acknowledgments The authors are grateful to Professors F Mattem and S Venkatesan for providing useful feedback on an earlier version of the paper.  ... 
doi:10.1088/0967-1846/2/4/005 fatcat:jea5erm5xvg45ht7qe36ot4beq

Taking snapshots of virtual networked environments

Ardalan Kangarlou, Dongyan Xu, Paul Ruth, Patrick Eugster
2007 Proceedings of the 3rd international workshop on Virtualization technology in distributed computing - VTDC '07  
More specifically, by adapting and implementing a distributed snapshot algorithm, we enable the capture of causally consistent snapshots of virtual machines in a virtual networked environment.  ...  Despite the large body of work at the application, library, and operating system levels, we identify a void in the spectrum of distributed snapshot techniques: taking snapshots of the entire distributed  ...  We develop the VI-OLIN distributed snapshot capability by adapting a classic distributed snapshot algorithm [12] and implementing the adapted algorithm on top of the Xen platform [3] .  ... 
doi:10.1145/1408654.1408658 dblp:conf/sc/KangarlouXRE07 fatcat:xe4tmbhtxbe7ffqkfaaoirpt7y

Revisiting snapshot algorithms by refinement-based techniques

Bruno Andriamiarina, Dominique Méry, Kumar Singh
2014 Computer Science and Information Systems  
In this paper, we explore the correct-by-construction process to formalize the snapshot algorithms in distributed system.  ...  The snapshot problem addresses a collection of important algorithmic issues related to the distributed computations, which are used for debugging or recovering the distributed programs.  ...  In this paper, we focus on the distributed snapshots for specific problems.  ... 
doi:10.2298/csis130122007a fatcat:ci6zwtafqndppdkm7uerqzjita

On distributed snapshots

Ten H. Lai, Tao H. Yang
1987 Information Processing Letters  
., termination, deadlock) can be detected with uncoordinated distributed snapshots. For such properties, our algorithm can be further simplified.  ...  We develop an efficient snapshot algorithm that needs no control messages and does not require channels to be first-in-first-out.  ...  So, global snapshot GSN is meaningful. [] An efficient snapshot algorithm The snapshot algorithm of [1] not only takes a distributed snapshot, but further distributively refines it to a global snapshot  ... 
doi:10.1016/0020-0190(87)90125-6 fatcat:r6le4tpldrerhnvczt3ndvghr4

Repeated snapshots in distributed systems with synchronous communications and their implementation in CSP

Luc Bougé
1987 Theoretical Computer Science  
A new version of the Snapshot Algorithm of Chandy and Lamport (1985) is presented. It considers synchronous communications and partially ordered semantics and allows for repeated snapshots.  ...  It yields a symmetric and generic solution to the 'Distributed Termination Detection' problem of Francez.  ...  The idea of taking snapshots of Petri nets is due to W. Reisig.  ... 
doi:10.1016/0304-3975(87)90005-3 fatcat:iqyyrjyxpfbyhbnbdocgenshnm

Lightweight Asynchronous Snapshots for Distributed Dataflows [article]

Paris Carbone, Gyula Fóra, Stephan Ewen, Seif Haridi, Kostas Tzoumas
2015 arXiv   pre-print
Our evaluation shows that our algorithm does not have a heavy impact on the execution, maintaining linear scalability and performing well with frequent snapshots.  ...  We implemented ABS on Apache Flink, a distributed analytics engine that supports stateful stream processing.  ...  In this work, we focus on providing lightweight snapshotting, specifically targeted at distributed stateful dataflow systems, with low impact on performance.  ... 
arXiv:1506.08603v1 fatcat:b7fidps35jg2hblp5eapccq4ee

Message efficient global snapshot recording using a self stabilizing spanning tree in a MANET

Parmeet Kaur Jaggi, Awadhesh Kumar Singh
2011 International Journal of Communication Networks and Information Security  
Distributed snapshots are a significant paradigm for distributed systems.  ...  Though a number of snapshot algorithms exist for traditional distributed systems, they cannot be directly applied to mobile ad hoc networks due to the constraints of topology and hostile conditions in  ...  The notion of distributed snapshot was first presented by Chandy-Lamport [1] who gave an algorithm to determine the global snapshot of static distributed systems with FIFO channels.  ... 
dblp:journals/ijcnis/JaggiS11 fatcat:sdff4fl4hrgqzitfnlkqxfe66q

In-network live snapshot service for recovering virtual infrastructures

Ardalan Kangarlou, Dongyan Xu, Ulas Kozat, Pradeep Padala, Bob Lantz, Ken Igarashi
2011 IEEE Network  
An alternative approach is to capture the global state of a cloud service using distributed snapshots (checkpoints).  ...  snapshot functionality.  ...  Similar to VNsnap, GENI-VIOLIN adopts Mattern's distributed snapshot algorithm [14] to achieve a consistent, global snapshot.  ... 
doi:10.1109/mnet.2011.5958003 fatcat:66nmhpdpd5ewniqf3ac3r35uva

Efficient Algorithms for Distributed Snapshots and Global Virtual Time Approximation

F. Mattern
1993 Journal of Parallel and Distributed Computing  
The paper proposes new and efficient Global Virtual Time approximation schemes based on snapshot algorithms and distributed termination detection principles.  ...  An important application of a snapshot algorithm is Global Virtual Time determination for distributed simulations.  ...  Snapshots and snapshot algorithms are fundamental paradigms of distributed computing.  ... 
doi:10.1006/jpdc.1993.1075 fatcat:g6hgwd6635cuhlatlycecrah4y

Recording distributed snopshots based on causal order of message delivery

Arup Acharya, B.R. Badrinath
1992 Information Processing Letters  
For a system with N processes, the algorithm requires N control messages to record a distributed snapshot of the system.  ...  This paper presents a simple and efficient algorithm to record a global snapshot of a distributed system, where all messages are sent and delivered in causal order.  ...  Misra and the anonymous referees for their comments on an earlier version of the paper. Bibliography  ... 
doi:10.1016/0020-0190(92)90107-7 fatcat:opqj5omy55aozdz763cpcqr6pi

A Distributed Snapshot Protocol for Efficient Artificial Intelligence Computation in Cloud Computing Environments

JongBeom Lim, Joon-Min Gil, HeonChang Yu
2018 Symmetry  
The proposed snapshot protocol is based on a distributed algorithm to run interconnected multiple nodes in a scalable fashion.  ...  We reveal that our distributed snapshot protocol guarantees the correctness, safety, and liveness conditions.  ...  Algorithm 1. The proposed distributed snapshot algorithm for node i (sending) Algorithm 2. The proposed distributed snapshot algorithm for node i (receiving)4.2.  ... 
doi:10.3390/sym10010030 fatcat:ntxvvkd2xfa4dltk6kqtom2kvm
« Previous Showing results 1 — 15 out of 163,030 results