Dependable self-hosting distributed systems using constraints

Qin Yin, Justin Cappos, Andrew Baumann, Timothy Roscoe

    Research output: Contribution to conferencePaperpeer-review


    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.

    Original languageEnglish (US)
    StatePublished - 2008
    Event4th Workshop on Hot Topics in System Dependability, HotDep 2008 - San Diego, United States
    Duration: Dec 7 2008 → …


    Conference4th Workshop on Hot Topics in System Dependability, HotDep 2008
    Country/TerritoryUnited States
    CitySan Diego
    Period12/7/08 → …

    ASJC Scopus subject areas

    • Hardware and Architecture
    • Information Systems
    • Control and Systems Engineering


    Dive into the research topics of 'Dependable self-hosting distributed systems using constraints'. Together they form a unique fingerprint.

    Cite this