CHESS Index

  1. Official Microsoft CHESS Page
  2. Chess Installation Instructions
  3. View some tutorials using Chess
  4. The Producer-Consumer Example
  5. The Lock Free Queue Example
back to top

Official Microsoft CHESS Page

Click here to go to the official CHESS page at Microsoft Research.

back to top

CHESS Installation Instructions

These instructions indicate how to install CHESS on Windows XP and to have it integrated with Microsoft Visual Studio 2008.

Click here to view the instructions.

back to top

View some tutorials using Chess

I have created a few tutorials on how to use Microsoft Chess with some of my own examples. Feel free to view them here.

Click here. to view my tutorial that shows you how to repeat the LockFreeQueue test #1 inside of Visual Studio using Chess.

Click here to view my tutorial that shows you how to repeat the LockFreeQueue test #1 using the command-line tool MChess.exe and analyzing the interleaving using ConcurrencyExplorer.exe.

back to top

The Producer-Consumer Example

This example demonstrates a code example that includes producer threads and consumer threads. A mistake is introduced in the code that causes a race condition. CHESS is able to find the race condition.

Click here to view the details of this example.

back to top

The Lock Free Queue Example

This example demonstrates a code example of an unbounded queue implemented without mutex locks. There are multiple tests performed using this code from different mistakes introduced.

Click here to view the details of this example.