Modular Multiprogramming

模块化多道程序设计

• 批准号: 9504190
• 负责人: Jayadev Misra
• 金额: $ 23.54万
• 依托单位: University of Texas at Austin
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1995
• 资助国家: 美国
• 起止时间: 1995-06-01 至 1999-05-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9504190&HistoricalAwards=false
• 关键词: Modular; Multiprogramming

Two major goals in multiprogramming research are: (1) to design and understand the modules (e.g., processes or data objects) of a program in isolation, without considerations of interference by the other modules, and (2) to implement the modules on separate processors with a fine grain of interleaving so that no processor is ever locked out of accessing common data for long periods of time. Further, it is essential to devise a model in which the distinction between computation and communication is removed; in particular, the methods for designing and reasoning about the interfaces should be no different from those employed for the computations at the nodes of the network. The project is based on the hypothesis that many of the programming concepts developed for databases, object-oriented programming and designs of reactive systems can be unified into a compact model of distributed programs that meets the desired goals. In the past, much effort has gone into limiting interference among the modules by employing a variety of synchronization mechanisms: locks or semaphores, critical regions, monitors and communication. In this project, no specific communication or synchronization mechanism, except procedure call, is built into the model. Yet, the traditional schemes for communication using bounded or unbounded channels, semaphores, and accesses to shared memory can be encoded as modules. This project uses two distinct kinds of procedures, to model sequential and concurrent aspects of programming. The programming model allows for disciplined interactions between these two types of procedures. The research seeks to: (1) develop the model, in particular for dynamic creations of modules (2) implement the model on top of an existing language, and (3) develop the appropriate formalism to specify and verify the properties of programs.

多道程序设计研究的两个主要目标是：（1）设计和理解模块（例如，进程或数据对象），而不考虑其他模块的干扰，以及（2）在具有细粒度交织的单独处理器上实现模块，以便没有处理器被锁定在访问公共数据之外很长一段时间。此外，设计一个模型是必要的，在这个模型中，计算和通信之间的区别被消除了;特别是，设计和推理接口的方法应该与网络节点上的计算方法没有什么不同。 该项目是基于这样的假设，即许多开发的数据库，面向对象的编程和反应式系统的设计的编程概念可以统一到一个紧凑的模型，分布式程序，满足预期的目标。在过去，许多努力已经进入限制模块之间的干扰，通过采用各种同步机制：锁或信号量，关键区域，监视器和通信。 在这个项目中，没有特定的通信或同步机制，除了过程调用，内置到模型中。 然而，使用有界或无界信道、信号量和对共享存储器的访问的传统通信方案可以被编码为模块。这个项目使用了两种不同的过程，来模拟编程的顺序和并发方面。编程模型允许在这两种类型的过程之间进行有纪律的交互。 该研究旨在：（1）开发模型，特别是用于模块的动态创建;（2）在现有语言之上实现模型;（3）开发适当的形式主义来指定和验证程序的属性。