Models and Mechanisms for Programming Interactions in Concurrent Systems

并发系统中编程交互的模型和机制

• 批准号: RGPIN-2017-06955
• 负责人: Jamali, Nadeem
• 金额: $ 1.46万
• 依托单位: University of Saskatchewan
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2020
• 资助国家: 加拿大
• 起止时间: 2020-01-01 至 2021-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=712505
• 关键词: Models; Mechanisms; Programming; Interactions; Concurrent

Although concurrent programming is more accessible to programmers today than ever, programming of interactions between processes continues to be challenging. These interactions can be competitive or collaborative. The programming of these interaction concerns is often intermixed with the programming of the functions of individual processes. Proposed work will build formal models and mechanisms to support programming of interactions in concurrent systems. In the recent past, we have addressed the problem of resource-competitive interactions between computations. We have developed fine-grained mechanisms -- based on my CyberOrgs model -- for coordinating computations' access to owned resources. These mechanisms have been used for supporting deadline assurance, for power-efficiency in multi-core processors, and for superior load-balancing for non-uniformly sized tasks. The general approach was also applied to broader contexts, such as for enabling multimedia viewers to negotiate advertisers' access to their attention, or users of email to negotiate access to their mailboxes. Most recently, we have also addressed collaborative interactions. In one effort, we identified key mechanisms underlying crowd-sourced applications, which offer services based on data collected from a "crowd." After prototyping these mechanisms in a middleware, which significantly reduced the effort involved in developing new applications, we are now formally studying important properties of such applications, and generalizing our results to the wider class of mobile distributed sensing-based applications. In parallel, we have studied complex inter-process communications. Although there is a growing body of work to separate these concerns, existing solutions create static structures to support protocols which enable desired interactions and/or restrict undesired ones. In contrast, the approach we take is to have first-class, self-driving, dynamically evolving communications, which are reusable and composable. This research program presents many opportunities for training of highly qualified professionals. Past graduates have found excellent positions in both industry and academia. Students will learn cutting-edge approaches for programming parallel and distributed systems, and particularly using languages and libraries based on the increasingly influential Actor model of concurrent programming. The work on separating communication concerns promises to ease the programming of complex communications, and make communication code reusable. The solutions for crowd-sourced applications can democratize the creation of new services. Resource coordination work in these domains will enable provision of communication and service mechanisms as services. Developing support for resource coordination in languages like Scala will make them available to a large number of programmers.

虽然并发编程比以往任何时候都更容易被程序员所接受，但过程之间的交互编程仍然具有挑战性。这些互动可以是竞争性的，也可以是合作性的。 这些相互作用关注的编程经常与单个过程的功能的编程混合在一起。拟议的工作将建立正式的模型和机制，以支持并发系统中的交互编程。 在最近的过去，我们已经解决了计算之间的资源竞争的相互作用的问题。 我们已经开发了细粒度的机制--基于我的CyberOrgs模型--用于协调计算对自有资源的访问。这些机制已被用于支持最后期限保证、多核处理器中的功率效率以及用于非均匀大小的任务的上级负载平衡。一般的方法也适用于更广泛的情况下，如使多媒体观众协商广告商的访问他们的注意力，或电子邮件的用户协商访问他们的邮箱。 最近，我们还讨论了协作互动。 在一次努力中，我们确定了众包应用程序的关键机制，这些应用程序基于从“人群”收集的数据提供服务。“在中间件中对这些机制进行原型设计后，大大减少了开发新应用程序的工作量，我们现在正式研究这些应用程序的重要特性，并将我们的结果推广到更广泛的基于移动的分布式传感应用程序。 同时，我们研究了复杂的进程间通信。 虽然有越来越多的工作来分离这些问题，现有的解决方案创建静态结构，以支持协议，使所需的交互和/或限制不需要的。 相比之下，我们采取的方法是拥有一流的、自动驾驶的、动态发展的通信，这些通信是可重用和可组合的。 该研究计划为培养高素质的专业人员提供了许多机会。过去的毕业生在工业界和学术界都找到了很好的职位。学生将学习并行和分布式系统编程的尖端方法，特别是使用基于并发编程的日益有影响力的Actor模型的语言和库。 分离通信关注点的工作有望简化复杂通信的编程，并使通信代码可重用。 众包应用程序的解决方案可以使新服务的创建民主化。 这些领域的资源协调工作将使通信和服务机制作为服务提供成为可能。 在Scala等语言中开发对资源协调的支持将使它们对大量程序员可用。