Can someone help me out with example of a situation in which absence of mutexes "definitely" leads to an incorrect result.
I need this so that I could test my mutex implementation.
Share
Sign Up to our social questions and Answers Engine to ask questions, answer people’s questions, and connect with other people.
Login to our social questions & Answers Engine to ask questions answer people’s questions & connect with other people.
Lost your password? Please enter your email address. You will receive a link and will create a new password via email.
Please briefly explain why you feel this question should be reported.
Please briefly explain why you feel this answer should be reported.
Please briefly explain why you feel this user should be reported.
Can someone help me out with example of a situation in which absence of mutexes "definitely" leads to an incorrect result.
I need this so that I could test my mutex implementation.
Consider any correct code that uses mutexes for synchronization. By removing the locking, you will introduce new (possibly incorrect) behaviors (executions) to the program. However, the new code will still contain all of the old behaviors, therefore there will always be at least one execution that will yield a correct result. Hence, what you’re asking for is impossible.