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 BallMSFT2009年1月2日 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/
- 42600
Share stories of CHESS wins/losses
Tom BallMSFT2009年1月15日 20:57 - 01603
Minor Release v0.1.30626.0, 06/26/2009
Tom BallMSFT2009年7月2日 23:42 - 01821
CHESS release v0.1.30610.2: Data Race Detection, ChessBoard, Refinement Checking
Shaz Qadeer 2009年6月12日 18:30 - 02470
CHESS FAQ
Tom BallMSFT2009年1月15日 4:33 - 113
Help in deciphering stack track created by chess
_guru_ 9 小时 18 分钟以前 - 115
development schedule?
PJ7 10 小时 3 分钟以前 - 3469
Can't open Concurrency Explorer from ChessBoard
rohits79 2009年11月18日 15:18 - 1148
Bugs with two ore more preemption
Vadim Mutilin 2009年11月18日 11:25 - 71357
Can chess work with Boost API?
Sean Song 2009年5月7日 16:24 - 2191
This test passes in Visual Studio but fails in ChessBoard
Neil_J 2009年11月12日 19:41 - 32227
CHESS and .NET 4.0/Parallel Extensions
Daniel DG 2009年8月13日 9:21 - 6514
Troubleshooting the /includeassembly option.
Carson Jones 2009年10月21日 23:53 - 4766
Livelock... not sure how to solve this.
Aron Weiler 2009年10月15日 18:08 - 1556
Debug assertion failed - workaround
raxraja 2009年10月14日 1:15 - 3980
Code with no lock statements
Steven J Walker 2009年10月7日 14:12 - 71044
ASP.NET Cache Testing Pattern
davidsny 2009年9月30日 14:45 - 41929
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 2009年9月11日 4:55 - 81509
Why does this test pass instead of say "Detected nondeterminism outside the control of CHESS"?
Neil_J 2009年9月1日 6:49 - 1955
Error Running mchess
Puneet Maheshwari 2009年8月31日 21:31 - 21019
Why does this test with an instance int pass but this test with a static int fail?
Neil_J 2009年8月30日 20:53
