Tom Ball
Tom ball
Check me out on the web at Tom Ball - Microsoft Research.
Principal Researcher at Microsoft Research
Staff
Here is a list of Channel 9 staff members.
Tom ball
Tom ball
Here is a list of Channel 9 staff members.
© 2012 Microsoft. Except where designated as licensed by
Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 License,
Microsoft reserves all rights associated with the materials on this site.
Sebastian Burckhardt - Data Race Detection with CHESS
Jun 15, 2009 at 5:39 AMCHESS 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 PMCHESS 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 PMOn 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.