首页 > 最新文献

Proceedings of 16th International Conference on Distributed Computing Systems最新文献

英文 中文
Larchant: persistence by reachability in distributed shared memory through garbage collection 大容量:通过垃圾收集在分布式共享内存中的可达性实现持久性
Pub Date : 1996-05-27 DOI: 10.1109/ICDCS.1996.507987
P. Ferreira, M. Shapiro
We consider a shared store based on distributed shared memory (DSM) supporting persistence by reachability (PBR) a very simple data sharing model for a distributed system. This DSM+PBR model is based on distributed garbage collection (GC). Within a general model for DSM+PBR, we specify a distributed GC algorithm that is efficient and scalable. Its main features are: (i) independent collection of memory subsets (even when replicated), (ii) orthogonal from coherence, (iii) asynchrony, and (iv) a simple heuristic to collect cycles avoiding extra I/O costs. We briefly describe our implementation and show some performance results.
我们认为基于分布式共享内存(DSM)的共享存储支持可达性持久性(PBR),这是一种非常简单的分布式系统数据共享模型。该DSM+PBR模型基于分布式垃圾收集(GC)。在DSM+PBR的通用模型中,我们指定了一种高效且可扩展的分布式GC算法。它的主要特点是:(i)独立收集内存子集(即使在复制时),(ii)与一致性正交,(iii)异步,以及(iv)简单的启发式收集周期,避免额外的i /O成本。我们简要地描述了我们的实现,并展示了一些性能结果。
{"title":"Larchant: persistence by reachability in distributed shared memory through garbage collection","authors":"P. Ferreira, M. Shapiro","doi":"10.1109/ICDCS.1996.507987","DOIUrl":"https://doi.org/10.1109/ICDCS.1996.507987","url":null,"abstract":"We consider a shared store based on distributed shared memory (DSM) supporting persistence by reachability (PBR) a very simple data sharing model for a distributed system. This DSM+PBR model is based on distributed garbage collection (GC). Within a general model for DSM+PBR, we specify a distributed GC algorithm that is efficient and scalable. Its main features are: (i) independent collection of memory subsets (even when replicated), (ii) orthogonal from coherence, (iii) asynchrony, and (iv) a simple heuristic to collect cycles avoiding extra I/O costs. We briefly describe our implementation and show some performance results.","PeriodicalId":159322,"journal":{"name":"Proceedings of 16th International Conference on Distributed Computing Systems","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121748374","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}
引用次数: 35
Performance comparison of process migration with remote process creation mechanisms in RHODOS RHODOS中进程迁移与远程进程创建机制的性能比较
Pub Date : 1996-05-27 DOI: 10.1109/ICDCS.1996.508005
D. D. Paoli, A. Goscinski, M. Hobbs, P. Joyce
We claim that both remote process creation and process migration are efficient mechanisms to be used in the improvement or development of high performance computer systems. In particular we demonstrate that the claims made by some researchers that process migration is too heavy to be used to support dynamic load balancing are unsubstantiated. We support our claim by presenting these two mechanisms available in the RHODOS distributed operating system, comparing and contrasting these mechanisms and reporting on their performance.
我们声称远程进程创建和进程迁移都是用于改进或开发高性能计算机系统的有效机制。特别是,我们证明了一些研究人员所声称的进程迁移太重而不能用于支持动态负载平衡的说法是没有根据的。我们通过展示RHODOS分布式操作系统中可用的这两种机制、比较和对比这些机制并报告它们的性能来支持我们的说法。
{"title":"Performance comparison of process migration with remote process creation mechanisms in RHODOS","authors":"D. D. Paoli, A. Goscinski, M. Hobbs, P. Joyce","doi":"10.1109/ICDCS.1996.508005","DOIUrl":"https://doi.org/10.1109/ICDCS.1996.508005","url":null,"abstract":"We claim that both remote process creation and process migration are efficient mechanisms to be used in the improvement or development of high performance computer systems. In particular we demonstrate that the claims made by some researchers that process migration is too heavy to be used to support dynamic load balancing are unsubstantiated. We support our claim by presenting these two mechanisms available in the RHODOS distributed operating system, comparing and contrasting these mechanisms and reporting on their performance.","PeriodicalId":159322,"journal":{"name":"Proceedings of 16th International Conference on Distributed Computing Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122038111","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}
引用次数: 14
A generic protocol for multipoint connections under link-state routing 链路状态路由下多点连接的通用协议
Pub Date : 1996-05-27 DOI: 10.1109/ICDCS.1996.507932
Y. Huang, P. McKinley
We propose a protocol for the construction and maintenance of multipoint connections (MCs). The protocol is based on link-state routing: information regarding multipoint connections is broadcast to network switches, which perform all computations locally. The protocol is generic in that it can be used with MCs of different types, including symmetric MCs, receiver-only MCs, and asymmetric MCs. Results of a simulation study show that this generality can be achieved with negligible (in normal traffic periods) to moderate (in very busy periods) signaling overhead.
我们提出了一个多点连接(MCs)的构建和维护协议。该协议基于链路状态路由:有关多点连接的信息被广播到网络交换机,网络交换机在本地执行所有计算。该协议是通用的,它可以用于不同类型的MCs,包括对称MCs、仅接收方MCs和非对称MCs。仿真研究的结果表明,这种通用性可以通过忽略(在正常流量期间)到适度(在非常繁忙期间)的信令开销来实现。
{"title":"A generic protocol for multipoint connections under link-state routing","authors":"Y. Huang, P. McKinley","doi":"10.1109/ICDCS.1996.507932","DOIUrl":"https://doi.org/10.1109/ICDCS.1996.507932","url":null,"abstract":"We propose a protocol for the construction and maintenance of multipoint connections (MCs). The protocol is based on link-state routing: information regarding multipoint connections is broadcast to network switches, which perform all computations locally. The protocol is generic in that it can be used with MCs of different types, including symmetric MCs, receiver-only MCs, and asymmetric MCs. Results of a simulation study show that this generality can be achieved with negligible (in normal traffic periods) to moderate (in very busy periods) signaling overhead.","PeriodicalId":159322,"journal":{"name":"Proceedings of 16th International Conference on Distributed Computing Systems","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126937610","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}
引用次数: 2
Reducing the cost for non-blocking in atomic commitment 减少原子提交中非阻塞的成本
Pub Date : 1996-05-27 DOI: 10.1109/ICDCS.1996.508021
R. Guerraoui, M. Larrea, A. Schiper
Non-blocking atomic commitment protocols enable a decision (commit or abort) to be reached at every correct participant, despite the failure of others. The cost for non-blocking implies however (1) a high number of messages and communication steps required to reach commit, and (2) a complicated termination protocol needed in the case of failure suspicions. In this paper, we present a non-blocking protocol, called MDSPC (Modular and Decentralized Three Phase Commit), which enables to trade resiliency against efficiency. As conveyed by our performance measures, MDSPC is faster than existing non-blocking protocols, and in the case of a broadcast network and a reasonable resiliency rate (e.g. 2 or 3) is almost as efficient as the classical (blocking) 2PC. The termination protocol of MDSPC is encapsulated inside a majority consensus protocol. This modularity leads to a simple structure of MDSPC and enables a precise characterization of its liveness in an asynchronous system with an unreliable failure detector.
非阻塞原子提交协议允许在每个正确的参与者处达成决策(提交或中止),而不管其他参与者失败。然而,非阻塞的成本意味着(1)达到提交所需的大量消息和通信步骤,以及(2)在怀疑失败的情况下需要复杂的终止协议。在本文中,我们提出了一种非阻塞协议,称为MDSPC(模块化和分散的三阶段提交),它可以将弹性与效率进行交易。正如我们的性能指标所传达的那样,MDSPC比现有的非阻塞协议更快,并且在广播网络和合理的弹性率(例如2或3)的情况下,几乎与经典(阻塞)2PC一样高效。MDSPC的终止协议封装在多数共识协议中。这种模块化导致MDSPC的简单结构,并使其在具有不可靠故障检测器的异步系统中的活性的精确表征。
{"title":"Reducing the cost for non-blocking in atomic commitment","authors":"R. Guerraoui, M. Larrea, A. Schiper","doi":"10.1109/ICDCS.1996.508021","DOIUrl":"https://doi.org/10.1109/ICDCS.1996.508021","url":null,"abstract":"Non-blocking atomic commitment protocols enable a decision (commit or abort) to be reached at every correct participant, despite the failure of others. The cost for non-blocking implies however (1) a high number of messages and communication steps required to reach commit, and (2) a complicated termination protocol needed in the case of failure suspicions. In this paper, we present a non-blocking protocol, called MDSPC (Modular and Decentralized Three Phase Commit), which enables to trade resiliency against efficiency. As conveyed by our performance measures, MDSPC is faster than existing non-blocking protocols, and in the case of a broadcast network and a reasonable resiliency rate (e.g. 2 or 3) is almost as efficient as the classical (blocking) 2PC. The termination protocol of MDSPC is encapsulated inside a majority consensus protocol. This modularity leads to a simple structure of MDSPC and enables a precise characterization of its liveness in an asynchronous system with an unreliable failure detector.","PeriodicalId":159322,"journal":{"name":"Proceedings of 16th International Conference on Distributed Computing Systems","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127233149","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}
引用次数: 33
Integrating routing and resource reservation mechanisms in real-time multicast protocols 集成实时组播协议中的路由和资源预留机制
Pub Date : 1996-05-27 DOI: 10.1109/ICDCS.1996.507911
Seiji Murata, A. Shionozaki, M. Tokoro
Multimedia applications must incorporate real-time task processing over networks. In most cases, there are many receivers for each data stream. Thus, a multicast resource reservation protocol for ensuring timing constraints over the network is required. In this paper, a real-time multicast protocol, called RtMP (Real-time Multicast Protocol) is presented. RtMP provides flexible connection establishment by integrating the multicast routing mechanism and the resource reservation mechanism by defining a generic interface between them. RtMP also provides a mechanism that guarantees service level of established connections according to the sender list. An implementation of RtMP on the real-time OS RT-Mach is also described along with performance evaluation. Finally, a comparison of RtMP with other real-time multicast protocols is given and its efficiency is shown.
多媒体应用程序必须结合网络上的实时任务处理。在大多数情况下,每个数据流都有许多接收器。因此,需要一种多播资源保留协议来确保网络上的时间约束。本文提出了实时组播协议RtMP (real-time multicast protocol)。RtMP通过定义通用接口,将组播路由机制和资源预留机制集成在一起,提供了灵活的连接建立机制。RtMP还提供了一种机制,根据发送者列表来保证已建立连接的服务级别。本文还描述了RtMP在实时操作系统RT-Mach上的实现以及性能评估。最后,将RtMP协议与其他实时组播协议进行了比较,证明了RtMP协议的有效性。
{"title":"Integrating routing and resource reservation mechanisms in real-time multicast protocols","authors":"Seiji Murata, A. Shionozaki, M. Tokoro","doi":"10.1109/ICDCS.1996.507911","DOIUrl":"https://doi.org/10.1109/ICDCS.1996.507911","url":null,"abstract":"Multimedia applications must incorporate real-time task processing over networks. In most cases, there are many receivers for each data stream. Thus, a multicast resource reservation protocol for ensuring timing constraints over the network is required. In this paper, a real-time multicast protocol, called RtMP (Real-time Multicast Protocol) is presented. RtMP provides flexible connection establishment by integrating the multicast routing mechanism and the resource reservation mechanism by defining a generic interface between them. RtMP also provides a mechanism that guarantees service level of established connections according to the sender list. An implementation of RtMP on the real-time OS RT-Mach is also described along with performance evaluation. Finally, a comparison of RtMP with other real-time multicast protocols is given and its efficiency is shown.","PeriodicalId":159322,"journal":{"name":"Proceedings of 16th International Conference on Distributed Computing Systems","volume":"191 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132633238","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
The relative importance of concurrent writers and weak consistency models 并发写器和弱一致性模型的相对重要性
Pub Date : 1996-05-27 DOI: 10.1109/ICDCS.1996.507905
P. Keleher
This paper presents a detailed comparison of the relative importance of allowing concurrent writers versus the choice of the underlying consistency model. Our comparison is based on single- and multiple-writer versions of a lazy release consistent (LRC) protocol, and a single-writer sequentially consistent protocol, all implemented in the CVM software distributed shared memory system. We find that in our environment, which we believe to be representative of distributed systems today and in the near future, the consistency model has a much higher impact on overall performance than the choice of whether to allow concurrent writers. The multiple writer LRC protocol performs an average of 9% better than the single writer LRC protocol, but 34% better than the single-writer sequentially consistent protocol. Set against this, MW-LRC required an average of 72% memory overhead, compared to 10% overhead for the single-writer protocoIs.
本文详细比较了允许并发写入器与选择底层一致性模型的相对重要性。我们的比较是基于延迟发布一致性(LRC)协议的单写器和多写器版本,以及单写器顺序一致性协议,它们都是在CVM软件分布式共享内存系统中实现的。我们发现,在我们的环境中(我们认为这是当今和不久的将来分布式系统的代表),一致性模型对整体性能的影响要比选择是否允许并发写入器大得多。多写入器LRC协议的性能平均比单写入器LRC协议高9%,但比单写入器顺序一致性协议高34%。与此相反,MW-LRC平均需要72%的内存开销,而单写入协议的开销为10%。
{"title":"The relative importance of concurrent writers and weak consistency models","authors":"P. Keleher","doi":"10.1109/ICDCS.1996.507905","DOIUrl":"https://doi.org/10.1109/ICDCS.1996.507905","url":null,"abstract":"This paper presents a detailed comparison of the relative importance of allowing concurrent writers versus the choice of the underlying consistency model. Our comparison is based on single- and multiple-writer versions of a lazy release consistent (LRC) protocol, and a single-writer sequentially consistent protocol, all implemented in the CVM software distributed shared memory system. We find that in our environment, which we believe to be representative of distributed systems today and in the near future, the consistency model has a much higher impact on overall performance than the choice of whether to allow concurrent writers. The multiple writer LRC protocol performs an average of 9% better than the single writer LRC protocol, but 34% better than the single-writer sequentially consistent protocol. Set against this, MW-LRC required an average of 72% memory overhead, compared to 10% overhead for the single-writer protocoIs.","PeriodicalId":159322,"journal":{"name":"Proceedings of 16th International Conference on Distributed Computing Systems","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133746299","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}
引用次数: 136
On-line avoidance of the intrusive effects of monitoring on runtime scheduling decisions 在线避免监视对运行时调度决策的侵入性影响
Pub Date : 1996-05-27 DOI: 10.1109/ICDCS.1996.507919
Wanqing Wu, Madalene Spezialetti, Rajiv Gupta
Distributed programs are often instrumented for collecting information to assist in analyzing the behavior of an application. However, the act of monitoring a process introduces intrusive overhead that delays the times at which actions occur in a monitored execution in comparison to the times at which they occur in an unmonitored execution. These delays can alter the actions of individual processes and the behavior of the system as a whole. The overall behavior of process scheduling is determined by the choices a scheduler makes in terms of when particular processes will be given access to the processor. Monitoring introduced delays can result in different scheduling choices being made which can in turn lead 20 changes in the behavior of processes throughout the distributed system. This paper presents intrusion removal techniques which are designed to accommodate monitoring delays in an attempt to minimize the intrusion on the scheduling and execution behavior of the monitored computation.
分布式程序通常用于收集信息,以帮助分析应用程序的行为。但是,监视流程的行为引入了侵入性开销,与未监视的执行相比,监视执行中操作发生的时间会延迟。这些延迟可以改变单个过程的行为和整个系统的行为。进程调度的总体行为取决于调度器在何时给予特定进程访问处理器的权限方面所做的选择。监视引入的延迟会导致做出不同的调度选择,这反过来又会导致整个分布式系统中进程的行为发生变化。本文提出了一种能够适应监控延迟的入侵去除技术,以尽量减少对被监控计算的调度和执行行为的入侵。
{"title":"On-line avoidance of the intrusive effects of monitoring on runtime scheduling decisions","authors":"Wanqing Wu, Madalene Spezialetti, Rajiv Gupta","doi":"10.1109/ICDCS.1996.507919","DOIUrl":"https://doi.org/10.1109/ICDCS.1996.507919","url":null,"abstract":"Distributed programs are often instrumented for collecting information to assist in analyzing the behavior of an application. However, the act of monitoring a process introduces intrusive overhead that delays the times at which actions occur in a monitored execution in comparison to the times at which they occur in an unmonitored execution. These delays can alter the actions of individual processes and the behavior of the system as a whole. The overall behavior of process scheduling is determined by the choices a scheduler makes in terms of when particular processes will be given access to the processor. Monitoring introduced delays can result in different scheduling choices being made which can in turn lead 20 changes in the behavior of processes throughout the distributed system. This paper presents intrusion removal techniques which are designed to accommodate monitoring delays in an attempt to minimize the intrusion on the scheduling and execution behavior of the monitored computation.","PeriodicalId":159322,"journal":{"name":"Proceedings of 16th International Conference on Distributed Computing Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131535026","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
Evaluation of a distributed single address space operating system 分布式单地址空间操作系统的评价
Pub Date : 1996-05-27 DOI: 10.1109/ICDCS.1996.507998
T. Wilkinson, Kevin Murray
In this paper we present an evaluation of Angel, a single address space operating system, originally designed in 1992, which has been developed over the past few years. The purpose of this work was to examine how we could simplify the kernel and service structure using the single address space as the enabling technology. We believe that in so doing, we could achieve far better performance and simpler extensibility compared to other micro-kernel architectures. We recently completed a prototype system based around the PC/486 architecture which has allowed us to evaluate our claims and postulations. An initial analysis of this prototype has been performed to examine the system's structure and performance characteristics. This demonstrates an architecture which is more flexible, faster and smaller than monolithic operating systems.
在本文中,我们对Angel进行了评估,Angel是一个单地址空间操作系统,最初设计于1992年,经过几年的发展。这项工作的目的是研究如何使用单个地址空间作为支持技术来简化内核和服务结构。我们相信,与其他微内核体系结构相比,这样做可以获得更好的性能和更简单的可扩展性。我们最近完成了一个基于PC/486架构的原型系统,这使我们能够评估我们的主张和假设。对该原型进行了初步分析,以检查系统的结构和性能特征。这展示了一个比单片操作系统更灵活、更快和更小的架构。
{"title":"Evaluation of a distributed single address space operating system","authors":"T. Wilkinson, Kevin Murray","doi":"10.1109/ICDCS.1996.507998","DOIUrl":"https://doi.org/10.1109/ICDCS.1996.507998","url":null,"abstract":"In this paper we present an evaluation of Angel, a single address space operating system, originally designed in 1992, which has been developed over the past few years. The purpose of this work was to examine how we could simplify the kernel and service structure using the single address space as the enabling technology. We believe that in so doing, we could achieve far better performance and simpler extensibility compared to other micro-kernel architectures. We recently completed a prototype system based around the PC/486 architecture which has allowed us to evaluate our claims and postulations. An initial analysis of this prototype has been performed to examine the system's structure and performance characteristics. This demonstrates an architecture which is more flexible, faster and smaller than monolithic operating systems.","PeriodicalId":159322,"journal":{"name":"Proceedings of 16th International Conference on Distributed Computing Systems","volume":"313 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134410717","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}
引用次数: 15
Verifiable transaction atomicity for electronic payment protocols 电子支付协议的可验证事务原子性
Pub Date : 1996-05-27 DOI: 10.1109/ICDCS.1996.507924
Lei Tang
We study the transaction atomicity problem for designing electronic payment protocols in distributed systems. We observe that the techniques that are used to guarantee transaction atomicity in a database system are not robust enough to guarantee transaction atomicity in an electronic payment system, in which a set of dishonest or malicious participants may exhibit unpredictable behavior and cause arbitrary failures. We present a new concept-verifiable transaction atomicity-for designing electronic payment protocols. We give formal specifications to the verifiable atomic commitment problem. Then we design a robust electronic currency system to meet the specifications and achieve the verifiable transaction atomicity.
研究了分布式系统中电子支付协议设计中的事务原子性问题。我们观察到,用于保证数据库系统中事务原子性的技术不够健壮,无法保证电子支付系统中的事务原子性,在电子支付系统中,一组不诚实或恶意的参与者可能会表现出不可预测的行为并导致任意故障。我们提出了一个设计电子支付协议的新概念——可验证交易原子性。给出了可验证原子承诺问题的形式化规范。在此基础上,设计了一个鲁棒的电子货币系统,实现了可验证的交易原子性。
{"title":"Verifiable transaction atomicity for electronic payment protocols","authors":"Lei Tang","doi":"10.1109/ICDCS.1996.507924","DOIUrl":"https://doi.org/10.1109/ICDCS.1996.507924","url":null,"abstract":"We study the transaction atomicity problem for designing electronic payment protocols in distributed systems. We observe that the techniques that are used to guarantee transaction atomicity in a database system are not robust enough to guarantee transaction atomicity in an electronic payment system, in which a set of dishonest or malicious participants may exhibit unpredictable behavior and cause arbitrary failures. We present a new concept-verifiable transaction atomicity-for designing electronic payment protocols. We give formal specifications to the verifiable atomic commitment problem. Then we design a robust electronic currency system to meet the specifications and achieve the verifiable transaction atomicity.","PeriodicalId":159322,"journal":{"name":"Proceedings of 16th International Conference on Distributed Computing Systems","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133243857","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
Fault-tolerant file transmission by information dispersal algorithm in rotator graphs 旋转图中信息分散算法的容错文件传输
Pub Date : 1996-05-27 DOI: 10.1109/ICDCS.1996.507897
Yukihiro Hamada, Feng Bao, Aohan Mei, Y. Igarashi
A directed graph G=(V, E) is called the n-rotator graph if V={a/sub 1/a/sub 2//spl middot//spl middot//spl middot/a/sub n/|a/sub 1/a/sub 2//spl middot//spl middot//spl middot/a/sub n/ is a permutation of 1, 2, /spl middot//spl middot//spl middot/, n} and E={(a/sub 1/a/sub 2//spl middot//spl middot//spl middot/a/sub n/, b/sub 1/b/sub 2//spl middot//spl middot//spl middot/b/sub n/) I for some 2/spl les/i/spl les/n, b/sub 1/b/sub 2//spl middot//spl middot//spl middot/b/sub n/=a/sub 2//spl middot//spl middot//spl middot/a/sub i/a/sub 1/a/sub i+1//spl middot//spl middot//spl middot/a/sub n/}. We show that for any pair of distinct nodes in the n-rotator graph, we can construct n-1 disjoint paths, each with length less than 2n, connecting the two nodes. By using these disjoint paths and information dispersal algorithm (IDA) by M.O. Rabin (1989), we design a file transmission scheme and analyse its reliability.
如果V={A /sub 1/ A /sub 2//spl中点//spl中点//spl中点/ A /sub n/| A /sub 1/ A /sub 2//spl中点//spl中点//spl中点/ A /sub n/是1,2,/spl中点//spl中点//spl中点//spl中点//spl中点/,n}和E={(A /sub 1/ A /sub 2//spl中点//spl中点//spl中点/b/sub n/, b/sub 1/b/sub 2//spl中点//spl中点/b/sub n/) I,则有向图G=(V, E)称为n-旋转图,B /sub 1/ B /sub 2//spl middot//spl middot//spl middot//spl middot/ B /sub n/=a/sub 2//spl middot//spl middot//spl middot//spl middot/a/sub i/a/sub 1//spl middot//spl middot/a/sub n/}。我们证明了对于n-rotator图中任意一对不同的节点,我们可以构造n-1条长度小于2n的不相交路径来连接这两个节点。利用这些不相交路径和M.O. Rabin(1989)的信息分散算法(IDA),我们设计了一个文件传输方案并分析了其可靠性。
{"title":"Fault-tolerant file transmission by information dispersal algorithm in rotator graphs","authors":"Yukihiro Hamada, Feng Bao, Aohan Mei, Y. Igarashi","doi":"10.1109/ICDCS.1996.507897","DOIUrl":"https://doi.org/10.1109/ICDCS.1996.507897","url":null,"abstract":"A directed graph G=(V, E) is called the n-rotator graph if V={a/sub 1/a/sub 2//spl middot//spl middot//spl middot/a/sub n/|a/sub 1/a/sub 2//spl middot//spl middot//spl middot/a/sub n/ is a permutation of 1, 2, /spl middot//spl middot//spl middot/, n} and E={(a/sub 1/a/sub 2//spl middot//spl middot//spl middot/a/sub n/, b/sub 1/b/sub 2//spl middot//spl middot//spl middot/b/sub n/) I for some 2/spl les/i/spl les/n, b/sub 1/b/sub 2//spl middot//spl middot//spl middot/b/sub n/=a/sub 2//spl middot//spl middot//spl middot/a/sub i/a/sub 1/a/sub i+1//spl middot//spl middot//spl middot/a/sub n/}. We show that for any pair of distinct nodes in the n-rotator graph, we can construct n-1 disjoint paths, each with length less than 2n, connecting the two nodes. By using these disjoint paths and information dispersal algorithm (IDA) by M.O. Rabin (1989), we design a file transmission scheme and analyse its reliability.","PeriodicalId":159322,"journal":{"name":"Proceedings of 16th International Conference on Distributed Computing Systems","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123915173","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}
引用次数: 3
期刊
Proceedings of 16th 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学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1