4 ms·

I'm surprised they didn't measure the tail latency, that's where I'd expect busy waiting to make a difference