No - that’s what FreeRTOS (the scheduler) does for you 
But be careful and check the low level access to the 2 LEDs.
They might be controlled by the same GPIO controller of your MCU and that’s a HW resource that probably need mutex protection when accessing it.
1 Like