HashMap에서 computeIfAbsent()에 대한 재귀 호출 방지

맵에 값이 없으면 계산합니다. 우리는 그것을 명령적으로 합니다.

먼저 "if 블록"에서 containsKey()를 사용하여 값이 존재하는지 여부를 확인합니다. 찾지 못하면 다음과 같이 계산합니다.

  static Map<Integer, BigInteger> cache = new HashMap<>(
          Map.of(0, BigInteger.ZERO, 1, BigInteger.ONE)
  );

  public static BigInteger fibonacci(int n) {
    if (!cache.containsKey(n)) {
      var computed = fibonacci(n - 1).add(fibonacci(n - 2));
      cache.put(n, computed);
    }

    return cache.get(n);
  }

그러나 위의 코드는-computeIfAbsent 메서드를 사용하는 선언적 접근 방식으로 한 줄로 수행할 수 있습니다. 예를 들어 -

  public static BigInteger fibonacci(int n) {
    return cache.computeIfAbsent(n,
            key -> fibonacci(key - 1).add(fibonacci(key - 2)));
  }

위의 코드는 직관적이고 기능적이지만 재귀 호출과 함께 진행되지 않습니다.

위의 작업을 수행하면 결국 ConcurrentModificationException 예외가 발생합니다. fibonacci()의 호출로 인해 키 (key-1) 및 (key -2)에 매핑된 값을 수정하려고 합니다.

computeIfAbsent() 메서드에서 수정 횟수 확인이 있습니다.

int mc = modCount;
V v = mappingFunction.apply(key);
if (mc != modCount) { throw new ConcurrentModificationException(); }

재귀에서 수행하는 계산 중에 매핑 함수가 이 맵을 수정하지 않아야 합니다.

왜 던지나요ConcurrentModificationException ? 아이디어는 다른 스레드가 HashMap의 Collection-view에서 반복하는 동안 한 스레드가 Map을 수정하는 것이 허용되지 않는다는 것입니다. 결정되지 않은 시간에 불일치와 비결정적 동작이 생성됩니다. 여기에서 빠른 실패 접근 방식이 고려됩니다.

그런데 위의 코드에서는 다른 스레드에서 이 코드를 사용하지 않았죠? 글쎄, 그것은 계약에 가깝습니다. 계약을 위반하면 코드가 단일 스레드에서 실행되더라도 예외가 발생합니다.

그래서 솔루션은 무엇입니까,

잘 작동하는 전통적인 명령형 접근 방식을 사용하십시오.

사용 ConcurrentSkipListMap . ConcurrentSkipListMap는 스레드로부터 안전한 맵이며 computeIfAbsent()를 사용하는 동안 재귀 메서드에서 ConcurrentModificationException를 통과하지 않습니다.

참조:

https://docs.oracle.com/en/java/javase/16/docs/api/java.base/java/util/ConcurrentModificationException.html

https://docs.oracle.com/en/java/javase/16/docs/api/java.base/java/util/HashMap.html#computeIfAbsent(K,java.util.function.Function)