Hi Wink, Re correctness: I don't remember if I passes through Relacy Race Detector or not. I don't see any bugs in it, which is a good sign. I also passed review of several experienced developers. If you want more guarantees you can test with Relacy Race Detector or write a SPIN model and test it.
Re usage: I don't explicitly track all uses. And it's generally impossible since its open on the internet. There was a number of inquiries about this queue. E.g.: https://groups.google.com/forum/#!msg/lock-free/nvjCNJgb0bA/9eDuTeDcMXQJ Probably also some of these: https://groups.google.com/forum/#!searchin/lock-free/%22MPSC%22$20%22XCHG%22%7Csort:relevance On Wed, Aug 10, 2016 at 4:41 AM, 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. -- Dmitry Vyukov All about lockfree/waitfree algorithms, multicore, scalability, parallel computing and related topics: http://www.1024cores.net -- --- 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/CAEeQi3um5AksFh6v8sDB%3DznPVZbQH0zt%2BhWPhT8PXxC1tsAOiQ%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
