On 08/11/2015 12:21 PM, Marcus Daniels wrote:
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.
On 08/11/2015 10:32 AM, glen ep ropella wrote:
Unikernels: Rise of the Virtual Library Operating System
http://queue.acm.org/detail.cfm?id=2566628
What I found most interesting was this blurb:
Configuration is a considerable overhead in managing the deployment of a large
cloud-hosted service. The traditional split between the compiled (code) and
interpreted (configuration) is unnecessary with unikernel compilation.
Application configuration is code—perhaps in an embedded domain-specific
language—and the compiler can analyze and optimize across the whole unikernel.
This (false?) dichotomy keeps arising in almost every conversation I have. And
I don't yet have a trunk/root conception of how they all fit together. But my
intuition tells me they fit together. Some recent examples:
o open-ended evolution (and/or evolution of evolution), broached at ECAL -- the
answer I kept giving, that nobody really responded to, includes self-hosted
languages (simple circularity) and cycles in hosting (L_0 hosts L_1 which then
hosts L_0).
o families of models, as opposed to those well- or over-fitted to a given
context -- here I'm talking mostly about mathematical vs. agent-based (or other
discrete or hybrid) biological models, but it relates to any domain-specificity.
o the gen-phen map, polyphenism and neutrality/degeneracy -- the context being the
importance of the developmental (configuration/interpretation) path from
gene(compiled)->phene and, again, any circularity due to downward causation.
--
glen ep ropella -- 971-255-2847
--
⇔ glen
============================================================
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
