[Effective Java] 아이템 76. 가능한 한 실패 원자적으로 만들라.

🎯 아이템 76. 가능한 한 실패 원자적으로 만들라.

일반화해 이야기하면, 호출된 메서드가 실패하더라도 해당 객체는 메서드 호출 전 상태를 유지해야 한다.

• 메서드를 실패 원자적으로 만드는 방법
  

1️⃣ 불변 객체

불변 객체의 상태는 생성 시점에 고정되어 절대 변하지 않기 때문이다.

• 클래스를 불변으로 만들기 위한 5가지 규칙
  

1.객체의 상태를 변경하는 메서드(setter)를 제공하지 않는다.

2.클래스를 확장할 수 없도록 한다.

3.모든 필드를 final로 선언한다.

4.모든 필드를 private으로 선언한다.

5.자신 외에는 내부의 가변 컴포넌트에 접근할 수 없도록 한다.

2️⃣ 매개변수의 유효성 검사

객체의 내부 상태를 변경하기 전에 잠재적 예외의 가능성 대부분을 걸러낼 수 있는 방법이다.

public Object pop(){
    if(size == 0)
        throw new EmptyStackException();
    Object result = elements[--size];
    elements[size] = null; // 다 쓴 참조 해제
    return result;
}

3️⃣ 객체의 임시 복사본에서 작업을 수행한 다음, 작업이 성공적으로 완료되면 원래 객체와 교체

4️⃣ 작업 도중 발생하는 실패를 가로채는 복구 코드를 작성하여 작업 전 상태로 되돌리는 방법

실패 원자성은 일반적으로 권장되는 덕목이지만 항상 달성할 수 있는 것은 아니다.

두 스레드가 동기화 없이 같은 객체를 동시에 수정한다면 그 객체의 일관성이 깨질 수 있다. 따라서 ConcurrentModificationException을 잡아냈다고 해서 그 객체가 여전히 쓸 수 있는 상태라고 가정해서는 안된다. 한편, Error는 복구할 수 없으므로 AssertionError에 대해서는 실패 원자적으로 만들려는 시도조차 할 필요가 없다. 실패 원자적으로 만들 수 있더라도 항상 그리 해야 하는 것도 아니다. 실패 원자성을 달성하기 위한 비용이나 복잡도가 아주 큰 연산도 있기 때문이다. 따라서 실패 시의 객체 상태를 API 설명에 명시해야 한다.

참고 자료

Joshua Bloch, 『Effective Java 3/E』, 개앞맵시 옮김, 프로그래밍인사이트(2018)
http://www.kyobobook.co.kr/product/detailViewKor.laf?ejkGb=KOR&mallGb=KOR&barcode=9788966262281&orderClick=LEa&Kc=