2024q1 Homework5 (assessment)

contributed by < yutingshih >

測驗題改進與提問

閱讀〈因為自動飲料機而延畢的那一年〉與課程啟發

• 現代生活中習以為常的商品，需要結合各種不同的專業投入
• 隔行如隔山，無法合理估計問題的複雜程度、要花多少時間和資源
• 「一項產業進步的速度，很大程度取決於做實驗修正問題的速度」
• 要是現在就放棄的話，你這輩子日後遇到這種等級的困難，就只會想逃避而已。
• 「你最大的問題在太害怕失敗了，既然都已經決定要延畢做飲料機了，那就要好好做，才不會辜負當初自己的期望。」、「你該學習的不是看到事情要完蛋了就去避免失敗，而是應該學習如何處理與承受失敗，你才能變得比以前更強大。」
• 「改造現成的比自己做一台快多了」資訊產業發展迅速正是因為能夠奠基在前人的基礎上，在 21 世紀的資訊科技產業中生存，要能夠快速理解並改進

教材閱讀及提問

在 並行程式設計: 執行順序 中提到，C++ 定義了 5 種情況能夠建立跨執行緒之間的 happens-before 關係，但實際上該如何應用？參考資料中有列出 enum class memory_order 的文件，但不清楚如何撰寫程式。

期末專題

《Concurrency Primer》校訂和範例撰寫

• 一直以來我對於並行程式設計還有現代 C 語言的認識和實作經驗都十分欠缺，希望從基礎開始重新學起，而校訂書籍和撰寫範例是很好的練習機會 (參考 learning pyramid)
• 這學期有修另外一門課《人工智慧晶片設計與應用》，要求作業使用
  $LATEX$ 撰寫，因此對
  $LATEX$ 的語法和環境 (本地端/線上編譯) 有一定的熟悉度，可以直接貢獻原始碼
• 預計貢獻內容需要與老師討論

改進 Linux 核心的 lib/{list_}sort.c

• 在 homework 1 的基礎上，探討 Linux 核心的 bottom-up merge/heap sort 實作，並實作 hybrid sort 演算法

位元操作與浮點數運算

• 碩班研究方向是神經網路模型的量化 (quantization)，與位元操作和浮點數運算息息相關

用於軟硬體整合開發的多執行緒系統模擬器

• 實驗室專注於人工智慧系統軟硬體共同設計的研究，然而目前尚欠缺一套能夠進行軟體和硬體整合驗證的平台
• 用於早期的硬體架構探索與效能評估和軟體開發 (e.g. compiler & runtime porting)

---

test-and-set

TODO: 閱讀 https://hackmd.io/@sysprog/concurrency 及《Concurrency Primer》
TODO: 紀錄問題

real-time property
safety, liveness, fairness

• 在 搶佔式與非強取式核心 提到搶佔和非搶佔式的核心，那 Linux 核心是屬於哪一種？
• 內文都是採用「非搶佔式核心」，但標題卻是「非強取式核心」，兩者不一致
• 下面好像不是 Java 程式
  
• 與下面 happens-before 的描述矛盾，上一行的操作不必然得 sequenced-before 下一行
  
• 什麼叫做 atomic object
  
• total order 有四個屬性：reflexive, antisymmetric, trasitive, connected，講義只講到三個，但 Wikipedia 上的 total order 的定義還有包含 reflexive:
  $\mathrm{\forall }a\in X,aRa$