Subj : Re: thread safety
To   : comp.programming.threads
From : Hung Nguyen
Date : Thu Aug 25 2005 01:58 am

On Mon, 22 Aug 2005 15:16:11 +0200, Alexander Fleck wrote:

It's not easy to verify concurrent program.You have to take care of a few
things :
    1. Mutual exclusion
    2. Free of deadlock
    3. No nessary delay ( this can slow down significantly your program if
                          your design not good )
 
Testing is definitely not enough due to explosion of number states when
number of threads increases. There are a few tool and topics our there can
help you to verify your design is correct (ie : spin). Hope it helps
Good luck

.