the above code is buggy. What's wrong with it? Explain using a specific execution example and show the problem.

SOLUTION 1: Spin SOLUTION 2: No Lock SOLUTION 3: No State Variable SOLUTION 4: Actually Works