3 ms·

yeah, locks are expensive.