On 10/4/22 13:34, Andy Lutomirski wrote: > > > On Mon, Oct 3, 2022, at 3:21 PM, Ali Raza wrote: >> For a UKL thread, returning to a signal handler is not done with iret or >> sysret. This means we need to adjust the way the return stack frame is >> handled for these threads. When constructing the signal frame, we leave >> the previous frame in place because we will return to it from the signal >> handler. We also leave space for pushing eflags and the return address. >> UKL threads will only use the __KERNEL_DS value in the ss register and 0xC3 >> in the cs register. > > This is unclear. Are you taking about returning from the kernel fault code *to* the signal handler or are you talking about returning *from* the user signal hander to the user code that was running when the signal happened? > > In any case, I don't see what this has to do with iret or sysret. Surely UKL can use a sigreturn() just like regular Linux. > > The part where a UKL thread has permission to return to a CPL0 context should be a separate patch. > > --Andy Yes, the commit message should have been clearer. The changes in __setup_rt_frame make sure that in case of a UKL thread, the new frame should have the UKL specific regs->cs and regs->ds values, and not have them overwritten with __USER_CS and __USER_DS. This helps creating the correct iret frame in the interrupt return case where an iret is used. After the signal handler is invoked, user code calls sigreturn() as it normally would. Once inside the rt_sigreturn() system call, UKL case is handled a little different than normal. This is because UKL invokes systems calls as function calls, so user stack gets a return address. Also, UKL stores eflags on the user stack. This is used on return from system calls in UKL, where we first switch to the user stack, then restore flags through popfq. This restarts the interrupts so it is important to have already switched to user stack from kernel stack. Once flags are restored, we do a ret instead of iret. So, in rt_sigreturn() system call, we calculate the correct UKL regs->sp by allowing space for the flags and return address on stack. Second, in restore_sigcontext(), we again make sure that regs->cs and regs->ss are only updated to user values for non UKL case. Since, this patch involves both the signal handling and sigreturn case, yes this can be broken into two patches.
