<div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"></blockquote>On Tue, Nov 30, 2010 at 02:16:07PM -0800, Adam Wick wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
</blockquote>> Galois, Inc. is pleased to announce the immediate release of the<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"></blockquote>> Haskell Lightweight Virtual Machine (or HaLVM), version 1.0. The<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"></blockquote>> HaLVM is a port of the GHC runtime system to the Xen hypervisor,<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
</blockquote>> allowing programmers to create Haskell programs that run directly on<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"></blockquote>> Xen's "bare metal." Internally, Galois has used this system in<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"></blockquote>> several projects with much success, and we hope y'all will have an<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
</blockquote>> equally great time with it.<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"></blockquote>><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
</blockquote>> What might you do with a HaLVM? Pretty much anything you want. :)<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"></blockquote>> Explore designs for operating system decomposition, examine new<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"></blockquote>> notions of mobile computation with the HaLVM and Xen migration, or<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
</blockquote>> find interesting network services and lock them inside small, cheap,<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"></blockquote>> single-purpose VMs.</div>
<div class="gmail_quote"><br></div><div class="gmail_quote"><meta http-equiv="content-type" content="text/html; charset=utf-8">I had seen a paper which implemented something like this with OCaml. And what do you know? Here's a running, open-source, available-now version in Haskell. </div>
<div class="gmail_quote"><br></div><div class="gmail_quote">Congrats to Galois for open sourcing this. Now let the collaboration begin.</div><div class="gmail_quote"><br></div><div class="gmail_quote">Would it be possible to run HaLVM on Amazon EC2?</div>
<div class="gmail_quote">-- <br>Jason M. Knight<br>Ph.D. Electrical Engineering '13<br>Texas A&M University<br>Cell: 512-814-8101<br></div>