CHESS – Find and Reproduce Concurrency Heisenbugs
CHESS is a tool for finding and reproducing Heisenbugs in concurrent programs. It can find assertion violations, deadlocks, livelocks, data-races, and memory-model errors.
Announcements
Welcome to the CHESS forum!
Tom BallMSFTFriday, January 02, 2009 6:18 AMWelcome to the CHESS forum. This forum is to discuss CHESS, a tool for helping you find and reproduce Heisenbugs in concurrent code (both managed and unmanaged). This is a great place to post your question about CHESS.
CHESS links:- Project Home at Microsoft Research: http://research.microsoft.com/chess/
- CHESS Blog: http://blogs.msdn.com/chess/
- PDC2008 Session: http://channel9.msdn.com/pdc2008/TL58
- Channel 9 Video: http://channel9.msdn.com/shows/Going+Deep/CHESS-An-Automated-Concurrency-Testing-Tool/
- Data Race Video: http://channel9.msdn.com/posts/Peli/Data-Race-Detection-with-CHESS/
- DevLabs: http://msdn.microsoft.com/devlabs/
Filtering and SortingUse these options to narrow down the question and discussion list.
- 42596
Share stories of CHESS wins/losses
Tom BallMSFTThursday, January 15, 2009 8:57 PM - 01603
Minor Release v0.1.30626.0, 06/26/2009
Tom BallMSFTThursday, July 02, 2009 11:42 PM - 01815
CHESS release v0.1.30610.2: Data Race Detection, ChessBoard, Refinement Checking
Shaz Qadeer Friday, June 12, 2009 6:30 PM - 02458
CHESS FAQ
Tom BallMSFTThursday, January 15, 2009 4:33 AM - 3424
Can't open Concurrency Explorer from ChessBoard
rohits79 Wednesday, November 18, 2009 3:18 PM - 1136
Bugs with two ore more preemption
Vadim Mutilin Wednesday, November 18, 2009 11:25 AM - 71353
Can chess work with Boost API?
Sean Song Thursday, May 07, 2009 4:24 PM - 2190
This test passes in Visual Studio but fails in ChessBoard
Neil_J Thursday, November 12, 2009 7:41 PM - 32216
CHESS and .NET 4.0/Parallel Extensions
Daniel DG Thursday, August 13, 2009 9:21 AM - 6512
Troubleshooting the /includeassembly option.
Carson Jones Wednesday, October 21, 2009 11:53 PM - 4763
Livelock... not sure how to solve this.
Aron Weiler Thursday, October 15, 2009 6:08 PM - 1555
Debug assertion failed - workaround
raxraja Wednesday, October 14, 2009 1:15 AM - 3976
Code with no lock statements
Steven J Walker Wednesday, October 07, 2009 2:12 PM - 71039
ASP.NET Cache Testing Pattern
davidsny Wednesday, September 30, 2009 2:45 PM - 41919
Is it possible to write a CHESS test that proves that reads and writes of 64-bit values are not atomic on 32-bit systems?
Neil_J Friday, September 11, 2009 4:55 AM - 81503
Why does this test pass instead of say "Detected nondeterminism outside the control of CHESS"?
Neil_J Tuesday, September 01, 2009 6:49 AM - 1949
Error Running mchess
Puneet Maheshwari Monday, August 31, 2009 9:31 PM - 21016
Why does this test with an instance int pass but this test with a static int fail?
Neil_J Sunday, August 30, 2009 8:53 PM - 11309
What is Visual Studio Database Edition?
iq220 Tuesday, August 25, 2009 6:30 PM - 11113
Increase the timeout in chess
Puneet Maheshwari Tuesday, August 25, 2009 7:54 PM
