The timed asynchronous distributed system model

Cristian F.; Fetzer C.

首页> 外文期刊>IEEE Transactions on Parallel and Distributed Systems >The timed asynchronous distributed system model

【24h】

The timed asynchronous distributed system model

机译：定时异步分布式系统模型

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

We propose a formal definition for the timed asynchronous distributed system model. We present extensive measurements of actual message and process scheduling delays and hardware clock drifts. These measurements confirm that this model adequately describes current distributed systems such as a network of workstations. We also give an explanation of why practically needed services, such as consensus or leader election, which are not implementable in the time-free model, are implementable in the timed asynchronous system model.

机译：我们为定时异步分布式系统模型提出了一个正式定义。我们对实际消息和进程调度延迟以及硬件时钟漂移进行了广泛的测量。这些测量结果证实了该模型可以充分描述当前的分布式系统，例如工作站网络。我们还解释了为什么在无时间模型中无法实现的，实际需要的服务（例如共识或领导者选举）可以在定时异步系统模型中实现。

著录项

来源
《IEEE Transactions on Parallel and Distributed Systems》 |1999年第6期|P.642-657|共16页
作者
Cristian F.; Fetzer C.;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类计算技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. Performance Analysis of Distributed and Asynchronous Systems using Probabilistic Timed Actors [J] . Ali Jafari, Ehsan Khamespanah, Marjan Sirjani, Electronic Communications of the EASST . 2015,第11期

机译：使用概率定时角色的分布式和异步系统的性能分析
2. Modelling and simulation of asynchronous real-time systems using Timed Rebeca [J] . Arni Hermann Reynisson, Marjan Sirjani, Luca Aceto, Science of Computer Programming . 2014,第PTaA期

机译：使用定时Rebeca进行异步实时系统的建模和仿真
3. PTRebeca: Modeling and analysis of distributed and asynchronous systems [J] . Ali Jafari, Ehsan Khamespanah, Marjan Sirjani, Science of Computer Programming . 2016,第octa15期

机译：PTRebeca：分布式和异步系统的建模和分析
4. Implementation and evaluation model for the asynchronous search techniques: from a synchronously distributed system to a asynchronous distributed system [C] . Ionel Muscalagiu, Hong Jiang, Popa Horia Emil International Symposium on Symbolic and Numeric Algorithms for Scientific Computing . 2007

机译：异步搜索技术的实现与评估模型：从同步分布式系统到异步分布式系统
5. Modeling, implementing, and tools for studying logical process-to-process channels in asynchronous distributed systems. [D] . Shafer, Keith Edward. 1992

机译：用于研究异步分布式系统中的逻辑过程到过程通道的建模，实现和工具。
6. Asynchronous distributed multielectrode microstimulation reduces seizures in the dorsal tetanus toxin model of temporal lobe epilepsy [O] . Sharanya Arcot Desai, John D. Rolston, Courtney E. McCracken, -1

机译：异步分布式多电极微刺激可减少颞叶癫痫的背面破伤风毒素模型中的癫痫发作
7. The Timed Asynchronous Distributed System Model [O] . Flaviu Cristian, Christof Fetzer 1999

机译：定时异步分布式系统模型
8. Distributed Computing for Signal Processing: Modeling of Asynchronous Parallel Computation. Appendix G. On the Design and Modeling of Special Purpose Parallel Processing Systems [R] . Smith, B. W. 1985

机译：信号处理的分布式计算：异步并行计算的建模。附录G.关于专用并行处理系统的设计和建模

The timed asynchronous distributed system model

摘要

著录项

相似文献

相关主题

期刊订阅