Merge 71c4c6d89a into 62bd622ffc

feat(freertos/smp): Add Granular Locking V4 proposal documents
Co-authored-by: Sudeep Mohanty <sudeep.mohanty@espressif.com>
2025-07-05 11:57:15 -04:00 · 2025-06-10 13:54:32 +00:00 · 2025-06-10 15:54:16 +02:00 · 2025-06-10 15:54:10 +02:00 · 2025-06-10 15:54:04 +02:00 · 2025-06-10 15:53:57 +02:00
1 changed files with 33 additions and 27 deletions
--- a/include/task.h
+++ b/include/task.h
@ -298,12 +298,18 @@ typedef enum
        vTaskPreemptionDisable( NULL );                                                   \
        {                                                                                 \
            const BaseType_t xCoreID = ( BaseType_t ) portGET_CORE_ID();                  \
+            if( portGET_CRITICAL_NESTING_COUNT( xCoreID ) == 0U ) {                       \
                /* Task spinlock is always taken first */                                 \
                portGET_SPINLOCK( xCoreID, ( portSPINLOCK_TYPE * ) pxTaskSpinlock );      \
                /* Disable interrupts */                                                  \
                portDISABLE_INTERRUPTS();                                                 \
                /* Take the ISR spinlock next */                                          \
                portGET_SPINLOCK( xCoreID, ( portSPINLOCK_TYPE * ) pxISRSpinlock );       \
+            }                                                                             \
+            else                                                                          \
+            {                                                                             \
+                mtCOVERAGE_TEST_MARKER();                                                 \
+            }                                                                             \
            /* Increment the critical nesting count */                                    \
            portINCREMENT_CRITICAL_NESTING_COUNT( xCoreID );                              \
        }                                                                                 \
