skip to main content
10.1145/1926354.1926366acmconferencesArticle/Chapter ViewAbstractPublication PagespoplConference Proceedingsconference-collections
invited-talk

Declarative coordination in a multicore environment: the tyranny of streams

Published: 23 January 2011 Publication History

Abstract

This talk will focus on the declarative coordination language S-Net developed by the speaker in collaboration with members of the Compilation Technology and Computer Architecture group at University of Hertfordshire. In the words of Gelenter, who pioneered the term coordination in 1992, a coordination language "provides operations to create computational activities and to support communication among them." Despite this very imperative view, Gelenter's "glue that binds separate activities into an ensemble" can be just that, a glue, without operations provided for process creation or explicit support given to process communication. Instead, the coordination programmer merely declares the intended (concurrent) ensemble as a composition of computational building blocks, using some compact algebraic notation. S-Net is, in the main, such notation. In the physical sense, the binding of the components in S-Net is achieved by anonymous streams which connect them according to some algebraic formulae. The coordinating declaration drives the components via the streams, hence the above title.
The talk will expose a few unique issues of declarative coordination: the topological challenge and the positive role of nondeterminism in meeting it; various software engineering concerns and how they may be addressed by a type system with subtyping and a stream-oriented form of inheritance; the homogeneity of a multicore platform and its reflection in SPMD-style network-replication combinators, etc. The talk will also touch upon the current state of tool development for S-Net, a large ongoing EU-funded project which involves industry and which endeavours to make S-Net sensitive to extra-functional properties of both the code and the platform it is running on, and finally, the industrial uptake of S-Net: the experience of Thales, France and the planned experiments at Philips Healthcare, NL and SAP, Germany.

Index Terms

  1. Declarative coordination in a multicore environment: the tyranny of streams

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Conferences
    DAMP '11: Proceedings of the sixth workshop on Declarative aspects of multicore programming
    January 2011
    72 pages
    ISBN:9781450304863
    DOI:10.1145/1926354
    • General Chair:
    • Manuel Carro,
    • Program Chair:
    • John Reppy

    Sponsors

    In-Cooperation

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 23 January 2011

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tags

    1. coordination language
    2. nondeterminism
    3. subtyping

    Qualifiers

    • Invited-talk

    Conference

    POPL '11
    Sponsor:

    Upcoming Conference

    POPL '26

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • 0
      Total Citations
    • 114
      Total Downloads
    • Downloads (Last 12 months)0
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 17 Feb 2025

    Other Metrics

    Citations

    View Options

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Figures

    Tables

    Media

    Share

    Share

    Share this Publication link

    Share on social media