You can try using this:Relacy Race Detector - 1024cores
|
|
|
| | |
|
|
|
| |
Relacy Race Detector - 1024cores
All about lockfree, waitfree, obstruction-free synchronization algorithms and
data structures, memory models, sc... | |
|
|
On Tuesday, August 9, 2016 10:41 PM, Wink Saville <[email protected]> wrote:
I believe I understand how the instrustive mpsc FIFO works and I've got an
implementation here. I'd still like to know how correctness is tested and if
any one else is using the code.
On Saturday, August 6, 2016 at 12:29:31 PM UTC-7, Wink Saville wrote:
I've been trying to understand your intrusive mpsc FIFO
http://www.1024cores.net/ home/lock-free-algorithms/
queues/intrusive-mpsc-node- based-queue and find it quite a bit more complex
than the non-intrusive version.My questions are; how did you test/prove its
correctness? And secondly, are you or others using this algorithm?-- wink
--
---
You received this message because you are subscribed to the Google Groups
"Scalable Synchronization Algorithms" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/lock-free/1e239caf-7514-46f5-b277-11447aab9606%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
--
---
You received this message because you are subscribed to the Google Groups
"Scalable Synchronization Algorithms" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/lock-free/1126240263.12223299.1470808298153.JavaMail.yahoo%40mail.yahoo.com.
For more options, visit https://groups.google.com/d/optout.
