Fix incorrect stack pointer usage in StgRun() on x86_64
authorBen Gamari <bgamari.foss@gmail.com>
Mon, 3 Aug 2015 06:42:00 +0000 (08:42 +0200)
committerBen Gamari <ben@smart-cactus.org>
Mon, 3 Aug 2015 06:42:15 +0000 (08:42 +0200)
commitb38ee89c8c8724ba2feb98d4082795a5d4ae96f6
tree47f867a778e1d5aafda176ccf93b2049db527e85
parent948e03e55a47a7c5a3566a7f8ba347f590fd8d1f
Fix incorrect stack pointer usage in StgRun() on x86_64

The STG_RETURN code from StgCRun.c is incorrect for x86_64 variants
where the ABI doesn't impose a mandatory red zone for the stack, like on
Windows or Xen/HaLVM. The current implementation restores the stack
pointer first, which effectively marks the area with the saved registers
as reusable. Later, the CPU registers are restored from this "free"
area.

This ordering happens to work by accident on operating systems that
strictly adhere to the System V ABI, because any interrupt/signal
delivery is guaranteed to leave the first 128 bytes past the stack
pointer untouched (red zone). On other systems this might result in
corrupted CPU registers if an interruption happens just after restoring
the stack pointer.

The red zone is usually only used by small leaf functions to avoid
updates to the stack pointer and exploiting it doesn't give us any
advantage in this case.

Reviewers: austin, rwbarton

Reviewed By: rwbarton

Subscribers: thomie, simonmar

Differential Revision: https://phabricator.haskell.org/D1120

GHC Trac Issues: #10155
rts/StgCRun.c