Mike Brasher
Mike Brasher
In some cases, app signal handlers are called on the kernel stack, which is 64 kilobytes. This could lead to unexpected overwrites in the signal handler. We suggest calling app...
Ideally the Mystikos kernel may check for bad addresses passed from user space and raise an ``EFAULT`` error. Add a new ``myst_is_badd_addr`` function that checks whether the given address is...
Currently kernel processes (created with posix_spawn) attempt to share the mman region. We attempt to release any mmap'd memory when a process exists, however we are unable to release sbrk...
When a process exits, all pages belonging to that process are unmapped. But if pages are inherited due to a fork, the should be reference-counted, else if the parent process...
Consider supporting FIFOs (named pipes).
The following libc test fails because stat on ``/dev/null`` should set ``S_IFCHR`` bit in ``st_mode``. ``` $ make one TEST=/src/functional/stat.exe /home/mike/mystikos/build/bin/myst exec-sgx rootfs --memory-size=256m /src/functional/stat.exe src/functional/stat.c:28: S_ISCHR(st.st_mode) failed: Makefile:66: recipe...
Working with Mystikos it time consuming when building from the top level. The default "make" rule builds Mystikos and tests (but not solutions). I propose these rules: - ``make`` --...
The ``RDTSC`` instruction is available on Icelake servers and may provide an alternative to the clock thread and may provide better clock resolution. The current clock implementation performs fairly well...
It is no longer possible to invoke the the ``SYS_open`` TCALL with standard parameters. ```C++ long params[6] = {(long)pathname, (long)flags, (long)mode}; long ret = myst_tcall(SYS_open, params); ``` The ``SYS_open`` TCALL...
We need ``tests/crash`` to verify that various crashes return the right signum to the shell. Cover these: - hlt instruction - illegal instruction - segmentation violation (SEGV) Verify that the...