Concurrent Programming Java Using CSP

使用 CSP 进行 Java 并发编程

• 批准号: 9952260
• 负责人: Christopher Nevison
• 金额: $ 7.49万
• 依托单位: Colgate University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2000
• 资助国家: 美国
• 起止时间: 2000-05-01 至 2003-04-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9952260&HistoricalAwards=false
• 关键词: Concurrent; Programming; Java; Using; CSP

Computer Science (31) This proof-of-concept project is developing materials and laboratory exercises for teaching concurrent program design and implementation using the theory of Communicating Sequential Processes (CSP) and Java with CSP libraries. CSP provides a sound theoretical foundation for designing concurrent programs and for proving their correctness. Concurrent programs are important in many areas of computer science including operating systems, parallel computing, and applications of real-time embedded computing. In addition, concurrent modules are especially appropriate for the design and implementation of many network applications. The concurrent threads in Java provide a ubiquitous environment for such programming. A quad-processor server is being installed in the lab at Colgate for use in development and teaching with true parallel execution of concurrent threads. This project builds upon work done in the UK and the Netherlands to implement the CSP constructs in Java. It will develop content units and laboratory exercises for teaching the principles of concurrent program design and implementation, as well as applications of concurrency to such areas as parallel computing, simulation, and network computing. The teaching units and laboratories developed for this project are being made available electronically. Evaluation of the new materials is being done by outside experts who will evaluate the appropriateness of the new units, laboratory exercises, and syllabus in the context of the computer science curriculum. Student evaluations are being conducted to assess the effectiveness of the materials in promoting learning. During the second year of the project, other schools are going to use and assess the materials with their students. Sites are being selected to encourage use of the materials by diverse student populations.The project includes a faculty workshop to disseminate the materials developed and to engage interested faculty from other institutions in ongoing development of materials using this approach. The methodology developed is being presented at tutorials and workshops at national conferences such as the SIGCSE Symposium. It is also being developed into a textbook format for publication.

计算机科学（31）这个概念验证项目正在开发用于教学并行程序设计和实现的材料和实验室练习，使用通信顺序进程（CSP）和Java与CSP库的理论。CSP为并发程序的设计和正确性证明提供了良好的理论基础。 并发程序在计算机科学的许多领域都很重要，包括操作系统、并行计算和实时嵌入式计算的应用。此外，并发模块特别适合于许多网络应用程序的设计和实现。Java中的并发线程为这种编程提供了一个无处不在的环境。 高露洁实验室正在安装一台四处理器服务器，用于开发和教学，实现并发线程的真正并行执行。该项目建立在英国和荷兰的工作基础上，在Java中实现CSP结构。 它将开发内容单元和实验室练习，用于教授并行程序设计和实现的原理，以及并行计算，模拟和网络计算等领域的并行应用。为该项目开发的教学单元和实验室正在以电子方式提供。 新教材的评估由外部专家进行，他们将评估新单元、实验练习和教学大纲在计算机科学课程背景下的适当性。 目前正在进行学生评价，以评估这些材料在促进学习方面的有效性。 在该项目的第二年，其他学校将使用和评估他们的学生的材料。 目前正在挑选地点，以鼓励各种学生使用这些材料，该项目包括一个教员讲习班，以传播所编写的材料，并让其他机构感兴趣的教员参与使用这种方法编写材料。所制定的方法正在全国会议的辅导课和讲习班上介绍，如SIGCSE专题讨论会。 它也正在发展成为一种教科书格式供出版。