Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
pimd: fix missing the first round on wheel timer
`wheel_add_timer` will not *update* currrent wheel timer's wake-up time. It means next wake-up time is set before this insertion, and can't be changed. So added timers in this round between `current slot` and `nexttime slot` will unluckily miss the current round. Clearly it will lead to this problem: You expect to be woken up within 30s, you maybe be woken up within 60s. Yes, it is bad luck to miss the first round, but won't miss any more rounds. Coincidentally, pimd has one of the most important judgement for this time. If missed the first round, pimd will miss all the world. This fix is small and convervative. Just doubles the desired time interval.
- Loading branch information