Software Locks

Given the following implementation of a lock, does it work? If yes, justify your answer. If no, answer why by describing a counter example.

struct lock

{

int held = 0;

}

void acquire (lock)

{

while (lock->held);

lock->held = 1;

}

void release (lock)

{

lock->held = 0;

}