Merge 8eb906d08d into 2615dcde13

feat(freertos/smp): Add Granular Locking V4 proposal documents
Co-authored-by: Sudeep Mohanty <sudeep.mohanty@espressif.com>
2025-07-05 03:47:15 -04:00 · 2025-05-22 13:27:22 +00:00 · 2025-05-22 15:27:06 +02:00 · 2025-05-22 15:26:56 +02:00 · 2025-05-22 15:26:48 +02:00 · 2025-05-22 15:26:42 +02:00
3 changed files with 7 additions and 21 deletions
--- a/include/task.h
+++ b/include/task.h
@ -333,7 +333,6 @@ typedef enum
        portGET_SPINLOCK( xCoreID, ( portSPINLOCK_TYPE * ) &( ( pxDataGroup )->xISRSpinlock ) ); \
        /* Increment the critical nesting count */                                               \
        portINCREMENT_CRITICAL_NESTING_COUNT( xCoreID );                                         \
-        /* Return the previous interrupt status */                                               \
        uxSavedInterruptStatus;                                                                  \
    } )
 #endif /* #if ( portUSING_GRANULAR_LOCKS == 1 ) */
@ -351,7 +350,6 @@ typedef enum
    do {                                                                                                  \
        const BaseType_t xCoreID = ( BaseType_t ) portGET_CORE_ID();                                      \
        configASSERT( portGET_CRITICAL_NESTING_COUNT( xCoreID ) > 0U );                                   \
-        /* Decrement the critical nesting count */                                                        \
        portDECREMENT_CRITICAL_NESTING_COUNT( xCoreID );                                                  \
        if( portGET_CRITICAL_NESTING_COUNT( xCoreID ) == 0 )                                              \
        {                                                                                                 \
@ -384,9 +382,7 @@ typedef enum
    do {                                                                                         \
        const BaseType_t xCoreID = ( BaseType_t ) portGET_CORE_ID();                             \
        configASSERT( portGET_CRITICAL_NESTING_COUNT( xCoreID ) > 0U );                          \
-        /* Decrement the critical nesting count */                                               \
        portDECREMENT_CRITICAL_NESTING_COUNT( xCoreID );                                         \
-        /* Release the ISR spinlock */                                                           \
        portRELEASE_SPINLOCK( xCoreID, ( portSPINLOCK_TYPE * ) &( pxDataGroup->xISRSpinlock ) ); \
        if( portGET_CRITICAL_NESTING_COUNT( xCoreID ) == 0 )                                     \
        {                                                                                        \
--- a/queue.c
+++ b/queue.c
@ -339,14 +339,6 @@ static void prvInitialiseNewQueue( const UBaseType_t uxQueueLength,
        prvUnlockQueue( ( pxQueue ) );                                          \
        portRELEASE_SPINLOCK( portGET_CORE_ID(), &( pxQueue->xTaskSpinlock ) ); \
        vTaskPreemptionEnable( NULL );                                          \
-        if( ( xYieldAPI ) == pdTRUE )                                           \
-        {                                                                       \
-            taskYIELD_WITHIN_API();                                             \
-        }                                                                       \
-        else                                                                    \
-        {                                                                       \
-            mtCOVERAGE_TEST_MARKER();                                           \
-        }                                                                       \
    } while( 0 )
 #else /* #if ( ( portUSING_GRANULAR_LOCKS == 1 ) && ( configNUMBER_OF_CORES > 1 ) ) */
    #define queueLOCK( pxQueue )     \
--- a/tasks.c
+++ b/tasks.c
@ -5406,13 +5406,11 @@ BaseType_t xTaskIncrementTick( void )
             * SMP port. */
            configASSERT( portGET_CRITICAL_NESTING_COUNT( xCoreID ) == 0 );

-            /* vTaskSwitchContext() must not be called with a task that has
-             * preemption disabled. */
-            #if ( configUSE_TASK_PREEMPTION_DISABLE == 1 )
-                configASSERT( pxCurrentTCBs[ xCoreID ]->xPreemptionDisable == 0U );
-            #endif
-
-            if( uxSchedulerSuspended != ( UBaseType_t ) 0U )
+            if( uxSchedulerSuspended != ( UBaseType_t ) 0U
+                #if ( configUSE_TASK_PREEMPTION_DISABLE == 1 )
+                    || ( ( taskTASK_IS_RUNNING( pxCurrentTCBs[ xCoreID ] ) ) && ( pxCurrentTCBs[ xCoreID ]->xPreemptionDisable > 0U ) )
+                #endif
+                )
            {
                /* The scheduler is currently suspended or the task
                 * has requested to not be preempted - do not allow
@ -7500,11 +7498,11 @@ static void prvResetNextTaskUnblockTime( void )
                    BaseType_t xYieldCurrentTask;

                    /* Get the xYieldPending stats inside the critical section. */
-                    #if ( portUSING_GRANULAR_LOCKS == 1 )
+                    #if ( configUSE_TASK_PREEMPTION_DISABLE == 1 )
                        xYieldCurrentTask = xTaskUnlockCanYield();
                    #else
                        xYieldCurrentTask = xYieldPendings[ xCoreID ];
-                    #endif /* #if ( portUSING_GRANULAR_LOCKS == 1 ) */
+                    #endif /* configUSE_TASK_PREEMPTION_DISABLE */

                    kernelRELEASE_ISR_LOCK( xCoreID );
                    kernelRELEASE_TASK_LOCK( xCoreID );
Author	SHA1	Message	Date
Sudeep Mohanty	d00fdd8313	Merge `8eb906d08d` into `2615dcde13`	2025-05-22 13:27:22 +00:00
Darian Leung	8eb906d08d	feat(freertos/smp): Add Granular Locking V4 proposal documents Co-authored-by: Sudeep Mohanty <sudeep.mohanty@espressif.com>	2025-05-22 15:27:06 +02:00
Darian Leung	6faa6e2463	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-05-22 15:26:56 +02:00
Darian Leung	2f2b7e500a	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-05-22 15:26:48 +02:00
Darian Leung	2f58dd59c3	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-05-22 15:26:42 +02:00
Darian Leung	3176808c81	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-05-22 15:26:34 +02:00
Darian Leung	fd5037e7cc	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-05-22 15:26:26 +02:00
Darian Leung	7502d940d9	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-05-22 15:26:17 +02:00
Darian Leung	87094b4dc8	feat(freertos/smp): Add granular locking port macros checks Adds the required checks for granular locking port macros. Port Config: - portUSING_GRANULAR_LOCKS to enable granular locks - portCRITICAL_NESTING_IN_TCB should be disabled Granular Locking Port Macros: - Spinlocks - portSPINLOCK_TYPE - portINIT_SPINLOCK( pxSpinlock ) - portINIT_SPINLOCK_STATIC - Locking - portGET_SPINLOCK() - portRELEASE_SPINLOCK() Co-authored-by: Sudeep Mohanty <sudeep.mohanty@espressif.com>	2025-03-31 15:26:11 +02:00
Darian Leung	ad7e48a7d5	feat(freertos/smp): Allow vTaskPreemptionEnable() to be nested Changed xPreemptionDisable to be a count rather than a pdTRUE/pdFALSE. This allows nested calls to vTaskPreemptionEnable(), where a yield only occurs when xPreemptionDisable is 0. Co-authored-by: Sudeep Mohanty <sudeep.mohanty@espressif.com>	2025-03-31 15:26:11 +02:00
Darian Leung	a6d6d1220f	refactor(freertos/smp): Move critical sections inside xTaskPriorityInherit() xTaskPriorityInherit() is called inside a critical section from queue.c. This commit moves the critical section into xTaskPriorityInherit(). Co-authored-by: Sudeep Mohanty <sudeep.mohanty@espressif.com>	2025-03-31 15:26:11 +02:00