- 新着としてマーク
- ブックマーク
- 購読
- ミュート
- RSS フィードを購読する
- ハイライト
- 印刷
- 不適切なコンテンツを報告
Here is a complete description of said race-condition:
http://groups.google.com/group/comp.programming.threads/msg/d3fe6c226f685d85
Here is where Dmitriy V'jukov teaches me how to model this moment in Relacy:
http://groups.google.com/group/comp.programming.threads/msg/d4d80f4024e872b5
Here is Relacy code which demonstrates how bad this race can be:
http://relacy.pastebin.com/f7efa882
This bug will cause a memory leak, and guess what? Relacy finds a memory
leak!
This is too cool! Anyway, simply define `TURN_OFF_RACER' to show how
loading the aba version counter first in pop saves the day when you choose
not to bump it in push!
Wow!
:^D
http://groups.google.com/group/comp.programming.threads/msg/d3fe6c226f685d85
Here is where Dmitriy V'jukov teaches me how to model this moment in Relacy:
http://groups.google.com/group/comp.programming.threads/msg/d4d80f4024e872b5
Here is Relacy code which demonstrates how bad this race can be:
http://relacy.pastebin.com/f7efa882
This bug will cause a memory leak, and guess what? Relacy finds a memory
leak!
This is too cool! Anyway, simply define `TURN_OFF_RACER' to show how
loading the aba version counter first in pop saves the day when you choose
not to bump it in push!
Wow!
:^D
コピーされたリンク
0 返答(返信)