@ -343,16 +349,16 @@ typedef enum
    do {                                                                             \
        const BaseType_t xCoreID = ( BaseType_t ) portGET_CORE_ID();                 \
        configASSERT( portGET_CRITICAL_NESTING_COUNT( xCoreID ) > 0U );              \
-        /* Release the ISR spinlock */                                           \
-        portRELEASE_SPINLOCK( xCoreID, ( portSPINLOCK_TYPE * ) pxISRSpinlock );  \
-        /* Release the task spinlock */                                          \
-        portRELEASE_SPINLOCK( xCoreID, ( portSPINLOCK_TYPE * ) pxTaskSpinlock ); \
        /* Decrement the critical nesting count */                                   \
        portDECREMENT_CRITICAL_NESTING_COUNT( xCoreID );                             \
-        /* Enable interrupts only if the critical nesting count is 0 */          \
        if( portGET_CRITICAL_NESTING_COUNT( xCoreID ) == 0 )                         \
        {                                                                            \
+            /* Release the ISR spinlock */                                           \
+            portRELEASE_SPINLOCK( xCoreID, ( portSPINLOCK_TYPE * ) pxISRSpinlock );  \
+            /* Enable interrupts */                                                  \
            portENABLE_INTERRUPTS();                                                 \
+            /* Release the task spinlock */                                          \
+            portRELEASE_SPINLOCK( xCoreID, ( portSPINLOCK_TYPE * ) pxTaskSpinlock ); \
        }                                                                            \
        else                                                                         \
        {                                                                            \
Author	SHA1	Message	Date
Sudeep Mohanty	35987eb280	Merge `71c4c6d89a` into `62bd622ffc`	2025-06-10 13:54:32 +00:00
Darian Leung	71c4c6d89a	feat(freertos/smp): Add Granular Locking V4 proposal documents Co-authored-by: Sudeep Mohanty <sudeep.mohanty@espressif.com>	2025-06-10 15:54:16 +02:00
Darian Leung	7f8416db94	change(freertos/smp): Update timers.c locking Updated timers.c to use granular locking - Added xTaskSpinlock and xISRSpinlock - Replaced critical section macros with data group critical section macros such as taskENTER/EXIT_CRITICAL() with tmrENTER/EXIT_CRITICAL(). - Added vTimerEnterCritical() and vTimerExitCritical() to map to the data group critical section macros. Co-authored-by: Sudeep Mohanty <sudeep.mohanty@espressif.com>	2025-06-10 15:54:10 +02:00
Darian Leung	ab8600effc	change(freertos/smp): Update stream_buffer.c locking Updated stream_buffer.c to use granular locking - Added xTaskSpinlock and xISRSpinlock - Replaced critical section macros with data group critical section macros such as taskENTER/EXIT_CRITICAL/_FROM_ISR() with sbENTER/EXIT_CRITICAL_FROM_ISR(). - Added vStreambuffersEnterCritical/FromISR() and vStreambuffersExitCritical/FromISR() to map to the data group critical section macros. - Added prvLockStreamBufferForTasks() and prvUnlockStreamBufferForTasks() to suspend the stream buffer when executing non-deterministic code. Co-authored-by: Sudeep Mohanty <sudeep.mohanty@espressif.com>	2025-06-10 15:54:04 +02:00
Darian Leung	3184393420	change(freertos/smp): Update event_groups.c locking Updated event_groups.c to use granular locking - Added xTaskSpinlock and xISRSpinlock - Replaced critical section macros with data group critical section macros such as taskENTER/EXIT_CRITICAL/_FROM_ISR() with event_groupsENTER/EXIT_CRITICAL/_FROM_ISR(). - Added vEventGroupsEnterCritical/FromISR() and vEventGroupsExitCriti/FromISR() functions that map to the data group critical section macros. - Added prvLockEventGroupForTasks() and prvUnlockEventGroupForTasks() to suspend the event group when executing non-deterministic code. - xEventGroupSetBits() and vEventGroupDelete() accesses the kernel data group directly. Thus, added vTaskSuspendAll()/xTaskResumeAll() to these fucntions. Co-authored-by: Sudeep Mohanty <sudeep.mohanty@espressif.com>	2025-06-10 15:53:57 +02:00
Darian Leung	c712a63ce8	change(freertos/smp): Update queue.c locking Updated queue.c to use granular locking - Added xTaskSpinlock and xISRSpinlock - Replaced critical section macros with data group critical section macros such as taskENTER/EXIT_CRITICAL/_FROM_ISR() with queueENTER/EXIT_CRITICAL_FROM_ISR(). - Added vQueueEnterCritical/FromISR() and vQueueExitCritical/FromISR() which map to the data group critical section macros. - Added prvLockQueueForTasks() and prvUnlockQueueForTasks() as the granular locking equivalents to prvLockQueue() and prvUnlockQueue() respectively Co-authored-by: Sudeep Mohanty <sudeep.mohanty@espressif.com>	2025-06-10 15:53:50 +02:00
Darian Leung	e584634e1f	change(freertos/smp): Update tasks.c locking Updated critical section macros with granular locks. Some tasks.c API relied on their callers to enter critical sections. This assumption no longer works under granular locking. Critical sections added to the following functions: - `vTaskInternalSetTimeOutState()` - `xTaskIncrementTick()` - `vTaskSwitchContext()` - `xTaskRemoveFromEventList()` - `vTaskInternalSetTimeOutState()` - `eTaskConfirmSleepModeStatus()` - `xTaskPriorityDisinherit()` - `pvTaskIncrementMutexHeldCount()` Added missing suspensions to the following functions: - `vTaskPlaceOnEventList()` - `vTaskPlaceOnUnorderedEventList()` - `vTaskPlaceOnEventListRestricted()` Fixed the locking in vTaskSwitchContext() vTaskSwitchContext() must aquire both kernel locks, viz., task lock and ISR lock. This is because, vTaskSwitchContext() can be called from either task context or ISR context. Also, vTaskSwitchContext() must not alter the interrupt state prematurely. Co-authored-by: Sudeep Mohanty <sudeep.mohanty@espressif.com>	2025-06-10 15:53:50 +02:00
Darian Leung	21382c3def	feat(granular_locks): Add granular locking functions - Updated prvCheckForRunStateChange() for granular locks - Updated vTaskSuspendAll() and xTaskResumeAll() - Now holds the xTaskSpinlock during kernel suspension - Increments/decrements xPreemptionDisable. Only yields when 0, thus allowing for nested suspensions across different data groups Co-authored-by: Sudeep Mohanty <sudeep.mohanty@espressif.com>	2025-06-10 15:53:09 +02:00