COMP3151 COMP9154 Foundations of Concurrency
COMP3151 COMP9154 并发基础
并发 = 进程 + 通信。通过共享变量与消息传递进行通信。并发模型：真并发与交替执行。抽象化：原子性、锁与屏障、信号量、监视器、线程、远程过程调用、约会。典型问题：互斥、就餐哲学家、睡眠理发师、终止检测、N-体问题。实践工作：编程作业和证明程序的安全性与活跃性属性。
先修课：COMP1927 或 (COMP1521/DPST1092 和 COMP2521)
这门课程是关于并发程序的基本概念的，包括多线程、并行和分布式程序，以及用于实现或理解并发程序行为的关键抽象。将讨论在并发程序中出现的经典问题，并分析解决这些问题的方法。课程实践工作包括程序属性证明以及在并发编程语言（Java或其他适当的语言）中进行编程和模型检查。
首先，您需要成功完成核心编程、算法和离散数学课程。
本课程使用了许多离散数学的概念。如果您没有MATH1081或相等的离散数学背景，可能会发现课程非常困难。
成功完成本课程后，您将能够：
– 设计和实现多线程、并行和分布式程序
– 可以讨论、写作和推理此类程序
– 理解这两个方面涉及的复杂性