Hi bittnkr Beyond Relacy, if you are looking to publish a paper, you might want to specify/run your algorithm in a formal language like Spin <http://spinroot.com/spin/whatispin.html> or TLA+ <https://lamport.azurewebsites.net/tla/tla.html>. They can't verify correct use of C++11 but you can assert everything else and they will exhaustively check all states of your program, including livelocks. And they also give you a formal notation for papers.
-- Mamy André-Ratsimbazafy On Thu, Jan 9, 2020 at 8:58 AM Dmitry Vyukov <dvyu...@gmail.com> wrote: > On Wed, Jan 8, 2020 at 9:29 PM bittnkr <bitt...@gmail.com> wrote: > > > > Dear Dmitry, > > > > I found a nice solution for the problem called 3 thread consensus, > considered impossible on the book The art of the multiprocessor > programming. I think that is a breakthrough. > > > > Debating on S.O. with someone about if the solution is solid or no, If > it is possible to occur data races, he referred relacy. > > > > So I'm writing you to ask your opinion about the solution. > > > > Can you take a little look on it? > > +lock-free mailing list > > Hi bittnkr, > > At first glance the algorithm at https://github.com/bittnkr/uniq looks > blocking and non-linearizable to me. > Very similar in nature to: > > http://www.1024cores.net/home/lock-free-algorithms/queues/bounded-mpmc-queue > > -- > 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 lock-free+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/lock-free/CAEeQi3t9sGs3RyOHG1rCi5KH-0LhP0AX7LdEiG0EaZH-2Xyzrw%40mail.gmail.com > . > -- --- 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 lock-free+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/lock-free/CAPhqw8vKwENqRNz8ySPAFCqqogSjiHcegdZKiVyF1PX4QDt5nA%40mail.gmail.com.
