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.
- 32274
Share stories of CHESS wins/losses
Tom BallMSFTThursday, January 15, 2009 8:57 PM - 01341
Minor Release v0.1.30626.0, 06/26/2009
Tom BallMSFTThursday, July 02, 2009 11:42 PM - 01521
CHESS release v0.1.30610.2: Data Race Detection, ChessBoard, Refinement Checking
Shaz Qadeer Friday, June 12, 2009 6:30 PM - 02166
CHESS FAQ
Tom BallMSFTThursday, January 15, 2009 4:33 AM - 31722
CHESS and .NET 4.0/Parallel Extensions
Daniel DG Thursday, August 13, 2009 9:21 AM - 6288
Troubleshooting the /includeassembly option.
Carson Jones Wednesday, October 21, 2009 11:53 PM - 4504
Livelock... not sure how to solve this.
Aron Weiler Thursday, October 15, 2009 6:08 PM - 1325
Debug assertion failed - workaround
raxraja Wednesday, October 14, 2009 1:15 AM - 3722
Code with no lock statements
Steven J Walker Wednesday, October 07, 2009 2:12 PM - 7770
ASP.NET Cache Testing Pattern
davidsny Wednesday, September 30, 2009 2:45 PM - 41615
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 - 81205
Why does this test pass instead of say "Detected nondeterminism outside the control of CHESS"?
Neil_J Tuesday, September 01, 2009 6:49 AM - 1668
Error Running mchess
Puneet Maheshwari Monday, August 31, 2009 9:31 PM - 2743
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 - 11044
What is Visual Studio Database Edition?
iq220 Tuesday, August 25, 2009 6:30 PM - 1863
Increase the timeout in chess
Puneet Maheshwari Tuesday, August 25, 2009 7:54 PM - 2945
How to fix "(file not found)" in ChessBoard?
Neil_J Saturday, August 22, 2009 5:04 PM - 1932
How do you specify /detectraces+ and /preemptaccesses+ with attributes?
Neil_J Friday, August 21, 2009 11:50 PM - 41010
Why does this blank unit test with [HostType("Chess")] fail?
Neil_J Wednesday, August 19, 2009 10:46 PM - 21693
concurrencyexplorer - no information available
Corneliu P Tuesday, July 07, 2009 5:16 PM
