Recursive ConcurrentHashMap.computeIfAbsent() call never terminates. Bug or “feature”?

by

This is of course a “feature”. The ConcurrentHashMap.computeIfAbsent() Javadoc reads:

If the specified key is not already associated with a value, attempts to compute its value using the given mapping function and enters it into this map unless null. The entire method invocation is performed atomically, so the function is applied at most once per key. Some attempted update operations on this map by other threads may be blocked while computation is in progress, so the computation should be short and simple, and must not attempt to update any other mappings of this map.

The “must not” wording is a clear contract, which my algorithm violated, although not for the same concurrency reasons.

What’s still interesting is that there is no ConcurrentModificationException. Instead, the program just never halts – which still is a rather dangerous bug in my opinion (i.e. infinite loops. or: anything that can possibly go wrong, does).

Note:

The HashMap.computeIfAbsent() or Map.computeIfAbsent() Javadoc don’t forbid such recursive computation, which is of course ridiculous as the type of the cache is Map<Integer, Integer>, not ConcurrentHashMap<Integer, Integer>. It is very dangerous for subtypes to drastically re-define super type contracts (Set vs. SortedSet is greeting). It should thus be forbidden also in super types, to perform such recursion.

More Related Contents:

  1. Why is the max recursion depth I can reach non-deterministic?
  2. Implement recursive lambda function using Java 8
  3. Get List<K> from HashMap<K, V> where V is instance of I [closed]
  4. Java 8 Distinct by property
  5. What are functional interfaces used for in Java 8?
  6. Why filter() after flatMap() is “not completely” lazy in Java streams?
  7. Removal of JDBC ODBC bridge in java 8
  8. What is the equivalent lambda expression for System.out::println
  9. Does a lambda expression create an object on the heap every time it’s executed?
  10. Difference between `Optional.orElse()` and `Optional.orElseGet()`
  11. Generic type inference not working with method chaining?
  12. Maven is not working in Java 8 when Javadoc tags are incomplete
  13. Lambda this reference in java
  14. cannot resolve symbol ‘java.time.LocalDate’ error in android studio
  15. Removing Java 8 JDK from Mac
  16. java.lang.ClassCastException using lambda expressions in spark job on remote server
  17. Why is a combiner needed for reduce method that converts type in java 8
  18. Java 8: Where is TriFunction (and kin) in java.util.function? Or what is the alternative?
  19. Performance difference between Java 8 lambdas and anonymous inner classes
  20. Java 8 method references: provide a Supplier capable of supplying a parameterized result
  21. Mock Instant.now() without using Clock into Constructor or without Clock Object
  22. Adding a line in a JavaFX chart
  23. When and how does HashMap convert the bucket from linked list to Red Black Trees? [duplicate]
  24. LocalDate to java.util.Date and vice versa simplest conversion? [duplicate]
  25. How to convert LocalDate to SQL Date Java?
  26. Is mapToDouble() really necessary for summing a List with Java 8 streams?
  27. Is it possible to cast a Stream in Java 8?
  28. Java 8 Filter Array Using Lambda
  29. Cannot use Java 8 method with lambda arguments without specifying type arguments
  30. HQL recursion, how do I do this?

Leave a Comment