RTOS/TDA2SX: Processors synchronization when using SYS/BIOS in SMP mode

Tool/software: TI-RTOS

Hi,

I read SYS/BIOS SMP code and find no synchronization between cores,

e.g. no synchronization is made for manipulating the same task ready queue simultaneously.

Do I misunderstand the SMP code?