[saagarjha]

I remember when that came up–I still don't understand how you are supposed to support a process that has queried the kernel for some feature ("can I use SVE2?"), gets an affirmative response, starts using that, and midway gets migrated to another core that doesn't support those instructions? Either you're going to either have the same extensions on all the cores, or lie about it by presenting the lowest common denominator to each of them…although I guess if you did want to do that, you'd want the kernel to be able to fake this from the start.

[fwip]

One approach could be that the OS pins the process or threads to cores that support the features that were queried for.

i.e: If a process asks "can I use SVE2" and gets a yes, the OS doesn't move it to any core for which that isn't true.

[saagarjha]

Right, but as I mentioned here: https://news.ycombinator.com/item?id=23835764 (and last month: https://news.ycombinator.com/item?id=23481049) every process is going to ask this…

[fwip]

Ah, that's very a good point.

[guenthert]

Alternatively, an invalid instruction fault is signaled, handled by the OS, which activates the core capable of that instruction and migrates the process there. Not cheap, but I would expect that to happen rarely, if the lesser core is only used during low-power operation.

[saagarjha]

Yeah, but that means that every process is going to forced to run on the big core the moment that you call into libc's vectorized string functions…

[mjevans]

There are similar issues for any suspend-able and/or hot-swappable system. An extension to process signals should be created to inform them that a system-context change has occurred. Clock timestamps, features, all assumptions should be invalidated.

[saagarjha]

Yeah, but then programs have to know about that. Up until now the general assumption has been that context switches are largely transparent…

[sroussey]

I think Intel is going the lie about it route for their first “hybrid” chip.

[Symmetry]

Nah, they just disable all the features that aren't shared by the little cores.

[saagarjha]

That's the "lie about it" route I mentioned above.