Re: [Haskell-cafe] ANN: HaLVM 1.0: the Haskell Lightweight Virtual Machine
Yes, thanks for sharing .. Congrats to Galois for open sourcing this. Now let the collaboration begin. Would it be possible to run HaLVM on Amazon EC2? They do say that you can boot any image from an EBS volume - if you start playing with this I would be interested to hear any (positive or negative) progress... Jason M. Knight Ph.D. Electrical Engineering '13 Texas AM University Cell: 512-814-8101 ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] ANN: HaLVM 1.0: the Haskell Lightweight Virtual Machine
Galois, Inc. is pleased to announce the immediate release of the Haskell Lightweight Virtual Machine (or HaLVM), version 1.0. The HaLVM is a port of the GHC runtime system to the Xen hypervisor, allowing programmers to create Haskell programs that run directly on Xen's bare metal. Internally, Galois has used this system in several projects with much success, and we hope y'all will have an equally great time with it. What might you do with a HaLVM? Pretty much anything you want. :) Explore designs for operating system decomposition, examine new notions of mobile computation with the HaLVM and Xen migration, or find interesting network services and lock them inside small, cheap, single-purpose VMs. The HaLVM is the result of many years of effort, by many people inside Galois. Although it is not yet totally bug-free, we have decided that broad adoption wins over perfection and thus we are releasing it for general review. As such, there will be some rough edges, and we urge you to read the documentation to understand the platforms we test on. We are releasing the HaLVM under a non-restrictive BSD3 license. You can find it here: http://halvm.org We welcome user feedback, feature requests, bug notices, patches, and feature additions; see the page above for guidelines on getting involved. Finally, we'd like to give many things to the GHC and Xen communities, without which this work would not be possible. If you have any questions or concerns, please don't hesitate to contact the HaLVM's maintainers at halvm-de...@community.galois.com. Have a lovely day! - Adam smime.p7s Description: S/MIME Cryptographic Signature ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] ANN: HaLVM 1.0: the Haskell Lightweight Virtual Machine
On Tue, Nov 30, 2010 at 02:16:07PM -0800, Adam Wick wrote: Galois, Inc. is pleased to announce the immediate release of the Haskell Lightweight Virtual Machine (or HaLVM), version 1.0. The HaLVM is a port of the GHC runtime system to the Xen hypervisor, allowing programmers to create Haskell programs that run directly on Xen's bare metal. Internally, Galois has used this system in several projects with much success, and we hope y'all will have an equally great time with it. What might you do with a HaLVM? Pretty much anything you want. :) Explore designs for operating system decomposition, examine new notions of mobile computation with the HaLVM and Xen migration, or find interesting network services and lock them inside small, cheap, single-purpose VMs. As someone who deals daily with Xen and often with Haskell too, this is very interesting. Thanks for releasing and looking forward to playing with it! (And hopefully more than just playing :) thanks, iustin ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] ANN: HaLVM 1.0: the Haskell Lightweight Virtual Machine
On Tue, Nov 30, 2010 at 02:16:07PM -0800, Adam Wick wrote: Galois, Inc. is pleased to announce the immediate release of the Haskell Lightweight Virtual Machine (or HaLVM), version 1.0. The HaLVM is a port of the GHC runtime system to the Xen hypervisor, allowing programmers to create Haskell programs that run directly on Xen's bare metal. Internally, Galois has used this system in several projects with much success, and we hope y'all will have an equally great time with it. What might you do with a HaLVM? Pretty much anything you want. :) Explore designs for operating system decomposition, examine new notions of mobile computation with the HaLVM and Xen migration, or find interesting network services and lock them inside small, cheap, single-purpose VMs. 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. Congrats to Galois for open sourcing this. Now let the collaboration begin. Would it be possible to run HaLVM on Amazon EC2? -- Jason M. Knight Ph.D. Electrical Engineering '13 Texas AM University Cell: 512-814-8101 ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
