Priority-based scheduling in FreeRTOS - Time & Space Complexity

Time Complexity: Priority-based scheduling

O(1)

Understanding Time Complexity

When using priority-based scheduling in FreeRTOS, tasks are chosen based on their priority levels.

We want to understand how the time to pick the next task changes as the number of tasks grows.

Scenario Under Consideration

Analyze the time complexity of the following code snippet.

// Simplified task selection in FreeRTOS
TaskHandle_t xTaskToRun = NULL;
for (int priority = configMAX_PRIORITIES - 1; priority >= 0; priority--) {
    if (listLIST_IS_EMPTY(&pxReadyTasksLists[priority]) == pdFALSE) {
        xTaskToRun = listGET_OWNER_OF_HEAD_ENTRY(&pxReadyTasksLists[priority]);
        break;
    }
}
// xTaskToRun now points to the highest priority ready task
    

This code checks task lists from highest to lowest priority to find the next task to run.

Identify Repeating Operations

Identify the loops, recursion, array traversals that repeat.

• Primary operation: Loop over priority levels from highest to lowest.
• How many times: Up to configMAX_PRIORITIES times, which is a fixed number.

How Execution Grows With Input

The loop runs once for each priority level until it finds a ready task.

Input Size (Number of Priorities)	Approx. Operations
5	Up to 5 checks
10	Up to 10 checks
32	Up to 32 checks

Pattern observation: The number of checks grows linearly with the number of priority levels, but this number is usually fixed and small.

Final Time Complexity

Time Complexity: O(1)

This means the time to select the next task does not grow with the number of tasks, only with the fixed number of priority levels.

Common Mistake

[X] Wrong: "The scheduler checks every task every time, so time grows with total tasks."

[OK] Correct: The scheduler only checks priority lists, not every task individually, so time depends on priority count, not total tasks.

Interview Connect

Understanding how priority-based scheduling scales helps you explain real-time system behavior clearly and confidently.

Self-Check

"What if the number of priority levels was not fixed but grew with the number of tasks? How would the time complexity change?"

Practice

1.

What does priority-based scheduling in FreeRTOS ensure?

easy

A. Tasks run randomly without any priority

B. Tasks run in the order they were created

C. The highest priority task runs first

D. All tasks run equally regardless of priority

Solution

1. Step 1: Understand priority-based scheduling

   Priority-based scheduling means tasks with higher priority get CPU time before lower priority tasks.

2. Step 2: Apply this to FreeRTOS task execution

   FreeRTOS runs the highest priority task that is ready to run first, preempting lower priority tasks.

3. Final Answer:

   The highest priority task runs first -> Option C

4. Quick Check:

   Priority-based scheduling = highest priority runs first [OK]

Hint: Highest priority task always runs first in FreeRTOS [OK]

Common Mistakes:

• Thinking tasks run in creation order
• Assuming equal CPU time for all tasks
• Believing tasks run randomly

2.

Which of the following is the correct way to set a task priority when creating a task in FreeRTOS?

xTaskCreate(TaskFunction, "TaskName", 1000, NULL, ___, &TaskHandle);

easy

A. task name

B. stack size

C. task handle

D. priority

Solution

1. Step 1: Identify parameters of xTaskCreate

   The fifth parameter in xTaskCreate is the task priority.

2. Step 2: Match parameter to correct argument

   Passing 'priority' sets the task's priority level correctly.

3. Final Answer:

   priority -> Option D

4. Quick Check:

   Fifth parameter in xTaskCreate = priority [OK]

Hint: Priority is the fifth argument in xTaskCreate [OK]

Common Mistakes:

• Confusing stack size with priority
• Using task handle as priority
• Passing task name instead of priority

3.

Given the following FreeRTOS tasks with priorities, which task will run first?

Task A priority = 2
Task B priority = 3
Task C priority = 1

medium

A. Task A

B. Task B

C. Task C

D. All run simultaneously

Solution

1. Step 1: Compare task priorities

   Task B has priority 3, which is higher than Task A (2) and Task C (1).

2. Step 2: Determine which task runs first

   FreeRTOS runs the highest priority task first, so Task B runs before others.

3. Final Answer:

   Task B -> Option B

4. Quick Check:

   Highest priority (3) = Task B [OK]

Hint: Highest number priority runs first in FreeRTOS [OK]

Common Mistakes:

• Choosing task with lowest priority
• Assuming tasks run simultaneously
• Ignoring priority values

4.

Identify the error in this FreeRTOS task creation code snippet:

BaseType_t result = xTaskCreate(TaskFunc, "Task1", 500, NULL, 0, NULL);
if(result != pdPASS) {
    // Handle error
}

What is wrong with the priority value?

medium

A. Priority 0 means lowest priority but is valid

B. Priority 0 is invalid and causes error

C. Priority must be greater than 5

D. Priority should be a negative number

Solution

1. Step 1: Understand priority 0 in FreeRTOS

   Priority 0 is the lowest priority and is valid in FreeRTOS.

2. Step 2: Check if priority 0 causes error

   Priority 0 does not cause an error; task creation can succeed with it.

3. Final Answer:

   Priority 0 means lowest priority but is valid -> Option A

4. Quick Check:

   Priority 0 is valid lowest priority [OK]

Hint: Priority 0 is valid and lowest priority in FreeRTOS [OK]

Common Mistakes:

• Thinking priority 0 is invalid
• Assuming priority must be > 5
• Using negative priority values

5.

You have three tasks with priorities 2, 4, and 3. Task with priority 4 is blocked waiting for an event. Which task will FreeRTOS schedule next?

hard

A. Task with priority 3

B. Task with priority 2

C. Task with priority 4

D. No task runs until priority 4 task is ready

Solution

1. Step 1: Understand task states and scheduling

   FreeRTOS schedules the highest priority task that is ready (not blocked).

2. Step 2: Identify ready tasks

   Task with priority 4 is blocked, so it cannot run now. Tasks with priority 3 and 2 are ready.

3. Step 3: Choose highest priority ready task

   Between priority 3 and 2, priority 3 is higher, so it runs next.

4. Final Answer:

   Task with priority 3 -> Option A

5. Quick Check:

   Highest ready priority = 3 [OK]

Hint: Blocked tasks don't run; next highest ready priority runs [OK]

Common Mistakes:

• Trying to run blocked task
• Ignoring task states
• Assuming no task runs if highest priority blocked