COMP3151

并发编程基础

课程定位 COMP3151 是 UNSW 计算机专业在‘高性能与可靠性’领域的进阶硬核课。在多核 CPU 普及的今天，单线程代码已经无法发挥硬件性能。这门课教你不仅是‘开线程’，而是教你如何‘管理复杂性’。它解决了计算机科学中最令人头秃的问题：竞态条件、死锁及非确定性错误。它是通往分布式系统架构师、高频交易系统开发及云平台后端岗位的绝对基石。它不仅是编程课，更是一门关于‘同步逻辑’的哲学与数学课。 技术栈与学习内容 课程基于‘共享内存’与‘消息传递’两大范式。核心技术栈包括：Java 并发工具包 (Locks, Semaphores, Monitors)、以及用于形式化验证的 Promela 建模语言与 SPIN 检查器。学习内容涵盖：互斥协议的严格证明（Peterson 算法）、无锁 (Lock-free) 数据结构、线性化 (Linearizability) 定义、同步原语的实现细节、以及基于 CSP 模型的分布式通信。课程极其强调‘形式化建模’，要求学生利用数学工具证明代码的正确性。 课程结构 10 周理论高压与模型验证结合。前期死磕互斥理论与经典同步难题，中期转向高阶的 Promela 建模，后期深入分布式并发逻辑。评估由每周的‘智力脱发’级 Lab、两个极具挑战性的项目（Assignment，通常涉及编写复杂的同步协议并用 SPIN 证明其无死锁）、以及一场极其考验思维严密性的期末大考组成。该课极其强调‘逻辑的一致性’。 适合人群 计算机专业大三学生、对多线程底层感兴趣的同学。必须具备扎实的 COMP1521 (系统基础) 功底。如果你逻辑感极强、享受从几万种可能执行路径中寻找那一处错误，这门课会让你感到智力的快感。建议每周投入 20 小时以上进行模型验证与调试。