I think they partition the data then serialize access in the partition. Makes things very fast assuming you only need to modify stuff atomically in one partition.