Piccolo OS is a small multitasking OS for the Raspberry Pi Pico. It is designed primarily as a teaching tool. It demonstrates the fundamentals of a co-operative multitasking OS and the Arm Cortex-M0+.
Many! Including lack of per-task memory, multicore support, mutexes, queues, a file system, networking, a shell, and so on...
Since the Internet seems to be full of people with way too much time on their hands, I would just like to kindly shoo away any C/C++ pedants out there. Yes, I am sure there are a million different ways to achieve many of the same results. Yes, I am sure there are some fine points of language semantics that could be argued about. Yes, I am sure you have a more efficient way of writing some of the functions.
To be honest, I am not interested.
Having said that, like-minded people who wish to contribute and extend Piccolo OS are welcome. See Contributing
Make sure you have the Pico C/C++ SDK installed and working on your machine. Getting started with Raspberry Pi Pico is the best place to start.
You need to have PICO_SDK_PATH defined, e.g. export PICO_SDK_PATH=/home/pi/pico/pico-sdk/
Clone the code from the repository. Change directory into build and run cmake -DCMAKE_BUILD_TYPE=Debug .. (for a debug build) or cmake .. (for a release build).
Run make
The resulting file piccolo_os_demo.elf can be flashed on your Pico in the normal way.
First to define some terminology. The kernel is the main() function (and later piccolo_start() which is called by main() and never returns.) The job of the
kernel is to allow for tasks to be created and then, in a round-robin fashion, pick the next task that needs to be run, save the kernel stack, restore the task's stack and jump to the program counter (PC) last used by the user task.
A task (i.e. user task) is a function that is run by Piccolo in a round-robin fashion along with the other tasks. For example, a function that flashes the onboard LED. Each task has its own stack, separate from the main stack (which is used by the kernel).
So, there are two types of stack, the Main Stack Pointer (MSP) and Process Stack Pointer (PSP). The Process Stack Pointer (PSP) is used by the current task, and the MSP is used by OS Kernel and exception handlers.
To switch from the kernel to a task, Piccolo needs to save the kernel state on the main stack, restore the user state from the process stack, and jump to the task PC that was saved. To switch from a task to the kernel, the opposite happens, in that the user stack is saved, the kernel stack is restored. The task to kernel switch happens via an interrupt, a SVC.
Piccolo OS uses a set of stacks, one for each task. The stacks are defined in piccolo_os_internals_t along with the number of created tasks, plus the index to the current task.
piccolo_init() initializes the number of created tasks to zero, then calls the standard Pico SDK initialization function stdio_init_all(). After reset, the processor is
in thread (privileged) mode. __piccolo_task_init_stack() switches to handler mode to ensure an appropriate exception return.
Once piccolo_init() has been called the rest of main(), and any other functions like piccolo_start() will be run in handler mode. This can cause problems with the Pico C/C++ SDK, especially with the timers as they are hardware/interrupt based.
To create a task the initial stack frame is created. It needs to mimic what would be saved by hardware and by the software. Once the stack is initialized, __piccolo_pre_switch() is called to simulate a return from the exception state. The stack is then ready to be used for context switching.
This is an infinite loop that picks the next stack (i.e. next task) to use in a round-robin fashion. When piccolo_yield() or piccolo_syscall() is called an exception is raised (a SVC exception), which causes the interrupt handler isr_svcall to be called.
This function is very simple:
nop
svc 0
nop
bx lr
The SVC instruction causes an exception which is handled by isr_svcall.
This is invoked via the SVC exception. It saves the current user task onto the PSP and then restores the kernel stack. It then returns to the last PC used by the kernel before it was switched out. Control returns to the kernel (main() or piccolo_start()).
__piccolo_pre_switch() saves the kernel state, i.e. R4 to R12 (which contains the PSR) and the LR (the return address), onto the main stack. Then, the task state (the register R4 to R11 and the LR) are restored from the task's PSP stack. This is in R0, which is used to set the PSP register. The code then jumps to the LR (restored from the PSP).
If the LR is THREAD_PSP (i.e. 0xFFFFFFFD, a special return address recognized by the CPU) then THREAD_PSP forces a return to Thread mode, execution continues using the PSP.
Since Piccolo OS isn't preemptive, then using the Pico's C/C++ sleep functions will cause execution to block. piccolo_sleep() is a replacement function that calls piccolo_yield() while waiting for the specified amount of time to pass.
When the Cortex-M0+ processor is running a program it can be either in Thread mode or Handler mode. Thread mode and Handler mode are almost completely the same. The only difference is that Thread mode uses (if desired) the Process Stack Pointer (PSP) rather than the Main Stack Pointer (MSP).
After reset, the processor is in Thread mode.
The Cortex-M0 and Cortex-M0+ processors (also applicable to Cortex-M3/M4/M7) have two Stack Pointers (SPs). There are two types of stack, the Main Stack Pointer (MSP) and Process Stack Pointer (PSP). The Process Stack Pointer (PSP) is used by the current task, and the MSP is used by OS Kernel and exception handlers. The stack pointer selection is determined by the CONTROL register, a special registers. When a context switch occurs the status is saved on the stack.
- Piccolo OS -> save kernel state on MSP ->
- restore TASK1 state from PSP_1 -> TASK1 -> save TASK1 state to PSP_1 ->
- restore kernel state from MSP -> Piccolo OS -> save kernel on MSP ->
- restore TASK2 state from PSP_2 -> TASK2 -> save TASK2 state to PSP_2 ->
- restore kernel state from MSP -> Piccolo OS -> save kernel on MSP ->
- restore TASK3 state from PSP_3 -> TASK3 -> save TASK3 state to PSP_3 ->
- restore kernel state from MSP -> Go to step 1.
Exception frame saved by the hardware onto stack:
+------+
| xPSR | 0x01000000 i.e. PSR Thumb bit
| PC | Pointer to task function
| LR |
| R12 |
| R3 |
| R2 |
| R1 |
| R0 |
+------+
Registers saved by the software (isr_svcall):
+------+
| LR | THREAD_PSP i.e. 0xFFFFFFFD
| R7 |
| R6 |
| R5 |
| R4 |
| R11 |
| R10 |
| R9 |
| R8 |
+------+
Registers saved by the software (__piccolo_pre_switch):
+------+
| LR |
| R7 |
| R6 |
| R5 |
| R4 |
| R12 | NB: R12 (i.e IP) is included, unlike user state
| R11 |
| R10 |
| R9 |
| R8 |
+------+
When the CPU is interrupted, the hardware will store R0 to R3, the PC etc., onto the stack. It is automatic. The interrupt handler isr_svcall() needs to save all the registers (the whole context) so it saves R4 to R11, etc. This means all the registered are saved. However, you may have noticed that when there is a switch from the kernel to a task via __piccolo_pre_switch() then this is software only (no SVC instruction, no interrupt) and so the kernel's R0 to R3 are not saved on the main stack. The reason is that the calling ARM calling convention (when you call a function) states that R0 to R3 are scratch registers and you can't rely on their contents after a branch to another bit of code. So R0 to R3 don't need to be saved as the C compiler knows not to rely on the value of those registers after a function call, and invoking __piccolo_pre_switch() is a function call!
Let say you have two tasks, task1 and task2. All they do is yield control back to the kernel. Like this:
void task1(void) {
while (true) {
piccolo_yield();
}
}
Below, {T} means Thread mode, {H} means Handler mode, {HI} means Handler mode, but in actual Interrupt handler.
Remember that, the kernel is the main() function and later piccolo_start() (which is called by main() and never returns).
The typical sequence of events, from start-up, is:
- {T} The processor starts in Thread mode
- {T}
piccolo_init()which calls__piccolo_task_init()
__piccolo_task_init()creates a dummy stack and calls__piccolo_task_init_stack()__piccolo_task_init_stack()saves the kernel state, i.e. R4 to R12 (which contains the PSR) and the LR (the return address), onto the main stack.- It then switches to the PSP (which is, in fact, a dummy stack) and triggers an interrupt
- {HI}
isr_svcall()handles the interrupt. It saves the current task state (R4 to R11 and the LR) onto the PSP (the dummy stack).
- {HI} It then restores the kernel state from the main stack and returns to the kernel using the LR saved on the main stack in 2.
- {H} After the interrupt, processing continues in
__piccolo_task_init()and eventuallypiccolo_init()but now in Handler mode. - {H} Next task1 is created via
piccolo_create_task(&task1); - {H} In
__piccolo_os_create_task()a new stack is initialized for the task, including the frames saved by the hardware when an interrupt is called (see Context Switching above). - {H} Once the stack has been set up,
__piccolo_pre_switch()is called passing the stack as a parameter. - {H}
__piccolo_pre_switch()saves the kernel state, i.e. R4 to R12 (which contains the PSR) and the LR (the return address), onto the main stack. - {H} The task state (the register R4 to R11 and the LR) are restored from the stack passed in at step 7. This is in R0.
- {H} R0 is set as the PSP and a jump is made to the LR, which is actually THREAD_PSP (i.e. 0xFFFFFFFD, a special return address recognized by the CPU)
- {T} THREAD_PSP forces a return to Thread mode, execution continues using the PSP. The PSP has the address of task1, as set up in step 6. See
stack[15] = (unsigned int)start;in__piccolo_os_create_task() - {T} task1 is just a loop that calls
piccolo_yield() - {T}
piccolo_yield()intentionally calls SVC and forces an interrupt that will be handled byisr_svcall() - {HI}
isr_svcall()handles the interrupt. It saves the state of tasks1 task (R4 to R11 and the LR) onto the PSP belonging task1 (see steps 10. and 11.).
- {HI} It then restores the kernel state from the main stack and returns to the kernel using the LR saved on the main stack in 8.
- {H} After the interrupt, processing continues in
main() - {H} Next task2 is created via
piccolo_create_task(&task2); - Steps 6. to 15. are repeated, but now for task2
- {H} After the interrupt, processing continues in
main(). Now that our tasks are created and running, we callpiccolo_start(); - {H} Using a simple round-robin algorithm,
piccolo_start();just picks the next task and calls__piccolo_pre_switch()passing the tasks stack as a parameter.
- {H}
__piccolo_pre_switch()saves the kernel state, i.e. R4 to R12 (which contains the PSR) and the LR (the return address), onto the main stack. - {H} The task state (the register R4 to R11 and the LR) are restored from the stack passed as the parameter to
__piccolo_pre_switch(). This is in R0. - {H} R0 is set as the PSP and a jump is made to the LR, which is actually THREAD_PSP (i.e. 0xFFFFFFFD, a special return address recognized by the CPU)
- {T} THREAD_PSP forces a return to Thread mode, execution continues using the PSP. The PSP has the address of where to continue in the task. This address was saved into the LR (and saved onto the PSP stack) when the call to
piccolo_yield()was made. - {T} Execution continues until
piccolo_yield()is called again.
- {T}
piccolo_yield()intentionally calls SVC and forces an interrupt that will be handled byisr_svcall() - {HI}
isr_svcall()handles the interrupt. It saves the state of the current task (R4 to R11 and the LR) onto the PSP belonging to the task.
- {HI} It then restores the kernel state from the main stack and returns to the kernel using the LR saved on the main stack.
- {H} After the interrupt, processing continues in
piccolo_start(); - Jump to step 19.
Below, {T} means Thread mode, {H} means Handler mode, {HI} means Handler mode, but in actual Interrupt handler.
Remember that, the kernel is the main() function and later piccolo_start() (which is called by main() and never returns).
- {T} The processor starts in Thread mode, switch to Handler mode
- {H} Create task1
- {H} Initialize a stack for the task, including the frames saved by the hardware when an interrupt is called (see Context Switching above).
- {H}
__piccolo_pre_switch()saves the kernel state, onto the main stack; and restores the task state from the process stack (PSP). - {T} Force a return to Thread mode, execution continues using the program counter stored in the PSP.
- {T} Execution continues until
piccolo_yield()is called.
- {T}
piccolo_yield()intentionally calls SVC and forces an interrupt that will be handled byisr_svcall() - {HI}
isr_svcall()saves the state of tasks1 onto the PSP. It then restores the kernel state from the main stack and returns to the kernel. - {H} Create task2
- {H} Initialize a stack for the task, including the frames saved by the hardware when an interrupt is called (see Context Switching above).
- {H}
__piccolo_pre_switch()saves the kernel state, onto the main stack; and restores the task state from the process stack (PSP). - {T} Force a return to Thread mode, execution continues using the program counter stored in the PSP.
- {T} Execution continues until
piccolo_yield()is called.
- Now that our tasks are created and running, we call
piccolo_start(); - {H} Using a simple round-robin algorithm,
piccolo_start();just picks the next task and calls__piccolo_pre_switch()passing the tasks stack as a parameter.
- {H}
__piccolo_pre_switch()saves the kernel state, onto the main stack. - {H} The task state are restored from the task's PSP
- {T} Force a return to Thread mode, execution continues using the program counter stored in the PSP.
- {T} Execution continues until
piccolo_yield()is called again.
- {T}
piccolo_yield()intentionally calls SVC and forces an interrupt that will be handled byisr_svcall() - {HI}
isr_svcall()saves the state of the task onto its PSP. It then restores the kernel state from the main stack and returns to the kernel (i.e.piccolo_start();) - Go to step 7.
Below, {T} means Thread mode, {H} means Handler mode.
Remember that, the kernel is the main() function and later piccolo_start() (which is called by main() and never returns).
- {T} The processor starts in Thread mode, switch to Handler mode
- {H} Create task1
- {H} Initialize a stack for it (PSP) then save the kernel state, onto the main stack; and restore the task state from the process stack (PSP).
- {T} Force a return to Thread mode, execution continues using the program counter stored in the PSP until
piccolo_yield()is called.
- {T}
piccolo_yield()intentionally forces an interrupt that saves the state of tasks1 onto the PSP and restores the kernel state from the main stack. Execution continues in the kernel. - {H} Create task2
- {H} Initialize a stack for it (PSP) then save the kernel state, onto the main stack; and restore the task state from the process stack (PSP).
- {T} Force a return to Thread mode, execution continues using the program counter stored in the PSP until
piccolo_yield()is called.
- {T}
piccolo_yield()intentionally forces an interrupt that saves the state of tasks2 onto the PSP and restores the kernel state from the main stack. Execution continues in the kernel. - Now that our tasks are created and running, we call
piccolo_start() piccolo_start()just picks the next task and calls__piccolo_pre_switch()to saves the kernel state, onto the main stack; and then restored the next task from the task's PSP
- {T} Force a return to Thread mode, execution continues using the program counter stored in the PSP.
- {T} Execution continues until
piccolo_yield()is called again.
piccolo_yield()forces an interrupt that saves the state of the task onto its PSP. It then restores the kernel state from the main stack and returns to the kernel (i.e.piccolo_start();)- Go to step 7.
Remember that, the kernel is the main() function and later piccolo_start() (which is called by main() and never returns).
- Create task1 and start running it using its own stack (PSP). It will run until
piccolo_yield()is called. - Via an interrupt
piccolo_yield()will saves the state of tasks1 onto its PSP and restore the kernel state from the main stack. Execution continues in the kernel. - Create task2 and start running it using its own stack (PSP). It will run until
piccolo_yield()is called. - Via an interrupt
piccolo_yield()will saves the state of tasks2 onto its PSP and restore the kernel state from the main stack. Execution continues in the kernel. - Now that our tasks are created and running, we call
piccolo_start() piccolo_start()just picks the next task, saves the kernel state, onto the main stack; and then restores the next task from the task's PSP- Continue executing the next task using its own stack until
piccolo_yield()is called. - Via an interrupt
piccolo_yield()will saves the state of the current task onto its PSP and restores the kernel state from the main stack. Execution continues in the kernel (i.e. inpiccolo_start()). - Go to 6.
Here is a brief look at some of the stacks and switches in and out of handler mode, which should help you visual what is happening with all those stacks!
After call to piccolo_init()->__piccolo_task_init()->__piccolo_task_init_stack()
Main stack (MSP)
+---------------+
| R4-R12,LR | Saved by __piccolo_task_init_stack(), LR is back to main()
+---------------+
__piccolo_task_init_stack() switches to using PSP0, the dummy stack from __piccolo_task_init(), and then drops into piccolo_syscall() which raises an SVC interrupt
Dummy stack (PSP0)
+---------------+ Saved by isr_svcall() using r0 which is the address of PSP0
| R4-R12,LR | LR will be 0xFFFFFFFD as this is an exception (interrupt).
+---------------+
| R0-R3,LR,PC | Saved by hardware on PSP0
+---------------+
The kernel, that is main(), context is restored from the stack, MSP is now empty
The last instruction is POP {PC} which pops off the LR and causes a jump back to the
kernel, i.e. main()
Main stack (MSP)
+---------------+
+---------------+
Back in main() now, but the CPU is in handler mode because it has not yet returned from the exception.
The dummy stack is discarded and never used again.
Create task1: piccolo_create_task() -> __piccolo_os_create_task()
Create an initial process stack PSP1 that mimics the stack from an interrupt call:
Task 1 stack (PSP1)
+---------------+ As would be saved by software, LR needs to be 0xFFFFFFFD
| R4-R12,LR |
+---------------+ As would be saved by hardware on PSP1
| R0-R3,LR,PC | PC is pointer task function (i.e. task1_func)
+---------------+
Then call __piccolo_pre_switch(task_stack) using the newly created stack:
__piccolo_pre_switch() saves the kernel state on the main stack:
Main stack (MSP)
+---------------+ Saved by __piccolo_pre_switch(),
| R4-R12,LR | LR is back to __piccolo_os_create_task() after call to __piccolo_pre_switch()
+---------------+
Load the state (the registers) for task1 from the stack created above. The address of that stack is in r0. Set the PSP register to R0 and then branch to LR. Since LR is 0xFFFFFFFD then this causes the CPU to end exit handler mode and return to thread mode.
Task 1 stack (PSP1)
+---------------+ As would be saved by hardware on PSP1
| R0-R3,LR,PC | PC is pointer task function (i.e. task1_func)
+---------------+
It now restores R0 to R3 and uses the PC to carry on execution using PSP1. PC is the pointer to task1_func().
PSP1 is now empty:
Task 1 stack (PSP1)
+---------------+
+---------------+
Task 1 will run until it calls piccolo_yield(). piccolo_yield() intentionally calls SVC and forces an interrupt that will be handled by isr_svcall()
Task 1 stack (PSP1)
+---------------+ Saved by isr_svcall() using r0 which is the address of PSP1
| R4-R12,LR | LR will be 0xFFFFFFFD as this is an exception (interrupt).
+---------------+
| R0-R3,LR,PC | Saved by hardware on PSP1
+---------------+
PSP1 is now ready to be used later to return to Task 1 when needed. Using a similar setup to how Task 1 was created in the first place.
Remember the main stack from earlier? It is still intact, as it was:
Main stack (MSP)
+---------------+ Saved by __piccolo_pre_switch(),
| R4-R12,LR | LR is back to __piccolo_os_create_task() after call to __piccolo_pre_switch()
+---------------+
isr_svcall() restores the kernel state from the main stack and returns to the kernel using the LR. Execution continues in __piccolo_pre_switch(), which eventually returns to
piccolo_create_task() and then main().
Task 2 and PSP2 are created in exactly the same way as Task 1. Eventually Task 2 calls piccolo_yield(), then ultimately the execution returns to main(). After all the tasks have been created then piccolo_start() is called.
piccolo_start() selects the next task and calls __piccolo_pre_switch() passing the pointer to the PSP. Let's assume Task 1 is next, so it passed in PSP1.
Remember the state of PSP?
Task 1 stack (PSP1)
+---------------+ Saved by isr_svcall() using r0 which is the address of PSP1
| R4-R12,LR | LR will be 0xFFFFFFFD as this is an exception (interrupt).
+---------------+
| R0-R3,LR,PC | Saved by hardware on PSP1
+---------------+
__piccolo_pre_switch() saves the kernel state on the main stack:
Main stack (MSP)
+---------------+ Saved by __piccolo_pre_switch(),
| R4-R12,LR | LR is back to __piccolo_os_create_task() after call to __piccolo_pre_switch()
+---------------+
It then loads the state (the registers) for task1 from PSP1. It sets the PSP register to R0 and then branches to LR. Since LR is 0xFFFFFFFD then this causes the CPU to end exit handler mode and return to thread mode.
Task 1 stack (PSP1)
+---------------+ Saved by hardware on PSP1
| R0-R3,LR,PC | PC is a pointer to somewhere in the task function,
+---------------+ just after the call to piccolo_yield()
It now restores R0 to R3 and uses the PC to carry on execution using PSP1. PC is the pointer to somewhere in the task function, just after the call to piccolo_yield()
PSP1 is now empty or in whatever state it was before Task 1 called piccolo_yield()
Task 1 stack (PSP1)
+---------------+
+---------------+
Execution continues until piccolo_yield() is called again.
At the moment Piccolo OS is co-operative, in that a task will continue to run until piccolo_yield() is called.
It should be possible to force a context switch using a timer or an interrupt like SysTick which in turn triggers a PendSV. However, my attempts to implement this have so far failed. I have ported the same code to an STM32 BluePill with a Cortex-M3 and pre-emptive tasking works via SysTick/PendSV.
My initial thoughts are that once main() is running in handler mode then the Pico C/C++ SDK doesn't process interrupts as expected. The "traditional" approach is to set the
interrupt priorities so that the SysTick has a high priority, however my attempts to do that that have so far been without success.
More work is needed.
I would like to keep this basic version of Piccolo OS intact, as a learning tool. I don't plan on expanding it, even to including pre-emptive multi-tasking (see above).
However, if there is interest then a V2.0 could be started which expands on V1.0 to include pre-emptive multitasking, as well as other things like mutexes, queues, per task memory, etc.
If there is interest then I will start a V2.0 repo and start accepting pull requests.
Having said that, please feel free to fork and continue working on Piccolo OS as you see fit.
https://datasheets.raspberrypi.org/pico/raspberry-pi-pico-c-sdk.pdf
https://raspberrypi.github.io/pico-sdk-doxygen/index.html
https://interrupt.memfault.com/blog/cortex-m-rtos-context-switching
https://www.adamh.cz/blog/2016/07/context-switch-on-the-arm-cortex-m0/
https://chromium.googlesource.com/chromiumos/platform/ec/
https://github.com/n-k/cortexm-threads
https://github.com/scttnlsn/cmcm
https://github.com/chris-stones/ShovelOS
https://github.com/jserv/mini-arm-os
https://stackoverflow.com/questions/48537618/cortex-m0-setting-the-priority-of-the-system-exception
https://github.com/dwelch67/raspberrypi-pico
https://github.com/davidgiven/FUZIX/tree/rpipico/Kernel/platform-rpipico
Copyright (C) 2021, Gary Sims All rights reserved.
SPDX short identifier: BSD-3-Clause
Some portions of code, intentionally or unintentionally, may or may not be attributed to the following people:
Copyright (C) 2017 Scott Nelson: CMCM - https://github.com/scttnlsn/cmcm
Copyright (C) 2015-2018 National Cheng Kung University, Taiwan: mini-arm-os - https://github.com/jserv/mini-arm-os
Copyright (C) 2014-2017 Chris Stones: Shovel OS - https://github.com/chris-stones/ShovelOS