Lightweight Flexible Isolation for Language-based Extensible Systems

  title={Lightweight Flexible Isolation for Language-based Extensible Systems},
  author={Laurent Dayn{\`e}s and Grzegorz Czajkowski},
Safe programming languages encourage the development of dynamically extensible systems, such as extensible Web servers and mobile agent platforms. Although protection is of utmost importance in these settings, current solutions do not adequately address fault containment. This paper advocates an approach to protection where transactions act as protection domains. This enables direct sharing of objects while protecting against unauthorized accesses and failures of authorized components. The main… CONTINUE READING