Lock-free structures have always felt like the "holy grail" of concurrent programming. I remember being blown-away when I read through the paper on CTries (which I'm assuming ConcurrentHashMap would be based on), and even more blown away about how well they performed.

I always assumed that Ctries basically necessitated a GC, but I am very happy to be wrong about this!