AdaStreams: A type-based programming extension for stream-parallelism with Ada 2005

Gingun Hong, Kirak Hong, Bernd Burgstaller, Johann Blieberger

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)


Because multicore CPUs have become the standard with all major hardware manufacturers, it becomes increasingly important for programming languages to provide programming abstractions that can be mapped effectively onto parallel architectures. Stream processing is a programming paradigm where computations are expressed as independent actors that communicate via data streams. The coarse-grained parallelism exposed in stream programs facilitates such an efficient mapping of actors onto the underlying hardware. In this paper we propose a type-based stream programming extension to Ada 2005. AdaStreams is a type-hierarchy for actor-specification together with a run-time system that supports the execution of stream programs on multicore architectures. AdaStreams is non-intrusive in the sense that no change of an Ada 2005 programming language implementation is required. Legacy-code can be mixed with a stream-parallel application, and the use of sequential legacy code with actors is supported. Unlike previous approaches, AdaStreams allows creation and subsequent execution of stream programs at run-time. We have implemented AdaStreams for Intel multicore architectures. We provide initial experimental results that show the effectiveness of our approach on an Intel X86-64 quadcore processor. The initial release of our work is available for download at [1].

Original languageEnglish
Title of host publicationReliable Software Technologies - Ada-Europe 2010 - 15th Ada-Europe International Conference on Reliable Software Technologies, Proceedings
Number of pages14
Publication statusPublished - 2010
Event15th International Conference on Reliable Software Technologies, Ada-Europe 2010 - Valencia, Spain
Duration: 2010 Jun 142010 Jun 18

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume6106 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Other15th International Conference on Reliable Software Technologies, Ada-Europe 2010

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'AdaStreams: A type-based programming extension for stream-parallelism with Ada 2005'. Together they form a unique fingerprint.

Cite this