search

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

Get rid of allocPage #79

Open acw opened 8 years ago

acw commented 8 years ago

Or replace allocPage with newAlignedPinnedByteArray# (or a relevant friend).

The goal is to reduce our dependence on dynamically-generated, non-GC-aware memory, so that our initial computation of -M becomes more reasonable.

acw commented 8 years ago

While we're at it, ditch the mallocBytes in IVC.