> : vast majority of programs run no FP insn during process life time,
> : deferred lazy FPU context switch works handsomely avoiding rather
> : burdensome tasks of FPU save/load operations.
>
> Cool.  What happens when a process that has been using the FPU goes
> away?  I didn't see this case in the text above.

cpu_exit() serves in that case.

> Also, is it assumed that once a process uses any FPU that it will
> continue to use the FPU until it terminates?

No.  If multiple processes start racing to grab FPU resource,
throughput would be miserable, but it's the way of life.  Continue to
buy Origin2000 as far as your money supply longs.

Tohru Nishimura