并发程序设计

研究生课程教学大纲

课程序号：                                      院（系、所）： 计算机

一、教学目标和教学要求：

并发问题是一个广泛地出现在计算机领域各学科中的问题，解决这些问题都涉及到并发程序设计。尤其在目前嵌入式系统应用越来越广泛的情况下，让学生掌握一套相对完整的并发程序设计理论和技术显得尤为迫切。

本课程首先介绍不同系统和语言中处理共享资源管理、同步、互斥、通信、时间控制等典型并发问题的多种手段，并在此基础上介绍使用Petri网表示和分析并发程序的相关技术，介绍以通信顺序进程（CSP）为代表的进程代数及其应用，从而使学生在理论和技术两方面对并发程序设计和分析取得较为全面的认识。

二、教学大纲（含章节目录）：

第一部分  并发程序设计和分析

1 并发问题介绍Introductionto Concurrency

2 不同粒度下的并发问题Processesand the Specification of Concurrency

3 进程之间的通信(信号量的发展和使用)Communication between Processes

4 共享资源的高级管理方式High-Level Concurrency Constructs � Shared Data

5 消息传递High-level Concurrency Constructs � Message Passing

6 并发程序设计语言Language for Concurrency

7 使用Petri网表示并发程序  Petri-net models for concurrent programs

8 使用Petri网进行死锁检测     

9 并发设施的实现Implementation of a Concurrency Kernel

第二部分 通信顺序进程

10 进程（迹的运算）  Processes ( traces )

11 并发性（交互作用、并发性、确定性进程）Concurrency

12 非确定性（非确定选择算子、拒绝、屏蔽、穿插、发散性） nondeterminal

13 通信communication

14 顺序进程Sequential Process

15 资源共享Shared Data

16 Csp的应用 application of CSP

三、教学周历：

说明：教学周历对博士研究生专业课暂不做要求。