Deadlock auf einem einzelnen Java-Semaphor?

Question

In einem meiner letzten Antwort, habe ich ein theoretisches Semaphore Beispiel Beschränkung des Zugriffs auf Speicherressourcen:

public static byte[] createArray(int size) throws InterruptedException { 
    semaphore.acquire(size); 
    return new byte[size]; 
} 
public static void releaseArray(byte[] array) { 
    semaphore.release(array.length); 
} 

Ich denke, das eine Quelle der Deadlock sein kann, wenn die Zuordnung Verschachtelung ist schlecht:

semaphore = new Sempaphore(30, true); 
// T1         T2 
//--------------------------   ---------------------- 
a1 = createArray(10);           // 20 
             a3 = createArray(10);  // 10 
a2 = createArray(15);           // wait 
             a4 = createArray(15);  // wait 
// ...        // ... 
releaseArray(a1);      releaseArray(a3); 
releaseArray(a2);      releaseArray(a4); 

Ist meine Beobachtung wahr? Wenn ja, wie kann ich diese Situation vermeiden (z. B. zeitgesteuertes Warten und Rollback)?

Answer 1

Ja, mit Semaphore.tryAcquire(permits, timeout, timeUnit) wäre die sinnvolle Sache hier zu tun. Offensichtlich müssen Sie vorsichtig sein, um den Semaphor in einem finally Block freizugeben, um Lecks zu vermeiden ...