韓國科學技術院併發和並行實驗室 CS492 線上課程:並行程式的設計和分析(基於Rust)
課程目標:
本課程面向對平行計算機系統的現代理論和實踐感興趣的電腦科學(或相關學科)的高階本科生/研究生。 本課程旨在幫助此類學生:
- 瞭解併發程式設計的動機和挑戰
- 學習併發程式的設計模式和推理原理
- 設計,實施和評估併發程式
- 將這些理解應用於實際的並行系統
該課程主要是討論共享可變狀態的最新理論及其在實際系統中的應用。
參考資料:
- 經典論文 - A Promising Semantics for Relaxed-Memory Concurrency : sf.snu.ac.kr/promise-concurrency/
- Rust 社群明星併發庫:crossbeam-rs
學習本課程需要的基礎知識:
- 數學(大一):命題和證明
- 資料結構(CS206):連結串列,堆疊,佇列
- 系統程式設計(CS230):記憶體佈局,快取記憶體,鎖定
- 程式語言(CS320):Lambda演算,直譯器
如果沒有對這些主題的正確理解,您可能會在此課程中苦苦掙扎。
在本課程中可以幫助您的其他建議:
- 對計算機體系結構的基本瞭解(CS311)
- Rust程式設計經驗
學習該課程要做的第一件事: github.com/kaist-cp/cs492-concur/i... (當然這可以忽略,你沒有學號無法登入該系統)
非該學校學生如何學習?
關注課程原始碼倉庫: github.com/kaist-cp/cs492-concur
學習相關視訊 ,會陸續上傳: www.youtube.com/channel/UC8Jmj0869...
課程 slides: docs.google.com/presentation/d/1NM...
homework佔 60% 的評分比重,那說明homework更重要,可以重點關注原始碼倉庫裡的homework 目錄。
本作品採用《CC 協議》,轉載必須註明作者和本文連結