[concurrency-interest] ConTest and similar concurrency test tools?

Kirk Pepperdine kirk at kodewerk.com
Sat Aug 15 02:43:28 EDT 2015


My recommended way to expose concurrency bugs is to use more cores. Fewer cores will hide the problem where as more will help make them visible.

Regards,
Kirk

> On Aug 15, 2015, at 4:24 AM, Henri Tremblay <henri.tremblay at gmail.com> wrote:
> 
> Possibly JCStress
> 
> http://openjdk.java.net/projects/code-tools/jcstress/ <http://openjdk.java.net/projects/code-tools/jcstress/>
> 
> 
> On 14 August 2015 at 18:19, Joe Bowbeer <joe.bowbeer at gmail.com <mailto:joe.bowbeer at gmail.com>> wrote:
> In Appendix A of Clean Code (2008, by Robert C. Martin), Brett Schuchert recommends the use of IBM's ConTest testing tool for shaking out concurrency-related bugs.
> 
> If one were to update this appendix today, are there some newer tools worth mentioning that are now used for this purpose?
> 
> 
> https://www.research.ibm.com/haifa/projects/verification/contest/ <https://www.research.ibm.com/haifa/projects/verification/contest/>
> 
> "ConTest is an advanced testing solution from IBM, whose main use is to expose and eliminate concurrency-related bugs in parallel and distributed software. [...] ConTest systematically and transparently schedules the execution of program threads such that program scenarios which are likely to contain race conditions, deadlocks and other intermittent bugs - collectively called synchronization problems - are forced to appear with high frequency. In doing so, ConTest dramatically improves the quality of testing and reduces development expense, as bugs are found earlier in the testing process."
> 
> 
> _______________________________________________
> Concurrency-interest mailing list
> Concurrency-interest at cs.oswego.edu <mailto:Concurrency-interest at cs.oswego.edu>
> http://cs.oswego.edu/mailman/listinfo/concurrency-interest <http://cs.oswego.edu/mailman/listinfo/concurrency-interest>
> 
> 
> _______________________________________________
> Concurrency-interest mailing list
> Concurrency-interest at cs.oswego.edu
> http://cs.oswego.edu/mailman/listinfo/concurrency-interest

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://cs.oswego.edu/pipermail/concurrency-interest/attachments/20150815/7ddb435a/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 496 bytes
Desc: Message signed with OpenPGP using GPGMail
URL: <http://cs.oswego.edu/pipermail/concurrency-interest/attachments/20150815/7ddb435a/attachment.bin>


More information about the Concurrency-interest mailing list