Я знаю, что планировщик Linux использует таймер для пробуждения, и его точность не в порядке.
Теперь, я думаю, какова точность времени семафора Linux?
Зависит ли это от точности планирования системы Linux? И использует ли linux планировщик hrtimer?