비교 및 ​​스왑 잘못된 값

Question

I가 나는 다음과 같은 방법으로 그것을 획득

public boolean acquireLock(Long id) { 
    if (lock.compareAndSet(0L, id)) { 
    return true ; 
    } 
    return false ; 
} 

특정 사용자 ID와 객체를 잠그는 다음 코드를

: 같은

 while(!parent.acquireLock(id)){ 
     System.out.println(lock.get()); 
     if (count++>1000000) { 
      System.out.println(id + " Trying to acquire " + lock.get()); 
      DebugHandler.createException("Error, deadlock"); 

     } 
     } 

릴리스를

public boolean releaseLock(Long id) { 

    if (lock.compareAndSet(id, 0)) { 
    System.out.println("Releasing Lock for " + id); 
    return true ; 
    } 
    else { 
    DebugHandler.createException("Lock not owned by current view. Thief"); 
    return false ; 
    } 

} 

잠금 개체를 다음과 같이 선언하십시오.

내가 함께 마무리되는 다음과 같은 이상한 행동과 교착 얻을 것을 제외하고 63,210

private volatile AtomicLong lo = new AtomicLong(0); 

:

아이디 (45)는 0

AK로, 락의 값을 취득하려고 체계적 0하지만 비교 및 ​​스왑 테스트 루프가 종료 된 후 교착 상태를 테스트하는 카운터가 다시 초기화됩니다.

아이디어가 있습니까?

Answer 1

코드에 문제가 있습니다. id이 0 인 스레드를 얻으면 잠금 구성표가 손상되고 두 스레드가 동시에 잠금을 유지할 수 있습니다.

수정 : acquireLock 및 releaseLock 방법에 수표를 추가하여 id이 0이 아닌지 테스트합니다. 코드가 분명히 교착 상태에 들어갈 수 있는지에 관해서는

는 :

• 정말 진짜 교착 상태가 될 수 있습니다. 예를 들어, 스레드가 id에 대한 잠금을 이미 보유하고있을 때 주어진 id에 대한 잠금을 획득하려고 시도하면이 오류가 발생할 수 있습니다. (귀하의 자물쇠는 재진입되지 않습니다.)

• 코드가 id에 해당하는 잠금을 해제하지 못했습니다. 예 : 예외가 throw되었고 releaseLock에 대한 일반 호출을 건너 뛰었 기 때문에