But this isn't just about virtual machines. It's about using type-safe languages so that hardware protection mechanisms are simply not needed. By virtue of it compiling at all, it can be shown to be safe to run.
From: Friam [mailto:friam-boun...@redfish.com] On Behalf Of Parks, Raymond Sent: Tuesday, August 11, 2015 1:07 PM To: The Friday Morning Applied Complexity Coffee Group Subject: Re: [FRIAM] [EXTERNAL] Re: unikernels? And, like so many trends in computers, we return to the past. This time, to VM and CMS. Ray Parks Consilient Heuristician/IDART Old-Timer V: 505-844-4024 M: 505-238-9359 P: 505-951-6084 NIPR: rcpa...@sandia.gov<mailto:rcpa...@sandia.gov> SIPR: rcpar...@sandia.doe.sgov.gov<mailto:rcpar...@sandia.doe.sgov.gov> (send NIPR reminder) JWICS: dopa...@doe.ic.gov<mailto:dopa...@doe.ic.gov> (send NIPR reminder) On Aug 11, 2015, at 11:38 AM, Marcus Daniels wrote: And don't overlook the fine work done in the Northwest.. http://galois.com/project/halvm/ ..and in fact going back some time.. http://www-spin.cs.washington.edu/ -----Original Message----- From: Friam [mailto:friam-boun...@redfish.com] On Behalf Of glen ep ropella Sent: Tuesday, August 11, 2015 11:32 AM To: Complexity Coffee Group Subject: [FRIAM] unikernels? Life in a Post-Container World and Why Linux Will Play a Diminished Role http://thenewstack.io/life-post-container-world/ Unikernels: Rise of the Virtual Library Operating System http://queue.acm.org/detail.cfm?id=2566628 Luckily, Marcus introduced me to ocaml a long time ago, otherwise I'd feel even more out of touch than I already do. -- glen ep ropella -- 971-255-2847 ============================================================ FRIAM Applied Complexity Group listserv Meets Fridays 9a-11:30 at cafe at St. John's College to unsubscribe http://redfish.com/mailman/listinfo/friam_redfish.com ============================================================ FRIAM Applied Complexity Group listserv Meets Fridays 9a-11:30 at cafe at St. John's College to unsubscribe http://redfish.com/mailman/listinfo/friam_redfish.com
============================================================ FRIAM Applied Complexity Group listserv Meets Fridays 9a-11:30 at cafe at St. John's College to unsubscribe http://redfish.com/mailman/listinfo/friam_redfish.com