diff options
author | Ahmad Fatoum <ahmad@a3f.at> | 2021-03-10 09:47:45 +0100 |
---|---|---|
committer | Sascha Hauer <s.hauer@pengutronix.de> | 2021-03-12 09:00:15 +0100 |
commit | 9542aa31949e0cbe724720065effd8b12c132154 (patch) | |
tree | e09be675001cf560d5cdadecda54f7ae7f7eba86 /common | |
parent | a66e38cd2d32aa2e1036305d877c248578f875b6 (diff) | |
download | barebox-9542aa31949e0cbe724720065effd8b12c132154.tar.gz barebox-9542aa31949e0cbe724720065effd8b12c132154.tar.xz |
common: introduce HAS_ARCH_SJLJ
setjmp stores the registers comprising the execution context into a
jmp_buf and longjmp switches to that context and continues execution just
after the setjmp that allocated that jmp_buf.
setjmp/longjmp can have multiple uses:
- Handle return from firmware that clobbers registers. This is why we
already have a setjmp/longjmp ARM
- Do exception handling[1]
- Port over scripting language VMs that use sjlj for context switching
- Implement stackless coroutines in C.
These coroutines would be stackless, because jumping to a setjmp down the
call stack means that the code there will clobber the stack below it.
On resuming the coroutine, it will run with a stack changed in the
interim leading to undefined behavior.
There are ways around that without resorting to custom Assembly:
- Allocate a buffer on the scheduler's stack, so coroutine can
grow into them
-> Problem: exploits Undefined behavior
- Yield first time on scheduler stack, then patch jmp_buf to point at
another stack
-> Problem: Code switching stacks should not itself use the stack
- Construct a new jmp_buf with user-supplied return address and stack top:
int initjmp(jmp_buf jmp, void __noreturn (*func)(void), void *stack_top);
The latter could also be reused as a portable way of setting up a stack
in early init code.
We are going to implement green threads in later commits, so add a
symbol that can be selected to indicate architecture support for setjmp,
longjmp and the new initjmp.
[1]: https://www.spinics.net/lists/u-boot-v2/msg41322.html
Signed-off-by: Ahmad Fatoum <ahmad@a3f.at>
Signed-off-by: Sascha Hauer <s.hauer@pengutronix.de>
Diffstat (limited to 'common')
-rw-r--r-- | common/Kconfig | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/common/Kconfig b/common/Kconfig index edadcc9f49..c0ff57bcdb 100644 --- a/common/Kconfig +++ b/common/Kconfig @@ -28,6 +28,11 @@ config HAS_DMA Drivers that depend on a DMA implementation can depend on this config, so that you don't get a compilation error. +config HAS_ARCH_SJLJ + bool + help + Architecture has support implemented for setjmp()/longjmp()/initjmp() + config GENERIC_GPIO bool |