Coffeehouse Thread

1 post

Forum Read Only

This forum has been made read only by the site admins. No new threads or comments can be added.

About displaying the threads interleaving in ConcurrencyExplorer.

Back to Forum: Coffeehouse
  • User profile image

    Hey there,

    While watching the video in the microsoft research website (the link
    is listed below), I found that you can demonstrate the thread
    interleaving by visualizing it in a tool named ConcurrencyExplorer(a
    screen shot has been attached), which I am really eager to
    understanding how to implement it and how to integrate it into the
    CHESS test platform.

    After watch the video couple times, I found that the you
    were using a test case wrote by C++. I tried to find the sample code
    or maybe some documents about it on the website, but I can not.

    Link of the video:
    Screen shot of the Concurrency Explorer is attached.

    Can anybody hep me out? Really appreciate it!

Conversation locked

This conversation has been locked by the site admins. No new comments can be made.