The code handles concurrency the same way that redis handles concurrency. It's single threaded.
Btw 25% the speed means a lot slower :) My guess was that the difference for small keys that the redis-benchmark is stressing would be smaller.
I think that with big lists or using the SORT command the difference will be bigger.
Cheers, Salvatore