Groups > comp.programming.threads > #2260

Re: A new algorithm...

From	"Chris M. Thomasson" <no@spam.invalid>
Newsgroups	comp.programming.threads, comp.programming, comp.arch
Subject	Re: A new algorithm...
Date	2014-04-25 13:54 -0700
Organization	Aioe.org NNTP Server
Message-ID	<ljei2f$g48$1@speranza.aioe.org> (permalink)
References	<ljeevl$m19$1@news.albasani.net>

Cross-posted to 3 groups.

Show all headers | View raw

> "aminer"  wrote in message news:ljeevl$m19$1@news.albasani.net... Hello,
> Please read all the following post to understand better my new 
> algorithm...

> I have presented to you yesterday my algorithm of
> a concurrent FIFO queue , but it was not working correctly
> on the pop() side, look at the pop():

Why don't you use a verification tool animer? I am personally
very fond of Relacy Race Detector, it works like a charm
and can find _extremely_ subtle race-conditions.

http://www.1024cores.net/home/relacy-race-detector


Here is an example:

https://software.intel.com/en-us/forums/topic/294958


Relacy found the VERY subtle data-race in the blink of an eye!

:^)



Also, there is:

https://code.google.com/p/data-race-test/wiki/ThreadSanitizer

The same guy responsible for Relacy, is working on it.

Dmitry Vyukov is one of the best programmers I know wrt
creating innovative synchronization algorithms.

Relacy Race Detector Rocks!!!

Back to comp.programming.threads | Previous | Next — Previous in thread | Find similar | Unroll thread

Thread

A new algorithm... aminer <aminer@toto.net> - 2014-04-25 16:01 -0700
  Re: A new algorithm... aminer <aminer@toto.net> - 2014-04-25 16:26 -0700
    Re: A new algorithm... aminer <aminer@toto.net> - 2014-04-26 09:27 -0700
  Re: A new algorithm... "Chris M. Thomasson" <no@spam.invalid> - 2014-04-25 13:54 -0700

csiph-web