[問題] 關於互斥的問題

作者: asdfg1597860 (Jay)   2020-06-11 22:05:20
開發平台(Platform): (Ex: Win10, Linux, ...)
Win10
編譯器(Ex: GCC, clang, VC++...)+目標環境(跟開發平台不同的話需列出)
VS2015
額外使用到的函數庫(Library Used): (Ex: OpenGL, ...)
問題(Question):
各位前輩好
小弟我有一個問題想問
如果我有一個類別
裡面有一個變數及2個函式(1個取變數的值,1個改變變數的值)
用兩個thread 去跑這兩個函示 ,會有機率造成資源互搶嗎?(再寫值時被取值的狀況)
餵入的資料(Input):
預期的正確結果(Expected Output):
錯誤結果(Wrong Output):
程式碼(Code):(請善用置底文網頁, 記得排版,禁止使用圖檔)
Class A
{
public:
int get();
void update(int input);
private:
int value;
}
int A::get()
{
return value;
}
void A::update(int input)
{
value = input;
}
補充說明(Supplement):
類別的結構在上方
主程式會有全域的類別物件 A itemA;
然後開兩條Thread ,一條呼叫itemA.update(亂數) ,一條呼叫itemA.get()
想請問前輩們,這狀況下有可能會資源互搶嗎
目前測試是沒有發生
但感覺時間拉長可能會有機率
作者: ucrxzero (RX-0)   2020-06-11 22:32:00
lock 再wait 還會嗎
作者: Lipraxde (Lipraxde)   2020-06-12 07:53:00
會,不過 int 太小了所以在 x86 上這樣應該觀察不出來印象中 x86 在 read/write 對齊的 word 時是 atomic 的即使是如此 lock 也是無法取代的,因為 lock 的實作需要 read modify write
作者: FY4   2020-06-13 00:28:00
用mutex保護吧
作者: icetofux   2020-06-13 00:42:00
用std::atomic包裝你的變數應該能解決這個問題

Links booklink

Contact Us: admin [ a t ] ucptt.com