Lions' 本読み (83)

psig の核心部分がイメージできてない、と言いつつスキ間時間で云々してる途中に以下なコンテンツにいきあたる。

In Unix, a process has two stacks, one active in kernel mode and one active in user mode.
(snip
The PDP 11 supports two stacks by suppling two stack pointers, the kernel stack pointer (KSP) and the user stack pointer (USP). To prepare for a context switch, the ISR pushes the USP onto the kernel stack. Part of the context switched at the end of the ISR is the kernel stack, where the state of the user process including the USP is saved.

Chapter 2.0 Interrupts and Multiprocessing より引用

Lions' 本ってこのあたりの説明ってあったのかどうかも覚えてないのですが確かにこうなっていないと微妙だな、というのが現時点での理解ッス。
ちょいびっくり、というか目から鱗だったので取り急ぎ控えということで。