Re: [問題] Lock的用法
※ 引述《ggg12345 (ggg)》之銘言:
: memory read/write 指令當然不會是 atomic operation,
: process-A process-B
: read data-s
: read data-s
: modify to A
: modify to B
: write data-s write data-s
: 那 data-s 最終結果是那一個 ?
read/write必須要是atomic.
以這個例子來說, 兩個processes同時對data-s寫入,
之後對data-s的讀取讀到的值必須是
either A or B, 而不能是其它值, 這就是atomic.
更進一步的探討可參考 Leslie Lamport 的paper:
How to Make a Correct Multiprocess Program
Execute Correctly on a Multiprocessor
http://research.microsoft.com/en-us/um/people/lamport/pubs/lamport-how-to-make.pdf
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 219.68.71.218
討論串 (同標題文章)
ASM 近期熱門文章
PTT數位生活區 即時熱門文章