RE: [PATCH] x86: Remove force_iret()

From: David Laight
Date: Fri Dec 20 2019 - 07:35:33 EST


From: Brian Gerst
> Sent: 20 December 2019 12:18
...
> > Is it ever possible for any of the segment registers to refer to the LDT
> > and for another thread to invalidate the entries 'very late' ?
> > So even though the values were valid when changed, they are
> > invalid during the 'return to user' sequence.
>
> Not in the SYSRET case, where the kernel requires that CS and SS are
> static segments in the GDT. Any userspace context that uses LDT
> segments for CS/SS must return with IRET. There is fault handling for
> IRET (fixup_bad_iret()) for this case.

Ok - It is a long time since i looked at these 'syscall' instructions.

...
> > Is it actually cheaper to properly validate the segment registers,
> > or take the 'hit' of the slightly slower IRET path and get the cpu
> > to do it for you?
>
> SYSRET is faster because it avoids segment table lookups and
> permission checks for CS and SS. It simply sets the selectors to
> values set in an MSR and the attributes (base, limit, etc.) to fixed
> values. It is up to the OS to make sure the actual segment
> descriptors in memory match those default attributes.

I wonder how much difference that make when 'page table separation'
is used?

I guess the loading of ds/es/fs/gs can fault - but that it no harder
to handle than in the IRET case.

David

Anyway, off until the new year now.

-
Registered Address Lakeside, Bramley Road, Mount Farm, Milton Keynes, MK1 1PT, UK
Registration No: 1397386 (Wales)