Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
Relacy Race Detector
9 views
Skip to first unread message
Ramine
Oct 21, 2015, 4:51:29 PM10/21/15
to
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-race-detector
Thank you,
Amine Moulay Ramdane.
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-race-detector
Thank you,
Amine Moulay Ramdane.
0 new messages