OS/FreeRTOS: add volatile to recursive spinlock tracking arrays

The `ucOwnedByCore` and `ucRecursionCountByLock` arrays are used to
manage recursive spinlocks and are accessed by multiple cores.

Without the `volatile` keyword, the compiler might optimize away memory
accesses and cache the array values in registers. This could lead to
a core reading a stale value, causing incorrect lock behavior, race
conditions, or deadlocks in a multi-core environment.

Marking these arrays as `volatile` ensures that every access reads from
or writes to main memory, guaranteeing the correct and up-to-date
state is observed by all cores.

Signed-off-by: Huaqi Fang <[email protected]>

Author: fanghuaqi

OS/FreeRTOS/Source/portable/port.c

@@ -177,9 +177,9 @@ spin_lock_t hw_sync_locks[portRTOS_SPINLOCK_COUNT] = {0, 0};
 void vPortRecursiveLock(unsigned long ulLockNum, spin_lock_t *pxSpinLock, BaseType_t uxAcquire)
 {
     /* Track, per-core, which locks this core currently owns.          */
-    static uint8_t ucOwnedByCore[portMAX_CORE_COUNT];
+    static volatile uint8_t ucOwnedByCore[portMAX_CORE_COUNT];
     /* Track, per-lock, how many times it has been recursively taken.  */
-    static uint8_t ucRecursionCountByLock[portRTOS_SPINLOCK_COUNT];
+    static volatile uint8_t ucRecursionCountByLock[portRTOS_SPINLOCK_COUNT];
 
     configASSERT(ulLockNum < portRTOS_SPINLOCK_COUNT);
     unsigned long ulCoreNum = __get_hart_index();   /* ID of current hart  */