This repository has been archived by the owner on Mar 10, 2020. It is now read-only.

EINVAL #98

Open

dmjio opened this issue Feb 23, 2017 · 0 comments

Labels

bug

Milestone

Contributor

dmjio commented Feb 23, 2017

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

The text was updated successfully, but these errors were encountered:

dmjio added the bug label

acw added this to the HaLVM 2.5 milestone

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.