Explanation : A TM is recursive iff it halts for every input string (either in accept or reject state).
Here, a computable function is defined in a similar way.
Explanation : Reentrant property is provided, so that a process who owns a lock, can acquire same lock multiple times. Here it is non-reentrant as given, process cant own same lock multiple times. So if a thread tries to acquire already owned lock, will get blocked, and this is a deadlock.
Hence correct answer is x=1, y=1.