자바 병렬 ReentrantLock 류 소스 코드 분석

ReentrantLock 내 부 는 Sync 클래스 인 스 턴 스 로 이 루어 집 니 다.

Sync 클래스 는 ReentrantLock 내부 에 정 의 됩 니 다.

Sync 는 AbstractQueued Synchronizer 에 계승 되 었 습 니 다.
AbstractQueued Synchronizer 는 AbstractOwnable Synchronizer 에 계승 되 었 습 니 다.
AbstractOWnableSynchronizer 클래스 에 서 는 현재 가지 고 있 는 스 레 드 를 나타 내 는 exclusive Owner Thread 변 수 를 정의 합 니 다.

Sync 클래스 외 에 도 ReentrantLock 내 부 는 두 개의 구현 클래스 를 정의 했다.

NonfairSync 는 불공평 한 자물쇠 입 니 다.FairSync 는 공정 자물쇠 입 니 다.
ReentrantLock 두 가지 구조 방법 은 다음 과 같다.

ReentrantLock 의 lock 방법

불공평 한 자물쇠 잠 금 방법

compare AndSetState 방법 은 CAS 방법 입 니 다.이 방법 은 대상 안의 변 수 를 업데이트 하려 고 시도 합 니 다.변 수 는 0 으로 1 로 업데이트 되 기 를 기대 합 니 다.
업데이트 에 성공 하면 exclusiveOwner Thread 변 수 를 현재 스 레 드 로 설정 합 니 다.그리고 lock 방법 은 바로 돌아 갑 니 다.
업데이트 에 성공 하지 못 하면 acquire(1)를 호출 합 니 다.

acquire 방법 에서 먼저 try Acquire()를 호출 하여 업 데 이 트 를 다시 시도 합 니 다.
불공평 한 자물쇠 의 try Acquire()방법 은 다음 과 같다.

불공평 한 자물쇠 의 try Acquire()방법 내부 호출 nonfairTry Acquire 방법 은 다음 과 같다.

try Acquire()방법 이 다시 시도 되 지 않 으 면 성공 하지 못 합 니 다.우선 addWaiter()방법 을 호출 하여 현재 스 레 드 를 대기 열 에 추가 합 니 다.addWaiter 방법 은 Node 노드 를 되 돌려 줍 니 다.

노드 로 돌아 가면 acquireQueued(node,1)는 다시 업 데 이 트 를 시도 합 니 다.

업데이트 가 되 지 않 으 면 파 크 앤 드 체크 인 터 럽 트 를 통 해 스 레 드 를 연결 합 니 다.

ReentrantLock 의 unlock 방법

release()방법 보기.

대기 열의 헤드 가 비어 있 지 않 고 헤드 의 대기 상태 가 0 이 아니라면 unparkSuccessor()방법 을 호출 합 니 다.
unparkSuccessor()방법 은 다음 과 같 습 니 다.

node 의 next 를 뒤에서 옮 겨 다 니 며 대기 열 맨 앞 에 있 는 wait Status 가 0 보다 작은 스 레 드 를 가 져 옵 니 다.그리고 노드 의 스 레 드 를 계속 실행 합 니 다.