CHESS – Find and Reproduce Concurrency Heisenbugs announcement
-
Link
Welcome 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/
Found 127 threads
-
0 VotesNotice:This forum will be retired in a few days. Please do not post new thread here.
Hi, All This forum will be retired in a few days. Please do not post new thread here. Thank you for your ...
-
0 Votes
Problem running BankAccount example with MChess
I'm trying to run the BankAccount example with MChess. When I run "mchess ChessTest.exe" I am getting the error: "Error: Assembly image ... -
0 Votes
Asynchronous Delegates
Is it possible to use chess to debug code that uses async delegates? I tried and it appears to lockup. -
2 Votes
CHESS DevLabs Release Coming to a Close
Hi CHESS users, The DevLabs release of CHESS is coming to an end soon, as it has just been over a year since we released CHESS on DevLabs. Planning is underway right now for the ...Discussion | 12 Replies | 20565 Views | Created by Tom Ball - Thursday, February 4, 2010 9:14 PM | Last reply by Kelly Summerlin - Thursday, March 31, 2011 2:56 PM -
0 Votes
Can we use Chess for testing WCF Service/Azure web/worker Roles?
Hi, we are writing a WCF services using SOAP, can we use Chess for testing WCF Service/Azure web/worker roles? if so any documentation around it? Thanks, Praveen D ...Unanswered | 0 Replies | 11266 Views | Created by Praveen D [MSFT] - Friday, January 21, 2011 11:43 AM -
0 Votes
How to use the PrintEventMonitor in CHESS Samples
Hello. I saw the PrintEventMonitor.cpp and Makefile in Samples/Monitor. How to make it compile and run CHESS with these modified behaviors? I am trying to change CHESS somehow to do ... -
0 Votes
Can the compiler drop volatile reads when it thinks they are not usefull?
Hello. Think about the case where you have one (and one only) main thread that changes some data and some background threads that only reads ... -
0 Votes
CHESS with VS 2010
When will be the support for VS 2010 expected?Answered | 4 Replies | 12601 Views | Created by Deepak Bhatia 75 - Monday, July 12, 2010 6:10 AM | Last reply by Suedama1756 - Tuesday, August 24, 2010 7:49 PM -
0 Votes
Chained volatile writes/reads
Hello. I would like to submit you this particular example and to get your opinion: Class ...Unanswered | 1 Replies | 9666 Views | Created by Sylvain De - Sunday, July 11, 2010 8:58 AM | Last reply by Sylvain De - Tuesday, August 24, 2010 3:33 PM -
0 Votes
Issue with delegate.BeginInvoke / EndInvoke
I've got a reproducable issue where my tests hang (ie freeze forever, rather than chess detecting a deadlock) when I use delegate.BeginInvoke/EndInvoke as part of my test. The ...Unanswered | 2 Replies | 11862 Views | Created by piers7 - Tuesday, July 20, 2010 11:57 AM | Last reply by piers7 - Wednesday, August 4, 2010 12:39 AM -
0 Votes
How to reuse unit tests written for Nunit to be used with Chess and execute Chess tool.
Hi, I have a set of unit tests written for my multi-threaded application to be executed using NUnit. I have seen some samples for chess tool, where ...Answered | 3 Replies | 12684 Views | Created by goelankit - Thursday, May 6, 2010 7:13 AM | Last reply by piers7 - Tuesday, July 20, 2010 11:45 AM -
0 Votes
Why does wchess not support /detectraces?
Why does wchess not support /detectraces? Will the next version of wchess support /detectraces?Answered | 2 Replies | 11263 Views | Created by Neil.Justice - Sunday, June 6, 2010 3:48 AM | Last reply by Neil.Justice - Wednesday, July 14, 2010 12:42 PM -
0 Votes
How to execute large bodies of codes atomically (no pre-emption needed)?
Hi, I'm doing a CHESS for my reasearch simulator, which has several thread execute concurrently. I understand that n threads that execute k steps will make the interleaving grows up ...Answered | 1 Replies | 10996 Views | Created by StellaNg - Thursday, June 17, 2010 11:35 PM | Last reply by Tom Ball - Wednesday, July 14, 2010 4:53 AM -
0 Votes
Time functions with CHESS
Hi, i'm doing my internship concerning multi-threaded programs verification with CHESS and i encountered a small problem. I read in wchess's documentation that we can use ...Answered | 1 Replies | 11033 Views | Created by mogeb - Tuesday, May 11, 2010 6:55 PM | Last reply by Tom Ball - Wednesday, July 14, 2010 4:50 AM -
0 Votes
Is CHESS considered Stable/Production Ready?
I have been looking around at finding ways to better test multi-threaded code and I came across CHESS. Since the project exists as a Microsoft Research project, I was wondering if CHESS is ...Answered | 2 Replies | 12187 Views | Created by S Christopher - Monday, January 25, 2010 4:46 PM | Last reply by Tom Ball - Wednesday, July 14, 2010 4:48 AM -
0 Votes
Is there a problem with CHESS and System.Threading.Timer?
When running a test which uses a System.Threading.Timer under mchess or under the Chess MSTest host, I find that the timer calls back almost immediately regardless of the duration which has been set. ...Answered | 1 Replies | 10403 Views | Created by Juggler100 - Wednesday, June 23, 2010 9:19 AM | Last reply by Tom Ball - Wednesday, July 14, 2010 4:47 AM -
0 Votes
False Deadlock?
Hi everyone, i don't know if i'm using CHESS for the right kind of programs but i'm facing a problem with this tool. I am actually working on testing a protocol that i modeled with ...Unanswered | 2 Replies | 11306 Views | Created by mogeb - Monday, July 5, 2010 5:17 AM | Last reply by Tom Ball - Wednesday, July 14, 2010 4:41 AM -
0 Votes
What's Up With CHESS?
Sorry that the CHESS team has not been more active on the forum lately. We've been working on a course to teach .NET 4 (see http://research.microsoft.com/ppcp/), and doing some ... -
2 Votes
CLR 2.0 Memory Model
{ while ( !flag ) Thread.Sleep( 0 ); read = data; // race } ); t2.Start(); data = 1; // race flag = ...Answered | 6 Replies | 14120 Views | Created by Nicholas Butler - Saturday, February 6, 2010 1:46 PM | Last reply by Hedda Wheldon - Friday, July 2, 2010 4:35 PM -
1 Votes
Share stories of CHESS wins/losses
Are you using CHESS? Do you have success or horror stories to share? We would love to hear about how CHESS works in the field. Use this thread to share your experiences about ...Discussion | 12 Replies | 17525 Views | Created by Tom Ball - Thursday, January 15, 2009 8:57 PM | Last reply by piers7 - Thursday, June 24, 2010 1:48 PM - Items 1 to 20 of 127 Next ›
CHESS – Find and Reproduce Concurrency Heisenbugs announcement
-
Link
Welcome 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/
