Quetions about the task scheduler

Kernel
4

The tick ISR protects against that, and the ISR is different for each port, so if you think there is a bug please also so say which port you are using.