Wait, what exactly is happening? Do they randomize iterations or just use a hash algorithm that will spread the keys more randomly into the table? The former would lead to cache misses on big hash tables, while the latter would still performs the same, but it wouldn't be random. It just would be more obviously not the insertion order.