- Mark as New
- Bookmark
- Subscribe
- Mute
- Subscribe to RSS Feed
- Permalink
- Report Inappropriate Content
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
Link Copied
0 Replies

Reply
Topic Options
- Subscribe to RSS Feed
- Mark Topic as New
- Mark Topic as Read
- Float this Topic for Current User
- Bookmark
- Subscribe
- Printer Friendly Page