f



Look at this Relacy Race Detector

Hello............

Look at this Relacy Race Detector:

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

It is designed to detect race conditions, but you have to understand me
Sir and Madam, you have to model your problem with this tool,
and this modeling is prone to error, so that's not good for 
safe-critical systems, other that look at this:

a:=a+1

If every thread has to increment "a" one time, this form of logic
is nasty, because if we do the follwing in Relacy Race Detector:

tmp:=a

lock.enter;

a:=tmp+1;

lock.leave;


How can Relacy Race Detector detect that the logic that every thread has 
to increment "a" one time is good ? Relacy Race Detector can
not do it, and this form of logic can become more nasty, so
this is why parallel programming for safe-critical systems
is still too risky.



Thank you,
Amine Moulay Ramdane.




0
Ramine
12/5/2016 1:01:01 AM
comp.lang.ada 8774 articles. 2 followers. Post Follow

0 Replies
298 Views

Similar Articles

[PageSpeed] 40

Reply: