Try   HackMD

第 9 週課堂問答簡記

近 3 年學員對於 Linux 核心做出的程式碼的貢獻 (部分列表):

回顧第 7 週問答

Shiritai

手刻一套 C 語言大數運算之物件導向函式庫

ChiwawaChiwawa

fennecJ

Thread sanitizer 在 doc 中寫道:

ThreadSanitizer still instruments such functions to avoid false positives ...

及 Thread sanitizer 保證不會有 false positive ,意思是說,若 Thread sanitizer 說沒有 data race ,則表示程式?

仍可能有 data race ,因為 Thread sanitizer 並未保證沒有 false negative

若 Thread sanitizer 說有 data race ,則表示?

一定有 data race 。