False Deadlock? RRS feed

  • Question

  • Hi everyone,

    i don't know if i'm using CHESS for the right kind of programs but i'm facing a problem with this tool. I am actually working on testing a protocol that i modeled with a program that has 6 threads, each thread representing a module of the protocol. Each thread starts with an "EnterCriticalSection" and ends with a "LeaveCriticalSection" to insert preemptions and try all the possible combinations. When i run wchess i specify 1000 preemptions possibles (/explore:1000). The first execution goes as follows: all the threads are created, then each one executes the "EnterCriticalSection" and yields the processor, when the last thread executes the "EnterCriticalSection", i get a deadlock. How can i solve this problem (if it's possible). Or is CHESS not made for these kind of programs?

    Thank you

    Monday, July 5, 2010 5:17 AM

All replies