http://www.devx.com/go-parallel
very nice
Congratulations to Dmitriy.
He writes: "I've developed a library for unit-testing/formal
verification of synchronization algorithms (or small pieces of multi-
threaded code). It's called Relacy Race Detector."
I am afraid the Relacy Race Detector has nothing to do with unit
testing. However, if he really has developed a unit testing library
for multi-threading, that would be interesting.
Best Regards,
Szabolcs
It's exactly for unit-testing. One expresses unit-test and Relacy Race
Detector executes it efficiently wrt probability of multi-threading
error detection.
Dmitriy V'jukov
You talked about a library for unit testing that you say now that you
do not have. Well, I am afraid you do not exactly know what unit
testing is.
Nevertheless, you can demonstrate something about it here.
Best Regards,
Szabolcs