韩国科学技术院并发和并行实验室 CS492 在线课程：并行程序的设计和分析（基于Rust）
课程目标：
本课程面向对并行计算机系统的现代理论和实践感兴趣的计算机科学（或相关学科）的高级本科生/研究生。 本课程旨在帮助此类学生：
1. 了解并发编程的动机和挑战
2. 学习并发程序的设计模式和推理原理
3. 设计，实施和评估并发程序
4. 将这些理解应用于实际的并行系统
该课程主要是讨论共享可变状态的最新理论及其在实际系统中的应用。
参考资料：
- 经典论文 - A Promising Semantics for Relaxed-Memory Concurrency ： https://sf.snu.ac.kr/promise-concurrency/
- Rust 社区明星并发库：crossbeam-rs
学习本课程需要的基础知识：
1. 数学（大一）：命题和证明
2. 数据结构（CS206）：链表，堆栈，队列
3. 系统编程（CS230）：内存布局，高速缓存，锁定
4. 编程语言（CS320）：Lambda演算，解释器
如果没有对这些主题的正确理解，您可能会在此课程中苦苦挣扎。
在本课程中可以帮助您的其他建议：
1. 对计算机体系结构的基本了解（CS311）
2. Rust编程经验
学习该课程要做的第一件事： https://github.com/kaist-cp/cs492-concur/issues/42 （当然这可以忽略，你没有学号无法登录该系统）
非该学校学生如何学习？
关注课程源码仓库： https://github.com/kaist-cp/cs492-concur
学习相关视频 ，会陆续上传： https://www.youtube.com/channel/UC8Jmj0869byUnsSRu_F5m9A
课程 slides： https://docs.google.com/presentation/d/1NMg08N1LUNDPuMxNZ-UMbdH13p8LXgMM3esbWRMowhU/edit#slide=id.p
homework占 60% 的评分比重，那说明homework更重要，可以重点关注源码仓库里的homework 目录。
课程目标：
本课程面向对并行计算机系统的现代理论和实践感兴趣的计算机科学（或相关学科）的高级本科生/研究生。 本课程旨在帮助此类学生：
1. 了解并发编程的动机和挑战
2. 学习并发程序的设计模式和推理原理
3. 设计，实施和评估并发程序
4. 将这些理解应用于实际的并行系统
该课程主要是讨论共享可变状态的最新理论及其在实际系统中的应用。
参考资料：
- 经典论文 - A Promising Semantics for Relaxed-Memory Concurrency ： https://sf.snu.ac.kr/promise-concurrency/
- Rust 社区明星并发库：crossbeam-rs
学习本课程需要的基础知识：
1. 数学（大一）：命题和证明
2. 数据结构（CS206）：链表，堆栈，队列
3. 系统编程（CS230）：内存布局，高速缓存，锁定
4. 编程语言（CS320）：Lambda演算，解释器
如果没有对这些主题的正确理解，您可能会在此课程中苦苦挣扎。
在本课程中可以帮助您的其他建议：
1. 对计算机体系结构的基本了解（CS311）
2. Rust编程经验
学习该课程要做的第一件事： https://github.com/kaist-cp/cs492-concur/issues/42 （当然这可以忽略，你没有学号无法登录该系统）
非该学校学生如何学习？
关注课程源码仓库： https://github.com/kaist-cp/cs492-concur
学习相关视频 ，会陆续上传： https://www.youtube.com/channel/UC8Jmj0869byUnsSRu_F5m9A
课程 slides： https://docs.google.com/presentation/d/1NMg08N1LUNDPuMxNZ-UMbdH13p8LXgMM3esbWRMowhU/edit#slide=id.p
homework占 60% 的评分比重，那说明homework更重要，可以重点关注源码仓库里的homework 目录。
