并發程序設計

研究生課程教學大綱

課程序号：                                      院（系、所）： 計算機

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

并發問題是一個廣泛地出現在計算機領域各學科中的問題，解決這些問題都涉及到并發程序設計。尤其在目前嵌入式系統應用越來越廣泛的情況下，讓學生掌握一套相對完整的并發程序設計理論和技術顯得尤為迫切。

本課程首先介紹不同系統和語言中處理共享資源管理、同步、互斥、通信、時間控制等典型并發問題的多種手段，并在此基礎上介紹使用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

三、教學周曆：

說明：教學周曆對博士研究生專業課暫不做要求。