The post mentions concurrent hash tables for C++. Any ideas on which implementation they use? Or are they written in-house?