|
Safe programming language, such as the Java programming language,
offer safety and security features making them attractive for developing
extensible environments on a wide variety of platforms, ranging
from large servers all the way down to hand-held devices. Extensible
environments facilitate dynamic hosting of a variety of potentially
untrusted code. This requires mechanisms to guarantee isolation
among hosted applications and to control their usage of resources.
While certain isolation properties are provided by safe languages,
typically resource management is difficult with the current standard
APIs and existing virtual machines.
The goal of this one-day workshop is to bring together practitioners
and researchers working on various approaches to these problems
to share ideas and experience.
The scope of the workshop includes, but is not limited to:
• runtime extensions to control resources
• resource management through code transformations
• tradeoffs between precision and the cost of resource control
• conflicts and synergies between resource management done by
the virtual machine and resource management done by the OS
• executing multiple applications in a single virtual machine
• scaling up to large environments
• scaling down to embedded devices
• practical experience
|