3 ms·

I feel that with good statistics this could be done in the OS scheduler successfully. But it’s not my area of expertise.