首页> 外文期刊>Operating systems review >Software Diversify as a Way to Well-Structured Concurrent Software
【24h】

Software Diversify as a Way to Well-Structured Concurrent Software

机译:软件多样化是结构合理的并行软件的一种方式

获取原文
获取原文并翻译 | 示例
           

摘要

There is an urgent need to extend the practice of designing and programming concurrent cooperative systems/languages. This extension has to rely on using structural units describing parts of the joint execution of cooperative components. This could allow to facilitate the design/implementation of cooperative concurrent systems because this is a sound reason for concurrent software structuring and because of the atomicity of units. Besides, there will be a feedback for the system software fault tolerating which would be easier and more natural for those systems whose design is based on these units of cooperation. They could be the units of diverse implementation as well. In this case, implementing systems with diversity could become a wide-spread common practice rather than an exotic, expensive and exceptional effort, acceptable only for space crafts and missile control. Acknowledgements. This paper is an aftermath of several discussions at Newcastle upon Tyne University, which happened during the author's postdoctoral fellowship sponsored by the Royal Society. My thanks go to my Newcastle colleagues B.Randell, J.Xu, Z.Wu, R.Stroud and C.Calsavara.
机译:迫切需要扩展设计和编程并发协作系统/语言的实践。此扩展必须依靠使用描述协作组件联合执行部分的结构单元。因为这是并发软件结构的合理原因,而且由于单元的原子性,所以这可能有助于协作并发系统的设计/实现。此外,还将提供系统软件容错的反馈,这对于那些基于这些协作单元进行设计的系统将更加轻松自然。它们也可以是多样化实施的单位。在这种情况下,实施具有多样性的系统可能会成为一种普遍的惯例,而不是一种奇特的,昂贵的和特殊的工作,只有航天器和导弹控制才能接受。致谢。本文是泰恩大学在纽卡斯尔进行的几次讨论的结果,该讨论发生在作者由皇家学会赞助的博士后研究金期间。我要感谢纽卡斯尔的同事B.Randell,J.Xu,Z.Wu,R.Stroud和C.Calsavara。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号