EINVAL - Githubissues

GaloisInc / HaLVM

The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen

BSD 3-Clause "New" or "Revised" License

1.05k stars 88 forks source link

EINVAL #98

Open dmjio opened 7 years ago

dmjio commented 7 years ago

Keeping this issue here for now.

Under rare circumstances, an EINVAL is thrown from the RTS in this location: https://github.com/GaloisInc/halvm-ghc/blob/822191da28533109c89e10317e5aae110611aabd/rts/xen/grants.c#L90

Per @acw, reasons being possibly that

A page that isn't actually mapped has been acquired
The runtime's understanding of its own page table has been altered.

This seems to imply a race condition in which pages are freed out of order, the former seeming more likely than the latter