CHESS: Find and Reproduce Concurrency Heisenbugs - All Comments

re: Welcome to the CHESS blog

Majid — Wed, 15 Dec 2010 16:51:46 GMT

Hi,

Can I use CHESS on a multi-thread program code written in C and Pthreads?

thank you.

re: CHESS release v0.1.30610.2: Data Race Detection, ChessBoard, Refinement Checking

Sunil — Wed, 18 Aug 2010 12:19:07 GMT

Hi..

I tried Chess on my application and tests failed when using 'Chess'.

But I am getting

[TestProperty("ChessMode","Repro")]

[TestProperty("ChessBreak","BeforePreemption,AfterPreemption")]

and then some "magical text". I am pasting this code after testmethod and its regenerating the bug but is not keeping any break-point in code.

So can you please guide me.

Also I am getting [TestProperty("ChessBreak","BeforePreemption,AfterPreemption")] unlike in video where Madan Musuvathi is getting only "Before Preemption".

Guide me on this too.

This week on C9: Get paid for open source, Azure for dating, debugging and naming lore

ComponentGear.com Feed — Sat, 20 Jun 2009 04:33:06 GMT

This week on Channel 9, Brian and Dan discuss the top developer news, including: - Peli de Halleux -

Sebastian Burckhardt - Data Race Detection with CHESS

ComponentGear.com Feed — Fri, 12 Jun 2009 22:21:44 GMT

Sebastian Burckhardt gives a short tutorial of some of the new features of CHESS : data race detection

re: Getting the most out of CHESS

amitig — Thu, 23 Apr 2009 19:37:09 GMT

Hi Shaz,

Can you clarify how ChessTestStartup and ChessTestShutdown are implemented, exactly? I don't see any mention of these in the docs. Is it same as the usual paradigm of writing methods decorated with TestInitialize and TestCleanup attributes? Thanks.

CHESS: Find and Reproduce Concurrency Heisenbugs : Stress vs. CHESS

DotNetShoutout — Wed, 04 Feb 2009 01:42:41 GMT

Thank you for submitting this cool story - Trackback from DotNetShoutout

Interesting Finds: 2009 02.02~02.03

gOODiDEA — Tue, 03 Feb 2009 04:03:08 GMT

.NETPerformance,MeasureandANTSProfilerAcommonclassforexecutingtaskswitharespon...

Reflective Perspective - Chris Alcock » The Morning Brew #269

Reflective Perspective - Chris Alcock » The Morning Brew #269 — Wed, 21 Jan 2009 11:25:03 GMT

PingBack from http://blog.cwa.me.uk/2009/01/21/the-morning-brew-269/

Microsoft CHESS for managed code available! « Information Bits

Microsoft CHESS for managed code available! « Information Bits — Thu, 15 Jan 2009 02:46:55 GMT

PingBack from http://rmeindl.wordpress.com/2009/01/15/microsoft-chess-for-managed-code-available/