作者NTUmaki (西木野真姬)
看板Grad-ProbAsk
标题[理工] 作业系统 Producer-Consumer
时间Mon Aug 10 18:22:07 2020
https://i.imgur.com/AtNCTE2.jpg
想问这个算法有race condition是因为 producer, consumer 各不只一个吗？
我记得老师说 in out buffer有 race condition 但看不出来在哪
-----
Sent from JPTT on my iPhone
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 27.247.35.73 (台湾)
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Grad-ProbAsk/M.1597054929.A.A0F.html
※ 编辑: NTUmaki (27.247.35.73 台湾), 08/10/2020 18:29:31
※ 编辑: NTUmaki (27.247.35.73 台湾), 08/10/2020 18:31:12
1F：推 A4P8T6X9: 生产者跟消费者同时做事会爆 08/10 21:37
我找不到哪个地方 这两者会对同一块位址做读写 consumer拿跟producer放的位址应该一直都不一样？
2F：→ b10007034: Producer(P)是load, Consumer(C)是store 08/10 22:12
3F：→ b10007034: P&C这两个thread同时执行，操作的buffer会有 08/10 22:12
4F：→ b10007034: race condition 08/10 22:12
5F：→ NTUmaki: 不太懂 race condition 在哪 buffer的位址没有变 他们拿 08/11 10:27
6F：→ NTUmaki: 跟存的位址也不一样 应该不会同时对同一个位址做存取？ 08/11 10:27
※ 编辑: NTUmaki (27.247.35.73 台湾), 08/11/2020 10:28:49
7F：→ NTUmaki: 从底层来看 他们都只是拿buffer起始位址去运算 只有读 而 08/11 10:40
8F：→ NTUmaki: 且算完结果也不一样（我自己trace了几次 应该是不会一样 08/11 10:40
9F：→ NTUmaki: ）不会race condition 才对呀？ 08/11 10:40
10F：推 f255577: P/C各跑一个concurrent thread可能会有不同结果 08/11 17:33
可以请问是什麽顺序会造成问题吗 因为我trace後觉得应该是不会有发生对同一个变数做RW或WW
※ 编辑: NTUmaki (27.247.35.73 台湾), 08/11/2020 19:21:36
11F：→ NTUmaki: 我还是看不出来buffer哪边有问题，in out他们根本没有互 08/11 19:26
12F：→ NTUmaki: 相写 应该不可能有race condition，buffer他们存入/取出 08/11 19:26
13F：→ NTUmaki: 的位置也是不同的（只是起始位置相同 但RR不会 race cond 08/11 19:26
14F：→ NTUmaki: ition 08/11 19:26
15F：推 f255577: 不一定要互相写才会race condition 08/11 21:53
但他们的读写哪边会造成错误？
16F：→ f255577: 另一边读也可能读到写前或写後 08/11 21:54
读到写前写後不会影响正确性啊？
※ 编辑: NTUmaki (27.247.35.73 台湾), 08/11/2020 22:26:51
17F：→ NTUmaki: 他们都是存完、取完才去更动in out 应该不会有错？ 08/11 22:27
18F：→ NTUmaki: 可以给个会错的例子吗QQ 我看不太出来哪一种执行顺序会导 08/11 22:28
19F：→ NTUmaki: 致错误结果 08/11 22:28
20F：推 f255577: 要用组语的角度看 可能load完就context switch 08/11 22:32
21F：→ NTUmaki: Load完切走没关系啊 另一边并不会改动in 值？ 你的意思是 08/12 09:12
22F：→ NTUmaki: 说in=(in+1)%n 还没执行完就被 consumer 切去判断in==out 08/12 09:12
23F：→ NTUmaki: 吗？ 这样顶多他那次回圈判断浪费 但不会影响执行结果的 08/12 09:12
24F：→ NTUmaki: 正确性啊 08/12 09:12
25F：推 yagerbomb: 我看很久没问题 只有 下一个演算法的count 因为两边有 08/12 09:35
26F：→ yagerbomb: 做运算可能导致错误结果 其他几个变数都不会因为concur 08/12 09:35
27F：→ yagerbomb: rent导致错误结果 08/12 09:35
28F：→ yagerbomb: 这问题明明就给个例子就解决了== 问那麽长 08/12 09:36
※ 编辑: NTUmaki (110.26.43.209 台湾), 08/12/2020 09:37:53