CAREER: Transactional Memory for Distributed Systems

职业：分布式系统的事务内存

• 批准号: 2045597
• 负责人: Gokarna Sharma
• 金额: $ 56.36万
• 依托单位: Kent State University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2021
• 资助国家: 美国
• 起止时间: 2021-02-01 至 2026-01-31
• 项目状态: 未结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2045597&HistoricalAwards=false
• 关键词: CAREER; Transactional; Memory; Distributed; Systems

A major challenge in concurrent programming is concurrency control: (i) how to coordinate accesses to memory locations shared among concurrently executing tasks and (ii) how to ensure that the computation is correct. The traditional approach is to use barriers and locks but they have several drawbacks that discourage non-expert users from writing concurrent programs. This project explores the recently emerged paradigm of transactional memory. This project explores this new paradigm in the context of the increasingly popular distributed multiprocessor systems, where concurrent tasks interact by sending messages to each other. This project establishes both theoretical as well as practical foundations. The specific goals on the theoretical foundations include developing a comprehensive set of techniques leading to impossibility results, lower bounds, and scheduling algorithms with provable performance guarantees. The specific goals on the practical foundations include developing a system, called GraphTM, that is robust enough to evaluate the designed algorithms against a wide range of benchmark applications. Previously, this paradigm was studied mostly in the context of the symmetric multiprocessor systems, where concurrent tasks interact through reading and writing the same main memory. The main difference is the non-uniformity in memory access latency in the distributed multiprocessor systems. This non-uniformity is vital and affects not only the total execution time of all concurrent tasks but also other related network parameters such as communication cost and congestion. Therefore, the technical merit of this project is based on enhancing understanding of the effects of non-uniform latency in concurrency control through the development of new tools and techniques. The outcomes of this project will have impacts on the principles and practice of concurrent programming. Due to recent architectural and computational trends, each new generation of multiprocessor systems is having an increasing number of cores. Therefore, being able to program with concurrency will be an important and necessary skill in the future. The transactional memory paradigm is conceptually simple and it will encourage non-expert users in writing concurrent programs, reaching beyond the current use of concurrent programming only among expert users. Moreover, some results of this project will be a part of courses the PI teaches. The developed system will be made publicly available. The research results will be disseminated through presentations in major conferences, workshops, and seminars. Additionally, this project will mentor and educate K-12, undergraduate, and graduate students in concurrent programming, including female, minority, and first-generation computer science students. Finally, the PI will participate in outreach events individually and in collaboration with K-12 science experience, summer undergraduate research experience (SURE), and choose Ohio first (COF) programs.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.

并发编程中的一个主要挑战是并发控制：（i）如何协调对并发执行任务之间共享的内存位置的访问，以及（ii）如何确保计算是正确的。传统的方法是使用屏障和锁，但它们有几个缺点，不鼓励非专家用户编写并发程序。这个项目探讨了最近出现的事务性记忆的范例。这个项目在日益流行的分布式多处理器系统的背景下探索这种新的范例，在分布式多处理器系统中，并发任务通过相互发送消息进行交互。该项目建立了理论和实践基础。理论基础上的具体目标包括开发一套全面的技术，导致不可能的结果，下限，调度算法与可证明的性能保证。实际基础的具体目标包括开发一个名为GraphTM的系统，该系统足够强大，可以针对广泛的基准应用程序评估所设计的算法。 以前，这种模式主要是在对称的多处理器系统，其中并发任务通过阅读和写相同的主存进行交互的上下文中进行研究。主要的区别是在分布式多处理器系统中的存储器访问延迟的非均匀性。这种非均匀性是至关重要的，不仅影响所有并发任务的总执行时间，而且还影响其他相关的网络参数，如通信成本和拥塞。因此，该项目的技术优势在于通过开发新的工具和技术，加强对并发控制中非均匀延迟影响的理解。该项目的成果将对并行编程的原理和实践产生影响。 由于最近的架构和计算趋势，每一代新的多处理器系统都具有越来越多的内核。因此，能够使用并发编程将是未来重要且必要的技能。事务内存范式在概念上很简单，它将鼓励非专家用户编写并发程序，超越目前仅在专家用户中使用的并发编程。此外，该项目的一些成果将成为PI教授的课程的一部分。开发的系统将向公众提供。研究结果将通过在主要会议、讲习班和研讨会上的介绍加以传播。此外，该项目将指导和教育K-12，本科生和研究生并发编程，包括女性，少数民族和第一代计算机科学学生。最后，PI将单独参加外展活动，并与K-12科学经验，夏季本科生研究经验（SURE）合作，并选择俄亥俄州第一（COF）programmes.This award reflects NSF's法定使命，并已被认为是值得通过使用基金会的智力价值和更广泛的影响审查标准进行评估的支持。

项目成果

Load balanced distributed directories

负载平衡的分布式目录

• DOI: 10.1016/j.ic.2021.104700
• 发表时间: 2021
• 期刊: Information and Computation
• 影响因子: 1
• 作者: Rai, Shishir;Sharma, Gokarna;Busch, Costas;Herlihy, Maurice
• 通讯作者: Herlihy, Maurice

Byzantine Geoconsensus

拜占庭地理共识

• DOI: 10.1007/978-3-030-91014-3_2
• 发表时间: 2021
• 期刊: The 9th International Conference on Networked Systems (NETYS
• 作者: Oglio, Joseph;Hood, Kendric;Sharma, Gokarna;Nesterenko, Mikhail
• 通讯作者: Nesterenko, Mikhail

Flexible scheduling of transactional memory on trees

• DOI: 10.1016/j.tcs.2023.114184
• 发表时间: 2023-09
• 期刊: Theor. Comput. Sci.
• 作者: C. Busch;Bogdan S. Chlebus;Maurice Herlihy;Miroslav Popovic;Pavan Poudel;Gokarna Sharma

Ordered Scheduling in Control-Flow Distributed Transactional Memory

控制流分布式事务内存中的有序调度

• 发表时间: 2023
• 期刊: The 19th International Conference on Distributed Computing and Intelligent Technology (ICDCIT 2023
• 作者: Poudel, Pavan;Rai, Shishir;Guragain, Swapnil;Sharma, Gokarna
• 通讯作者: Sharma, Gokarna