首页 > 最新文献

[1993] Proceedings. The 13th International Conference on Distributed Computing Systems最新文献

英文 中文
General structured voting: a flexible framework for modelling cooperations 一般结构化投票:一个灵活的合作建模框架
Oliver E. Theel
Data replication schemes and mutual exclusion protocols can be regarded as special instances of cooperation schemes, which describe the interaction of independent nodes within a computer network to achieve a common goal. The author presents a new mechanism called general structured voting for cooperation management and demonstrates its use for handling instances of these problem domains. The proposed approach is shown to be very flexible, covers a wide range of scenarios, and supports an easy tailoring. In particular, it supports the switching from one cooperation scheme to another, e.g., as a reaction to changing network characteristics, simply by modifying the parameters of the model, avoiding a time and money consuming modification of the implementation.<>
数据复制方案和互斥协议可以看作是协作方案的特殊实例,它们描述了计算机网络中独立节点为实现共同目标而进行的相互作用。作者提出了一种新的机制,称为合作管理的一般结构化投票,并演示了它在处理这些问题域实例中的应用。所建议的方法非常灵活,涵盖了广泛的场景,并支持简单的裁剪。特别是,它支持从一种合作方案切换到另一种合作方案,例如,作为对变化的网络特性的反应,只需修改模型的参数,避免了对实现进行耗时和金钱的修改
{"title":"General structured voting: a flexible framework for modelling cooperations","authors":"Oliver E. Theel","doi":"10.1109/ICDCS.1993.287704","DOIUrl":"https://doi.org/10.1109/ICDCS.1993.287704","url":null,"abstract":"Data replication schemes and mutual exclusion protocols can be regarded as special instances of cooperation schemes, which describe the interaction of independent nodes within a computer network to achieve a common goal. The author presents a new mechanism called general structured voting for cooperation management and demonstrates its use for handling instances of these problem domains. The proposed approach is shown to be very flexible, covers a wide range of scenarios, and supports an easy tailoring. In particular, it supports the switching from one cooperation scheme to another, e.g., as a reaction to changing network characteristics, simply by modifying the parameters of the model, avoiding a time and money consuming modification of the implementation.<<ETX>>","PeriodicalId":249060,"journal":{"name":"[1993] Proceedings. The 13th International Conference on Distributed Computing Systems","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129940655","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 25
Distributed modeling and implementation of high performance communication architectures 高性能通信架构的分布式建模和实现
K. Shafer, Mohan L. Ahuja
High performance distributed computing systems require high performance communication systems. Distributed modeling and implementation of these communication systems is important. Toward this goal, the authors refine the process-to-channel/sub agent/-to-process (PCP) model of asynchronous distributed communication. While the PCP model provides a versatile and succinct mechanism for specifying and comparing different types of channels, it is inherently centralized. The refined model presented here, the process-to-channel/sub agent/-to-channel/sub agent/-to-process (PCCP) communication model, is amenable to distributed modeling and implementation of channels. The usefulness of the PCCP model is demonstrated by presenting a distributed implementation of hierarchical F-channels.<>
高性能的分布式计算系统需要高性能的通信系统。这些通信系统的分布式建模和实现非常重要。为了实现这一目标,作者改进了异步分布式通信的进程到通道/子代理/进程(PCP)模型。虽然PCP模型为指定和比较不同类型的通道提供了一种通用而简洁的机制,但它本质上是集中的。这里提出的精细化模型,即流程到通道/子代理/子代理/到通道/子代理/到流程(PCCP)通信模型,适用于通道的分布式建模和实现。PCCP模型的有用性通过呈现分层f通道的分布式实现来证明。
{"title":"Distributed modeling and implementation of high performance communication architectures","authors":"K. Shafer, Mohan L. Ahuja","doi":"10.1109/ICDCS.1993.287723","DOIUrl":"https://doi.org/10.1109/ICDCS.1993.287723","url":null,"abstract":"High performance distributed computing systems require high performance communication systems. Distributed modeling and implementation of these communication systems is important. Toward this goal, the authors refine the process-to-channel/sub agent/-to-process (PCP) model of asynchronous distributed communication. While the PCP model provides a versatile and succinct mechanism for specifying and comparing different types of channels, it is inherently centralized. The refined model presented here, the process-to-channel/sub agent/-to-channel/sub agent/-to-process (PCCP) communication model, is amenable to distributed modeling and implementation of channels. The usefulness of the PCCP model is demonstrated by presenting a distributed implementation of hierarchical F-channels.<<ETX>>","PeriodicalId":249060,"journal":{"name":"[1993] Proceedings. The 13th International Conference on Distributed Computing Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132725010","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
A general architecture for load balancing in a distributed-memory environment 分布式内存环境中用于负载平衡的通用架构
H. Nishikawa, P. Steenkiste
The goal of load balancing is to assign to each node a number of tasks proportional to its performance. On distributed-memory machines, it is important to take data dependencies into account when distributing tasks, since they have a big impact on the communication requirements of the distributed application. The authors present a load balancing architecture that can deal with applications with heterogeneous tasks. The idea is to provide a set of load balancers that are effective for different types of homogeneous tasks, and to allow users to combine these load balancers for applications with heterogeneous tasks. This architecture was implemented on the Nectar multicomputer and performance results are presented for several applications with homogeneous and heterogeneous tasks.<>
负载平衡的目标是为每个节点分配与其性能成比例的任务数量。在分布式内存机器上,在分配任务时考虑数据依赖性是很重要的,因为它们对分布式应用程序的通信需求有很大的影响。作者提出了一种负载平衡架构,可以处理具有异构任务的应用程序。其思想是提供一组对不同类型的同构任务有效的负载平衡器,并允许用户将这些负载平衡器用于具有异构任务的应用程序。该体系结构在Nectar多计算机上实现,并给出了具有同构和异构任务的几个应用程序的性能结果。
{"title":"A general architecture for load balancing in a distributed-memory environment","authors":"H. Nishikawa, P. Steenkiste","doi":"10.1109/ICDCS.1993.287724","DOIUrl":"https://doi.org/10.1109/ICDCS.1993.287724","url":null,"abstract":"The goal of load balancing is to assign to each node a number of tasks proportional to its performance. On distributed-memory machines, it is important to take data dependencies into account when distributing tasks, since they have a big impact on the communication requirements of the distributed application. The authors present a load balancing architecture that can deal with applications with heterogeneous tasks. The idea is to provide a set of load balancers that are effective for different types of homogeneous tasks, and to allow users to combine these load balancers for applications with heterogeneous tasks. This architecture was implemented on the Nectar multicomputer and performance results are presented for several applications with homogeneous and heterogeneous tasks.<<ETX>>","PeriodicalId":249060,"journal":{"name":"[1993] Proceedings. The 13th International Conference on Distributed Computing Systems","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126579198","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 27
Providing performance guarantees in an FDDI network 在FDDI网络中提供性能保证
D. Long, Carol Osterbrock, L. Cabrera
A network subsystem supporting a continuous media file system must guarantee a minimum throughput, a maximum delay, and a maximum jitter. The authors present a transport protocol that provides these guarantees. To support different types of service, the protocol is built from modules selected to meet the requirements of each communication session. A buffering technique is used to provide jitter guarantees. To provide throughput and delay guarantees, network performance is optimized based on the required transfer rate. The effects of controlling transmission rate and packet size are presented. The resulting transport protocol is modeled on a simulated FDDI (fiber distributed data interface) network and the results are analyzed. It is shown that the protocol provides the required guarantees for the anticipated types of traffic.<>
支持连续媒体文件系统的网络子系统必须保证最小吞吐量、最大延迟和最大抖动。作者提出了一个提供这些保证的传输协议。为了支持不同类型的服务,该协议通过选择满足每个通信会话需求的模块来构建。缓冲技术用于提供抖动保证。为了提供吞吐量和延迟保证,网络性能根据所需的传输速率进行优化。给出了控制传输速率和数据包大小的效果。在模拟的FDDI(光纤分布式数据接口)网络上对生成的传输协议进行了建模,并对结果进行了分析。结果表明,该协议为预期的流量类型提供了所需的保证。
{"title":"Providing performance guarantees in an FDDI network","authors":"D. Long, Carol Osterbrock, L. Cabrera","doi":"10.1109/ICDCS.1993.287693","DOIUrl":"https://doi.org/10.1109/ICDCS.1993.287693","url":null,"abstract":"A network subsystem supporting a continuous media file system must guarantee a minimum throughput, a maximum delay, and a maximum jitter. The authors present a transport protocol that provides these guarantees. To support different types of service, the protocol is built from modules selected to meet the requirements of each communication session. A buffering technique is used to provide jitter guarantees. To provide throughput and delay guarantees, network performance is optimized based on the required transfer rate. The effects of controlling transmission rate and packet size are presented. The resulting transport protocol is modeled on a simulated FDDI (fiber distributed data interface) network and the results are analyzed. It is shown that the protocol provides the required guarantees for the anticipated types of traffic.<<ETX>>","PeriodicalId":249060,"journal":{"name":"[1993] Proceedings. The 13th International Conference on Distributed Computing Systems","volume":"156 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131937198","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
Decentralized consensus protocols with multi-port communication 具有多端口通信的分散共识协议
Ming-Syan Chen, Philip S. Yu, Kun-Lung Wu
The authors develop efficient decentralized consensus protocols for a distributed system with multi-port communication. Two classes of decentralized consensus protocols are considered: the one without an initiator and the one with an initiator. The case of one-port communication is first presented, i.e., each node can send out one message in one step, and then results are derived for the case of multi-port communication, i.e., each node can send out more than one message in one step. Given an arbitrary number of nodes in a system, the proposed protocols can reach the consensus in the minimal numbers of message steps. The number of messages incurred by each algorithm is also derived.<>
作者为具有多端口通信的分布式系统开发了高效的分散共识协议。考虑了两类分散的共识协议:没有发起者和有发起者的协议。首先给出了单端口通信的情况,即每个节点可以在一步中发出一条消息,然后推导出了多端口通信的情况,即每个节点可以在一步中发出多条消息。给定系统中任意数量的节点,所提出的协议可以在最小的消息步数内达成共识。还推导了每种算法产生的消息数。
{"title":"Decentralized consensus protocols with multi-port communication","authors":"Ming-Syan Chen, Philip S. Yu, Kun-Lung Wu","doi":"10.1109/ICDCS.1993.287690","DOIUrl":"https://doi.org/10.1109/ICDCS.1993.287690","url":null,"abstract":"The authors develop efficient decentralized consensus protocols for a distributed system with multi-port communication. Two classes of decentralized consensus protocols are considered: the one without an initiator and the one with an initiator. The case of one-port communication is first presented, i.e., each node can send out one message in one step, and then results are derived for the case of multi-port communication, i.e., each node can send out more than one message in one step. Given an arbitrary number of nodes in a system, the proposed protocols can reach the consensus in the minimal numbers of message steps. The number of messages incurred by each algorithm is also derived.<<ETX>>","PeriodicalId":249060,"journal":{"name":"[1993] Proceedings. The 13th International Conference on Distributed Computing Systems","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132459530","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
Disk cache replacement policies for network fileservers 网络文件服务器的磁盘缓存替换策略
Darryl L. Willick, D. Eager, R. Bunt
Trace driven simulations were used to study the performance of several disk cache replacement policies for network file servers. It is shown that locality based approaches, such as the common least recently used (LRU) policy, which are known to work well on stand-alone disked workstations and at client workstations in distributed systems, are inappropriate at a fileserver. Quite simple frequency based approaches do better. More sophisticated frequency based policies (eg., that take into account the file type) may offer additional improvements.<>
采用跟踪驱动仿真方法研究了几种网络文件服务器磁盘缓存替换策略的性能。本文表明,基于局部性的方法,如最近最少使用(LRU)策略,已知在独立的磁盘工作站和分布式系统中的客户机工作站上运行良好,但不适用于文件服务器。非常简单的基于频率的方法效果更好。更复杂的基于频率的策略(例如。(考虑到文件类型)可能会提供额外的改进。
{"title":"Disk cache replacement policies for network fileservers","authors":"Darryl L. Willick, D. Eager, R. Bunt","doi":"10.1109/ICDCS.1993.287729","DOIUrl":"https://doi.org/10.1109/ICDCS.1993.287729","url":null,"abstract":"Trace driven simulations were used to study the performance of several disk cache replacement policies for network file servers. It is shown that locality based approaches, such as the common least recently used (LRU) policy, which are known to work well on stand-alone disked workstations and at client workstations in distributed systems, are inappropriate at a fileserver. Quite simple frequency based approaches do better. More sophisticated frequency based policies (eg., that take into account the file type) may offer additional improvements.<<ETX>>","PeriodicalId":249060,"journal":{"name":"[1993] Proceedings. The 13th International Conference on Distributed Computing Systems","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124899368","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 97
Inter-machine protocols for electronic libraries 电子图书馆的机器间协议
H. Gladney
Emerging technology permits electronic document libraries which store large numbers of images for access in wide-area networks. The expected statistics and security needs of electronic library applications favor new client-server session protocols. The author proposes a scheme that makes communications efficient in a well-defined sense. DocSS, a document storage subsystem, implements the scheme. An early version is in production in human service (welfare, taxation, police) and engineering applications.<>
新兴技术允许在广域网中存储大量图像的电子文档库。电子图书馆应用程序的预期统计数据和安全需求有利于新的客户机-服务器会话协议。作者提出了一种在定义良好的意义上使通信高效的方案。文档存储子系统DocSS实现了该方案。早期版本已投入生产,用于人类服务(福利、税收、警察)和工程应用。
{"title":"Inter-machine protocols for electronic libraries","authors":"H. Gladney","doi":"10.1109/ICDCS.1993.287699","DOIUrl":"https://doi.org/10.1109/ICDCS.1993.287699","url":null,"abstract":"Emerging technology permits electronic document libraries which store large numbers of images for access in wide-area networks. The expected statistics and security needs of electronic library applications favor new client-server session protocols. The author proposes a scheme that makes communications efficient in a well-defined sense. DocSS, a document storage subsystem, implements the scheme. An early version is in production in human service (welfare, taxation, police) and engineering applications.<<ETX>>","PeriodicalId":249060,"journal":{"name":"[1993] Proceedings. The 13th International Conference on Distributed Computing Systems","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123555995","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Intelligent job selection for distributed scheduling 分布式调度的智能作业选择
Chang-Jia Wang, P. Krueger, Ming T. Liu
A key issue in distributed scheduling is selecting appropriate jobs to transfer. A job selection policy that considers the diversity of job behaviors is proposed. A mechanism used in artificial neural networks, called weight climbing, is employed. Using this mechanism, a distributed scheduler can learn the behavior of a job from its past executions and make a correct prediction about whether transferring the job is worthwhile. A scheduler using the proposed job selection policy has been implemented and experimental results show that it is able to learn job behaviors fast, make decisions accurately and adjust itself promptly when system configuration or program behaviors are changed. In addition, the selection policy introduces only negligible time and space overhead.<>
分布式调度中的一个关键问题是选择合适的作业进行转移。提出了一种考虑工作行为多样性的工作选择策略。采用了人工神经网络中使用的一种机制,称为权重攀升。使用这种机制,分布式调度器可以从过去的执行中了解作业的行为,并对是否值得转移作业做出正确的预测。利用所提出的作业选择策略实现了一个调度程序,实验结果表明,当系统配置或程序行为发生变化时,调度程序能够快速学习作业行为,做出准确的决策并及时进行自我调整。此外,选择策略只引入了可以忽略不计的时间和空间开销。
{"title":"Intelligent job selection for distributed scheduling","authors":"Chang-Jia Wang, P. Krueger, Ming T. Liu","doi":"10.1109/ICDCS.1993.287672","DOIUrl":"https://doi.org/10.1109/ICDCS.1993.287672","url":null,"abstract":"A key issue in distributed scheduling is selecting appropriate jobs to transfer. A job selection policy that considers the diversity of job behaviors is proposed. A mechanism used in artificial neural networks, called weight climbing, is employed. Using this mechanism, a distributed scheduler can learn the behavior of a job from its past executions and make a correct prediction about whether transferring the job is worthwhile. A scheduler using the proposed job selection policy has been implemented and experimental results show that it is able to learn job behaviors fast, make decisions accurately and adjust itself promptly when system configuration or program behaviors are changed. In addition, the selection policy introduces only negligible time and space overhead.<<ETX>>","PeriodicalId":249060,"journal":{"name":"[1993] Proceedings. The 13th International Conference on Distributed Computing Systems","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129680548","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 17
Run-time support and storage management for memory-mapped persistent objects 内存映射持久对象的运行时支持和存储管理
B. Millard, P. Dasgupta, Sanjay G. Rao, R. Kuramkote
The authors present the design and implementation of a persistent store called SPOMS. SPOMS is a runtime system that provides a store for persistent objects and is language independent. The objects are created via calls to SPOMS, and, when used, SPOMS directly maps them into the spaces of all requesting processes. The objects are stored in native format and are concurrently sharable. The store can handle distributed applications. The system uses the concept of a compiled class to manage persistent objects. The compiled class is a template that is used to create and store objects in a language independent manner and so that object reuse can occur without recompilation or relinking of an application that uses it. A prototype of SPOMS has been built on top of the Mach operating system. The motivations, the design, and implementation details are presented. Related and future work are discussed.<>
作者介绍了一个名为SPOMS的持久存储的设计和实现。SPOMS是一个运行时系统,它为持久对象提供存储,并且与语言无关。对象是通过调用SPOMS创建的,使用时,SPOMS直接将它们映射到所有请求进程的空间中。对象以本机格式存储,并且可并发共享。存储可以处理分布式应用程序。系统使用编译类的概念来管理持久对象。编译后的类是一个模板,用于以独立于语言的方式创建和存储对象,因此可以在不重新编译或重新链接使用它的应用程序的情况下进行对象重用。SPOMS的原型已经建立在Mach操作系统之上。介绍了其动机、设计和实现细节。并对今后的工作进行了讨论。
{"title":"Run-time support and storage management for memory-mapped persistent objects","authors":"B. Millard, P. Dasgupta, Sanjay G. Rao, R. Kuramkote","doi":"10.1109/ICDCS.1993.287673","DOIUrl":"https://doi.org/10.1109/ICDCS.1993.287673","url":null,"abstract":"The authors present the design and implementation of a persistent store called SPOMS. SPOMS is a runtime system that provides a store for persistent objects and is language independent. The objects are created via calls to SPOMS, and, when used, SPOMS directly maps them into the spaces of all requesting processes. The objects are stored in native format and are concurrently sharable. The store can handle distributed applications. The system uses the concept of a compiled class to manage persistent objects. The compiled class is a template that is used to create and store objects in a language independent manner and so that object reuse can occur without recompilation or relinking of an application that uses it. A prototype of SPOMS has been built on top of the Mach operating system. The motivations, the design, and implementation details are presented. Related and future work are discussed.<<ETX>>","PeriodicalId":249060,"journal":{"name":"[1993] Proceedings. The 13th International Conference on Distributed Computing Systems","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116698742","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
Diagnosis of single transition faults in communicating finite state machines 通信有限状态机中单次转换故障的诊断
A. Ghedamsi, G. Bochmann, R. Dssouli
The authors propose a generalized diagnostic algorithm for the case where more than one fault (output or transfer) may be present in one of the transitions of a deterministic system represented by a set of communicating finite state machines (CFSMs). Such an algorithm localizes the faulty transition in the distributed system once the fault has been detected. It generates, if necessary, additional diagnostic test cases which depend on the observed symptoms and which permit the location of the detected faults. The algorithm guarantees the correct diagnosis of any single or double fault (output and/or transfer) in at most one of the transitions of a deterministic system which is represented by a set of communicating FSMs. A simple example is used to demonstrate the functioning of the different steps of the proposed diagnostic algorithm.<>
针对由一组通信有限状态机(CFSMs)表示的确定性系统的一个过渡中可能存在多个故障(输出或转移)的情况,提出了一种广义诊断算法。该算法在检测到故障后,将故障转移定位在分布式系统中。如有必要,它会生成额外的诊断测试用例,这些用例取决于观察到的症状,并允许定位检测到的故障。该算法保证在由一组通信fsm表示的确定性系统的最多一个转换中正确诊断任何单个或双故障(输出和/或传输)。用一个简单的例子来说明所提出的诊断算法的不同步骤的功能
{"title":"Diagnosis of single transition faults in communicating finite state machines","authors":"A. Ghedamsi, G. Bochmann, R. Dssouli","doi":"10.1109/ICDCS.1993.287712","DOIUrl":"https://doi.org/10.1109/ICDCS.1993.287712","url":null,"abstract":"The authors propose a generalized diagnostic algorithm for the case where more than one fault (output or transfer) may be present in one of the transitions of a deterministic system represented by a set of communicating finite state machines (CFSMs). Such an algorithm localizes the faulty transition in the distributed system once the fault has been detected. It generates, if necessary, additional diagnostic test cases which depend on the observed symptoms and which permit the location of the detected faults. The algorithm guarantees the correct diagnosis of any single or double fault (output and/or transfer) in at most one of the transitions of a deterministic system which is represented by a set of communicating FSMs. A simple example is used to demonstrate the functioning of the different steps of the proposed diagnostic algorithm.<<ETX>>","PeriodicalId":249060,"journal":{"name":"[1993] Proceedings. The 13th International Conference on Distributed Computing Systems","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117170868","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
期刊
[1993] Proceedings. The 13th International Conference on Distributed Computing Systems
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1