HaLVM icon indicating copy to clipboard operation
HaLVM copied to clipboard

Published 20 hours ago • verified publisher icon GaloisInc

EINVAL

Open dmjio opened this issue 8 years ago • 0 comments

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

dmjio avatar Feb 23 '17 21:02 dmjio