피기백(piggyback) : 코드의 실행 순서를 정하는 면에서 미리 발생 규칙이 갖고 있는 능력의 수준 때문에 현재 사용 중인 동기화 기법의 가시성에 얹혀가는 방법
- 락으로 보호돼 있지 않은 변수에 접근해 사용하는 순서를 정의할 때, 모니터 락이나 volatile 변수 규칙과 같은 여러 가지 순서 규칙에 미리 발생 규칙을 함께 적용해 순서를 정의하는 방법을 말함
- 명령이
나열된 순서에 민감하며 오류가 발생하기 쉬움
FutureTask 클래스에서 protected로 구현하고 있는 AbstractQueuedSynchronizer 에서 피기백 방법을 볼 수 있음
- 현재는 AbstractQueuedSynchronizer을 사용하지 않고, CAS를 통해 업데이트된 ‘상태’ 필드와 대기 스레드를 보유하는 간단한 Treiber 스택에 의존하고 있음
public class FutureTask<V> implements RunnableFuture<V> {
/*
* Revision notes: This differs from previous versions of this
* class that relied on AbstractQueuedSynchronizer, mainly to
* avoid surprising users about retaining interrupt status during
* cancellation races. Sync control in the current design relies
* on a "state" field updated via CAS to track completion, along
* with a simple Treiber stack to hold waiting threads.
*/
...
}