Dependable self-hosting distributed systems using constraints

  • Authors:
  • Qin Yin;Justin Cappos;Andrew Baumann;Timothy Roscoe

  • Affiliations:
  • Systems Group, Department of Computer Science, ETH Zurich;Department of Computer Science and Engineering, University of Washington;Systems Group, Department of Computer Science, ETH Zurich;Systems Group, Department of Computer Science, ETH Zurich

  • Venue:
  • HotDep'08 Proceedings of the Fourth conference on Hot topics in system dependability
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

We describe a technique for writing distributed applications which manage themselves over one or more utility computing infrastructures: by dynamically acquiring new computational resources, deploying themselves on these resources, and releasing others when no longer required. Unlike prior work, such management functionality is closely integrated with the application, allowing greater freedom in application-specific policies and faster response to failures and other changes in the environment without requiring any external management system. We address the programming complexity of this approach by applying constraint logic programming, and describe Rhizoma, an experimental runtime to explore these ideas. We present early experience of deploying self-hosting applications on PlanetLab using Rhizoma.