Re: [lock-free] A Wait-Free MPMC Queue

2018-10-19 Thread Dmitry Vyukov
On Fri, Oct 19, 2018 at 5:41 PM Anthony Williams wrote: > > On 19/10/2018 17:15, Dmitry Vyukov wrote: > > On Thu, Oct 18, 2018 at 10:02 AM Anthony Williams > > wrote: > >> > >> On 18/10/2018 09:23, 饶萌 wrote: > >>> I've just created a real wait-free MPMC queue in 100+ lines of C++11 > >>> code: W

Re: [lock-free] A Wait-Free MPMC Queue

2018-10-19 Thread Anthony Williams
On 19/10/2018 17:15, Dmitry Vyukov wrote: > On Thu, Oct 18, 2018 at 10:02 AM Anthony Williams > wrote: >> >> On 18/10/2018 09:23, 饶萌 wrote: >>> I've just created a real wait-free MPMC queue in 100+ lines of C++11 >>> code: WFMPMC . >>> >>> Appreciate it if you c

Re: [lock-free] A Wait-Free MPMC Queue

2018-10-19 Thread Dmitry Vyukov
On Thu, Oct 18, 2018 at 10:02 AM Anthony Williams wrote: > > On 18/10/2018 09:23, 饶萌 wrote: > > I've just created a real wait-free MPMC queue in 100+ lines of C++11 > > code: WFMPMC . > > > > Appreciate it if you can help check. > > This is not wait free. If you

Re: [lock-free] A Wait-Free MPMC Queue

2018-10-18 Thread 饶萌
Thank you for the quick response. Yes, it is an issue, and there's a solution to mitigate this risk by checking empty()/full() before getting an index. But anyway it's not strict wait-free, I see. Thanks, Meng Anthony Williams 于2018年10月18日周四 下午5:02写道: > On 18/10/2018 09:23, 饶萌 wrote: > > I've

Re: [lock-free] A Wait-Free MPMC Queue

2018-10-18 Thread Anthony Williams
On 18/10/2018 09:23, 饶萌 wrote: > I've just created a real wait-free MPMC queue in 100+ lines of C++11 > code: WFMPMC . > > Appreciate it if you can help check. This is not wait free. If you have two writers, and both take an index. The writer with the lower inde

[lock-free] A Wait-Free MPMC Queue

2018-10-18 Thread 饶萌
I've just created a real wait-free MPMC queue in 100+ lines of C++11 code: WFMPMC . Appreciate it if you can help check. Thank, Meng -- --- You received this message because you are subscribed to the Google Groups "Scalable Synchronization Algorithms" grou