Concurrent Programming Java Using CSP

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

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.