>I don't think that doing anything to the task is correct, though, as the
>problem is with the page, not the task itself. In fact if the task is
>executing a vgather instruction, or if another thread munmap()s the
>page, it may not hit the same page again when re-executed.
True the memory is the source of the problem - but the task is
intimately affected. Time for a car analogy :-) ...
You are driving along the road when you notice a giant hole. You
hit the brakes and stop on the very edge. The problem is with the
road, not with your car. But I don't think you want to start driving
again (at least not in the forward direction!)