comp.programming

Relacy Race Detector

Ramine

10/21/2015 11:51:00 PM

Hello,

I will add to my previous post this:

Although C++ support the weak memory model that
is error prone for sequential consistency, you are
safe because you can use the following Synchronization
Algorithm Verificator for C++0x called Relacy Race Detector:

You can find it and download it from here:

http://www.1024cores.net/home/relacy-rac...

Thank you,
Amine Moulay Ramdane.

comp.programming

Relacy Race Detector

Ramine

x Login to ForumsZone