Entries:
Comments:
Posts:

Loading User Information from Channel 9

Something went wrong getting user information from Channel 9

Activity Profile

Latest Achievement:

Loading User Information from MSDN

Something went wrong getting user information from MSDN

Visual Studio Achievements

Visual Studio Achievements

Latest Achievement:

Loading Visual Studio Achievements

Something went wrong getting the Visual Studio Achievements

Tom Ball

Subscribe to this feed

Tom ball

Check me out on the web at Tom Ball - Microsoft Research.

msdn

Niner since 2009

Principal Researcher at Microsoft Research

Comments

Sebastian Burckhardt - Data Race Detection with CHESS
Jun 15, 2009 at 5:39 AM

CHESS only places schedule points at synchronization points (calls to System.Threading API, volatiles, interlocked increments). So you need data race detection to uncover more bugs. CHESS now has an option /preemptaccesses that places schedule points before every read/write. However, as currently implemented, this has high overhead.

-- Tom
CHESS: An Automated Concurrency Testing Tool
Jan 14, 2009 at 4:43 PM

Yes. But for the moment, please try out our recent release of CHESS (just live today):

CHESS is available for download at http://msdn.microsoft.com/en-us/devlabs/cc950526.aspx. CHESS is a tool from Microsoft Research for finding and reproducing concurrency errors. Please download the bits and let us know what you think in our forum. Also, subscribe to our blog for more details and tidbits.
Research: Concurrency Analysis Platform and Tools for Finding Concurrency Bugs
Jan 14, 2009 at 2:04 PM

On behalf of the CHESS team, I am very glad to announce that CHESS is available for download at http://msdn.microsoft.com/en-us/devlabs/cc950526.aspx. CHESS is a tool from Microsoft Research for finding and reproducing concurrency errors. Please download the bits and let us know what you think in our forum. Also, subscribe to our blog for more details and tidbits.