The role of sunchrony in the implementation of shared memory objects

sunchrony在共享内存对象实现中的作用

• 批准号: 327672-2006
• 负责人: Brodsky, Alexander
• 金额: $ 1.02万
• 依托单位: University of Winnipeg
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2006
• 资助国家: 加拿大
• 起止时间: 2006-01-01 至 2007-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=338453
• 关键词: role; sunchrony; implementation; shared; memory

Presently, most of the algorithms for solving problems in a distributed fashion do not make any assumptions regarding the degree to which the components of the underlying distributed system are synchronized.  Although such assumptions allow for a very general design methodologies, they ignore a useful attribute of most distributed systems;  namely, that the components of many distributed are comparatively synchronized.  The amount of synchrony in a system is the degree to which the system's components operate in concert. I propose to investigate how this synchrony among a system's components can be leveraged in order to design faster and more efficient distributed algorithms.  Specifically, I am interested in determining the types of synchrony present in distributed systems, which forms are most useful, and how to design distributed algorithms so that they can leverage these forms of synchrony. This is useful for several reasons.  First, it improves our understanding of the foundations of computer science.  We know that that synchrony plays an important role in determining whether and how efficiently a particular problem can be solved in a distributed manner; the challenge is to determine what this role is. Second, by determining what forms of synchrony are useful, we can design more efficient distributed systems.  These lessons are applicable to both the hardware designers and the software architects, and would facilitate better integration between a system's hardware and software.  This would improve the operation, efficiency and safety of distributed systems, which are being utilized more and more in research and industry.

目前，大多数分布式问题求解算法都没有对底层分布式系统的组件的同步程度做出任何假设，尽管这样的假设允许非常通用的设计方法，但它们忽略了大多数分布式系统的一个有用属性;也就是说，许多分布式系统的组件是相对同步的。系统中的同步量是系统组件协同操作的程度。我建议调查如何利用系统的组件之间的同步，以设计更快，更有效的分布式algorithm. Specifically，我感兴趣的是确定在分布式系统中存在的同步类型，哪些形式是最有用的，以及如何设计分布式算法，使他们可以利用这些形式的同步。这是有用的，原因有几个：首先，它提高了我们对计算机科学基础的理解，我们知道，同步在决定一个特定问题是否可以以分布式方式解决以及如何有效地解决方面起着重要作用;挑战在于确定这个角色是什么。其次，通过确定什么形式的同步是有用的，我们可以设计更有效的分布式系统。这些经验教训适用于硬件设计师和软件架构师，并将促进系统的硬件和软件之间的更好的集成。这将提高分布式系统的操作，效率和安全性，这是越来越多地在研究和工业中使用。