I'm reading about Banker's algorithm from here, I know that one condition to check if we can allocate available resource to a process is that check whether Work > Need, my wonder is that can we do so if Work < Need but Work + Allocation > Need.
For example, there are three resources R1, R2, R3 and we have already allocated P1
(0,0,4), it still needs (2,3,1) to finish its job. Now we have (2,3,0) resources available. Is it safe to give these resources to P1
and make sure there is no deadlock?