Concurrent Map Sharding

Increase performance of highly-contended maps by sharding them into independent partitions.