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.
公告
Welcome to the CHESS forum!
Tom BallMSFTFriday, 2 January, 2009 6:18Welcome 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/
- 42535
Share stories of CHESS wins/losses
Tom BallMSFTThursday, 15 January, 2009 20:57 - 01549
Minor Release v0.1.30626.0, 06/26/2009
Tom BallMSFTThursday, 2 July, 2009 23:42 - 01766
CHESS release v0.1.30610.2: Data Race Detection, ChessBoard, Refinement Checking
Shaz Qadeer Friday, 12 June, 2009 18:30 - 02399
CHESS FAQ
Tom BallMSFTThursday, 15 January, 2009 4:33 - 2217
Can't open Concurrency Explorer from ChessBoard
rohits79 Wednesday, 18 November, 2009 15:18 - 184
Bugs with two ore more preemption
Vadim Mutilin Wednesday, 18 November, 2009 11:25 - 71301
Can chess work with Boost API?
Sean Song Thursday, 7 May, 2009 16:24 - 2151
This test passes in Visual Studio but fails in ChessBoard
Neil_J Thursday, 12 November, 2009 19:41 - 32163
CHESS and .NET 4.0/Parallel Extensions
Daniel DG Thursday, 13 August, 2009 9:21 - 6463
Troubleshooting the /includeassembly option.
Carson Jones Wednesday, 21 October, 2009 23:53 - 4709
Livelock... not sure how to solve this.
Aron Weiler Thursday, 15 October, 2009 18:08 - 1515
Debug assertion failed - workaround
raxraja Wednesday, 14 October, 2009 1:15 - 3923
Code with no lock statements
Steven J Walker Wednesday, 7 October, 2009 14:12 - 7974
ASP.NET Cache Testing Pattern
davidsny Wednesday, 30 September, 2009 14:45 - 41852
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, 11 September, 2009 4:55 - 81446
Why does this test pass instead of say "Detected nondeterminism outside the control of CHESS"?
Neil_J Tuesday, 1 September, 2009 6:49 - 1901
Error Running mchess
Puneet Maheshwari Monday, 31 August, 2009 21:31 - 2968
Why does this test with an instance int pass but this test with a static int fail?
Neil_J Sunday, 30 August, 2009 20:53 - 11263
What is Visual Studio Database Edition?
iq220 Tuesday, 25 August, 2009 18:30 - 11065
Increase the timeout in chess
Puneet Maheshwari Tuesday, 25 August, 2009 19:54
