PSRR:一种基于分布式对象系统的有时容错方案

K.H. Kim, C. Subbaraman
{"title":"PSRR:一种基于分布式对象系统的有时容错方案","authors":"K.H. Kim, C. Subbaraman","doi":"10.1109/HASE.1996.618573","DOIUrl":null,"url":null,"abstract":"An extension of the conventional object structuring approach, called the RTO.k object structuring approach, has been established as a unified scheme for object-oriented structuring of both real-time applications and non-real-time applications while enabling the system designer to provide design-time guarantees of timely service capabilities of the objects designed. In another area, the DRB/PSP scheme has been established as a concrete scheme for achieving scalable time-bounded fault tolerance in distributed and parallel computer systems. We present a new scheme called the primary-shadow (PS)-RTO.k replication (PSRR) scheme that integrates the RTO.k object structuring scheme and the basic principle of the DRB/PSP scheme. A partial validation of the PSRR scheme has been performed through incorporation of a simple version of the scheme into a defense application running on a PC LAN. This paper first introduces a new structuring rule that can be imposed on the RTO.k object structuring scheme in order to further simplify the task of the system designer in providing design-time guarantee of timely service capabilities of application systems. Thereafter, the core of the PSRR scheme, the basic operational rules and the basic structuring rules, are discussed.","PeriodicalId":129829,"journal":{"name":"Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076)","volume":"4 30","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1996-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":"{\"title\":\"PSRR: a scheme for time-bounded fault tolerance in distributed object-based systems\",\"authors\":\"K.H. Kim, C. Subbaraman\",\"doi\":\"10.1109/HASE.1996.618573\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"An extension of the conventional object structuring approach, called the RTO.k object structuring approach, has been established as a unified scheme for object-oriented structuring of both real-time applications and non-real-time applications while enabling the system designer to provide design-time guarantees of timely service capabilities of the objects designed. In another area, the DRB/PSP scheme has been established as a concrete scheme for achieving scalable time-bounded fault tolerance in distributed and parallel computer systems. We present a new scheme called the primary-shadow (PS)-RTO.k replication (PSRR) scheme that integrates the RTO.k object structuring scheme and the basic principle of the DRB/PSP scheme. A partial validation of the PSRR scheme has been performed through incorporation of a simple version of the scheme into a defense application running on a PC LAN. This paper first introduces a new structuring rule that can be imposed on the RTO.k object structuring scheme in order to further simplify the task of the system designer in providing design-time guarantee of timely service capabilities of application systems. Thereafter, the core of the PSRR scheme, the basic operational rules and the basic structuring rules, are discussed.\",\"PeriodicalId\":129829,\"journal\":{\"name\":\"Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076)\",\"volume\":\"4 30\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1996-10-22\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"4\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/HASE.1996.618573\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/HASE.1996.618573","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 4

摘要

传统对象结构方法的扩展,称为RTO。K对象结构化方法,已被建立为一种统一的面向对象的实时应用和非实时应用的结构化方案,同时使系统设计者能够为所设计对象的及时服务能力提供设计时的保证。在另一个领域,DRB/PSP方案作为实现分布式和并行计算机系统可扩展的有界容错的具体方案被提出。我们提出了一种称为主影(PS)-RTO的新方案。集成RTO的PSRR (PSRR)复制方案。k对象结构方案和DRB/PSP方案的基本原理。通过将该方案的一个简单版本合并到运行在PC局域网上的防御应用程序中,对PSRR方案进行了部分验证。本文首先介绍了一种新的可用于RTO的结构规则。K对象结构化方案,以进一步简化系统设计者的任务,为应用系统的及时服务能力提供设计时的保证。然后,讨论了PSRR方案的核心,即基本操作规则和基本结构规则。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
PSRR: a scheme for time-bounded fault tolerance in distributed object-based systems
An extension of the conventional object structuring approach, called the RTO.k object structuring approach, has been established as a unified scheme for object-oriented structuring of both real-time applications and non-real-time applications while enabling the system designer to provide design-time guarantees of timely service capabilities of the objects designed. In another area, the DRB/PSP scheme has been established as a concrete scheme for achieving scalable time-bounded fault tolerance in distributed and parallel computer systems. We present a new scheme called the primary-shadow (PS)-RTO.k replication (PSRR) scheme that integrates the RTO.k object structuring scheme and the basic principle of the DRB/PSP scheme. A partial validation of the PSRR scheme has been performed through incorporation of a simple version of the scheme into a defense application running on a PC LAN. This paper first introduces a new structuring rule that can be imposed on the RTO.k object structuring scheme in order to further simplify the task of the system designer in providing design-time guarantee of timely service capabilities of application systems. Thereafter, the core of the PSRR scheme, the basic operational rules and the basic structuring rules, are discussed.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
0
期刊最新文献
A framework for MLS interoperability Proving refinement transformations for deriving high-assurance software Software reliability growth analysis-application of NHPP models and its evaluation Data flow transformations to detect results which are corrupted by hardware faults Transaction integration for reusable hard real-time components
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1