Analytical Model on Hybrid State Saving with a Limited Number of Checkpoints and Bound Rollbacks(Reliability, Maintainability and Safety Analysis)
スポンサーリンク
概要
- 論文の詳細を見る
This paper discusses distributed checkpointing with logging for practical applications running with limited resources. We present a discrete time model evaluating the total expected overhead per event where the number of available checkpoints that each process can hold is finite. The rollback distance is also bound to some finite interval in many actual applications. Therefore, the recovery overhead for the checkpointing scheme is described by using a truncated geometric distribution as the rollback distance distribution. Although it is difficult to analytically derive the optimal checkpoint interval, which minimizes the total expected overhead, substituting other simple probabilistic distributions instead of the truncated geometric distribution enables us to do this explicitly. Numerical examples obtained through simulations are presented to show that we can achieve almost minimized total overhead by using the new models and analyses.
- 社団法人電子情報通信学会の論文
- 2006-09-01
著者
-
ARAI Masayuki
Tokyo Metropolitan University
-
IWASAKI Kazuhiko
Tokyo Metropolitan University
-
Fukumoto Satoshi
Tokyo Metropolitan Univ. Hachioji‐shi Jpn
-
Fukumoto Satoshi
Graduate School Of Engineering Tokyo Metropolitan University
-
Iwasaki K
Tokyo Metropolitan Univ. Tokyo Jpn
-
Iwasaki Kazuhiko
Graduate School Of Engineering Tokyo Metropolitan University
-
Iwasaki Kazuhiko
Faculty Of System Design Tokyo Metropolitan University
-
Arai Masayuki
Tokyo Metropolitan Univ. Tokyo Jpn
-
Suzuki Ryo
Graduate School Of Pharmaceutical Sciences Nagoya City Univ.
-
OHARA Mamoru
Graduate School of Engineering, Tokyo Metropolitan University
-
ARAI Masayuki
Graduate School of Engineering, Tokyo Metropolitan University
-
Fukumoto Satoshi
Graduate School Of Engineering Hiroshima University
-
Arai Masayuki
Graduate School Of Engineering Tokyo Metropolitan University
-
Suzuki R
Electrotechnical Lab. Ibaraki
-
Suzuki R
Graduate School Of Engineering Tokyo Metropolitan University
-
Ohara Mamoru
Graduate School Of Engineering Tokyo Metropolitan University:tokyo Metropolitan Industry Technology
-
Suzuki Ryo
Graduate School Of Bioresources Mie University
関連論文
- Reduction of Test Data Volume and Improvement of Diagnosability Using Hybrid Compression
- Prolongation of the Effective Duration of Cytomedical Therapy by Re-injecting SK2 Hybridoma Cells Microencapsulated within Alginate-Poly(L)lysine-Alginate Membranes into Human Interleukin-6 Transgenic Mice
- Note on programmable on-product clock generation (OPCG) circuitry for low power aware delay test (ディペンダブルコンピューティング)
- Deterministic Built-in Test for Logic Circuits Having Multiple Clocks
- High Quality Delay Test Generation Based on Multiple-Threshold Gate-Delay Fault Model(Special Issue on Test and Verification of VLSI)
- Deterministic Built-in Test with Neighborhood Pattern Generator
- Analytical Model on Hybrid State Saving with a Limited Number of Checkpoints and Bound Rollbacks(Reliability, Maintainability and Safety Analysis)
- Reliability Analysis of a Convolutional-Code-Based Packet Level FEC under Limited Buffer Size(Reliability, Maintainability and Safety Analysis)
- Application of Partially Rotational Scan Technique with Tester IP for Processor Circuits(Scan Testing)(Test and Verification of VLSI)
- Seed Selection Procedure for LFSR-Based Random Pattern Generators(Timing Verification and Test Generation)(VLSI Design and CAD Algorithms)
- High-Assurance Video Conference System over the Internet(Network Systems and Applications)(Assurance Systems and Networks)
- A Technique for Constructing Dependable Internet Server Cluster(Fault Tolerance)
- C-24 Implementation and Experiments on Dependable Video Conference System
- Fault-Tolerance Design for Muiticast Using Convolutional-Code-Based FEC and Its Analytical Evaluation
- Analytical Evaluation of Internet Packet Loss Recovery Using Convolutional Codes
- Influence of Bi-perovskites on the piezoelectric properties of (K_Na_)NbO_3-based lead free ceramics
- Analysis of Aliasing Probability for MISRs by Using Complete Weight Distributions
- Hybrid BIST Design for n-Detection Test Using Partially Rotational Scan(Special Issue on Test and Verification of VLSI)
- Mesh Spiral and Mesh Random Networks (Special Issue on Architectures, Algorithms and Networks for Massively Parallel Computing)
- Technique to Diagnose Open Defects that Takes Coupling Effects into Consideration(Dependable Computing)
- Reduction of Test Data Volume and Improvement of Diagnosability Using Hybrid Compression
- Test Data Compression for Scan-Based BIST Aiming at 100x Compression Rate
- Study on Test Data Reduction Combining Illinois Scan and Bit Flipping
- Study on Expansion of Convolutional Compactors over Galois Field
- Calcium Response and FcεRI Expression in Bone Marrow-Derived Mast Cells Co-cultured with SCG Neurites(Analytical Biochemistry)
- N-Cadherin Plays a Role in the Synapse-Like Structures between Mast Cells and Neurites(Highlighted paper selected by Editor-in-chief)(Analytical Biochemistry)
- Bi-directional Relationship of in Vitro Mast Cell-Nerve Communication Observed by Confocal Laser Scanning Microscopy
- Growth Inhibition of Human Leukemia HL-60 Cells by an Antisense Phosphodiester Oligonucleotide Encapsulated into Fusogenic Liposomes
- C-protein (MyBP-C) isoforms from carp ordinary and dark muscles and muscle type-specific binding to myosin
- NMR Study of Bismuth-Substituted Yttrium Iron Garnets
- Optical Add/Drop Filter with Flat Top Spectral Response Based on Gratings Photoinduced on Planar Waveguides(Special Issue on High-Capacity WDM/TDM Networks)
- Low-temperature sintering of alkaline niobate based piezoelectric ceramics using sintering aids
- Optimal Checkpointing Policies Using the Checkpointing Density
- SWAY CONTROL OF ROTARY CRANE BASED ON DISCRETIZING METHOD
- Reduction of Area per Good Die for SoC Memory Built-In Self-Test
- Production of Androgenetic Diploid Loach Misgurnus anguillicaudatus from UV Irradiated Eggs by Suppression of the First Cleavage
- Influence of Bias Field on Bubble Velocity
- Checkpoint Time Arrangement Rotation in Hybrid State Saving with a Limited Number of Periodical Checkpoints
- Analysis of Probabilistic Trapezoid Protocol for Data Replication