| Commit message (Collapse) | Author | Age | Files | Lines |
|---|
| |
|
|
|
|
| |
Make is allowed to run the tests/module-% prereqs out-of-order, so
explicit the dependency between installing .defs files and generating
.user/server.c.
|
| |
|
|
| |
We need to use a separate iso tree directory.
|
| |
|
|
| |
Message-ID: <20240904201806.510082-2-luca@orpolo.org>
|
| |
|
|
|
|
|
|
| |
* tests/test-machmsg.c: add two use cases used by glibc during signal
handling
* tests/include/testlib.h
* tests/testlib.c: add new wait_thread_terminated() helper
Message-ID: <20240821163616.189307-3-luca@orpolo.org>
|
| |
|
|
|
|
|
|
| |
* tests/test-machmsg.c: add more combinations to existing cases:
- make tx and rx ports independent in the send/receive tests
- add two more variants for send/receive tests, using two separate
system calls, using different code paths in mach_msg().
Message-ID: <20240612062755.116308-2-luca@orpolo.org>
|
| |
|
|
|
|
|
| |
This tests generating and handling exceptions, thread_get_state(),
thread_set_state(), and newly added thread_set_self_state(). It does
many of the same things that glibc does when handling a signal.
Message-ID: <20240416071013.85596-1-bugaevc@gmail.com>
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
This is a new Mach trap that sets the calling thread's state to the
passed value, as if with a call to the thread_set_state() RPC. If the
flavor of state being set is the one that contains the register used for
syscall return value (i386_THREAD_STATE or i386_REGS_SEGS_STATE on x86,
AARCH64_THREAD_STATE on AArch64), the set register value is *not*
overwritten with KERN_SUCCESS when the state gets set successfully, yet
errors do get reported if the syscall fails.
Although the trap is intended to enable userland to implement sigreturn
functionality in the AArch64 port (more on which below), the trap itself
is architecture-independent, and fully implemented in terms of the
existing kernel routines (thread_setstatus & thread_set_syscall_return).
This trap's functionality is similar to sigreturn() on Unix or
NtContinue() on NT. The use case for these all is restoring the local
state of an interrupted thread in the following set-up:
1. A thread is running some arbitrary code.
2. An event happens that deserves the thread's immediate attention,
analogous to a hardware interrupt request. This might be caused by
the thread itself (e.g. running into a Mach exception that was
arranged to be handled by the same thread), or by external events
(e.g. receiving a Unix SIGCHLD).
3. Another thread (or perhaps the kernel, although this is not the case
on Mach) suspends the thread, saves its state at the point of
interruption, alters its state to execute some sort of handler for
the event, and resumes the thread again, now running the handler.
4. Once the thread is done running the handler, it wants to return to
what it was doing at the time it was interrupted. To do this, it
needs to restore the state as saved at the moment of interruption.
Unlike with setjmp()/longjmp(), we cannot rely on the interrupted logic
collaborating in any way, as it's not aware that it's being interrupted.
This means that we have to fully restore the state, including values of
all the general-purpose registers, as well as the stack pointer, program
counter, and any state flags.
Depending on the instruction set, this may or may not be possible to do
fully in userland, simply by loading all the registers with their saved
values. It should be more or less easy to load the saved values into
general-purpose registers, but state flags and the program counter can
be more of a challenge. Loading the program counter value (in other
words, performing an indirect jump to the interrupted instruction) has
to be the very last thing we do, since we don't control the program flow
after that. The only real place program counter can be loaded from is
popped off the stack, since all general-purpose registers would already
contain their restored values by that point, and using global storage is
incompatible with another interruption of the same kind happening at the
time we were about to return. For the same reason, the saved program
counter cannot be really stored outside of the "active" stack area (such
as below the stack pointer), since otherwise it can get clobbered by
another interruption.
This means that to support fully-userland returns, the instruction set
must provide a single instruction that loads an address from the stack,
adjusts the stack pointer, and performs an indirect jump to the loaded
address. The instruction must also either preserve (previously
restored) state flags, or additionally load state flags from the stack
in addition to the jump address.
On x86, 'ret' is such an instruction: it pops an address from the stack,
adjusting the stack pointer without modifying flags, and performs an
indirect jump to the address. On x86_64, where the ABI mandates a red
zone, one can use the 'ret imm16' variant to additionally adjust the
stack pointer by the size of the red zone, atomically restoring the
value of the stack pointer at the time of the interruption while loading
the return address from outside the red zone. This is how sigreturn is
implemented in glibc for the Hurd on x86.
On ARM AArch32, 'pop {pc}' (alternatively written 'ldr pc, [sp], #4') is
such an instruction: since SP and PC are just general-purpose, directly
accessible registers (r13 and r15), it is possible to perform a load
from the address pointed to by SP into PC, with a post-increment of SP.
It is, in fact, possible to restore all the other general-purpose
registers too in a single instruction this way: 'pop {r0-r12, r14, r15}'
will do that; here r13, the stack pointer, gets incremented after all
the other registers get loaded from the stack. This also preserves the
CPSR flags, which would need to be restored just prior to the 'pop'.
On ARM AArch64 however, PC is no longer a directly accessible general-
purpose register (and SP is only accessible that way by some of the
instructions); so it is no longer possible to load PC from memory in a
single instruction. The only way to perform an indirect jump is by
using one of the dedicated branching instructions ('br', 'blr', or
'ret'). All of them accept the address to branch to in a general-
purpose register, which is incompatible with our use case.
Moreover, with the BTI extension, there is a BTYPE field in PSTATE that
tracks which type (if any) of an indirect branch was the last executed
instruction; this is then used to raise an exception if the instruction
the indirect branch lands on was not intended to be a target of an
indirect branch (of a matching type). It is important to restore the
BTYPE (among the other state) when returning to an interrupted context;
failing to do that will either cause an unexpected BTI failure exception
(if the last executed instruction before the interruption was not an
indirect branch, but the last instruction of the restoration logic is),
or open up a window for exploitation (if the last executed instruction
before the interruption was an indirect branch, but the last instruction
of the restoration logic is not -- note that 'ret' is not considered an
indirect branch for the purposes of BTI).
So, it is not possible to fully restore the state of an interrupted
context in userland on AArch64. The kernel can do that however (and is
in fact doing just that every time it handles a fault or an IRQ): the
'eret' instruction for returning from an exception is accessible to EL1
(the kernel), but not EL0 (the user). 'eret' atomically restores PC
from the ELR_EL1 system register, and PSTATE from the SPSR_EL1 system
register (and does other things); both of these system registers are
inaccessible from userland, and so couldn't have been used by the
interrupted context for any purpose, meaning their values doesn't need
to be restored. (They can be used by the kernel code, which presents an
additional complication when it's the kernel context that gets
interrupted and has to be returned to. To make this work, the kernel
masks interrupt requests and avoids doing anything that could cause a
fault when using those registers.)
The above justifies the need for a kernel API to atomically restore
saved userland state on AArch64 (and possibly other platforms that
aren't x86). Mach already has an API to set state of a thread, namely
the thread_set_state() RPC; however, a thread calling thread_set_state()
on itself is explicitly disallowed. We have previously relaxed this
restriction to allow setting i386_DEBUG_STATE and i386_FSGS_BASE_STATE
on the current thread, so one way to address the need for such an API on
AArch64 would be to also allow setting AARCH64_THREAD_STATE on the
current thread. That is what I have originally proposed and
implemented. Like the thread_set_self_state() trap implemented by this
patch, the implementation of setting AARCH64_THREAD_STATE on the current
thread needs to ensure that the set value of the x0 register does not
get immediately overwritten with the return value of the mach_msg()
trap.
However, it's not only the return value of the mach_msg() trap that is
important, but also the RPC reply message. The thread_set_state() RPC
should not generate a reply message when used for returning to an
interrupted context, since there'd be nobody expecting the message.
This could be achieved by special-casing that in the kernel as well, or
(simpler) by userland not passing a valid reply port in the first place.
Note that the implementation of sigreturn in glibc already uses the
strategy of passing an invalid reply port for the last RPC is does
before returning to the interrupted context (which is deallocating the
reply port used by the signal handler).
Not passing a valid reply port and consequently not blocking on awaiting
the reply message works, since the way Mach is implemented, kernel RPCs
are always executed synchronously when userland sends the request
message (unless the routine implementation includes explicit asynchrony,
as device RPCs do, and gsync_wait() should do, but currently doesn't),
meaning the RPC caller never has to *wait* for the reply message, as one
is produced immediately. In other words, the mere act of invoking a
kernel RPC (that does not involve explicit asynchrony) is enough to
ensure it completes when mach_msg() returns, even if a reply message is
not received (whether because an invalid reply port has been specified,
or because MACH_RCV_MSG wasn't passed to mach_msg(), or because a
message other than the kernel RPC's reply was received by the call).
However, the same is not true when interposing is involved, and the
thread's self port does not in fact point directly to the kernel, but to
a userspace proxy of some sort. The two primary examples of this are
Hurd's rpctrace tool, which interposes all the task's ports and proxies
all RPCs after tracing them, and Mach's old netmsg/netname server, which
proxies ports and messages over network. In this case, the actual
implementation only runs once the request reaches the actual kernel, and
not once the request message has been sent by the original caller, so it
*is* necessary for the caller to await the reply message if it wants to
make sure that the requested action has been completed. This does not
cause much issues for deallocation of a reply port on the sigreturn code
path in glibc, since that only delays when the port is deallocated, but
does not otherwise change the program behavior. With
thread_set_state(mach_thread_self()), however, this would be quite
catastrophic, since the message-send would return back to the caller
without changing its state, and the actual change of state would only
happen at some later point.
This issue is avoided nicely by turning the functionality into an
explicit Mach trap rather than an RPC. As it's not an RPC, it doesn't
involve messaging, and doesn't need a reply port or a reply message. It
is always a direct call to the kernel (and not to any interposer), and
it's always guaranteed to have completed synchronously once the trap
returns. That also means that the thread_set_self_state() call won't be
visible to rpctrace or forwarded over network for netmsg, but this is
fine, since all it does is sets thread state (i.e. register values); the
thread could do the same on its own by issuing relevant machine
instruction without involving any Mach abstractions (traps or RPCs) at
all if it weren't for the need of atomicity.
Finally, this new trap is unfortunately somewhat of a security concern
(as any sigreturn-like functionality is in general), since it would
potentially allow an attacker who already has a way to invoke a function
with 3 controlled argument values to set the values of all registers to
any desired values (sigreturn-oriented programming). There is currently
no mitigation for this other than the generic ones such as PAC and stack
check guards.
The limit of 150 used in the implementation has been chosen to be large
enough to fit the largest thread state flavor so far, namely
AARCH64_FLOAT_STATE, but small enough to not overflow the 4K stack. If
a new thread state flavor is added that is too big to fit on the stack,
the implementation should be switched to use kalloc instead of on-stack
storage.
Message-ID: <20240415090149.38358-9-bugaevc@gmail.com>
|
| |
|
|
| |
If the host is loaded it may take some time to boot.
|
| |
|
|
| |
So it does not have to timeout.
|
| |
|
|
| |
The makefile pieces are not ready for this.
|
| |
|
|
| |
qemu-system-i386 says at most 2047 MB RAM can be simulated
|
| | |
|
| | |
|
| |
|
|
| |
Message-ID: <20240327161841.95685-18-bugaevc@gmail.com>
|
| |
|
|
| |
Message-ID: <20240327161841.95685-17-bugaevc@gmail.com>
|
| |
|
|
| |
Message-ID: <20240327161841.95685-16-bugaevc@gmail.com>
|
| |
|
|
| |
Message-ID: <20240327161841.95685-15-bugaevc@gmail.com>
|
| |
|
|
| |
Message-ID: <20240327161841.95685-14-bugaevc@gmail.com>
|
| |
|
|
| |
Message-ID: <20240327161841.95685-13-bugaevc@gmail.com>
|
| |
|
|
|
| |
Mark it as noreturn, and make sure to halt, not reboot.
Message-ID: <20240327161841.95685-12-bugaevc@gmail.com>
|
| |
|
|
|
| |
We are for now lacking proper dependencies between the source headers and
the test-installed headers, but we can at least clean them out.
|
| |
|
|
| |
Message-ID: <20240111210907.419689-11-luca@orpolo.org>
|
| |
|
|
| |
Message-ID: <20240111210907.419689-10-luca@orpolo.org>
|
| |
|
|
| |
Message-ID: <20240111210907.419689-9-luca@orpolo.org>
|
| |
|
|
| |
Message-ID: <20240111210907.419689-8-luca@orpolo.org>
|
| |
|
|
| |
Message-ID: <20240111210907.419689-7-luca@orpolo.org>
|
| |
|
|
| |
Message-ID: <20240111210907.419689-6-luca@orpolo.org>
|
| |
|
|
| |
Message-ID: <20240111210907.419689-4-luca@orpolo.org>
|
| |
|
|
| |
Message-ID: <20240111210907.419689-3-luca@orpolo.org>
|
| |
|
|
| |
Message-ID: <20240111210907.419689-2-luca@orpolo.org>
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
* configure.ac: move test fragment to have USER32
* tests/Makefrag.am: add user tests
* tests/README: add basic info on how to run and debug user tests
* tests/configfrag.ac: allow the test compiler/flags to be
autoconfigured or customized
* tests/grub.cfg.single.template: add minimal grub config to boot a
module
* tests/include/device/cons.h: add a simplified version of
device/cons.h usable for tests
* tests/include/kern/printf.h: symlink to kern/printf.h
* tests/include/mach/mig_support.h: add basic version for user-space
tests
* tests/include/syscalls.h: add prototypes for syscalls used in tests.
* tests/include/testlib.h: add definitions for common test
functionalities
* tests/include/util/atoi.h: symlink to util/atoi.h
* tests/run-qemu.sh.template: add a simple qemu test runner
* tests/start.S: add arch-specific entry point
* tests/syscalls.S: generate syscalls entry points
* tests/test-hello.c: add basic smoke test
* tests/testlib.c: add the minimal functionality to run a user-space
executable and reboot the system, and some test helpers.
* tests/user-qemu.mk: add rules to build simple user-space test
modules, including generating mig stubs. The tests reuse some kernel
code (like printf(), mach_atoi(), mem*(), str*() functions) so we can
use the freestanding environment and not depend on glibc.
Message-ID: <20240111210907.419689-1-luca@orpolo.org>
|
| |
|
|
| |
The xen build is not multiboot.
|
| |
|
|
|
| |
mbchk is not part of grub2 and only available on grub-legacy.
Message-Id: <Y7ewlry3pRHRAR/9@jupiter.tail36e24.ts.net>
|
| |
|
|
|
|
| |
* doc/.gitignore: ... here;
* i386/i386/.gitignore: ... here;
* tests/.gitignore: ..., and here.
|
| |
|
|
|
| |
* tests/configfrag.ac (MBCHK): Remove check.
* tests/test-mbchk.in: Fail correctly if `mbchk' is not available.
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Add a `--enable-platform' option for future use. Allow building
without any Linux code.
* Makefile.am: Don't include `linux/Makefrag.am' in there...
* Makefrag.am: ... but rather in here.
* configfrag.ac (MACH_MACHINE_ROUTINES): AC_DEFINE_UNQUOTED based on
then shell variable `mach_machine_routines'.
(--disable-default-device-drivers): Don't define in there...
* configure.ac: ... but rather in here.
(--enable-platform): New option.
(host_platform): New variable.
(HOST_i386): Don't define there...
* i386/configfrag.ac (HOST_ix86): ... but rather here, rename it and
adapt all users.
(PLATFORM_at): New conditional.
(MACH_MACHINE_ROUTINES): Don't AC_DEFINE, but rather set a shell
variable `mach_machine_routines'.
* linux/Makefrag.am (noinst_LIBRARIES, gnumach_o_LDADD): Only enhance
``if CODE_linux'' or ``if device_driver_group_pcmcia''.
* linux/configfrag.ac (AC_OPTION): Rename to `AC_OPTION_Linux_ix86_at'
and rework a bit. Adapt all users.
(AC_OPTION_nodef): Rename to `AC_OPTION_Linux_ix86_at_nodef' and rework
a bit. Adapt all users.
(CODE_linux): New conditional.
* i386/Makefrag.am (LINKFLAGS_gnumach): Don't evaluate $(systype).
* Makefile.am: Update the FSF's postal address.
* doc/Makefrag.am: Likewise.
* i386/linux/Makefrag.am: Likewise.
* linux/Makefrag.am: Likewise.
* tests/Makefrag.am: Likewise.
* tests/configfrag.ac: Move to GPL.
|
| |
|
|
|
|
|
|
|
| |
[task #5956 --- ``Automake'ify GNU Mach's code base'']
* doc/Makefile.in: Remove file.
* doc/Makefrag.am: New file.
* tests/Makefrag.am: Likewise.
* tests/test-mbchk.in: Likewise.
|
|
|
[task #5956 --- ``Automake'ify GNU Mach's code base'']
* configfrag.ac: New file.
* tests/configfrag.ac: Likewise.
* Makerules.am (DEFINES): Convert those into...
* configfrag.ac: ... AC_DEFINE instantiations.
* i386/Makerules.in (DEFINES): Convert those into...
* i386/configfrag.ac: ... AC_DEFINE instantiations.
* i386/Makerules.in: Remove file.
* i386/configfrag.ac (AC_PREREQ, AC_INIT, AC_CONFIG_SRCDIR)
(AC_CONFIG_SUBDIRS, AC_CONFIG_FILES, AC_OUTPUT): Don't invoke.
(../version.m4): Don't include.
(--disable-lpr): Rework configuration option.
(--disable-default-device-drivers): Move configuration option to...
* configfrag.ac: ... here.
* configure.ac (AC_CONFIG_AUX_DIR, AM_INIT_AUTOMAKE): Instantiate.
(AC_PREFIX_DEFAULT, AC_CONFIG_SUBDIRS): Don't invoke.
<Output variable `systype'>: Rework the whole section.
<Options> (--enable-kdb, --disable-kmsg): Move into `configfrag.ac' and
adopt.
<Programs> (AM_PROG_AS, AM_PROG_CC_C_O): Instantiate.
(AC_CHECK_PROG): Move instantiation searching for a `mbchk' program
into `tests/configfrag.ac'.
(AC_CHECK_PROG): Instantiate to search for a `patch' program.
<configure fragments> (tests/configfrag.ac, configfrag.ac)
(linux/configfrag.ac): Include files.
(i386/configfrag.ac): Include file if appropriate.
(AC_CONFIG_HEADER): Instantiate for `config.h'.
(AC_CONFIG_FILES): Remove `Makerules' and `doc/Makefile'.
(AC_CONFIG_COMMANDS_POST): Instantiate for `config.status.dep.patch'.
(AC_CONFIG_COMMANDS): Instantiate for
`Makefile.correct_output_files_for_.S_files.patch' and (the
nonexistent) `Makefile.dependency_tracking_for_.S_files.patch'.
* Makefile.dependency_tracking_for_.S_files.patch: New file.
* config.status.dep.patch: Likewise.
* bogus/bootstrap_symbols.h: Remove file.
* configfrag.ac: AC_DEFINE `BOOTSTRAP_SYMBOLS' to `0'.
* bogus/cpus.h: Remove file.
* configfrag.ac: AC_DEFINE `NCPUS' to `1'. AH_TEMPLATE
`MULTIPROCESSOR'.
* bogus/fast_tas.h: Remove file.
* configfrag.ac: AC_DEFINE `FAST_TAS' to `0'.
* bogus/hw_footprint.h: Remove file.
* configfrag.ac: AC_DEFINE `HW_FOOTPRINT' to `0'.
* bogus/mach_counters.h: Remove file.
* configfrag.ac: AC_DEFINE `MACH_COUNTERS' to `0'.
* bogus/mach_debug.h: Remove file.
* configfrag.ac: AC_DEFINE `MACH_DEBUG' to `1'.
* bogus/mach_fixpri.h: Remove file.
* configfrag.ac: AC_DEFINE `MACH_FIXPRI' to `1'.
* bogus/mach_host.h: Remove file.
* configfrag.ac: AC_DEFINE `MACH_HOST' to `0'.
* bogus/mach_ipc_compat.h: Remove file.
* configfrag.ac: AC_DEFINE `MACH_IPC_COMPAT' to `1'.
* bogus/mach_ipc_debug.h: Remove file.
* configfrag.ac: AC_DEFINE `MACH_IPC_DEBUG' to `1'.
* bogus/mach_ipc_test.h: Remove file.
* configfrag.ac: AC_DEFINE `MACH_IPC_TEST' to `0'.
* bogus/mach_kdb.h: Remove file.
* configfrag.ac (--disable-kdb): AC_DEFINE `MACH_KDB' to `0'.
* bogus/mach_ldebug.h: Remove file.
* configfrag.ac: AC_DEFINE `MACH_LDEBUG' to `0'.
* bogus/mach_lock_mon.h: Remove file.
* configfrag.ac: AC_DEFINE `MACH_LOCK_MON' to `0'.
* bogus/mach_machine_routines.h: Remove file.
* configfrag.ac: Add comment about not AC_DEFINEing
`MACH_MACHINE_ROUTINES' to `0'.
* bogus/mach_mp_debug.h: Remove file.
* configfrag.ac: AC_DEFINE `MACH_MP_DEBUG' to `0'.
* bogus/mach_pagemap.h: Remove file.
* configfrag.ac: AC_DEFINE `MACH_PAGEMAP' to `1'.
* bogus/mach_pcsample.h: Remove file.
* configfrag.ac: AC_DEFINE `MACH_PCSAMPLE' to `1'.
* bogus/mach_ttd.h: Remove file.
* configfrag.ac: AC_DEFINE `MACH_TTD' to `0'.
* bogus/mach_vm_debug.h: Remove file.
* configfrag.ac: AC_DEFINE `MACH_VM_DEBUG' to `1'.
* bogus/power_save.h: Remove file.
* configfrag.ac: AC_DEFINE `POWER_SAVE' to `1'.
* bogus/simple_clock.h: Remove file.
* configfrag.ac: AC_DEFINE `SIMPLE_CLOCK' to `0'.
* bogus/stat_time.h: Remove file.
* configfrag.ac: AC_DEFINE `STAT_TIME' to `1'.
* bogus/xpr_debug.h: Remove file.
* configfrag.ac: AC_DEFINE `XPR_DEBUG' to `1'.
* i386/bogus/com.h: Remove file.
* i386/configfrag.ac: AC_DEFINE `NCOM' to `4'.
* i386/bogus/fpe.h: Remove file.
* i386/configfrag.ac: AC_DEFINE `FPE' to `0'.
* i386/bogus/lpr.h: Remove file.
* i386/configfrag.ac: AC_DEFINE `NLPR' to `1'.
* i386/bogus/mach_machine_routines.h: Remove file.
* i386/configfrag.ac: AC_DEFINE `MACH_MACHINE_ROUTINES' to `1'.
* i386/bogus/platforms.h: Remove file.
* i386/configfrag.ac: AC_DEFINE `AT386' to `1'.
* i386/bogus/rc.h: Remove file.
* i386/configfrag.ac: AC_DEFINE `RCLINE' to `-1' and `RCADDR' to `0x3f8'.
|
