A Novel Replication Technique for Detecting and Masking Failures for Parallel Software: Active Parallel Replication
スポンサーリンク
概要
- 論文の詳細を見る
We present a novel replication technique for parallel applications where instances of the replicated application are active on different group of processors called replicas. The replication technique is based on the FTAG (Fault Tolerant Attribute Grammar) computation model. FTAG is a functional and attribute based model [4]. The developed replication technique implements "active parallel replication," -that is, all replicas are active and compute concurrently a different piece of the application parallel code-. In our model replicas cooperate not only to detect and mask failures but also to perform parallel computation. The replication mechanisms are supported by FTAG run time system and are fully application-transparent. Different novel mechanisms for checkpointing and recovery are developed. In our model during rollback recovery only that part of the computation that was detected faulty is discarded. The replication technique takes full advantage of parallel computing to reduce overall computation time.
- 社団法人電子情報通信学会の論文
- 1997-09-25
著者
-
Katayama Takuya
Japan Advanced Institute Of Science And Technology
-
Cherif Adel
Japan Advanced Institute Of Science And Technology
-
Katayama T
Japan Advanced Inst. Sci. And Technol. (jaist) Ishikawa‐ken Jpn
-
SUZUKI Masato
Japan Advanced Institute of Science and Technology
関連論文
- Highly Reliable Embedded Software Development Using Advanced Software Technologies(Software Engineering for Embedded Systems)
- Extracting threads from concurrent objects for the design of embedded systems
- A Novel Replication Technique for Detecting and Masking Failures for Parallel Software: Active Parallel Replication
- OAG : Improved Ordered Attribute Grammars for Less Type 3 Circularities
- Exercise and Renal Function
- Automated Adaptor Generation for Behavioral Mismatching Services Based on Pushdown Model Checking
- On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification
- On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification