Sun 14 Jun 2015 14:50 - 15:15 at C123 - Managed Languages Chair(s): Zheng Zhang

Live programming, originally introduced by Smalltalk and Lisp, and now gaining popularity in contemporary systems such as Swift, requires on-the-fly support for object schema migration, such that the layout of objects may be changed while the program is at one and the same time being run and developed. In Smalltalk schema migration is supported by two primitives, one that answers a collection of all instances of a class, and one that exchanges the identities of pairs of objects, called the become primitive. Existing instances are collected, copies using the new schema created, state copied from old to new, and the two exchanged with become, effecting the schema migration.

Historically the implementation of become has either required an extra level of indirection between an object’s address and its body, slowing down objects field accesses, or has required a sweep of the entire object heap, a very slow operation on large heaps. Spur, a new object representation and memory manager for Smalltalk-like languages, has neither of these deficiencies. It uses direct pointers but still provides a fast become operation in large heaps, thanks to forwarding objects that when read conceptually answer another object and a partial read barrier that avoids the cost of explicitly checking for forwarding objects each time an object’s pointer is indirected through.

Sun 14 Jun

ismm-2015-papers
14:00 - 15:40: Research Papers - Managed Languages at C123
Chair(s): Zheng ZhangRutgers University
ismm-2015-papers14:00 - 14:25
Talk
Yi LinAustralian National University, Kunshan WangAustralian National University, Steve BlackburnAustralian National University , Tony HoskingPurdue University, Michael NorrishNICTA
Link to publication
ismm-2015-papers14:25 - 14:50
Talk
Codrut StancuUniversity of California, Irvine & Oracle Labs, Christian WimmerOracle Labs, Stefan BrunthalerUniversity of California, Irvine, Per LarsenUniversity of California, Irvine, Michael FranzUniversity of California, Irvine
Link to publication
ismm-2015-papers14:50 - 15:15
Talk
Eliot MirandaCadence Design Systems, Clément BéraRMOD - INRIA Lille Nord Europe
Link to publication
ismm-2015-papers15:15 - 15:40
Talk
Link to publication