University of Cambridge > Talks.cam > REMS lunch > Sync meeting and Stephen Kell talk: Towards a dynamic object model within Unix processes

Sync meeting and Stephen Kell talk: Towards a dynamic object model within Unix processes

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Peter Sewell.

REMS lunch *with lunch*. Back in Room FW11 (not SS03)

Programmers face much complexity from the co-existence of “native” (Unix-like) and [language] virtual machine (VM) “managed” run-time environments. Despite historical intentions, language VMs have largely failed to replace Unix processes. In this talk I’ll explore an approach in which Unix processes instead “become VMs”. This means evolving Unix’s user-level services to subsume those of VMs, in a highly compatible way. I’ll describe a system, liballocs, whose design achieves this by exploiting the existing (little-understood) rudiments of reflection and late-binding in modern Unix, while addressing two recurring shortcomings: a lack of semantic metadata (“type information”) and the inability to bind from objects “back” to their metadata. I’ll also describe some applications of liballocs: run-time type-checking, FFI -less language interoperability, dynamically precise debugging, and programmer-friendly disk I/O.

This talk is part of the REMS lunch series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2024 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity