mirror of
https://github.com/clearlinux/graphene.git
synced 2026-09-03 12:21:37 +00:00
borysp
c24bddd5aa
Change log (most important only):
- unify CPU context structures - now we have only one version -
`PAL_CONTEXT` - which is shared between LibOS and PALs and it should
depend only on the host architecture (not OS),
- syscalls emulation changed:
- dedicated LibOS stack is now used for syscalls emulation,
- removed one indirection level in syscalls table - now it stores
`shim_do_*` functions directly,
- signal handling - completely rewritten:
- all signal queues use proper locking schemes now,
- signals are handled *only* when returning to the user app from LibOS
or PAL,
- nested signals are now possible,
- the app is allowed to jump out of signal handler with the same
sematics as on normal Linux,
- signal altstack is now fully supported,
- syscall restarting is now supported,
- doing a backtrace from the signal handler works properly,
- disallow injecting host-level signals, with one exception, see
`sys.enable_sigterm_injection` manifest option for more details.
140 lines
3.5 KiB
C
140 lines
3.5 KiB
C
/* This Hello World simply print out "Hello World" */
|
|
|
|
#include <inttypes.h>
|
|
#include <stdatomic.h>
|
|
#include <stdbool.h>
|
|
|
|
#include "pal.h"
|
|
#include "pal_debug.h"
|
|
|
|
static void* get_stack(void) {
|
|
void* stack;
|
|
__asm__ volatile("mov %%rsp, %0" : "=r"(stack) :: "memory");
|
|
return stack;
|
|
}
|
|
|
|
static void handler1(bool is_in_pal, PAL_NUM arg, PAL_CONTEXT* context) {
|
|
__UNUSED(is_in_pal);
|
|
|
|
pal_printf("Arithmetic Exception Handler 1: 0x%08lx, rip = 0x%08lx\n", arg, context->rip);
|
|
|
|
pal_printf("Stack in handler: %p\n", get_stack());
|
|
|
|
while (*(unsigned char*)context->rip != 0x90)
|
|
context->rip++;
|
|
}
|
|
|
|
static void handler2(bool is_in_pal, PAL_NUM arg, PAL_CONTEXT* context) {
|
|
__UNUSED(is_in_pal);
|
|
|
|
pal_printf("Arithmetic Exception Handler 2: 0x%08lx, rip = 0x%08lx\n", arg, context->rip);
|
|
|
|
while (*(unsigned char*)context->rip != 0x90)
|
|
context->rip++;
|
|
}
|
|
|
|
static void handler3(bool is_in_pal, PAL_NUM arg, PAL_CONTEXT* context) {
|
|
__UNUSED(is_in_pal);
|
|
|
|
pal_printf("Memory Fault Exception Handler: 0x%08lx, rip = 0x%08lx\n", arg, context->rip);
|
|
|
|
while (*(unsigned char*)context->rip != 0x90)
|
|
context->rip++;
|
|
}
|
|
|
|
atomic_bool handler4_called = false;
|
|
|
|
static void handler4(bool is_in_pal, PAL_NUM arg, PAL_CONTEXT* context) {
|
|
__UNUSED(is_in_pal);
|
|
|
|
pal_printf("Arithmetic Exception Handler 4: 0x%" PRIx64 ", rip = 0x%" PRIx64 "\n", arg,
|
|
context->rip);
|
|
|
|
while (*(unsigned char*)context->rip != 0x90)
|
|
context->rip++;
|
|
|
|
handler4_called = true;
|
|
}
|
|
|
|
static void red_zone_test(void) {
|
|
uint64_t res = 0;
|
|
|
|
// First call some function to ensure that gcc doesn't use the red zone
|
|
// itself.
|
|
pal_printf("Testing red zone...\n");
|
|
|
|
__asm__ volatile(
|
|
// Fill the red zone with a pattern (0xaa 0xa9 0xa8 ...)
|
|
"movq $-128, %%rax\n"
|
|
"movq $0xaa, %%rbx\n"
|
|
"1:\n"
|
|
"movb %%bl, (%%rsp, %%rax, 1)\n"
|
|
"decq %%rbx\n"
|
|
"incq %%rax\n"
|
|
"jnz 1b\n"
|
|
|
|
// Trigger exception
|
|
"movq $1, %%rax\n"
|
|
"cqo\n"
|
|
"movq $0, %%rbx\n"
|
|
"divq %%rbx\n"
|
|
"nop\n"
|
|
|
|
// Calculate sum of pattern
|
|
"movq $-128, %%rax\n"
|
|
"movq $0, %%rbx\n"
|
|
"movq $0, %%rcx\n"
|
|
"1:\n"
|
|
"movb (%%rsp, %%rax, 1), %%bl\n"
|
|
"addq %%rbx, %%rcx\n"
|
|
"incq %%rax\n"
|
|
"jnz 1b\n"
|
|
"movq %%rcx, %q0\n"
|
|
: "=rm"(res)
|
|
:
|
|
: "rax", "rbx", "rcx", "rdx", "cc", "memory");
|
|
|
|
if (!handler4_called) {
|
|
pal_printf("Exception handler was not called!\n");
|
|
return;
|
|
}
|
|
|
|
if (res != 13632) {
|
|
pal_printf("Sum over red zone (%lu) doesn't match!\n", res);
|
|
return;
|
|
}
|
|
|
|
pal_printf("Red zone test ok.\n");
|
|
}
|
|
|
|
int main(void) {
|
|
pal_printf("Stack in main: %p\n", get_stack());
|
|
|
|
DkSetExceptionHandler(handler1, PAL_EVENT_ARITHMETIC_ERROR);
|
|
__asm__ volatile (
|
|
"movq $1, %%rax\n"
|
|
"cqo\n"
|
|
"movq $0, %%rbx\n"
|
|
"divq %%rbx\n"
|
|
"nop\n"
|
|
::: "rax", "rbx", "rdx", "cc");
|
|
|
|
DkSetExceptionHandler(handler2, PAL_EVENT_ARITHMETIC_ERROR);
|
|
__asm__ volatile (
|
|
"movq $1, %%rax\n"
|
|
"cqo\n"
|
|
"movq $0, %%rbx\n"
|
|
"divq %%rbx\n"
|
|
"nop\n"
|
|
::: "rax", "rbx", "rdx", "cc");
|
|
|
|
DkSetExceptionHandler(handler3, PAL_EVENT_MEMFAULT);
|
|
*(volatile long*)0x1000 = 0;
|
|
__asm__ volatile("nop");
|
|
|
|
DkSetExceptionHandler(handler4, PAL_EVENT_ARITHMETIC_ERROR);
|
|
red_zone_test();
|
|
|
|
return 0;
|
|
}
|